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 | 34.8197 | 50.707 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo |
| MD5SUM | e433b9b816c291c8bf4fd4860d096bb6 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 10.4354 |
| 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 | 101 |
| 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 | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1320 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4092293-1467321772.wbo 0.09/0.12 c reading problem ... 0.09/0.18 c ... done. Wall clock time 0.065s. 0.09/0.18 c declared #vars 169 0.09/0.18 c internal #vars 270 0.09/0.18 c #constraints 101 0.09/0.19 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.19 c constraints type 0.09/0.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.09/0.19 c 101 constraints processed. 0.09/0.19 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.19 c constraints type 0.09/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.09/0.19 c 101 constraints processed. 0.09/0.19 c objective function length is 101 literals 1.42/0.54 c And the winner is solver0 1.73/0.69 c SATISFIABLE 1.73/0.69 c OPTIMIZING... 1.73/0.69 c Got one! Elapsed wall clock time (in seconds):0.57 1.73/0.69 o 627 1.73/0.69 c And the winner is solver0 1.93/1.19 c Got one! Elapsed wall clock time (in seconds):1.071 1.93/1.19 o 590 1.93/1.19 c And the winner is solver0 1.93/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 1.93/1.69 o 587 1.94/1.70 c And the winner is solver0 1.95/2.19 c Got one! Elapsed wall clock time (in seconds):2.074 1.95/2.19 o 544 1.95/2.21 c And the winner is solver0 1.95/2.69 c Got one! Elapsed wall clock time (in seconds):2.575 1.95/2.69 o 526 1.95/2.76 c And the winner is solver0 2.24/3.19 c Got one! Elapsed wall clock time (in seconds):3.076 2.24/3.19 o 520 2.24/3.20 c And the winner is solver0 2.25/3.70 c Got one! Elapsed wall clock time (in seconds):3.578 2.25/3.70 o 518 2.25/3.70 c And the winner is solver0 2.26/4.20 c Got one! Elapsed wall clock time (in seconds):4.079 2.26/4.20 o 502 2.26/4.20 c And the winner is solver0 2.26/4.70 c Got one! Elapsed wall clock time (in seconds):4.58 2.26/4.70 o 500 2.26/4.70 c And the winner is solver0 2.27/5.20 c Got one! Elapsed wall clock time (in seconds):5.082 2.27/5.20 o 418 2.27/5.21 c And the winner is solver0 2.27/5.70 c Got one! Elapsed wall clock time (in seconds):5.583 2.27/5.70 o 404 2.27/5.73 c And the winner is solver0 2.49/6.20 c Got one! Elapsed wall clock time (in seconds):6.084 2.49/6.20 o 401 2.49/6.21 c And the winner is solver0 2.51/6.70 c Got one! Elapsed wall clock time (in seconds):6.586 2.51/6.70 o 389 2.51/6.76 c And the winner is solver0 2.73/7.21 c Got one! Elapsed wall clock time (in seconds):7.087 2.73/7.21 o 385 2.73/7.21 c And the winner is solver0 2.73/7.71 c Got one! Elapsed wall clock time (in seconds):7.588 2.73/7.71 o 383 2.73/7.71 c And the winner is solver0 2.73/8.21 c Got one! Elapsed wall clock time (in seconds):8.089 2.73/8.21 o 379 2.73/8.22 c And the winner is solver0 2.76/8.71 c Got one! Elapsed wall clock time (in seconds):8.591 2.76/8.71 o 374 2.76/8.75 c And the winner is solver0 2.86/9.21 c Got one! Elapsed wall clock time (in seconds):9.092 2.86/9.21 o 373 2.86/9.22 c And the winner is solver0 2.87/9.71 c Got one! Elapsed wall clock time (in seconds):9.593 2.87/9.71 o 372 2.87/9.72 c And the winner is solver0 2.90/10.21 c Got one! Elapsed wall clock time (in seconds):10.094 2.90/10.21 o 367 2.90/10.29 c cleaning 4017 clauses out of 8036 with flag 3224/8036 3.08/10.36 c And the winner is solver0 3.23/10.71 c Got one! Elapsed wall clock time (in seconds):10.596 3.23/10.71 o 363 3.23/10.76 c And the winner is solver0 3.35/11.21 c Got one! Elapsed wall clock time (in seconds):11.097 3.35/11.21 o 360 3.52/11.38 c cleaning 4835 clauses out of 9680 with flag 10435/13697 4.14/11.68 c cleaning 5416 clauses out of 10846 with flag 36848/19698 4.35/11.71 c And the winner is solver0 4.35/11.77 c Got one! Elapsed wall clock time (in seconds):11.648 4.35/11.77 o 359 4.49/11.87 c And the winner is solver0 4.65/12.27 c Got one! Elapsed wall clock time (in seconds):12.149 4.65/12.27 o 358 4.65/12.29 c And the winner is solver0 4.83/12.77 c Got one! Elapsed wall clock time (in seconds):12.65 4.83/12.77 o 353 4.91/12.81 c And the winner is solver0 4.95/13.27 c Got one! Elapsed wall clock time (in seconds):13.151 4.95/13.27 o 351 5.01/13.32 c And the winner is solver0 5.08/13.77 c Got one! Elapsed wall clock time (in seconds):13.652 5.08/13.77 o 350 5.08/13.77 c And the winner is solver0 5.08/14.27 c Got one! Elapsed wall clock time (in seconds):14.153 5.08/14.27 o 331 5.08/14.29 c And the winner is solver0 5.17/14.77 c Got one! Elapsed wall clock time (in seconds):14.655 5.17/14.77 o 271 5.23/14.88 c cleaning 6545 clauses out of 13097 with flag 7396/27365 5.45/14.92 c And the winner is solver0 5.52/15.27 c Got one! Elapsed wall clock time (in seconds):15.156 5.52/15.27 o 267 5.52/15.29 c And the winner is solver0 5.61/15.77 c Got one! Elapsed wall clock time (in seconds):15.657 5.61/15.77 o 266 5.65/15.85 c And the winner is solver0 5.77/16.28 c Got one! Elapsed wall clock time (in seconds):16.158 5.77/16.28 o 258 5.81/16.32 c And the winner is solver0 5.89/16.78 c Got one! Elapsed wall clock time (in seconds):16.659 5.89/16.78 o 254 6.15/16.93 c And the winner is solver0 6.24/17.28 c Got one! Elapsed wall clock time (in seconds):17.16 6.24/17.28 o 240 6.27/17.32 c And the winner is solver0 6.33/17.78 c Got one! Elapsed wall clock time (in seconds):17.661 6.33/17.78 o 239 6.36/17.82 c And the winner is solver0 6.43/18.28 c Got one! Elapsed wall clock time (in seconds):18.162 6.43/18.28 o 231 6.68/18.40 c cleaning 8141 clauses out of 16300 with flag 8059/37113 6.88/18.58 c And the winner is solver0 7.06/18.78 c Got one! Elapsed wall clock time (in seconds):18.663 7.06/18.78 o 211 7.29/18.90 c cleaning 6840 clauses out of 13690 with flag 7810/42644 7.29/18.96 c And the winner is solver0 7.61/19.28 c Got one! Elapsed wall clock time (in seconds):19.164 7.61/19.28 o 210 7.64/19.32 c And the winner is solver0 7.71/19.78 c Got one! Elapsed wall clock time (in seconds):19.665 7.71/19.78 o 209 7.95/19.93 c And the winner is solver0 8.22/20.28 c Got one! Elapsed wall clock time (in seconds):20.166 8.22/20.28 o 201 8.24/20.33 c And the winner is solver0 8.33/20.79 c Got one! Elapsed wall clock time (in seconds):20.667 8.33/20.79 o 195 8.35/20.81 c And the winner is solver0 8.40/21.29 c Got one! Elapsed wall clock time (in seconds):21.168 8.40/21.29 o 194 8.42/21.32 c And the winner is solver0 8.48/21.79 c Got one! Elapsed wall clock time (in seconds):21.669 8.48/21.79 o 193 8.51/21.86 c And the winner is solver0 8.87/22.29 c Got one! Elapsed wall clock time (in seconds):22.17 8.87/22.29 o 190 8.90/22.36 c cleaning 8128 clauses out of 16263 with flag 3724/52057 9.30/22.52 c And the winner is solver0 9.43/22.79 c Got one! Elapsed wall clock time (in seconds):22.671 9.43/22.79 o 187 9.45/22.81 c And the winner is solver0 9.48/23.29 c Got one! Elapsed wall clock time (in seconds):23.172 9.48/23.29 o 185 9.49/23.36 c And the winner is solver0 9.89/23.79 c Got one! Elapsed wall clock time (in seconds):23.673 9.89/23.79 o 175 9.90/23.86 c cleaning 7151 clauses out of 14308 with flag 4231/58230 9.90/23.87 c And the winner is solver0 10.29/24.29 c Got one! Elapsed wall clock time (in seconds):24.174 10.29/24.29 o 167 10.31/24.35 c And the winner is solver0 10.66/24.79 c Got one! Elapsed wall clock time (in seconds):24.675 10.66/24.79 o 166 10.67/24.84 c And the winner is solver0 10.79/25.29 c Got one! Elapsed wall clock time (in seconds):25.176 10.79/25.29 o 164 10.81/25.34 c And the winner is solver0 10.90/25.80 c Got one! Elapsed wall clock time (in seconds):25.677 10.90/25.80 o 163 11.30/26.00 c And the winner is solver0 11.42/26.30 c Got one! Elapsed wall clock time (in seconds):26.178 11.42/26.30 o 160 11.42/26.37 c cleaning 7707 clauses out of 15413 with flag 4745/66486 11.64/26.44 c And the winner is solver0 11.89/26.80 c Got one! Elapsed wall clock time (in seconds):26.679 11.89/26.80 o 159 11.89/26.83 c And the winner is solver0 11.98/27.30 c Got one! Elapsed wall clock time (in seconds):27.18 11.98/27.30 o 153 11.98/27.33 c And the winner is solver0 12.05/27.80 c Got one! Elapsed wall clock time (in seconds):27.681 12.05/27.80 o 152 12.24/27.91 c And the winner is solver0 12.48/28.30 c Got one! Elapsed wall clock time (in seconds):28.182 12.48/28.30 o 149 12.48/28.33 c And the winner is solver0 12.55/28.80 c Got one! Elapsed wall clock time (in seconds):28.683 12.55/28.80 o 147 12.74/28.91 c cleaning 7457 clauses out of 14913 with flag 8559/73693 12.94/29.04 c And the winner is solver0 13.10/29.30 c Got one! Elapsed wall clock time (in seconds):29.184 13.10/29.30 o 145 13.10/29.31 c And the winner is solver0 13.10/29.80 c Got one! Elapsed wall clock time (in seconds):29.685 13.10/29.80 o 132 13.10/29.85 c And the winner is solver0 13.23/30.31 c Got one! Elapsed wall clock time (in seconds):30.19 13.23/30.31 o 130 13.41/30.42 c cleaning 6728 clauses out of 13467 with flag 8829/79704 13.41/30.43 c And the winner is solver0 13.69/30.81 c Got one! Elapsed wall clock time (in seconds):30.691 13.69/30.81 o 116 13.69/30.86 c And the winner is solver0 13.83/31.31 c Got one! Elapsed wall clock time (in seconds):31.191 13.83/31.31 o 114 13.83/31.35 c And the winner is solver0 13.95/31.81 c Got one! Elapsed wall clock time (in seconds):31.692 13.95/31.81 o 110 14.15/31.95 c And the winner is solver0 14.42/32.31 c Got one! Elapsed wall clock time (in seconds):32.193 14.42/32.31 o 109 14.42/32.35 c And the winner is solver0 14.54/32.81 c Got one! Elapsed wall clock time (in seconds):32.694 14.54/32.81 o 106 14.54/32.86 c And the winner is solver0 14.65/33.31 c Got one! Elapsed wall clock time (in seconds):33.195 14.65/33.31 o 103 14.65/33.37 c And the winner is solver0 15.02/33.81 c Got one! Elapsed wall clock time (in seconds):33.696 15.02/33.81 o 91 15.18/33.94 c And the winner is solver0 15.46/34.32 c Got one! Elapsed wall clock time (in seconds):34.197 15.46/34.32 o 86 15.65/34.42 c cleaning 8238 clauses out of 16476 with flag 3978/89441 15.65/34.43 c And the winner is solver0 16.32/34.82 c Got one! Elapsed wall clock time (in seconds):34.698 16.32/34.82 o 85 16.68/35.07 c cleaning 6736 clauses out of 13493 with flag 19421/94696 16.68/35.10 c And the winner is solver0 16.92/35.32 c Got one! Elapsed wall clock time (in seconds):35.2 16.92/35.32 o 77 17.07/35.41 c And the winner is solver0 17.33/35.82 c Got one! Elapsed wall clock time (in seconds):35.701 17.33/35.82 o 74 17.48/35.92 c And the winner is solver0 17.74/36.32 c Got one! Elapsed wall clock time (in seconds):36.203 17.74/36.32 o 71 17.74/36.38 c cleaning 6289 clauses out of 12582 with flag 4064/100521 17.90/36.41 c And the winner is solver0 18.15/36.82 c Got one! Elapsed wall clock time (in seconds):36.705 18.15/36.82 o 69 18.15/36.83 c And the winner is solver0 18.15/37.32 c Got one! Elapsed wall clock time (in seconds):37.206 18.15/37.32 o 68 18.15/37.40 c And the winner is solver0 18.54/37.83 c Got one! Elapsed wall clock time (in seconds):37.708 18.54/37.83 o 65 18.54/37.83 c And the winner is solver0 18.54/38.33 c Got one! Elapsed wall clock time (in seconds):38.211 18.54/38.33 o 64 18.54/38.35 c And the winner is solver0 18.59/38.83 c Got one! Elapsed wall clock time (in seconds):38.713 18.59/38.83 o 61 18.92/39.04 c cleaning 6686 clauses out of 13387 with flag 18415/107615 19.32/39.24 c And the winner is solver0 19.42/39.33 c Got one! Elapsed wall clock time (in seconds):39.215 19.42/39.33 o 53 19.42/39.38 c And the winner is solver0 19.52/39.84 c Got one! Elapsed wall clock time (in seconds):39.717 19.52/39.84 o 46 19.52/39.89 c cleaning 6685 clauses out of 13376 with flag 3257/114290 19.84/40.06 c And the winner is solver0 19.98/40.34 c Got one! Elapsed wall clock time (in seconds):40.22 19.98/40.34 o 45 19.98/40.39 c cleaning 6046 clauses out of 12110 with flag 3936/119709 20.10/40.48 c And the winner is solver0 20.29/40.84 c Got one! Elapsed wall clock time (in seconds):40.723 20.29/40.84 o 44 20.29/40.89 c And the winner is solver0 20.42/41.35 c Got one! Elapsed wall clock time (in seconds):41.228 20.42/41.35 o 28 20.52/41.43 c cleaning 5815 clauses out of 11634 with flag 6566/125279 20.92/41.66 c cleaning 5909 clauses out of 11818 with flag 26408/131278 21.12/41.74 c And the winner is solver0 21.47/42.05 c Got one! Elapsed wall clock time (in seconds):41.932 21.47/42.05 o 27 21.60/42.18 c cleaning 5624 clauses out of 11249 with flag 9537/136619 22.20/42.41 c cleaning 5807 clauses out of 11625 with flag 29007/142619 22.60/42.69 c cleaning 6404 clauses out of 12817 with flag 52154/149619 23.43/43.02 c cleaning 7206 clauses out of 14411 with flag 78587/157619 24.21/43.42 c cleaning 8095 clauses out of 16204 with flag 111295/166619 24.21/43.50 c And the winner is solver0 24.49/43.61 c Got one! Elapsed wall clock time (in seconds):43.488 24.49/43.61 o 26 24.68/43.75 c cleaning 6616 clauses out of 13240 with flag 10619/171750 25.08/44.00 c cleaning 6307 clauses out of 12624 with flag 31919/177750 25.68/44.27 c And the winner is solver0 25.92/44.61 c Got one! Elapsed wall clock time (in seconds):44.494 25.92/44.61 o 22 26.28/44.86 c cleaning 9054 clauses out of 18115 with flag 18651/189550 26.90/45.15 c cleaning 7522 clauses out of 15061 with flag 40521/195550 27.48/45.46 c cleaning 7264 clauses out of 14540 with flag 65394/202552 28.28/45.80 c cleaning 7637 clauses out of 15274 with flag 93503/210551 28.88/46.19 c cleaning 8315 clauses out of 16636 with flag 125020/219552 29.88/46.65 c cleaning 9157 clauses out of 18315 with flag 161970/229550 31.08/47.21 c cleaning 10074 clauses out of 20158 with flag 204466/240552 31.88/47.62 c And the winner is solver0 32.40/48.12 c Got one! Elapsed wall clock time (in seconds):48.0 32.40/48.12 o 21 32.98/48.44 c cleaning 11946 clauses out of 23903 with flag 19816/254374 33.56/48.72 c And the winner is solver0 33.71/49.13 c Got one! Elapsed wall clock time (in seconds):49.008 33.71/49.13 o 20 34.03/49.32 c And the winner is solver0 34.15/49.64 c Got one! Elapsed wall clock time (in seconds):49.517 34.15/49.64 o 17 34.26/49.80 c cleaning 11450 clauses out of 22924 with flag 10389/265343 34.46/49.86 c And the winner is solver0 34.61/50.15 c Got one! Elapsed wall clock time (in seconds):50.032 34.61/50.15 o 16 34.61/50.18 c And the winner is solver0 34.67/50.69 c >>>>>>>>>> Solver number 0 (90 answers) <<<<<<<<<<<<<<<<<< 34.67/50.69 c starts : 244 34.67/50.69 c conflicts : 267337 34.67/50.69 c decisions : 478875 34.67/50.69 c propagations : 8619603 34.67/50.69 c inspects : 134463061 34.67/50.69 c shortcuts : 0 34.67/50.69 c learnt literals : 27 34.67/50.69 c learnt binary clauses : 24 34.67/50.69 c learnt ternary clauses : 708 34.67/50.69 c learnt constraints : 267309 34.67/50.69 c ignored constraints : 0 34.67/50.69 c root simplifications : 0 34.67/50.69 c removed literals (reason simplification) : 213955 34.67/50.69 c reason swapping (by a shorter reason) : 0 34.67/50.69 c Calls to reduceDB : 35 34.67/50.69 c Number of update (reduction) of LBD : 83595 34.67/50.69 c Imported unit clauses : 0 34.67/50.69 c number of reductions to clauses (during analyze) : 0 34.67/50.69 c number of learned constraints concerned by reduction : 0 34.67/50.69 c number of learning phase by resolution : 0 34.67/50.69 c number of learning phase by cutting planes : 0 34.67/50.69 c speed (assignments/second) : 170698.7286121673 34.67/50.69 c non guided choices 4148 34.67/50.69 c learnt constraints type 34.67/50.69 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 34.67/50.69 c starts : 90 34.67/50.69 c conflicts : 473 34.67/50.69 c decisions : 11426 34.67/50.69 c propagations : 32247 34.67/50.69 c inspects : 1724927 34.67/50.69 c shortcuts : 0 34.67/50.69 c learnt literals : 0 34.67/50.69 c learnt binary clauses : 0 34.67/50.69 c learnt ternary clauses : 0 34.67/50.69 c learnt constraints : 394 34.67/50.69 c ignored constraints : 0 34.67/50.69 c root simplifications : 0 34.67/50.69 c removed literals (reason simplification) : 0 34.67/50.69 c reason swapping (by a shorter reason) : 0 34.67/50.69 c Calls to reduceDB : 0 34.67/50.69 c Number of update (reduction) of LBD : 0 34.67/50.69 c Imported unit clauses : 0 34.67/50.69 c number of reductions to clauses (during analyze) : 0 34.67/50.69 c number of learned constraints concerned by reduction : 0 34.67/50.69 c number of learning phase by resolution : 0 34.67/50.69 c number of learning phase by cutting planes : 0 34.67/50.69 c speed (assignments/second) : 63353.634577603145 34.67/50.69 c non guided choices 1656 34.67/50.69 c learnt constraints type 34.67/50.69 s OPTIMUM FOUND 34.67/50.69 c Found 89 solution(s) 34.67/50.69 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 34.67/50.69 c objective function=16 34.67/50.69 c Total wall clock time (in seconds): 50.571
OK 16
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-4092293-1467321772/watcher-4092293-1467321772 -o /tmp/evaluation-result-4092293-1467321772/solver-4092293-1467321772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467319233-22139 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092293-1467321772.wbo pid=27834 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.73 0.72 0.91 2/167 27837 /proc/meminfo: memFree=30521208/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/27837/stat : 27837 (java) R 27834 27837 16080 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 13280950 278528 33 33554432000 1073741824 1073778376 140734260641408 140737322856424 235365559591 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 68 33 25 9 0 25 0 [startup+0.10006 s] /proc/loadavg: 0.73 0.72 0.91 2/167 27837 /proc/meminfo: memFree=30521208/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 4468 0 1 0 8 1 0 0 20 0 18 0 13280950 9787879424 5592 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2389619 5592 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200285 s] /proc/loadavg: 0.73 0.72 0.91 2/167 27837 /proc/meminfo: memFree=30521208/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 4851 0 1 0 23 1 0 0 20 0 22 0 13280950 10060525568 7427 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 7427 2221 9 0 2446860 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9824732 [startup+0.300204 s] /proc/loadavg: 0.73 0.72 0.91 2/167 27837 /proc/meminfo: memFree=30521208/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 7484 0 1 0 61 2 0 0 20 0 22 0 13280950 10060525568 9454 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 9454 2245 9 0 2446860 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 9824732 [startup+0.700193 s] /proc/loadavg: 0.73 0.72 0.91 2/167 27837 /proc/meminfo: memFree=30521208/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=1.93 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 17417 0 1 0 188 5 0 0 20 0 20 0 13280950 10060525568 17730 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 17730 2258 9 0 2446860 0 Current children cumulated CPU time (s) 1.93 Current children cumulated vsize (KiB) 9824732 [startup+1.50078 s] /proc/loadavg: 0.73 0.72 0.91 1/186 27862 /proc/meminfo: memFree=30456180/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=1.93 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 17427 0 1 0 188 5 0 0 20 0 19 0 13280950 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 18752 2258 9 0 2446860 0 [pid=27837/tid=27839] ppid=27834 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/27837/task/27839/stat : 27839 (java) S 27834 27837 16080 0 -1 4202560 2472 0 1 0 16 0 0 0 20 0 19 0 13280951 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532805251960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27840] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27840/stat : 27840 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532743981480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27841] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27841/stat : 27841 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532742928936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27842] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27842/stat : 27842 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532741875880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27843] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27843/stat : 27843 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532740823336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27844] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27844/stat : 27844 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532644527016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27845] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27845/stat : 27845 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532643474472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27846] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27846/stat : 27846 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532642421416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27847] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27847/stat : 27847 (java) S 27834 27837 16080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532641368872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27848] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27848/stat : 27848 (java) S 27834 27837 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13280953 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532629170536 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27849] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27849/stat : 27849 (java) S 27834 27837 16080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532628116856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27850] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27850/stat : 27850 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532627063688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27851] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27851/stat : 27851 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532626012432 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27852] ppid=27834 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/27837/task/27852/stat : 27852 (java) S 27834 27837 16080 0 -1 4202560 7731 0 0 0 50 1 0 0 20 0 19 0 13280956 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532624960312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27853] ppid=27834 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/27837/task/27853/stat : 27853 (java) S 27834 27837 16080 0 -1 4202560 5871 0 0 0 51 0 0 0 20 0 19 0 13280956 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532623907768 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27854] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27854/stat : 27854 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532622854904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27855] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27855/stat : 27855 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532621802568 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27858] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27858/stat : 27858 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13280970 10060525568 18752 33554432000 1073741824 1073778376 140734260641408 140532618642216 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.93 Current children cumulated vsize (KiB) 9824732 [startup+3.10075 s] /proc/loadavg: 0.75 0.72 0.91 4/189 27871 /proc/meminfo: memFree=30445724/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 17528 0 1 0 217 7 0 0 20 0 19 0 13280950 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 24928 2266 9 0 2446860 0 [pid=27837/tid=27839] ppid=27834 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/27837/task/27839/stat : 27839 (java) S 27834 27837 16080 0 -1 4202560 2472 0 1 0 16 0 0 0 20 0 19 0 13280951 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532805251960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27840] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27840/stat : 27840 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532743981480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27841] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27841/stat : 27841 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532742928936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27842] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27842/stat : 27842 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532741875880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27843] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27843/stat : 27843 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532740823336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27844] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27844/stat : 27844 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532644527016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27845] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27845/stat : 27845 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532643474472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27846] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27846/stat : 27846 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532642421416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27847] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27847/stat : 27847 (java) S 27834 27837 16080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13280952 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532641368872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27848] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27848/stat : 27848 (java) S 27834 27837 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13280953 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532629170536 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27849] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27849/stat : 27849 (java) S 27834 27837 16080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532628116856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27850] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27850/stat : 27850 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532627063688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27851] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27851/stat : 27851 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532626012432 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27852] ppid=27834 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/27837/task/27852/stat : 27852 (java) S 27834 27837 16080 0 -1 4202560 7741 0 0 0 54 1 0 0 20 0 19 0 13280956 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532624960312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27853] ppid=27834 vsize=9824732 CPUtime=0.65 cores=1,3,5,7 /proc/27837/task/27853/stat : 27853 (java) S 27834 27837 16080 0 -1 4202560 5929 0 0 0 65 0 0 0 20 0 19 0 13280956 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532623907768 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27854] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27854/stat : 27854 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532622854904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27855] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27855/stat : 27855 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532621802568 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27858] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27858/stat : 27858 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13280970 10060525568 24928 33554432000 1073741824 1073778376 140734260641408 140532618642216 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 9824732 heavy processes: ############ # WARNING: # current cumulated CPU time (2.24 s) is less than in the last sample (2.25 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00999999 s) to the 'lost time'. [startup+3.20782 s] /proc/loadavg: 0.75 0.72 0.91 2/186 27874 /proc/meminfo: memFree=30429332/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=2.25 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 17537 0 1 0 218 7 0 0 20 0 20 0 13280950 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 25954 2266 9 0 2446860 0 [pid=27837/tid=27839] ppid=27834 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/27837/task/27839/stat : 27839 (java) S 27834 27837 16080 0 -1 4202560 2473 0 1 0 16 0 0 0 20 0 20 0 13280951 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532805251960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27840] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27840/stat : 27840 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280952 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532743981480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27841] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27841/stat : 27841 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280952 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532742928936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27842] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27842/stat : 27842 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280952 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532741875880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27843] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27843/stat : 27843 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280952 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532740823336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27844] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27844/stat : 27844 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280952 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532644527016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27845] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27845/stat : 27845 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280952 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532643474472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27846] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27846/stat : 27846 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280952 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532642421416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27847] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27847/stat : 27847 (java) S 27834 27837 16080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 13280952 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532641368872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27848] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27848/stat : 27848 (java) S 27834 27837 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 13280953 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532629170536 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27849] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27849/stat : 27849 (java) S 27834 27837 16080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 13280954 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532628116856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27850] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27850/stat : 27850 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13280954 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532627063688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27851] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27851/stat : 27851 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280956 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532626012432 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27852] ppid=27834 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/27837/task/27852/stat : 27852 (java) S 27834 27837 16080 0 -1 4202560 7741 0 0 0 54 1 0 0 20 0 20 0 13280956 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532624960312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27853] ppid=27834 vsize=9824732 CPUtime=0.65 cores=1,3,5,7 /proc/27837/task/27853/stat : 27853 (java) S 27834 27837 16080 0 -1 4202560 5929 0 0 0 65 0 0 0 20 0 20 0 13280956 10060525568 25954 33554432000 1073741824 1073778376 140734260641408 140532623907768 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27854] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/27837/task/27847/stat : 27847 (java) S 27834 27837 16080 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 20 0 13280952 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532641368872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27848] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27848/stat : 27848 (java) S 27834 27837 16080 0 -1 4202560 13 0 0 0 1 3 0 0 20 0 20 0 13280953 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532629170536 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27849] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27849/stat : 27849 (java) S 27834 27837 16080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 13280954 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532628116856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27850] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27850/stat : 27850 (java) S 27834 27837 16080 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 20 0 13280954 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532627063688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27851] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27851/stat : 27851 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280956 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532626012432 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27852] ppid=27834 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/27837/task/27852/stat : 27852 (java) S 27834 27837 16080 0 -1 4202560 7931 0 0 0 102 2 0 0 20 0 20 0 13280956 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532624960312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27853] ppid=27834 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/27837/task/27853/stat : 27853 (java) S 27834 27837 16080 0 -1 4202560 10178 0 0 0 139 2 0 0 20 0 20 0 13280956 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532623907768 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27854] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27854/stat : 27854 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13280956 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532622854904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27855] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27855/stat : 27855 (java) S 27834 27837 16080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 13280956 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532621802568 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27858] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27858/stat : 27858 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13280970 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532618642216 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=28113] ppid=27834 vsize=9824732 CPUtime=3.35 cores=1,3,5,7 /proc/27837/task/28113/stat : 28113 (java) R 27834 27837 16080 0 -1 4202560 3 0 0 0 335 0 0 0 20 0 20 0 13285412 10060525568 52131 33554432000 1073741824 1073778376 140734260641408 140532619693584 140532745584341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 32.3 Current children cumulated vsize (KiB) 9824732 [startup+49.6072 s] /proc/loadavg: 0.70 0.70 0.89 1/186 28120 /proc/meminfo: memFree=30316480/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=34.14 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 22914 0 1 0 3259 155 0 0 20 0 19 0 13280950 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 52806 2287 9 0 2446860 0 [pid=27837/tid=27839] ppid=27834 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/27837/task/27839/stat : 27839 (java) S 27834 27837 16080 0 -1 4202560 2478 0 1 0 25 2 0 0 20 0 19 0 13280951 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532805251960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27840] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27840/stat : 27840 (java) S 27834 27837 16080 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532743981480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27841] ppid=27834 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/27837/task/27841/stat : 27841 (java) S 27834 27837 16080 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 13280952 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532742928936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27842] ppid=27834 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27837/task/27842/stat : 27842 (java) S 27834 27837 16080 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 13280952 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532741875880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27843] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27843/stat : 27843 (java) S 27834 27837 16080 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 19 0 13280952 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532740823336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27844] ppid=27834 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27837/task/27844/stat : 27844 (java) S 27834 27837 16080 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 13280952 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532644527016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27845] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27845/stat : 27845 (java) S 27834 27837 16080 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 13280952 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532643474472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27846] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27846/stat : 27846 (java) S 27834 27837 16080 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532642421416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27847] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27847/stat : 27847 (java) S 27834 27837 16080 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532641368872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27848] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27848/stat : 27848 (java) S 27834 27837 16080 0 -1 4202560 13 0 0 0 1 4 0 0 20 0 19 0 13280953 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532629170536 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27849] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27849/stat : 27849 (java) S 27834 27837 16080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532628116856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27850] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27850/stat : 27850 (java) S 27834 27837 16080 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532627063688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27851] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27851/stat : 27851 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532626012432 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27852] ppid=27834 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/27837/task/27852/stat : 27852 (java) S 27834 27837 16080 0 -1 4202560 7931 0 0 0 102 2 0 0 20 0 19 0 13280956 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532624960312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27853] ppid=27834 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/27837/task/27853/stat : 27853 (java) S 27834 27837 16080 0 -1 4202560 10178 0 0 0 139 2 0 0 20 0 19 0 13280956 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532623907768 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27854] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27854/stat : 27854 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532622854904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27855] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27855/stat : 27855 (java) S 27834 27837 16080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532621802568 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27858] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27858/stat : 27858 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13280970 10060525568 52806 33554432000 1073741824 1073778376 140734260641408 140532618642216 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 34.14 Current children cumulated vsize (KiB) 9824732 [startup+50.4008 s] /proc/loadavg: 0.70 0.70 0.89 1/186 28120 /proc/meminfo: memFree=30316480/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=34.66 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 22940 0 1 0 3307 159 0 0 20 0 19 0 13280950 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 53020 2287 9 0 2446860 0 [pid=27837/tid=27839] ppid=27834 vsize=9824732 CPUtime=0.29 cores=1,3,5,7 /proc/27837/task/27839/stat : 27839 (java) S 27834 27837 16080 0 -1 4202560 2479 0 1 0 27 2 0 0 20 0 19 0 13280951 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532805251960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27840] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27840/stat : 27840 (java) S 27834 27837 16080 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532743981480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27841] ppid=27834 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/27837/task/27841/stat : 27841 (java) S 27834 27837 16080 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532742928936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27842] ppid=27834 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27837/task/27842/stat : 27842 (java) S 27834 27837 16080 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532741875880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27843] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27843/stat : 27843 (java) S 27834 27837 16080 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532740823336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27844] ppid=27834 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27837/task/27844/stat : 27844 (java) S 27834 27837 16080 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532644527016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27845] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27845/stat : 27845 (java) S 27834 27837 16080 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532643474472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27846] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27846/stat : 27846 (java) S 27834 27837 16080 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532642421416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27847] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27847/stat : 27847 (java) S 27834 27837 16080 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532641368872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27848] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27848/stat : 27848 (java) S 27834 27837 16080 0 -1 4202560 13 0 0 0 1 4 0 0 20 0 19 0 13280953 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532629170536 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27849] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27849/stat : 27849 (java) S 27834 27837 16080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532628116856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27850] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27850/stat : 27850 (java) S 27834 27837 16080 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532627063688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27851] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27851/stat : 27851 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532626012432 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27852] ppid=27834 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/27837/task/27852/stat : 27852 (java) S 27834 27837 16080 0 -1 4202560 7931 0 0 0 102 2 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532624960312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27853] ppid=27834 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/27837/task/27853/stat : 27853 (java) S 27834 27837 16080 0 -1 4202560 10178 0 0 0 139 2 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532623907768 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27854] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27854/stat : 27854 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532622854904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27855] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27855/stat : 27855 (java) S 27834 27837 16080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532621802568 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27858] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27858/stat : 27858 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13280970 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532618642216 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 34.66 Current children cumulated vsize (KiB) 9824732 [startup+50.6008 s] /proc/loadavg: 0.70 0.70 0.89 1/186 28126 /proc/meminfo: memFree=30315548/32872528 swapFree=447588/480292 [pid=27837] ppid=27834 vsize=9824732 CPUtime=34.66 cores=1,3,5,7 /proc/27837/stat : 27837 (java) S 27834 27837 16080 0 -1 4202496 22940 0 1 0 3307 159 0 0 20 0 19 0 13280950 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140734260632544 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27837/statm: 2456183 53020 2287 9 0 2446860 0 [pid=27837/tid=27839] ppid=27834 vsize=9824732 CPUtime=0.29 cores=1,3,5,7 /proc/27837/task/27839/stat : 27839 (java) S 27834 27837 16080 0 -1 4202560 2479 0 1 0 27 2 0 0 20 0 19 0 13280951 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532805251960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27840] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27840/stat : 27840 (java) S 27834 27837 16080 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532743981480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27841] ppid=27834 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/27837/task/27841/stat : 27841 (java) S 27834 27837 16080 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532742928936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27842] ppid=27834 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27837/task/27842/stat : 27842 (java) S 27834 27837 16080 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532741875880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27843] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27843/stat : 27843 (java) S 27834 27837 16080 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532740823336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27844] ppid=27834 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27837/task/27844/stat : 27844 (java) S 27834 27837 16080 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532644527016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27845] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27845/stat : 27845 (java) S 27834 27837 16080 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532643474472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27846] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27846/stat : 27846 (java) S 27834 27837 16080 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532642421416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27847] ppid=27834 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/27837/task/27847/stat : 27847 (java) S 27834 27837 16080 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 19 0 13280952 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532641368872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27848] ppid=27834 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27837/task/27848/stat : 27848 (java) S 27834 27837 16080 0 -1 4202560 13 0 0 0 1 4 0 0 20 0 19 0 13280953 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532629170536 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27837/tid=27849] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27849/stat : 27849 (java) S 27834 27837 16080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532628116856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27850] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27850/stat : 27850 (java) S 27834 27837 16080 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 13280954 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532627063688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27851] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27851/stat : 27851 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532626012432 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27852] ppid=27834 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/27837/task/27852/stat : 27852 (java) S 27834 27837 16080 0 -1 4202560 7931 0 0 0 102 2 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532624960312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27853] ppid=27834 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/27837/task/27853/stat : 27853 (java) S 27834 27837 16080 0 -1 4202560 10178 0 0 0 139 2 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532623907768 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27837/tid=27854] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27854/stat : 27854 (java) S 27834 27837 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532622854904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27837/tid=27855] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27855/stat : 27855 (java) S 27834 27837 16080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13280956 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532621802568 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27837/tid=27858] ppid=27834 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27837/task/27858/stat : 27858 (java) S 27834 27837 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13280970 10060525568 53020 33554432000 1073741824 1073778376 140734260641408 140532618642216 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 34.66 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.00999999 # lost CPU user time (s): 0.00999999 # lost CPU system time (s): 0 Real time (s): 50.707 CPU time (s): 34.8197 CPU user time (s): 33.147 CPU system time (s): 1.67274 CPU usage (%): 68.6685 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.137 system time used= 1.67274 maximum resident set size= 225928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22953 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= 3732 involuntary context switches= 1089 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.358945 second user time and 0.431934 second system time The end
Begin job on node104 at 2016-06-30 23:22:52 IDJOB=4092293 IDBENCH=79214 IDSOLVER=2552 FILE ID=node104/4092293-1467321772 RUNJOBID= node104-1467319233-22139 PBS_JOBID= 20005270 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092293-1467321772/watcher-4092293-1467321772 -o /tmp/evaluation-result-4092293-1467321772/solver-4092293-1467321772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467319233-22139 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092293-1467321772.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e433b9b816c291c8bf4fd4860d096bb6 RANDOM SEED=969786470 node104.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.334 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 : 5332.66 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.334 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.334 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.334 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.334 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.334 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.334 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.334 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: 30522024 kB Buffers: 205708 kB Cached: 909636 kB SwapCached: 0 kB Active: 328892 kB Inactive: 800948 kB Active(anon): 16900 kB Inactive(anon): 0 kB Active(file): 311992 kB Inactive(file): 800948 kB Unevictable: 480292 kB Mlocked: 447588 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 459532 kB Mapped: 13244 kB Shmem: 204 kB Slab: 611560 kB SReclaimable: 55840 kB SUnreclaim: 555720 kB KernelStack: 1568 kB PageTables: 4708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 568492 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71720 MiB End job on node104 at 2016-06-30 23:23:43