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 | 24.0094 | 59.1834 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-0-100-0.wbo |
| MD5SUM | 720f64c2f6f2c9ea73cb79f37d5ddc49 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3.2715 |
| 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 | 5034 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 5033 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1246 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4110189-1467321632.wbo 0.10/0.11 c reading problem ... 0.10/0.17 c ... done. Wall clock time 0.065s. 0.10/0.17 c declared #vars 169 0.10/0.17 c internal #vars 270 0.10/0.17 c #constraints 101 0.10/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.10/0.18 c 101 constraints processed. 0.10/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.10/0.18 c 101 constraints processed. 0.10/0.18 c objective function length is 101 literals 0.66/0.34 c And the winner is solver0 1.22/0.68 c SATISFIABLE 1.22/0.68 c OPTIMIZING... 1.22/0.68 c Got one! Elapsed wall clock time (in seconds):0.57 1.22/0.68 o 1373 1.25/0.77 c And the winner is solver0 1.68/1.18 c Got one! Elapsed wall clock time (in seconds):1.071 1.68/1.18 o 687 1.68/1.20 c And the winner is solver0 1.72/1.68 c Got one! Elapsed wall clock time (in seconds):1.573 1.72/1.68 o 680 1.72/1.68 c And the winner is solver0 1.81/2.18 c Got one! Elapsed wall clock time (in seconds):2.074 1.81/2.18 o 673 1.81/2.19 c And the winner is solver0 1.81/2.68 c Got one! Elapsed wall clock time (in seconds):2.576 1.81/2.68 o 667 1.81/2.69 c And the winner is solver0 1.81/3.18 c Got one! Elapsed wall clock time (in seconds):3.077 1.81/3.18 o 625 1.81/3.19 c And the winner is solver0 1.81/3.69 c Got one! Elapsed wall clock time (in seconds):3.578 1.81/3.69 o 598 1.81/3.69 c And the winner is solver0 1.81/4.19 c Got one! Elapsed wall clock time (in seconds):4.079 1.81/4.19 o 593 1.81/4.19 c And the winner is solver0 1.82/4.69 c Got one! Elapsed wall clock time (in seconds):4.581 1.82/4.69 o 580 1.82/4.69 c And the winner is solver0 1.83/5.19 c Got one! Elapsed wall clock time (in seconds):5.082 1.83/5.19 o 570 1.83/5.19 c And the winner is solver0 1.84/5.69 c Got one! Elapsed wall clock time (in seconds):5.583 1.84/5.69 o 566 1.84/5.70 c And the winner is solver0 1.85/6.19 c Got one! Elapsed wall clock time (in seconds):6.084 1.85/6.19 o 563 1.86/6.20 c And the winner is solver0 1.86/6.69 c Got one! Elapsed wall clock time (in seconds):6.586 1.86/6.69 o 554 1.88/6.70 c And the winner is solver0 1.88/7.19 c Got one! Elapsed wall clock time (in seconds):7.087 1.88/7.19 o 535 1.88/7.20 c And the winner is solver0 1.88/7.70 c Got one! Elapsed wall clock time (in seconds):7.588 1.88/7.70 o 528 1.88/7.70 c And the winner is solver0 1.88/8.20 c Got one! Elapsed wall clock time (in seconds):8.089 1.88/8.20 o 526 1.88/8.21 c And the winner is solver0 1.95/8.70 c Got one! Elapsed wall clock time (in seconds):8.591 1.95/8.70 o 504 1.95/8.72 c And the winner is solver0 2.01/9.20 c Got one! Elapsed wall clock time (in seconds):9.092 2.01/9.20 o 501 2.01/9.20 c And the winner is solver0 2.56/9.70 c Got one! Elapsed wall clock time (in seconds):9.593 2.56/9.70 o 421 2.56/9.70 c And the winner is solver0 2.57/10.20 c Got one! Elapsed wall clock time (in seconds):10.094 2.57/10.20 o 417 2.57/10.21 c And the winner is solver0 2.63/10.70 c Got one! Elapsed wall clock time (in seconds):10.595 2.63/10.70 o 404 2.63/10.71 c And the winner is solver0 2.64/11.20 c Got one! Elapsed wall clock time (in seconds):11.097 2.64/11.20 o 391 2.64/11.21 c And the winner is solver0 2.64/11.71 c Got one! Elapsed wall clock time (in seconds):11.598 2.64/11.71 o 388 2.64/11.72 c And the winner is solver0 2.66/12.21 c Got one! Elapsed wall clock time (in seconds):12.099 2.66/12.21 o 380 2.66/12.22 c And the winner is solver0 2.72/12.71 c Got one! Elapsed wall clock time (in seconds):12.6 2.72/12.71 o 378 2.72/12.72 c And the winner is solver0 2.76/13.21 c Got one! Elapsed wall clock time (in seconds):13.101 2.76/13.21 o 376 2.76/13.26 c And the winner is solver0 2.87/13.71 c Got one! Elapsed wall clock time (in seconds):13.603 2.87/13.71 o 361 2.87/13.72 c And the winner is solver0 2.91/14.21 c Got one! Elapsed wall clock time (in seconds):14.104 2.91/14.21 o 359 2.91/14.30 c And the winner is solver0 3.14/14.71 c Got one! Elapsed wall clock time (in seconds):14.605 3.14/14.71 o 355 3.14/14.76 c And the winner is solver0 3.35/15.21 c Got one! Elapsed wall clock time (in seconds):15.106 3.35/15.21 o 354 3.35/15.24 c And the winner is solver0 3.41/15.71 c Got one! Elapsed wall clock time (in seconds):15.607 3.41/15.71 o 351 3.41/15.79 c cleaning 5689 clauses out of 11386 with flag 3557/11386 3.64/15.82 c And the winner is solver0 3.80/16.22 c Got one! Elapsed wall clock time (in seconds):16.108 3.80/16.22 o 348 3.80/16.22 c And the winner is solver0 3.80/16.72 c Got one! Elapsed wall clock time (in seconds):16.61 3.80/16.72 o 341 3.80/16.72 c And the winner is solver0 3.80/17.22 c Got one! Elapsed wall clock time (in seconds):17.111 3.80/17.22 o 335 3.80/17.22 c And the winner is solver0 3.80/17.72 c Got one! Elapsed wall clock time (in seconds):17.612 3.80/17.72 o 303 3.80/17.76 c And the winner is solver0 3.89/18.22 c Got one! Elapsed wall clock time (in seconds):18.113 3.89/18.22 o 301 3.89/18.23 c And the winner is solver0 3.96/18.72 c Got one! Elapsed wall clock time (in seconds):18.615 3.96/18.72 o 293 3.96/18.76 c And the winner is solver0 4.04/19.22 c Got one! Elapsed wall clock time (in seconds):19.116 4.04/19.22 o 288 4.04/19.25 c And the winner is solver0 4.13/19.72 c Got one! Elapsed wall clock time (in seconds):19.617 4.13/19.72 o 286 4.13/19.73 c And the winner is solver0 4.15/20.22 c Got one! Elapsed wall clock time (in seconds):20.118 4.15/20.22 o 281 4.29/20.34 c And the winner is solver0 4.39/20.73 c Got one! Elapsed wall clock time (in seconds):20.619 4.39/20.73 o 268 4.39/20.74 c And the winner is solver0 4.44/21.23 c Got one! Elapsed wall clock time (in seconds):21.12 4.44/21.23 o 264 4.44/21.25 c And the winner is solver0 4.49/21.73 c Got one! Elapsed wall clock time (in seconds):21.621 4.49/21.73 o 263 4.49/21.75 c And the winner is solver0 4.54/22.23 c Got one! Elapsed wall clock time (in seconds):22.122 4.54/22.23 o 261 4.54/22.24 c And the winner is solver0 4.58/22.73 c Got one! Elapsed wall clock time (in seconds):22.623 4.58/22.73 o 259 4.71/22.80 c And the winner is solver0 4.82/23.23 c Got one! Elapsed wall clock time (in seconds):23.124 4.82/23.23 o 255 4.95/23.34 c cleaning 7782 clauses out of 15581 with flag 7546/21270 4.95/23.35 c And the winner is solver0 5.09/23.73 c Got one! Elapsed wall clock time (in seconds):23.625 5.09/23.73 o 253 5.09/23.76 c And the winner is solver0 5.17/24.23 c Got one! Elapsed wall clock time (in seconds):24.126 5.17/24.23 o 241 5.17/24.24 c And the winner is solver0 5.19/24.73 c Got one! Elapsed wall clock time (in seconds):24.627 5.19/24.73 o 235 5.19/24.77 c And the winner is solver0 5.30/25.24 c Got one! Elapsed wall clock time (in seconds):25.128 5.30/25.24 o 233 5.30/25.24 c And the winner is solver0 5.30/25.74 c Got one! Elapsed wall clock time (in seconds):25.628 5.30/25.74 o 221 5.42/25.80 c And the winner is solver0 5.44/26.24 c Got one! Elapsed wall clock time (in seconds):26.129 5.44/26.24 o 219 5.58/26.31 c And the winner is solver0 5.65/26.74 c Got one! Elapsed wall clock time (in seconds):26.63 5.65/26.74 o 218 5.79/26.86 c And the winner is solver0 5.94/27.24 c Got one! Elapsed wall clock time (in seconds):27.131 5.94/27.24 o 214 5.94/27.25 c And the winner is solver0 5.98/27.74 c Got one! Elapsed wall clock time (in seconds):27.632 5.98/27.74 o 213 6.10/27.81 c cleaning 8044 clauses out of 16097 with flag 3627/29568 6.10/27.83 c And the winner is solver0 6.21/28.24 c Got one! Elapsed wall clock time (in seconds):28.133 6.21/28.24 o 212 6.21/28.25 c And the winner is solver0 6.23/28.74 c Got one! Elapsed wall clock time (in seconds):28.634 6.23/28.74 o 211 6.23/28.75 c And the winner is solver0 6.25/29.24 c Got one! Elapsed wall clock time (in seconds):29.135 6.25/29.24 o 210 6.25/29.26 c And the winner is solver0 6.34/29.74 c Got one! Elapsed wall clock time (in seconds):29.636 6.34/29.74 o 203 6.34/29.75 c And the winner is solver0 6.37/30.24 c Got one! Elapsed wall clock time (in seconds):30.137 6.37/30.24 o 201 6.69/30.40 c And the winner is solver0 6.72/30.75 c Got one! Elapsed wall clock time (in seconds):30.638 6.72/30.75 o 199 6.72/30.76 c And the winner is solver0 6.77/31.25 c Got one! Elapsed wall clock time (in seconds):31.139 6.77/31.25 o 184 6.77/31.25 c And the winner is solver0 6.77/31.75 c Got one! Elapsed wall clock time (in seconds):31.64 6.77/31.75 o 183 6.77/31.78 c And the winner is solver0 6.86/32.25 c Got one! Elapsed wall clock time (in seconds):32.141 6.86/32.25 o 180 6.86/32.26 c And the winner is solver0 6.88/32.75 c Got one! Elapsed wall clock time (in seconds):32.642 6.88/32.75 o 166 6.88/32.79 c And the winner is solver0 7.01/33.25 c Got one! Elapsed wall clock time (in seconds):33.143 7.01/33.25 o 164 7.10/33.36 c cleaning 7910 clauses out of 15819 with flag 8622/37334 7.30/33.43 c And the winner is solver0 7.38/33.75 c Got one! Elapsed wall clock time (in seconds):33.644 7.38/33.75 o 163 7.38/33.77 c And the winner is solver0 7.43/34.25 c Got one! Elapsed wall clock time (in seconds):34.145 7.43/34.25 o 159 7.43/34.28 c And the winner is solver0 7.52/34.75 c Got one! Elapsed wall clock time (in seconds):34.645 7.52/34.75 o 158 7.52/34.77 c And the winner is solver0 7.61/35.25 c Got one! Elapsed wall clock time (in seconds):35.146 7.61/35.25 o 147 7.61/35.26 c And the winner is solver0 7.61/35.75 c Got one! Elapsed wall clock time (in seconds):35.647 7.61/35.75 o 143 7.61/35.76 c And the winner is solver0 7.63/36.26 c Got one! Elapsed wall clock time (in seconds):36.148 7.63/36.26 o 142 7.63/36.28 c And the winner is solver0 7.72/36.76 c Got one! Elapsed wall clock time (in seconds):36.649 7.72/36.76 o 136 7.82/36.89 c And the winner is solver0 8.05/37.26 c Got one! Elapsed wall clock time (in seconds):37.149 8.05/37.26 o 135 8.13/37.30 c And the winner is solver0 8.15/37.76 c Got one! Elapsed wall clock time (in seconds):37.65 8.15/37.76 o 131 8.15/37.79 c And the winner is solver0 8.25/38.26 c Got one! Elapsed wall clock time (in seconds):38.151 8.25/38.26 o 123 8.25/38.30 c And the winner is solver0 8.34/38.76 c Got one! Elapsed wall clock time (in seconds):38.652 8.34/38.76 o 118 8.67/38.91 c cleaning 8735 clauses out of 17471 with flag 7798/46896 8.67/38.91 c And the winner is solver0 8.94/39.26 c Got one! Elapsed wall clock time (in seconds):39.153 8.94/39.26 o 117 9.41/39.54 c cleaning 6875 clauses out of 13760 with flag 20413/51920 10.30/39.87 c cleaning 6434 clauses out of 12886 with flag 44424/57921 11.00/40.10 c And the winner is solver0 11.04/40.26 c Got one! Elapsed wall clock time (in seconds):40.154 11.04/40.26 o 113 11.04/40.30 c And the winner is solver0 11.13/40.76 c Got one! Elapsed wall clock time (in seconds):40.655 11.13/40.76 o 112 11.13/40.79 c And the winner is solver0 11.21/41.26 c Got one! Elapsed wall clock time (in seconds):41.156 11.21/41.26 o 109 11.21/41.28 c And the winner is solver0 11.28/41.76 c Got one! Elapsed wall clock time (in seconds):41.657 11.28/41.76 o 107 11.28/41.79 c And the winner is solver0 11.35/42.27 c Got one! Elapsed wall clock time (in seconds):42.158 11.35/42.27 o 83 11.35/42.29 c And the winner is solver0 11.42/42.77 c Got one! Elapsed wall clock time (in seconds):42.659 11.42/42.77 o 80 11.48/42.83 c cleaning 7124 clauses out of 14261 with flag 3871/65730 11.48/42.89 c And the winner is solver0 11.69/43.27 c Got one! Elapsed wall clock time (in seconds):43.161 11.69/43.27 o 75 11.74/43.37 c And the winner is solver0 11.91/43.77 c Got one! Elapsed wall clock time (in seconds):43.664 11.91/43.77 o 66 11.91/43.79 c And the winner is solver0 11.95/44.27 c Got one! Elapsed wall clock time (in seconds):44.167 11.95/44.27 o 65 11.99/44.39 c cleaning 6376 clauses out of 12755 with flag 8210/71348 12.19/44.49 c And the winner is solver0 12.38/44.78 c Got one! Elapsed wall clock time (in seconds):44.671 12.38/44.78 o 62 12.41/44.87 c And the winner is solver0 12.58/45.28 c Got one! Elapsed wall clock time (in seconds):45.176 12.58/45.28 o 60 12.60/45.30 c And the winner is solver0 12.62/45.79 c Got one! Elapsed wall clock time (in seconds):45.681 12.62/45.79 o 59 12.64/45.82 c And the winner is solver0 12.73/46.30 c Got one! Elapsed wall clock time (in seconds):46.19 12.73/46.30 o 57 12.74/46.34 c And the winner is solver0 12.82/46.80 c Got one! Elapsed wall clock time (in seconds):46.695 12.82/46.80 o 56 12.82/46.85 c And the winner is solver0 12.94/47.31 c Got one! Elapsed wall clock time (in seconds):47.203 12.94/47.31 o 55 13.12/47.44 c cleaning 7463 clauses out of 14927 with flag 8454/79896 13.31/47.52 c And the winner is solver0 13.39/47.82 c Got one! Elapsed wall clock time (in seconds):47.708 13.39/47.82 o 54 13.39/47.87 c And the winner is solver0 13.56/48.33 c Got one! Elapsed wall clock time (in seconds):48.214 13.56/48.33 o 48 13.72/48.48 c cleaning 6728 clauses out of 13464 with flag 13598/85896 13.72/48.49 c And the winner is solver0 13.94/48.83 c Got one! Elapsed wall clock time (in seconds):48.72 13.94/48.83 o 46 14.08/48.95 c And the winner is solver0 14.22/49.34 c Got one! Elapsed wall clock time (in seconds):49.232 14.22/49.34 o 41 14.22/49.36 c And the winner is solver0 14.26/49.85 c Got one! Elapsed wall clock time (in seconds):49.738 14.26/49.85 o 40 14.26/49.88 c And the winner is solver0 14.36/50.36 c Got one! Elapsed wall clock time (in seconds):50.252 14.36/50.36 o 39 14.63/50.51 c cleaning 6833 clauses out of 13672 with flag 12087/92832 15.04/50.72 c And the winner is solver0 15.10/50.87 c Got one! Elapsed wall clock time (in seconds):50.759 15.10/50.87 o 37 15.10/50.89 c And the winner is solver0 15.18/51.37 c Got one! Elapsed wall clock time (in seconds):51.265 15.18/51.37 o 32 15.21/51.44 c cleaning 6477 clauses out of 12958 with flag 3227/98951 15.21/51.46 c And the winner is solver0 15.37/51.88 c Got one! Elapsed wall clock time (in seconds):51.777 15.37/51.88 o 17 15.59/52.09 c cleaning 6087 clauses out of 12191 with flag 17610/104661 15.79/52.10 c And the winner is solver0 15.82/52.39 c Got one! Elapsed wall clock time (in seconds):52.284 15.82/52.39 o 16 15.82/52.42 c And the winner is solver0 15.87/52.90 c Got one! Elapsed wall clock time (in seconds):52.793 15.87/52.90 o 15 16.25/53.11 c cleaning 5899 clauses out of 11805 with flag 17013/110362 16.65/53.34 c cleaning 5948 clauses out of 11906 with flag 38527/116362 16.85/53.45 c And the winner is solver0 16.97/53.91 c Got one! Elapsed wall clock time (in seconds):53.805 16.97/53.91 o 12 16.97/53.97 c And the winner is solver0 17.09/54.42 c Got one! Elapsed wall clock time (in seconds):54.315 17.09/54.42 o 11 17.23/54.52 c cleaning 5964 clauses out of 11946 with flag 7202/122350 17.63/54.78 c cleaning 5986 clauses out of 11983 with flag 29330/128351 18.03/54.98 c And the winner is solver0 18.22/55.43 c Got one! Elapsed wall clock time (in seconds):55.325 18.22/55.43 o 10 18.54/55.67 c cleaning 8142 clauses out of 16290 with flag 20343/138644 18.54/55.69 c And the winner is solver0 18.76/55.94 c Got one! Elapsed wall clock time (in seconds):55.836 18.76/55.94 o 8 19.07/56.15 c And the winner is solver0 19.21/56.45 c Got one! Elapsed wall clock time (in seconds):56.348 19.21/56.45 o 3 19.30/56.53 c cleaning 6910 clauses out of 13824 with flag 4358/144321 19.70/56.78 c cleaning 6456 clauses out of 12913 with flag 27042/150321 20.30/57.08 c cleaning 6723 clauses out of 13453 with flag 55072/157319 21.11/57.43 c cleaning 7365 clauses out of 14730 with flag 89740/165322 21.51/57.64 c And the winner is solver0 21.79/57.97 c Got one! Elapsed wall clock time (in seconds):57.86 21.79/57.97 o 2 22.23/58.25 c cleaning 8781 clauses out of 17571 with flag 23885/175531 22.83/58.53 c cleaning 7387 clauses out of 14784 with flag 51027/181529 23.42/58.85 c cleaning 7192 clauses out of 14389 with flag 84051/188529 23.62/58.92 c And the winner is solver0 23.87/59.17 c >>>>>>>>>> Solver number 0 (111 answers) <<<<<<<<<<<<<<<<<< 23.87/59.17 c starts : 270 23.87/59.17 c conflicts : 190467 23.87/59.17 c decisions : 337224 23.87/59.17 c propagations : 5744189 23.87/59.17 c inspects : 89112370 23.87/59.17 c shortcuts : 0 23.87/59.17 c learnt literals : 36 23.87/59.17 c learnt binary clauses : 36 23.87/59.17 c learnt ternary clauses : 534 23.87/59.17 c learnt constraints : 190430 23.87/59.17 c ignored constraints : 0 23.87/59.17 c root simplifications : 0 23.87/59.17 c removed literals (reason simplification) : 176864 23.87/59.17 c reason swapping (by a shorter reason) : 0 23.87/59.17 c Calls to reduceDB : 26 23.87/59.17 c Number of update (reduction) of LBD : 57136 23.87/59.17 c Imported unit clauses : 0 23.87/59.17 c number of reductions to clauses (during analyze) : 0 23.87/59.17 c number of learned constraints concerned by reduction : 0 23.87/59.17 c number of learning phase by resolution : 0 23.87/59.17 c number of learning phase by cutting planes : 0 23.87/59.17 c speed (assignments/second) : 97370.68804773447 23.87/59.17 c non guided choices 5027 23.87/59.17 c learnt constraints type 23.87/59.17 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 23.87/59.17 c starts : 112 23.87/59.17 c conflicts : 762 23.87/59.17 c decisions : 14060 23.87/59.17 c propagations : 43615 23.87/59.17 c inspects : 3755491 23.87/59.17 c shortcuts : 0 23.87/59.17 c learnt literals : 0 23.87/59.17 c learnt binary clauses : 0 23.87/59.17 c learnt ternary clauses : 0 23.87/59.17 c learnt constraints : 699 23.87/59.17 c ignored constraints : 0 23.87/59.17 c root simplifications : 0 23.87/59.17 c removed literals (reason simplification) : 0 23.87/59.17 c reason swapping (by a shorter reason) : 0 23.87/59.17 c Calls to reduceDB : 0 23.87/59.17 c Number of update (reduction) of LBD : 0 23.87/59.17 c Imported unit clauses : 0 23.87/59.17 c number of reductions to clauses (during analyze) : 0 23.87/59.17 c number of learned constraints concerned by reduction : 0 23.87/59.17 c number of learning phase by resolution : 0 23.87/59.17 c number of learning phase by cutting planes : 0 23.87/59.17 c speed (assignments/second) : 37373.60754070266 23.87/59.17 c non guided choices 1947 23.87/59.17 c learnt constraints type 23.87/59.17 s OPTIMUM FOUND 23.87/59.17 c Found 110 solution(s) 23.87/59.17 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 23.87/59.17 c objective function=2 23.87/59.17 c Total wall clock time (in seconds): 59.067
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-4110189-1467321632/watcher-4110189-1467321632 -o /tmp/evaluation-result-4110189-1467321632/solver-4110189-1467321632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467318834-9455 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110189-1467321632.wbo pid=21271 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.69 0.43 0.56 2/170 21274 /proc/meminfo: memFree=31160524/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/21274/stat : 21274 (java) R 21271 21274 4291 0 -1 4202496 1060 0 0 0 0 0 0 0 20 0 1 0 2840750 23793664 711 33554432000 1073741824 1073778376 140733434876944 140733434866008 262953547856 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 5809 711 525 9 0 128 0 [startup+0.100155 s] /proc/loadavg: 0.69 0.43 0.56 2/170 21274 /proc/meminfo: memFree=31160524/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 4470 0 1 0 9 1 0 0 20 0 18 0 2840750 9787879424 6107 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2389619 6107 2156 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200237 s] /proc/loadavg: 0.69 0.43 0.56 2/170 21274 /proc/meminfo: memFree=31160524/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 4832 0 1 0 25 1 0 0 20 0 22 0 2840750 10060525568 7935 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 7935 2221 9 0 2446860 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9824732 [startup+0.300233 s] /proc/loadavg: 0.69 0.43 0.56 2/170 21274 /proc/meminfo: memFree=31160524/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=0.66 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 7897 0 1 0 64 2 0 0 20 0 22 0 2840750 10060525568 10080 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 10080 2246 9 0 2446860 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 9824732 [startup+0.700273 s] /proc/loadavg: 0.69 0.43 0.56 2/170 21274 /proc/meminfo: memFree=31160524/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 14713 0 1 0 120 5 0 0 20 0 22 0 2840750 10060525568 15766 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 15766 2255 9 0 2446860 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 0.69 0.43 0.56 1/189 21299 /proc/meminfo: memFree=31095936/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=1.72 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 14779 0 1 0 163 9 0 0 20 0 19 0 2840750 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 19906 2262 9 0 2446860 0 [pid=21274/tid=21276] ppid=21271 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/21274/task/21276/stat : 21276 (java) S 21271 21274 4291 0 -1 4202560 2416 0 1 0 14 2 0 0 20 0 19 0 2840751 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210604999544 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21277] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21277/stat : 21277 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210566490920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21278] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21278/stat : 21278 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210565438120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21279] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21279/stat : 21279 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210564385832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21280] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21280/stat : 21280 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210563333032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21281] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21281/stat : 21281 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210562279720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21282] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21282/stat : 21282 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210561226920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21283] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21283/stat : 21283 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210560174632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21284] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21284/stat : 21284 (java) S 21271 21274 4291 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210559121832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21285] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21285/stat : 21285 (java) S 21271 21274 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2840753 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210428951272 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21286] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21286/stat : 21286 (java) S 21271 21274 4291 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2840753 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210427897336 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21287] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21287/stat : 21287 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2840753 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210426844936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21288] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21288/stat : 21288 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840755 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210425793424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21289] ppid=21271 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/21274/task/21289/stat : 21289 (java) S 21271 21274 4291 0 -1 4202560 4493 0 0 0 48 0 0 0 20 0 19 0 2840755 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210424740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21290] ppid=21271 vsize=9824732 CPUtime=0.46 cores=1,3,5,7 /proc/21274/task/21290/stat : 21290 (java) S 21271 21274 4291 0 -1 4202560 6522 0 0 0 45 1 0 0 20 0 19 0 2840755 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210423687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21291] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21291/stat : 21291 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840755 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210422635128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21292] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21292/stat : 21292 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840755 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210421582536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21295] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21295/stat : 21295 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2840769 10060525568 19906 33554432000 1073741824 1073778376 140733434876944 140210418423464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.72 Current children cumulated vsize (KiB) 9824732 [startup+3.10075 s] /proc/loadavg: 0.69 0.43 0.56 1/189 21308 /proc/meminfo: memFree=31082952/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=1.81 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 14928 0 1 0 172 9 0 0 20 0 19 0 2840750 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 23010 2266 9 0 2446860 0 [pid=21274/tid=21276] ppid=21271 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/21274/task/21276/stat : 21276 (java) S 21271 21274 4291 0 -1 4202560 2417 0 1 0 15 2 0 0 20 0 19 0 2840751 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210604999544 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21277] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21277/stat : 21277 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210566490920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21278] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21278/stat : 21278 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210565438120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21279] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21279/stat : 21279 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210564385832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21280] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21280/stat : 21280 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210563333032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21281] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21281/stat : 21281 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210562279720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21282] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21282/stat : 21282 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210561226920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21283] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21283/stat : 21283 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210560174632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21284] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21284/stat : 21284 (java) S 21271 21274 4291 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2840752 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210559121832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21285] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21285/stat : 21285 (java) S 21271 21274 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2840753 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210428951272 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21286] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21286/stat : 21286 (java) S 21271 21274 4291 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2840753 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210427897336 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21287] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21287/stat : 21287 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2840753 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210426844936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21288] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21288/stat : 21288 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840755 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210425793424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21289] ppid=21271 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/21274/task/21289/stat : 21289 (java) S 21271 21274 4291 0 -1 4202560 4615 0 0 0 56 0 0 0 20 0 19 0 2840755 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210424740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21290] ppid=21271 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/21274/task/21290/stat : 21290 (java) S 21271 21274 4291 0 -1 4202560 6522 0 0 0 45 2 0 0 20 0 19 0 2840755 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210423687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21291] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21291/stat : 21291 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840755 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210422635128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21292] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21292/stat : 21292 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2840755 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210421582536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21295] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21295/stat : 21295 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2840769 10060525568 23010 33554432000 1073741824 1073778376 140733434876944 140210418423464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.81 Current children cumulated vsize (KiB) 9824732 heavy processes: ############ # WARNING: # current cumulated CPU time (1.84 s) is less than in the last sample (1.85 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+5.70081 s] /proc/loadavg: 0.63 0.42 0.56 1/189 21326 /proc/meminfo: memFree=31052896/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 15019 0 1 0 176 9 0 0 20 0 22 0 2840750 10060525568 30417 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 30417 2268 9 0 2446860 0 [pid=21274/tid=21276] ppid=21271 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/21274/task/21276/stat : 21276 (java) S 21271 21274 4291 0 -1 4202560 2419 0 1 0 15 2 0 0 20 0 22 0 2840751 10060525568 30417 33554432000 1073741824 1073778376 140733434876944 140210604999544 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21277] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21277/stat : 21277 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840752 10060525568 30417 33554432000 1073741824 1073778376 140733434876944 140210566490920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21278] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21278/stat : 21278 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840752 10060525568 30417 33554432000 1073741824 1073778376 140733434876944 140210565438120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21279] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21279/stat : 21279 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840752 10060525568 30417 33554432000 1073741824 1073778376 140733434876944 140210564385832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21280] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21280/stat : 21280 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840752 10060525568 30417 33554432000 1073741824 1073778376 140733434876944 140210563333032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21281] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21281/stat : 21281 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840752 10060525568 30417 33554432000 1073741824 1073778376 140733434876944 140210562279720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21282] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21282/stat : 21282 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840752 10060525568 30415 33554432000 1073741824 1073778376 140733434876944 140210561226920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21283] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21283/stat : 21283 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 2840752 10060525568 30415 33554432000 1073741824 1073778376 140733434876944 140210560174632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21284] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21284/stat : 21284 (java) S 21271 21274 4291 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 2840752 10060525568 30415 33554432000 1073741824 1073778376 140733434876944 140210559121832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21285] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21285/stat : 21285 (java) S 21271 21274 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 2840753 10060525568 30415 33554432000 1073741824 1073778376 140733434876944 140210428951272 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21286] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21286/stat : 21286 (java) S 21271 21274 4291 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 2840753 10060525568 30413 33554432000 1073741824 1073778376 140733434876944 140210427897336 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21287] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21287/stat : 21287 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2840753 10060525568 30413 33554432000 1073741824 1073778376 140733434876944 140210426844936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21288] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21288/stat : 21288 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2840755 10060525568 30413 33554432000 1073741824 1073778376 140733434876944 140210425793424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21289] ppid=21271 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/21274/task/21289/stat : 21289 (java) S 21271 21274 4291 0 -1 4202560 4616 0 0 0 56 0 0 0 20 0 20 0 2840755 10060525568 30413 33554432000 1073741824 1073778376 140733434876944 140210424740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21290] ppid=21271 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/21274/task/21290/stat : 21290 (java) S 21271 21274 4291 0 -1 4202560 6536 0 0 0 48 2 0 0 20 0 20 0 2840755 10060525568 30413 33554432000 1073741824 1073778376 140733434876944 140210423687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21291] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/21274/task/21291/stat : 21291 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840755 10060525568 51704 33554432000 1073741824 1073778376 140733434876944 140210422635128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21292] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21292/stat : 21292 (java) S 21271 21274 4291 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2840755 10060525568 51704 33554432000 1073741824 1073778376 140733434876944 140210421582536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21295] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21295/stat : 21295 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2840769 10060525568 51704 33554432000 1073741824 1073778376 140733434876944 140210418423464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21623] ppid=21271 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/21274/task/21623/stat : 21623 (java) R 21271 21274 4291 0 -1 4202560 3 0 0 0 40 0 0 0 20 0 22 0 2846549 10060525568 51704 33554432000 1073741824 1073778376 140733434876944 140210420526368 140210432735968 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21624] ppid=21271 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/21274/task/21624/stat : 21624 (java) R 21271 21274 4291 0 -1 4202560 2 0 0 0 40 0 0 0 20 0 22 0 2846549 10060525568 51704 33554432000 1073741824 1073778376 140733434876944 140210419474352 140210432757674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21625] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21625/stat : 21625 (java) S 21271 21274 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2846552 10060525568 51704 33554432000 1073741824 1073778376 140733434876944 140210417370024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 22.62 Current children cumulated vsize (KiB) 9824732 [startup+58.801 s] /proc/loadavg: 0.62 0.43 0.55 3/191 21625 /proc/meminfo: memFree=30960696/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=23.39 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 26355 0 1 0 2157 182 0 0 20 0 22 0 2840750 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 51030 2288 9 0 2446860 0 [pid=21274/tid=21276] ppid=21271 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/21274/task/21276/stat : 21276 (java) S 21271 21274 4291 0 -1 4202560 2425 0 1 0 37 2 0 0 20 0 22 0 2840751 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210604999544 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21277] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21277/stat : 21277 (java) S 21271 21274 4291 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 22 0 2840752 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210566490920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21278] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21278/stat : 21278 (java) S 21271 21274 4291 0 -1 4202560 23 0 0 0 7 0 0 0 20 0 22 0 2840752 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210565438120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21279] ppid=21271 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21274/task/21279/stat : 21279 (java) S 21271 21274 4291 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 22 0 2840752 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210564385832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21280] ppid=21271 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21274/task/21280/stat : 21280 (java) S 21271 21274 4291 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 2840752 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210563333032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21281] ppid=21271 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/21274/task/21281/stat : 21281 (java) S 21271 21274 4291 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 2840752 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210562279720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21282] ppid=21271 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/21274/task/21282/stat : 21282 (java) S 21271 21274 4291 0 -1 4202560 24 0 0 0 6 2 0 0 20 0 22 0 2840752 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210561226920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21283] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21283/stat : 21283 (java) S 21271 21274 4291 0 -1 4202560 18 0 0 0 6 1 0 0 20 0 22 0 2840752 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210560174632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21284] ppid=21271 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/21274/task/21284/stat : 21284 (java) S 21271 21274 4291 0 -1 4202560 33 0 0 0 8 2 0 0 20 0 22 0 2840752 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210559121832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21285] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21285/stat : 21285 (java) S 21271 21274 4291 0 -1 4202560 14 0 0 0 1 6 0 0 20 0 22 0 2840753 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210428951272 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21286] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21286/stat : 21286 (java) S 21271 21274 4291 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2840753 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210427897336 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21287] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21287/stat : 21287 (java) S 21271 21274 4291 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 2840753 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210426844936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21288] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21288/stat : 21288 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840755 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210425793424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21289] ppid=21271 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/21274/task/21289/stat : 21289 (java) S 21271 21274 4291 0 -1 4202560 14921 0 0 0 187 3 0 0 20 0 22 0 2840755 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210424740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21290] ppid=21271 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/21274/task/21290/stat : 21290 (java) S 21271 21274 4291 0 -1 4202560 6557 0 0 0 89 2 0 0 20 0 22 0 2840755 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210423687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21291] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21291/stat : 21291 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2840755 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210422635128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21292] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21292/stat : 21292 (java) S 21271 21274 4291 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2840755 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210421582536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21295] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21295/stat : 21295 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2840769 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210418423464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21623] ppid=21271 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/21274/task/21623/stat : 21623 (java) R 21271 21274 4291 0 -1 4202560 4 0 0 0 79 0 0 0 20 0 22 0 2846549 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210420526184 140210432638538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21624] ppid=21271 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/21274/task/21624/stat : 21624 (java) R 21271 21274 4291 0 -1 4202560 2 0 0 0 79 0 0 0 20 0 22 0 2846549 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210419474472 140210432757767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21625] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21625/stat : 21625 (java) S 21271 21274 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2846552 10060525568 51030 33554432000 1073741824 1073778376 140733434876944 140210417370024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 23.39 Current children cumulated vsize (KiB) 9824732 [startup+59.001 s] /proc/loadavg: 0.62 0.43 0.55 3/191 21625 /proc/meminfo: memFree=30960696/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=23.73 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 26357 0 1 0 2190 183 0 0 20 0 20 0 2840750 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 50929 2288 9 0 2446860 0 [pid=21274/tid=21276] ppid=21271 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/21274/task/21276/stat : 21276 (java) S 21271 21274 4291 0 -1 4202560 2425 0 1 0 37 2 0 0 20 0 20 0 2840751 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210604999544 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21277] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21277/stat : 21277 (java) S 21271 21274 4291 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210566490920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21278] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21278/stat : 21278 (java) S 21271 21274 4291 0 -1 4202560 23 0 0 0 7 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210565438120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21279] ppid=21271 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21274/task/21279/stat : 21279 (java) S 21271 21274 4291 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210564385832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21280] ppid=21271 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21274/task/21280/stat : 21280 (java) S 21271 21274 4291 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210563333032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21281] ppid=21271 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/21274/task/21281/stat : 21281 (java) S 21271 21274 4291 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210562279720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21282] ppid=21271 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/21274/task/21282/stat : 21282 (java) S 21271 21274 4291 0 -1 4202560 24 0 0 0 6 2 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210561226920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21283] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21283/stat : 21283 (java) S 21271 21274 4291 0 -1 4202560 18 0 0 0 6 1 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210560174632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21284] ppid=21271 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/21274/task/21284/stat : 21284 (java) S 21271 21274 4291 0 -1 4202560 33 0 0 0 8 2 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210559121832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21285] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21285/stat : 21285 (java) S 21271 21274 4291 0 -1 4202560 14 0 0 0 1 6 0 0 20 0 20 0 2840753 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210428951272 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21286] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21286/stat : 21286 (java) S 21271 21274 4291 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2840753 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210427897336 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21287] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21287/stat : 21287 (java) S 21271 21274 4291 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 2840753 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210426844936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21288] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21288/stat : 21288 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210425793424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21289] ppid=21271 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/21274/task/21289/stat : 21289 (java) S 21271 21274 4291 0 -1 4202560 14921 0 0 0 187 3 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210424740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21290] ppid=21271 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/21274/task/21290/stat : 21290 (java) S 21271 21274 4291 0 -1 4202560 6557 0 0 0 89 2 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210423687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21291] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21291/stat : 21291 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210422635128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21292] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21292/stat : 21292 (java) S 21271 21274 4291 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210421582536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21295] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21295/stat : 21295 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2840769 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210418423464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21624] ppid=21271 vsize=9824732 CPUtime=0.98 cores=1,3,5,7 /proc/21274/task/21624/stat : 21624 (java) R 21271 21274 4291 0 -1 4202560 3 0 0 0 98 0 0 0 20 0 20 0 2846549 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210419474168 140210432757586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 23.73 Current children cumulated vsize (KiB) 9824732 [startup+59.1009 s] /proc/loadavg: 0.62 0.43 0.55 3/191 21625 /proc/meminfo: memFree=30960696/32872528 swapFree=295864/318348 [pid=21274] ppid=21271 vsize=9824732 CPUtime=23.84 cores=1,3,5,7 /proc/21274/stat : 21274 (java) S 21271 21274 4291 0 -1 4202496 26357 0 1 0 2200 184 0 0 20 0 20 0 2840750 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140733434868080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21274/statm: 2456183 50929 2288 9 0 2446860 0 [pid=21274/tid=21276] ppid=21271 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/21274/task/21276/stat : 21276 (java) S 21271 21274 4291 0 -1 4202560 2425 0 1 0 37 2 0 0 20 0 20 0 2840751 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210604999544 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21277] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21277/stat : 21277 (java) S 21271 21274 4291 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210566490920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21278] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21278/stat : 21278 (java) S 21271 21274 4291 0 -1 4202560 23 0 0 0 7 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210565438120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21279] ppid=21271 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21274/task/21279/stat : 21279 (java) S 21271 21274 4291 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210564385832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21280] ppid=21271 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21274/task/21280/stat : 21280 (java) S 21271 21274 4291 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210563333032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21281] ppid=21271 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/21274/task/21281/stat : 21281 (java) S 21271 21274 4291 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210562279720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21282] ppid=21271 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/21274/task/21282/stat : 21282 (java) S 21271 21274 4291 0 -1 4202560 24 0 0 0 6 2 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210561226920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21283] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21283/stat : 21283 (java) S 21271 21274 4291 0 -1 4202560 18 0 0 0 6 1 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210560174632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21284] ppid=21271 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/21274/task/21284/stat : 21284 (java) S 21271 21274 4291 0 -1 4202560 33 0 0 0 8 2 0 0 20 0 20 0 2840752 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210559121832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21285] ppid=21271 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/21274/task/21285/stat : 21285 (java) S 21271 21274 4291 0 -1 4202560 14 0 0 0 1 6 0 0 20 0 20 0 2840753 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210428951272 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21274/tid=21286] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21286/stat : 21286 (java) S 21271 21274 4291 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2840753 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210427897336 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21287] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21287/stat : 21287 (java) S 21271 21274 4291 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 2840753 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210426844936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21288] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21288/stat : 21288 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210425793424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21289] ppid=21271 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/21274/task/21289/stat : 21289 (java) S 21271 21274 4291 0 -1 4202560 14921 0 0 0 187 3 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210424740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21290] ppid=21271 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/21274/task/21290/stat : 21290 (java) S 21271 21274 4291 0 -1 4202560 6557 0 0 0 89 2 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210423687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21291] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21291/stat : 21291 (java) S 21271 21274 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210422635128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21274/tid=21292] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21292/stat : 21292 (java) S 21271 21274 4291 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 2840755 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210421582536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21274/tid=21295] ppid=21271 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21274/task/21295/stat : 21295 (java) S 21271 21274 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2840769 10060525568 50929 33554432000 1073741824 1073778376 140733434876944 140210418423464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21274/tid=21624] ppid=21271 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/21274/task/21624/stat : 21624 (java) R 21271 21274 4291 0 -1 4202564 3 0 0 0 108 0 0 0 20 0 20 0 2846549 10060525568 50927 33554432000 1073741824 1073778376 140733434876944 140210419474168 262966114689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 23.84 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.0300009 # lost CPU user time (s): 0.0400002 # lost CPU system time (s): -0.00999999 Real time (s): 59.1834 CPU time (s): 24.0094 CPU user time (s): 22.0677 CPU system time (s): 1.9417 CPU usage (%): 40.5677 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.0277 system time used= 1.9517 maximum resident set size= 231436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26369 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= 4406 involuntary context switches= 1574 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.379942 second user time and 0.39194 second system time The end
Begin job on node128 at 2016-06-30 23:20:32 IDJOB=4110189 IDBENCH=79194 IDSOLVER=2552 FILE ID=node128/4110189-1467321632 RUNJOBID= node128-1467318834-9455 PBS_JOBID= 20005249 Free space on /tmp= 71744 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.1110973364--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110189-1467321632/watcher-4110189-1467321632 -o /tmp/evaluation-result-4110189-1467321632/solver-4110189-1467321632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467318834-9455 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110189-1467321632.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 720f64c2f6f2c9ea73cb79f37d5ddc49 RANDOM SEED=580869639 node128.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.501 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.00 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.501 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.501 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.501 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 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.501 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.501 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 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: 31161060 kB Buffers: 84020 kB Cached: 555332 kB SwapCached: 0 kB Active: 213768 kB Inactive: 442308 kB Active(anon): 19280 kB Inactive(anon): 4 kB Active(file): 194488 kB Inactive(file): 442304 kB Unevictable: 318348 kB Mlocked: 295864 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 828 kB Writeback: 0 kB AnonPages: 354976 kB Mapped: 14152 kB Shmem: 204 kB Slab: 607780 kB SReclaimable: 51344 kB SUnreclaim: 556436 kB KernelStack: 1568 kB PageTables: 4436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 417596 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 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= 71744 MiB End job on node128 at 2016-06-30 23:21:31