Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 184 | 1800.32 | 973.846 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-edgecross10-040.opb |
| MD5SUM | 678b3b0724ff54466f3548bc434e911a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 184 |
| Best CPU time to get the best result obtained on this benchmark | 1800.32 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 91 |
| Total number of constraints | 481 |
| Number of constraints which are clauses | 480 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 633 |
| Biggest coefficient in the objective function | 338 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 1808 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 338 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1808 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 546 |
| Sum of products size (including duplicates) | 1092 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.30 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.08/0.30 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.30 c See www.sat4j.org for details. 0.08/0.31 c version PB16.v20160501 0.08/0.31 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.31 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.31 c java.vm.version 19.1-b02 0.08/0.31 c java.vm.vendor Sun Microsystems Inc. 0.08/0.31 c sun.arch.data.model 64 0.08/0.31 c java.version 1.6.0_24 0.08/0.31 c os.name Linux 0.08/0.31 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.31 c os.arch amd64 0.08/0.31 c Free memory 501472288 0.08/0.31 c Max memory 7480803328 0.08/0.31 c Total memory 504102912 0.08/0.31 c Number of processors 8 0.08/0.34 c Pseudo Boolean Optimization by upper bound 0.08/0.34 c ManyCore solver with 2 solvers running in parallel 0.08/0.34 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.34 c --- Begin Solver configuration --- 0.08/0.34 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.34 c Learn all clauses as in MiniSAT 0.08/0.34 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.34 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.34 c Expensive reason simplification 0.08/0.34 c Glucose 2.1 dynamic restart strategy 0.08/0.34 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.08/0.34 c timeout=2147483s 0.08/0.34 c DB Simplification allowed=false 0.08/0.34 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.34 c --- End Solver configuration --- 0.08/0.34 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.34 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.34 c --- Begin Solver configuration --- 0.08/0.34 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.34 c Learn all clauses as in MiniSAT 0.08/0.34 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.34 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.34 c No reason simplification 0.08/0.34 c Armin Biere (Picosat) restarts strategy 0.08/0.34 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.08/0.34 c timeout=2147483s 0.08/0.34 c DB Simplification allowed=false 0.08/0.34 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.34 c --- End Solver configuration --- 0.08/0.34 c solving HOME/instance-4119513-1467258080.opb 0.08/0.34 c reading problem ... 0.08/0.35 c objective function found 0.19/0.50 c ... done. Wall clock time 0.152s. 0.19/0.50 c declared #vars 91 0.40/0.50 c internal #vars 637 0.40/0.50 c #constraints 1574 0.40/0.50 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.40/0.50 c constraints type 0.40/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1026 0.40/0.50 c org.sat4j.specs.Constr$1 => 1 0.40/0.50 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.40/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 546 0.40/0.50 c 1574 constraints processed. 0.40/0.50 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.40/0.50 c constraints type 0.40/0.50 c org.sat4j.specs.Constr$1 => 1 0.40/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1026 0.40/0.50 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.40/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPb => 546 0.40/0.50 c 1574 constraints processed. 0.40/0.50 c objective function length is 633 literals 0.40/0.52 c And the winner is solver0 0.46/1.01 c SATISFIABLE 0.46/1.01 c OPTIMIZING... 0.46/1.01 c Got one! Elapsed wall clock time (in seconds):0.664 0.46/1.01 o 342 0.46/1.04 c And the winner is solver0 0.63/1.52 c Got one! Elapsed wall clock time (in seconds):1.176 0.63/1.52 o 338 0.63/1.53 c And the winner is solver0 0.84/2.02 c Got one! Elapsed wall clock time (in seconds):1.681 0.84/2.02 o 334 0.84/2.04 c And the winner is solver0 1.09/2.53 c Got one! Elapsed wall clock time (in seconds):2.187 1.09/2.53 o 329 1.09/2.54 c And the winner is solver0 1.10/3.03 c Got one! Elapsed wall clock time (in seconds):2.69 1.10/3.03 o 321 1.28/3.12 c And the winner is solver0 1.43/3.54 c Got one! Elapsed wall clock time (in seconds):3.193 1.43/3.54 o 318 1.43/3.54 c And the winner is solver0 1.43/4.04 c Got one! Elapsed wall clock time (in seconds):3.695 1.43/4.04 o 317 1.43/4.06 c And the winner is solver0 1.50/4.54 c Got one! Elapsed wall clock time (in seconds):4.197 1.50/4.54 o 313 1.50/4.56 c And the winner is solver0 2.39/5.04 c Got one! Elapsed wall clock time (in seconds):4.7 2.39/5.04 o 309 2.39/5.05 c And the winner is solver0 2.39/5.54 c Got one! Elapsed wall clock time (in seconds):5.202 2.39/5.54 o 307 2.39/5.60 c And the winner is solver0 2.52/6.05 c Got one! Elapsed wall clock time (in seconds):5.704 2.52/6.05 o 306 2.52/6.05 c And the winner is solver0 2.53/6.55 c Got one! Elapsed wall clock time (in seconds):6.206 2.53/6.55 o 305 2.53/6.57 c And the winner is solver0 2.60/7.05 c Got one! Elapsed wall clock time (in seconds):6.708 2.60/7.05 o 303 2.60/7.05 c And the winner is solver0 2.60/7.55 c Got one! Elapsed wall clock time (in seconds):7.21 2.60/7.55 o 301 2.60/7.56 c And the winner is solver0 4.97/9.52 c Got one! Elapsed wall clock time (in seconds):9.178 4.97/9.52 o 299 4.97/9.56 c And the winner is solver0 5.09/10.02 c Got one! Elapsed wall clock time (in seconds):9.68 5.09/10.02 o 294 5.09/10.03 c And the winner is solver0 5.12/10.52 c Got one! Elapsed wall clock time (in seconds):10.181 5.12/10.52 o 292 5.12/10.53 c And the winner is solver0 5.12/11.03 c Got one! Elapsed wall clock time (in seconds):10.683 5.12/11.03 o 290 5.12/11.04 c And the winner is solver0 5.17/11.53 c Got one! Elapsed wall clock time (in seconds):11.185 5.17/11.53 o 289 5.17/11.53 c And the winner is solver0 5.17/12.03 c Got one! Elapsed wall clock time (in seconds):11.686 5.17/12.03 o 288 5.17/12.04 c And the winner is solver0 5.17/12.53 c Got one! Elapsed wall clock time (in seconds):12.188 5.17/12.53 o 287 5.17/12.53 c And the winner is solver0 5.18/13.03 c Got one! Elapsed wall clock time (in seconds):12.689 5.18/13.03 o 284 5.18/13.04 c And the winner is solver0 5.18/13.53 c Got one! Elapsed wall clock time (in seconds):13.191 5.18/13.53 o 282 5.18/13.59 c And the winner is solver0 5.33/14.04 c Got one! Elapsed wall clock time (in seconds):13.692 5.33/14.04 o 279 6.40/14.52 c And the winner is solver0 6.40/14.59 c Got one! Elapsed wall clock time (in seconds):14.244 6.40/14.59 o 277 6.52/14.64 c And the winner is solver0 6.79/15.09 c Got one! Elapsed wall clock time (in seconds):14.745 6.79/15.09 o 273 6.81/15.13 c And the winner is solver0 6.92/15.59 c Got one! Elapsed wall clock time (in seconds):15.246 6.92/15.59 o 270 7.13/15.72 c cleaning 4144 clauses out of 8288 with flag 2189/8288 7.37/15.80 c And the winner is solver0 7.42/16.09 c Got one! Elapsed wall clock time (in seconds):15.748 7.42/16.09 o 268 7.42/16.18 c And the winner is solver0 7.64/16.59 c Got one! Elapsed wall clock time (in seconds):16.249 7.64/16.59 o 267 8.75/17.19 c cleaning 5399 clauses out of 10798 with flag 10270/14942 10.31/17.82 c cleaning 5692 clauses out of 11398 with flag 22696/20941 10.31/17.83 c And the winner is solver0 10.57/18.09 c Got one! Elapsed wall clock time (in seconds):17.751 10.57/18.09 o 266 11.17/18.40 c And the winner is solver0 11.22/18.60 c Got one! Elapsed wall clock time (in seconds):18.252 11.22/18.60 o 265 11.22/18.63 c And the winner is solver0 11.32/19.10 c Got one! Elapsed wall clock time (in seconds):18.754 11.32/19.10 o 263 11.32/19.16 c And the winner is solver0 11.51/19.60 c Got one! Elapsed wall clock time (in seconds):19.256 11.51/19.60 o 262 11.51/19.66 c And the winner is solver0 11.68/20.10 c Got one! Elapsed wall clock time (in seconds):19.757 11.68/20.10 o 261 11.68/20.12 c And the winner is solver0 11.95/20.60 c Got one! Elapsed wall clock time (in seconds):20.259 11.95/20.60 o 260 12.33/20.84 c cleaning 6292 clauses out of 12590 with flag 4172/27825 13.55/21.48 c cleaning 6150 clauses out of 12300 with flag 16550/33827 14.35/21.81 c And the winner is solver0 14.42/22.10 c Got one! Elapsed wall clock time (in seconds):21.761 14.42/22.10 o 259 14.60/22.27 c And the winner is solver0 14.80/22.61 c Got one! Elapsed wall clock time (in seconds):22.263 14.80/22.61 o 258 14.97/22.72 c cleaning 5829 clauses out of 11662 with flag 2118/39339 14.97/22.72 c And the winner is solver0 15.08/23.11 c Got one! Elapsed wall clock time (in seconds):22.765 15.08/23.11 o 257 15.08/23.12 c And the winner is solver0 15.08/23.61 c Got one! Elapsed wall clock time (in seconds):23.267 15.08/23.61 o 256 15.08/23.61 c And the winner is solver0 15.08/24.11 c Got one! Elapsed wall clock time (in seconds):23.768 15.08/24.11 o 255 15.08/24.12 c And the winner is solver0 15.10/24.61 c Got one! Elapsed wall clock time (in seconds):24.27 15.10/24.61 o 253 15.38/24.70 c And the winner is solver0 15.42/25.11 c Got one! Elapsed wall clock time (in seconds):24.772 15.42/25.11 o 251 15.42/25.13 c And the winner is solver0 15.46/25.62 c Got one! Elapsed wall clock time (in seconds):25.273 15.46/25.62 o 250 15.62/25.80 c And the winner is solver0 15.86/26.12 c Got one! Elapsed wall clock time (in seconds):25.775 15.86/26.12 o 249 16.02/26.23 c And the winner is solver0 16.13/26.62 c Got one! Elapsed wall clock time (in seconds):26.277 16.13/26.62 o 248 16.13/26.65 c And the winner is solver0 16.21/27.12 c Got one! Elapsed wall clock time (in seconds):26.778 16.21/27.12 o 247 16.21/27.16 c And the winner is solver0 16.32/27.62 c Got one! Elapsed wall clock time (in seconds):27.28 16.32/27.62 o 246 16.32/27.63 c And the winner is solver0 16.32/28.12 c Got one! Elapsed wall clock time (in seconds):27.782 16.32/28.12 o 245 16.86/28.45 c cleaning 6565 clauses out of 13130 with flag 6310/46636 17.06/28.60 c And the winner is solver0 17.27/28.68 c Got one! Elapsed wall clock time (in seconds):28.334 17.27/28.68 o 244 17.27/28.69 c And the winner is solver0 17.33/29.18 c Got one! Elapsed wall clock time (in seconds):28.835 17.33/29.18 o 243 17.33/29.18 c And the winner is solver0 17.33/29.68 c Got one! Elapsed wall clock time (in seconds):29.337 17.33/29.68 o 242 18.16/30.13 c cleaning 6086 clauses out of 12177 with flag 8538/52248 19.36/30.74 c cleaning 6040 clauses out of 12090 with flag 20964/58247 19.36/30.79 c And the winner is solver0 19.61/31.18 c Got one! Elapsed wall clock time (in seconds):30.839 19.61/31.18 o 241 20.24/31.53 c And the winner is solver0 20.38/31.68 c Got one! Elapsed wall clock time (in seconds):31.341 20.38/31.68 o 240 20.91/31.96 c cleaning 6128 clauses out of 12256 with flag 4262/64453 21.11/32.02 c And the winner is solver0 21.20/32.19 c Got one! Elapsed wall clock time (in seconds):31.842 21.20/32.19 o 239 21.22/32.22 c And the winner is solver0 21.31/32.69 c Got one! Elapsed wall clock time (in seconds):32.344 21.31/32.69 o 238 21.33/32.78 c And the winner is solver0 21.56/33.19 c Got one! Elapsed wall clock time (in seconds):32.846 21.56/33.19 o 237 21.57/33.23 c And the winner is solver0 21.69/33.69 c Got one! Elapsed wall clock time (in seconds):33.348 21.69/33.69 o 235 21.90/33.84 c And the winner is solver0 22.06/34.19 c Got one! Elapsed wall clock time (in seconds):33.85 22.06/34.19 o 234 22.66/34.54 c cleaning 6534 clauses out of 13078 with flag 6416/71403 22.86/34.61 c And the winner is solver0 22.86/34.69 c Got one! Elapsed wall clock time (in seconds):34.351 22.86/34.69 o 233 23.15/34.88 c And the winner is solver0 23.38/35.20 c Got one! Elapsed wall clock time (in seconds):34.853 23.38/35.20 o 232 23.39/35.21 c And the winner is solver0 23.43/35.70 c Got one! Elapsed wall clock time (in seconds):35.355 23.43/35.70 o 231 23.43/35.73 c And the winner is solver0 23.51/36.20 c Got one! Elapsed wall clock time (in seconds):35.857 23.51/36.20 o 230 24.30/36.66 c cleaning 6764 clauses out of 13540 with flag 8321/78399 24.89/36.90 c And the winner is solver0 25.00/37.20 c Got one! Elapsed wall clock time (in seconds):36.859 25.00/37.20 o 229 25.89/37.60 c cleaning 6130 clauses out of 12264 with flag 6458/83887 25.89/37.68 c And the winner is solver0 26.09/37.75 c Got one! Elapsed wall clock time (in seconds):37.411 26.09/37.75 o 227 26.63/38.01 c And the winner is solver0 26.74/38.26 c Got one! Elapsed wall clock time (in seconds):37.912 26.74/38.26 o 226 26.74/38.28 c And the winner is solver0 26.83/38.76 c Got one! Elapsed wall clock time (in seconds):38.414 26.83/38.76 o 225 26.90/38.89 c And the winner is solver0 27.17/39.26 c Got one! Elapsed wall clock time (in seconds):38.916 27.17/39.26 o 224 27.24/39.30 c And the winner is solver0 27.29/39.76 c Got one! Elapsed wall clock time (in seconds):39.418 27.29/39.76 o 223 27.36/39.87 c And the winner is solver0 27.59/40.26 c Got one! Elapsed wall clock time (in seconds):39.92 27.59/40.26 o 222 28.05/40.50 c cleaning 7258 clauses out of 14526 with flag 4249/92279 28.25/40.60 c And the winner is solver0 28.33/40.76 c Got one! Elapsed wall clock time (in seconds):40.421 28.33/40.76 o 219 29.19/41.20 c cleaning 6187 clauses out of 12392 with flag 8617/97403 30.19/41.79 c And the winner is solver0 30.47/42.27 c Got one! Elapsed wall clock time (in seconds):41.923 30.47/42.27 o 218 31.33/42.78 c And the winner is solver0 31.66/43.27 c Got one! Elapsed wall clock time (in seconds):42.925 31.66/43.27 o 217 31.92/43.41 c cleaning 8887 clauses out of 17779 with flag 2235/108977 31.92/43.42 c And the winner is solver0 32.03/43.77 c Got one! Elapsed wall clock time (in seconds):43.427 32.03/43.77 o 216 32.29/43.91 c And the winner is solver0 32.40/44.27 c Got one! Elapsed wall clock time (in seconds):43.929 32.40/44.27 o 215 32.44/44.37 c And the winner is solver0 32.68/44.77 c Got one! Elapsed wall clock time (in seconds):44.431 32.68/44.77 o 214 32.68/44.79 c And the winner is solver0 32.73/45.28 c Got one! Elapsed wall clock time (in seconds):44.933 32.73/45.28 o 211 33.57/45.75 c cleaning 7652 clauses out of 15314 with flag 8350/115399 34.97/46.43 c cleaning 6828 clauses out of 13662 with flag 21249/121399 36.58/47.27 c cleaning 6913 clauses out of 13836 with flag 36239/128401 38.63/48.24 c cleaning 7456 clauses out of 14921 with flag 53634/136399 40.83/49.34 c cleaning 8233 clauses out of 16465 with flag 73724/145399 43.23/50.60 c cleaning 9110 clauses out of 18233 with flag 96344/155400 46.23/52.02 c cleaning 10061 clauses out of 20122 with flag 120555/166399 49.28/53.51 c cleaning 11027 clauses out of 22061 with flag 148071/178399 52.08/54.91 c cleaning 12014 clauses out of 24035 with flag 177956/191400 55.29/56.53 c cleaning 13008 clauses out of 26022 with flag 209829/205401 59.12/58.47 c cleaning 14000 clauses out of 28012 with flag 246480/220399 63.65/60.64 c cleaning 15001 clauses out of 30012 with flag 284675/236399 68.64/63.12 c cleaning 16006 clauses out of 32012 with flag 325383/253400 73.84/65.78 c cleaning 17002 clauses out of 34006 with flag 366101/271400 80.81/69.12 c cleaning 17998 clauses out of 36004 with flag 409606/290400 87.60/72.52 c cleaning 19002 clauses out of 38006 with flag 457014/310400 94.00/75.74 c cleaning 20000 clauses out of 40003 with flag 506546/331399 101.16/79.21 c cleaning 20991 clauses out of 42003 with flag 556835/353399 108.94/83.13 c cleaning 22004 clauses out of 44012 with flag 610635/376399 117.73/87.77 c cleaning 23002 clauses out of 46008 with flag 664699/400399 119.93/88.83 c And the winner is solver1 120.01/88.94 c Got one! Elapsed wall clock time (in seconds):88.594 120.01/88.94 o 210 122.32/90.13 c cleaning 17801 clauses out of 35604 with flag 14971/412997 124.33/91.14 c cleaning 11897 clauses out of 23804 with flag 34810/418998 126.33/92.19 c cleaning 9447 clauses out of 18907 with flag 57538/425998 128.77/93.33 c cleaning 8725 clauses out of 17459 with flag 82943/433997 131.17/94.59 c cleaning 8866 clauses out of 17734 with flag 112745/442997 133.97/95.96 c cleaning 9432 clauses out of 18868 with flag 143705/452997 137.17/97.51 c cleaning 10218 clauses out of 20436 with flag 182293/463997 140.57/99.25 c cleaning 11108 clauses out of 22219 with flag 224745/475998 144.67/101.28 c cleaning 12051 clauses out of 24110 with flag 270471/488997 149.07/103.46 c cleaning 13029 clauses out of 26060 with flag 314730/502998 149.07/103.47 c And the winner is solver0 149.39/103.94 c Got one! Elapsed wall clock time (in seconds):103.599 149.39/103.94 o 208 150.50/104.59 c cleaning 9059 clauses out of 18124 with flag 15087/508091 152.09/105.32 c cleaning 7534 clauses out of 15067 with flag 34567/514093 153.89/106.20 c cleaning 7258 clauses out of 14531 with flag 56006/521091 153.89/106.25 c And the winner is solver0 154.15/106.50 c Got one! Elapsed wall clock time (in seconds):106.152 154.15/106.50 o 207 155.41/107.11 c cleaning 6428 clauses out of 12868 with flag 14506/526686 156.61/107.76 c cleaning 6218 clauses out of 12439 with flag 31583/532685 158.47/108.67 c cleaning 6603 clauses out of 13221 with flag 53148/539685 158.87/108.86 c And the winner is solver0 159.23/109.10 c Got one! Elapsed wall clock time (in seconds):108.756 159.23/109.10 o 206 160.22/109.65 c cleaning 6187 clauses out of 12378 with flag 11691/545445 161.62/110.36 c cleaning 6094 clauses out of 12192 with flag 29991/551446 163.43/111.22 c cleaning 6545 clauses out of 13097 with flag 51306/558445 164.61/111.86 c And the winner is solver0 164.98/112.10 c Got one! Elapsed wall clock time (in seconds):111.76 164.98/112.10 o 205 166.36/112.83 c cleaning 8560 clauses out of 17125 with flag 15052/569018 167.96/113.65 c cleaning 7283 clauses out of 14565 with flag 33478/575018 169.96/114.60 c cleaning 7139 clauses out of 14283 with flag 54044/582019 171.97/115.66 c cleaning 7571 clauses out of 15142 with flag 77019/590017 174.63/116.90 c cleaning 8287 clauses out of 16574 with flag 102980/599020 177.03/118.10 c And the winner is solver0 177.15/118.21 c Got one! Elapsed wall clock time (in seconds):117.864 177.15/118.21 o 204 177.53/118.48 c And the winner is solver0 177.93/118.71 c Got one! Elapsed wall clock time (in seconds):118.367 177.93/118.71 o 203 179.30/119.40 c cleaning 11831 clauses out of 23667 with flag 11992/614400 180.90/120.25 c cleaning 8916 clauses out of 17836 with flag 30669/620400 182.51/121.10 c cleaning 7957 clauses out of 15920 with flag 51090/627400 184.71/122.13 c cleaning 7979 clauses out of 15964 with flag 76612/635401 186.70/123.10 c And the winner is solver0 186.81/123.22 c Got one! Elapsed wall clock time (in seconds):122.872 186.81/123.22 o 202 187.24/123.48 c And the winner is solver0 187.57/123.72 c Got one! Elapsed wall clock time (in seconds):123.375 187.57/123.72 o 201 188.74/124.36 c cleaning 10718 clauses out of 21447 with flag 12296/648863 190.32/125.14 c cleaning 8364 clauses out of 16729 with flag 32549/654863 192.12/126.04 c cleaning 7680 clauses out of 15366 with flag 54719/661864 194.12/127.00 c cleaning 7841 clauses out of 15685 with flag 78401/669863 196.32/128.11 c cleaning 8424 clauses out of 16849 with flag 105761/678868 198.72/129.39 c cleaning 9211 clauses out of 18422 with flag 134430/688865 201.93/130.92 c cleaning 10103 clauses out of 20211 with flag 169734/699865 205.20/132.58 c cleaning 11051 clauses out of 22106 with flag 207447/711863 209.00/134.41 c cleaning 12026 clauses out of 24055 with flag 246572/724863 213.22/136.51 c cleaning 13008 clauses out of 26030 with flag 289033/738864 217.80/138.88 c cleaning 14009 clauses out of 28021 with flag 334176/753863 223.29/141.59 c cleaning 15000 clauses out of 30012 with flag 384504/769863 228.89/144.32 c cleaning 16002 clauses out of 32013 with flag 440597/786864 234.88/147.32 c cleaning 17002 clauses out of 34010 with flag 495905/804863 241.79/150.80 c cleaning 18003 clauses out of 36008 with flag 559332/823863 248.98/154.34 c cleaning 19000 clauses out of 38005 with flag 620454/843863 256.85/158.28 c cleaning 20001 clauses out of 40005 with flag 687163/864863 263.05/161.30 c And the winner is solver0 263.30/161.73 c Got one! Elapsed wall clock time (in seconds):161.384 263.30/161.73 o 200 265.65/162.96 c cleaning 20497 clauses out of 41005 with flag 14600/885864 267.65/164.00 c cleaning 13252 clauses out of 26511 with flag 32861/891867 269.64/164.96 c cleaning 10124 clauses out of 20256 with flag 53547/898864 271.64/165.98 c cleaning 9067 clauses out of 18134 with flag 79764/906866 274.03/167.16 c cleaning 9031 clauses out of 18066 with flag 106956/915865 276.93/168.56 c cleaning 9515 clauses out of 19036 with flag 137370/925866 279.93/170.08 c cleaning 10252 clauses out of 20519 with flag 172828/936864 283.35/171.79 c cleaning 11133 clauses out of 22267 with flag 211440/948864 287.33/173.75 c cleaning 12064 clauses out of 24134 with flag 251464/961864 291.83/175.90 c cleaning 13028 clauses out of 26072 with flag 290477/975866 293.23/176.63 c And the winner is solver0 293.53/176.90 c Got one! Elapsed wall clock time (in seconds):176.555 293.53/176.90 o 199 295.01/177.68 c cleaning 12001 clauses out of 24011 with flag 13965/986833 296.61/178.44 c cleaning 9000 clauses out of 18008 with flag 31070/992831 298.42/179.32 c cleaning 8000 clauses out of 16008 with flag 52199/999831 300.21/180.21 c cleaning 8000 clauses out of 16008 with flag 73942/1007831 302.21/181.26 c cleaning 8503 clauses out of 17010 with flag 97257/1016833 304.41/182.36 c cleaning 9252 clauses out of 18506 with flag 124985/1026832 307.22/183.75 c cleaning 10124 clauses out of 20254 with flag 158847/1037832 310.01/185.17 c cleaning 11062 clauses out of 22130 with flag 191782/1049832 313.88/187.03 c cleaning 12029 clauses out of 24067 with flag 227162/1062831 317.47/188.86 c cleaning 13017 clauses out of 26039 with flag 267737/1076832 321.47/190.88 c cleaning 14011 clauses out of 28021 with flag 310229/1091831 326.07/193.19 c cleaning 15003 clauses out of 30010 with flag 355211/1107831 331.27/195.78 c cleaning 16004 clauses out of 32008 with flag 401082/1124832 336.96/198.57 c And the winner is solver0 337.36/198.91 c Got one! Elapsed wall clock time (in seconds):198.562 337.36/198.91 o 197 339.54/200.06 c cleaning 19464 clauses out of 38938 with flag 12973/1147766 341.54/201.03 c cleaning 12734 clauses out of 25473 with flag 30332/1153765 343.34/201.96 c cleaning 9866 clauses out of 19740 with flag 49407/1160766 343.74/202.14 c And the winner is solver0 344.09/202.46 c Got one! Elapsed wall clock time (in seconds):202.116 344.09/202.46 o 196 345.18/203.03 c cleaning 7702 clauses out of 15417 with flag 10441/1166309 346.58/203.76 c cleaning 6856 clauses out of 13715 with flag 26702/1172309 348.17/204.59 c cleaning 6921 clauses out of 13860 with flag 45563/1179310 350.17/205.55 c cleaning 7465 clauses out of 14939 with flag 70633/1187310 352.37/206.62 c cleaning 8233 clauses out of 16473 with flag 95092/1196309 354.98/207.96 c cleaning 9115 clauses out of 18241 with flag 121548/1206310 357.57/209.24 c cleaning 10059 clauses out of 20125 with flag 151476/1217309 361.03/210.92 c cleaning 11026 clauses out of 22066 with flag 184787/1229309 364.44/212.68 c cleaning 12016 clauses out of 24040 with flag 223591/1242309 368.25/214.57 c cleaning 13008 clauses out of 26024 with flag 260218/1256309 372.23/216.56 c cleaning 14008 clauses out of 28019 with flag 298840/1271312 377.05/218.92 c cleaning 14997 clauses out of 30008 with flag 343041/1287309 381.83/221.38 c cleaning 16005 clauses out of 32012 with flag 390133/1304310 387.23/224.07 c cleaning 17004 clauses out of 34007 with flag 439628/1322310 393.23/227.02 c cleaning 18002 clauses out of 36003 with flag 485254/1341310 399.43/230.16 c cleaning 18995 clauses out of 38001 with flag 535721/1361310 406.03/233.40 c cleaning 19997 clauses out of 40005 with flag 591690/1382309 413.82/237.37 c cleaning 21002 clauses out of 42008 with flag 656010/1404309 421.24/241.02 c cleaning 22000 clauses out of 44006 with flag 716680/1427309 428.82/244.81 c cleaning 22995 clauses out of 46006 with flag 776231/1451309 437.02/248.93 c cleaning 24006 clauses out of 48011 with flag 835506/1476309 444.62/252.74 c And the winner is solver0 445.27/253.37 c Got one! Elapsed wall clock time (in seconds):253.028 445.27/253.37 o 195 447.77/254.67 c cleaning 26362 clauses out of 52728 with flag 13240/1505032 450.61/256.49 c cleaning 16181 clauses out of 32367 with flag 27734/1511033 452.40/257.37 c cleaning 11586 clauses out of 23183 with flag 45759/1518030 454.40/258.30 c cleaning 9792 clauses out of 19597 with flag 63242/1526030 456.40/259.39 c cleaning 9401 clauses out of 18806 with flag 85131/1535031 458.80/260.56 c cleaning 9696 clauses out of 19404 with flag 107557/1545030 461.41/261.85 c cleaning 10352 clauses out of 20709 with flag 134462/1556031 464.20/263.20 c cleaning 11179 clauses out of 22358 with flag 162085/1568032 467.20/264.78 c cleaning 12083 clauses out of 24177 with flag 196203/1581030 470.80/266.55 c cleaning 13047 clauses out of 26094 with flag 234591/1595030 475.00/268.61 c cleaning 14019 clauses out of 28047 with flag 275746/1610030 479.21/270.74 c cleaning 15011 clauses out of 30029 with flag 315890/1626031 483.61/272.92 c cleaning 16006 clauses out of 32018 with flag 357468/1643031 488.60/275.43 c cleaning 16999 clauses out of 34012 with flag 405614/1661031 493.80/278.04 c cleaning 18005 clauses out of 36014 with flag 451407/1680032 499.19/280.70 c cleaning 19004 clauses out of 38008 with flag 500306/1700031 504.79/283.52 c cleaning 19995 clauses out of 40003 with flag 550129/1721030 510.99/286.62 c cleaning 21003 clauses out of 42010 with flag 604151/1743032 518.19/290.26 c cleaning 21994 clauses out of 44005 with flag 659510/1766030 525.79/294.04 c cleaning 23001 clauses out of 46012 with flag 719028/1790031 534.00/298.15 c cleaning 23996 clauses out of 48010 with flag 777486/1815030 542.80/302.52 c cleaning 25004 clauses out of 50017 with flag 843481/1841033 551.38/306.88 c cleaning 26003 clauses out of 52010 with flag 911835/1868030 560.78/311.51 c cleaning 27000 clauses out of 54008 with flag 976781/1896031 571.59/317.00 c cleaning 27995 clauses out of 56008 with flag 1047914/1925031 581.98/322.17 c cleaning 29007 clauses out of 58014 with flag 1124158/1955032 592.98/327.63 c cleaning 29995 clauses out of 60005 with flag 1206451/1986030 604.60/333.48 c cleaning 30996 clauses out of 62010 with flag 1289992/2018030 615.18/338.75 c cleaning 32004 clauses out of 64017 with flag 1372718/2051033 627.58/344.90 c cleaning 33004 clauses out of 66010 with flag 1454474/2085030 640.38/351.35 c cleaning 34001 clauses out of 68006 with flag 1542938/2120030 656.17/359.21 c cleaning 34993 clauses out of 70005 with flag 1636914/2156030 670.58/366.45 c cleaning 36003 clauses out of 72015 with flag 1725719/2193033 685.98/374.16 c cleaning 37002 clauses out of 74010 with flag 1815333/2231031 701.76/382.03 c cleaning 38003 clauses out of 76008 with flag 1908248/2270031 718.16/390.25 c cleaning 39001 clauses out of 78005 with flag 2001987/2310031 732.36/397.34 c And the winner is solver0 733.35/398.23 c Got one! Elapsed wall clock time (in seconds):397.888 733.35/398.23 o 193 737.18/400.12 c cleaning 40920 clauses out of 81839 with flag 11203/2352866 739.58/401.33 c cleaning 23455 clauses out of 46915 with flag 24925/2358862 741.78/402.43 c cleaning 15226 clauses out of 30460 with flag 40990/2365862 743.98/403.51 c cleaning 11608 clauses out of 23235 with flag 60253/2373863 746.18/404.60 c cleaning 10303 clauses out of 20626 with flag 81614/2382862 748.38/405.80 c cleaning 10156 clauses out of 20323 with flag 104590/2392862 750.99/407.04 c cleaning 10583 clauses out of 21170 with flag 131321/2403865 751.19/407.11 c And the winner is solver0 759.09/415.00 c Got one! Elapsed wall clock time (in seconds):414.654 759.09/415.00 o 191 760.29/415.69 c cleaning 8190 clauses out of 16390 with flag 11730/2409668 761.69/416.36 c cleaning 7095 clauses out of 14202 with flag 26344/2415670 763.10/417.10 c cleaning 7049 clauses out of 14105 with flag 42377/2422668 764.89/417.99 c cleaning 7524 clauses out of 15057 with flag 60185/2430669 767.08/419.05 c cleaning 8267 clauses out of 16534 with flag 81390/2439670 769.50/420.25 c cleaning 9128 clauses out of 18266 with flag 104748/2449669 772.08/421.56 c cleaning 10066 clauses out of 20138 with flag 129479/2460669 775.08/423.06 c cleaning 11028 clauses out of 22071 with flag 157532/2472668 778.30/424.64 c cleaning 12017 clauses out of 24043 with flag 187909/2485668 781.68/426.33 c cleaning 13012 clauses out of 26026 with flag 219219/2499668 785.69/428.39 c cleaning 14007 clauses out of 28014 with flag 254164/2514668 790.29/430.63 c cleaning 15000 clauses out of 30007 with flag 291756/2530668 795.09/433.02 c cleaning 16000 clauses out of 32007 with flag 332217/2547668 800.30/435.64 c cleaning 16998 clauses out of 34007 with flag 373465/2565668 804.29/437.61 c And the winner is solver0 804.72/438.00 c Got one! Elapsed wall clock time (in seconds):437.661 804.72/438.00 o 190 806.51/438.98 c cleaning 18183 clauses out of 36378 with flag 11963/2585037 808.10/439.74 c cleaning 12093 clauses out of 24196 with flag 27234/2591038 809.90/440.62 c cleaning 9542 clauses out of 19104 with flag 46731/2598039 811.70/441.58 c cleaning 8775 clauses out of 17560 with flag 66865/2606037 814.10/442.71 c cleaning 8893 clauses out of 17787 with flag 88785/2615039 816.30/443.82 c cleaning 9446 clauses out of 18894 with flag 110921/2625039 818.90/445.12 c cleaning 10223 clauses out of 20449 with flag 135416/2636040 821.91/446.64 c cleaning 11110 clauses out of 22224 with flag 162850/2648038 825.10/448.28 c cleaning 12056 clauses out of 24114 with flag 192844/2661038 828.99/450.13 c cleaning 13024 clauses out of 26057 with flag 225223/2675037 832.78/452.01 c cleaning 14018 clauses out of 28035 with flag 260803/2690039 836.58/453.94 c cleaning 15009 clauses out of 30019 with flag 297090/2706041 841.38/456.30 c cleaning 16000 clauses out of 32007 with flag 338336/2723038 845.98/458.61 c cleaning 17001 clauses out of 34008 with flag 379585/2741039 851.18/461.25 c cleaning 17999 clauses out of 36005 with flag 424358/2760037 856.58/463.95 c cleaning 19003 clauses out of 38006 with flag 472868/2780037 862.78/467.02 c cleaning 20000 clauses out of 40003 with flag 523624/2801037 869.18/470.29 c cleaning 21001 clauses out of 42004 with flag 571815/2823038 876.18/473.74 c cleaning 21997 clauses out of 44002 with flag 625953/2846037 883.59/477.42 c cleaning 22998 clauses out of 46005 with flag 684019/2870037 890.78/481.07 c cleaning 24001 clauses out of 48009 with flag 738919/2895039 899.19/485.21 c cleaning 25002 clauses out of 50007 with flag 796479/2921038 907.38/489.33 c cleaning 25995 clauses out of 52004 with flag 855078/2948037 915.17/493.25 c cleaning 26999 clauses out of 54011 with flag 916396/2976039 924.18/497.72 c cleaning 28006 clauses out of 56011 with flag 983028/3005038 934.20/502.76 c cleaning 28998 clauses out of 58004 with flag 1050794/3035037 944.98/508.15 c cleaning 29997 clauses out of 60009 with flag 1123232/3066040 957.18/514.20 c cleaning 31001 clauses out of 62009 with flag 1195795/3098037 969.18/520.28 c cleaning 32002 clauses out of 64011 with flag 1274259/3131040 980.59/525.98 c cleaning 32998 clauses out of 66006 with flag 1351079/3165037 992.77/532.03 c cleaning 33998 clauses out of 68008 with flag 1431301/3200037 1004.37/537.80 c cleaning 35006 clauses out of 70011 with flag 1515787/3236038 1017.78/544.52 c cleaning 35994 clauses out of 72005 with flag 1601144/3273038 1033.77/552.57 c cleaning 37003 clauses out of 74011 with flag 1691763/3311038 1049.37/560.35 c cleaning 38003 clauses out of 76007 with flag 1787566/3350037 1066.18/568.73 c cleaning 39000 clauses out of 78005 with flag 1881652/3390038 1082.16/576.78 c cleaning 40001 clauses out of 80007 with flag 1980418/3431040 1099.39/585.31 c cleaning 40997 clauses out of 82004 with flag 2079464/3473038 1115.57/593.44 c cleaning 42003 clauses out of 84009 with flag 2175697/3516040 1134.17/602.72 c cleaning 42998 clauses out of 86003 with flag 2279468/3560037 1153.97/612.53 c cleaning 44001 clauses out of 88005 with flag 2384716/3605037 1154.77/612.97 c And the winner is solver0 1190.48/648.56 c Got one! Elapsed wall clock time (in seconds):648.217 1190.48/648.56 o 189 1192.21/649.47 c cleaning 24837 clauses out of 49681 with flag 6912/3610714 1194.00/650.31 c cleaning 15419 clauses out of 30844 with flag 20282/3616714 1195.60/651.17 c cleaning 11207 clauses out of 22426 with flag 35795/3623715 1197.60/652.11 c cleaning 9601 clauses out of 19220 with flag 52452/3631716 1199.60/653.19 c cleaning 9308 clauses out of 18617 with flag 74001/3640714 1201.80/654.27 c cleaning 9654 clauses out of 19310 with flag 95514/3650715 1204.40/655.52 c cleaning 10325 clauses out of 20656 with flag 118788/3661715 1207.19/656.97 c cleaning 11155 clauses out of 22331 with flag 144521/3673715 1210.60/658.65 c cleaning 12084 clauses out of 24177 with flag 173850/3686716 1214.20/660.42 c cleaning 13047 clauses out of 26093 with flag 207366/3700716 1218.20/662.43 c cleaning 14019 clauses out of 28044 with flag 241058/3715714 1222.60/664.66 c cleaning 15013 clauses out of 30026 with flag 275616/3731715 1227.60/667.10 c cleaning 16007 clauses out of 32013 with flag 313358/3748715 1233.00/669.87 c cleaning 17001 clauses out of 34005 with flag 352238/3766714 1238.80/672.71 c cleaning 17995 clauses out of 36005 with flag 394385/3785715 1244.41/675.53 c cleaning 19005 clauses out of 38009 with flag 439869/3805714 1250.20/678.43 c cleaning 20000 clauses out of 40010 with flag 486300/3826720 1256.39/681.58 c cleaning 21000 clauses out of 42004 with flag 536675/3848714 1263.59/685.16 c cleaning 21998 clauses out of 44004 with flag 588558/3871714 1271.39/689.06 c cleaning 23002 clauses out of 46006 with flag 642998/3895714 1278.79/692.76 c cleaning 24003 clauses out of 48006 with flag 698200/3920716 1286.00/696.38 c cleaning 24995 clauses out of 50001 with flag 753450/3946714 1295.79/701.23 c cleaning 25997 clauses out of 52006 with flag 818096/3973714 1304.79/705.77 c cleaning 27001 clauses out of 54009 with flag 885553/4001714 1314.20/710.42 c cleaning 27998 clauses out of 56008 with flag 951764/4030714 1324.40/715.52 c cleaning 29002 clauses out of 58010 with flag 1025241/4060714 1335.20/720.92 c cleaning 30004 clauses out of 60008 with flag 1099684/4091714 1347.20/726.92 c cleaning 31001 clauses out of 62005 with flag 1175697/4123715 1358.81/732.74 c cleaning 32001 clauses out of 64003 with flag 1250120/4156714 1372.40/739.52 c cleaning 32997 clauses out of 66002 with flag 1325558/4190714 1386.20/746.40 c cleaning 34000 clauses out of 68005 with flag 1402695/4225714 1398.59/752.63 c cleaning 35002 clauses out of 70008 with flag 1478966/4261717 1412.00/759.39 c cleaning 35995 clauses out of 72004 with flag 1566252/4298715 1421.80/764.28 c And the winner is solver0 1426.81/769.15 c Got one! Elapsed wall clock time (in seconds):768.804 1426.81/769.15 o 188 1431.27/771.71 c cleaning 34381 clauses out of 68768 with flag 11724/4331474 1433.27/772.73 c cleaning 20191 clauses out of 40387 with flag 25487/4337474 1435.27/773.73 c cleaning 13596 clauses out of 27197 with flag 43147/4344475 1437.27/774.75 c cleaning 10792 clauses out of 21600 with flag 64142/4352474 1439.27/775.78 c cleaning 9895 clauses out of 19809 with flag 85789/4361475 1441.47/776.88 c cleaning 9956 clauses out of 19916 with flag 109283/4371477 1444.06/778.14 c cleaning 10471 clauses out of 20959 with flag 136000/4382476 1447.06/779.61 c cleaning 11242 clauses out of 22486 with flag 163300/4394474 1450.08/781.14 c cleaning 12122 clauses out of 24245 with flag 193051/4407475 1453.26/782.79 c cleaning 13057 clauses out of 26122 with flag 224390/4421474 1457.06/784.65 c cleaning 14030 clauses out of 28065 with flag 258397/4436474 1461.26/786.71 c cleaning 15013 clauses out of 30035 with flag 292476/4452474 1465.66/788.92 c cleaning 16009 clauses out of 32022 with flag 331628/4469474 1470.46/791.32 c cleaning 17004 clauses out of 34013 with flag 373069/4487474 1475.66/793.94 c cleaning 18005 clauses out of 36010 with flag 418390/4506475 1481.65/796.97 c cleaning 18998 clauses out of 38004 with flag 466829/4526474 1488.25/800.24 c cleaning 19993 clauses out of 40007 with flag 513900/4547475 1494.25/803.28 c cleaning 21007 clauses out of 42013 with flag 564288/4569474 1501.05/806.62 c cleaning 22000 clauses out of 44006 with flag 617258/4592474 1508.25/810.23 c cleaning 23002 clauses out of 46006 with flag 670534/4616474 1516.85/814.50 c cleaning 23990 clauses out of 48004 with flag 725175/4641474 1524.86/818.54 c cleaning 24999 clauses out of 50014 with flag 784733/4667474 1531.46/821.85 c And the winner is solver0 1566.99/857.32 c Got one! Elapsed wall clock time (in seconds):856.98 1566.99/857.32 o 184 1569.36/858.55 c cleaning 26338 clauses out of 52676 with flag 10693/4695135 1571.16/859.46 c cleaning 16163 clauses out of 32339 with flag 24516/4701136 1572.97/860.38 c cleaning 11576 clauses out of 23175 with flag 42149/4708135 1574.97/861.34 c cleaning 9798 clauses out of 19599 with flag 60787/4716135 1576.96/862.38 c cleaning 9394 clauses out of 18801 with flag 81429/4725135 1579.37/863.55 c cleaning 9698 clauses out of 19408 with flag 102872/4735136 1581.96/864.87 c cleaning 10353 clauses out of 20709 with flag 126651/4746135 1584.96/866.31 c cleaning 11177 clauses out of 22357 with flag 152629/4758136 1588.17/867.91 c cleaning 12083 clauses out of 24180 with flag 183038/4771136 1591.56/869.67 c cleaning 13048 clauses out of 26098 with flag 215027/4785137 1595.36/871.52 c cleaning 14024 clauses out of 28050 with flag 248106/4800137 1599.37/873.56 c cleaning 15011 clauses out of 30026 with flag 283591/4816137 1603.96/875.80 c cleaning 16006 clauses out of 32014 with flag 322395/4833136 1608.56/878.14 c cleaning 17001 clauses out of 34008 with flag 363118/4851136 1613.76/880.76 c cleaning 18003 clauses out of 36008 with flag 405264/4870137 1619.18/883.48 c cleaning 18998 clauses out of 38003 with flag 451290/4890135 1625.36/886.52 c cleaning 19999 clauses out of 40005 with flag 498310/4911135 1631.96/889.82 c cleaning 21001 clauses out of 42006 with flag 551908/4933135 1638.16/892.93 c cleaning 21999 clauses out of 44006 with flag 608299/4956136 1645.16/896.44 c cleaning 23003 clauses out of 46007 with flag 664282/4980136 1652.96/900.36 c cleaning 23998 clauses out of 48003 with flag 722391/5005135 1661.36/904.50 c cleaning 24999 clauses out of 50005 with flag 783847/5031135 1671.36/909.53 c cleaning 26002 clauses out of 52007 with flag 845405/5058136 1681.15/914.48 c cleaning 27000 clauses out of 54004 with flag 909862/5086135 1691.15/919.40 c cleaning 28001 clauses out of 56006 with flag 979384/5115137 1700.95/924.38 c cleaning 28998 clauses out of 58004 with flag 1047181/5145136 1712.15/929.90 c cleaning 30000 clauses out of 60005 with flag 1119783/5176135 1723.35/935.51 c cleaning 30998 clauses out of 62005 with flag 1195081/5208135 1736.20/941.99 c cleaning 31999 clauses out of 64007 with flag 1274237/5241135 1748.40/948.09 c cleaning 33003 clauses out of 66009 with flag 1356476/5275136 1761.40/954.52 c cleaning 34002 clauses out of 68007 with flag 1439149/5310137 1775.42/961.56 c cleaning 34999 clauses out of 70003 with flag 1528147/5346135 1789.80/968.72 c cleaning 35995 clauses out of 72004 with flag 1615853/5383135 1800.00/973.80 c >>>>>>>>>> Solver number 0 (95 answers) <<<<<<<<<<<<<<<<<< 1800.00/973.80 c starts : 22909 1800.00/973.80 c conflicts : 5411914 1800.00/973.80 c decisions : 6365880 1800.00/973.80 c propagations : 191723857 1800.00/973.80 c inspects : 8946863154 1800.00/973.80 c shortcuts : 0 1800.00/973.80 c learnt literals : 0 1800.00/973.80 c learnt binary clauses : 0 1800.00/973.80 c learnt ternary clauses : 1453 1800.00/973.80 c learnt constraints : 5411914 1800.00/973.80 c ignored constraints : 0 1800.00/973.81 c root simplifications : 0 1800.00/973.81 c removed literals (reason simplification) : 390363734 1800.00/973.81 c reason swapping (by a shorter reason) : 0 1800.00/973.81 c Calls to reduceDB : 314 1800.00/973.81 c Number of update (reduction) of LBD : 78305 1800.00/973.81 c Imported unit clauses : 0 1800.00/973.81 c number of reductions to clauses (during analyze) : 0 1800.00/973.81 c number of learned constraints concerned by reduction : 0 1800.00/973.81 c number of learning phase by resolution : 0 1800.00/973.81 c number of learning phase by cutting planes : 0 1800.00/973.81 c speed (assignments/second) : 216669.93307461243 1800.00/973.81 c non guided choices 0 1800.00/973.83 c learnt constraints type 1800.00/973.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64788 1800.00/973.83 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.00/973.83 c starts : 121 1800.00/973.83 c conflicts : 4552 1800.00/973.83 c decisions : 9695 1800.00/973.83 c propagations : 221784 1800.00/973.83 c inspects : 193241435 1800.00/973.83 c shortcuts : 0 1800.00/973.83 c learnt literals : 0 1800.00/973.83 c learnt binary clauses : 0 1800.00/973.83 c learnt ternary clauses : 0 1800.00/973.83 c learnt constraints : 4505 1800.00/973.83 c ignored constraints : 0 1800.00/973.83 c root simplifications : 0 1800.00/973.83 c removed literals (reason simplification) : 0 1800.00/973.83 c reason swapping (by a shorter reason) : 0 1800.00/973.83 c Calls to reduceDB : 0 1800.00/973.83 c Number of update (reduction) of LBD : 0 1800.00/973.83 c Imported unit clauses : 0 1800.00/973.83 c number of reductions to clauses (during analyze) : 0 1800.00/973.83 c number of learned constraints concerned by reduction : 0 1800.00/973.83 c number of learning phase by resolution : 0 1800.00/973.83 c number of learning phase by cutting planes : 0 1800.00/973.83 c speed (assignments/second) : 1903.725321888412 1800.00/973.83 c non guided choices 0 1800.00/973.83 c learnt constraints type 1800.00/973.83 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1 1800.00/973.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4504 1800.00/973.83 s SATISFIABLE 1800.00/973.83 c Found 96 solution(s) 1800.00/973.83 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 1800.00/973.83 c objective function=184 1800.00/973.83 c Total wall clock time (in seconds): 973.486
OK 184
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-4119513-1467258080/watcher-4119513-1467258080 -o /tmp/evaluation-result-4119513-1467258080/solver-4119513-1467258080 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467258080-8433 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119513-1467258080.opb pid=8445 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.17 1.34 1.72 2/170 8448 /proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/8448/stat : 8448 (java) R 8445 8448 7126 0 -1 4202496 156 0 1 0 0 0 0 0 20 0 1 0 4832206 278528 33 33554432000 1073741824 1073778376 140733940656128 140733940653304 270698376487 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8448/statm: 68 33 25 9 0 25 0 [startup+0.100162 s] /proc/loadavg: 1.17 1.34 1.72 2/170 8448 /proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/8448/stat : 8448 (java) D 8445 8448 7126 0 -1 4202496 1142 0 21 0 0 0 0 0 20 0 1 0 4832206 23793664 814 33554432000 1073741824 1073778376 140735356679712 140735356669704 140436644517584 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 5809 814 608 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.200198 s] /proc/loadavg: 1.17 1.34 1.72 2/170 8448 /proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9225560 CPUtime=0.03 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 3091 0 30 0 2 1 0 0 20 0 13 0 4832206 9446973440 3230 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2306390 3230 1680 9 0 2297091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.30021 s] /proc/loadavg: 1.17 1.34 1.72 2/170 8448 /proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 3953 0 30 0 7 1 0 0 20 0 18 0 4832206 9787879424 4601 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2389619 4601 2011 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.700295 s] /proc/loadavg: 1.17 1.34 1.72 2/170 8448 /proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9824732 CPUtime=0.46 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 6180 0 32 0 42 4 0 0 20 0 19 0 4832206 10060525568 9412 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2456183 9412 2240 9 0 2446860 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 1.17 1.34 1.72 4/212 8505 /proc/meminfo: memFree=28525144/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 6904 0 32 0 57 6 0 0 20 0 19 0 4832206 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2456183 11282 2249 9 0 2446860 0 [pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2458 0 7 0 24 2 0 0 20 0 19 0 4832217 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0 [pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4832224 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 1307 0 1 0 11 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=0.12 cores=0,2,4,6 /proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 1819 0 1 0 12 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8501] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8501/stat : 8501 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832258 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436453746088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 9824732 [startup+3.10068 s] /proc/loadavg: 1.17 1.34 1.72 6/216 8521 /proc/meminfo: memFree=28461048/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9824732 CPUtime=1.28 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 13841 0 32 0 120 8 0 0 20 0 22 0 4832206 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2456183 20975 2255 9 0 2446860 0 [pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2461 0 7 0 25 2 0 0 20 0 22 0 4832217 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0 [pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4832224 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/8448/task/8492/stat : 8492 (java) R 8445 8448 7126 0 -1 4202560 4042 0 1 0 33 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436460050448 140436643218524 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=0.42 cores=0,2,4,6 /proc/8448/task/8494/stat : 8494 (java) R 8445 8448 7126 0 -1 4202560 5982 0 1 0 42 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436458997888 140436642008144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8501] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8501/stat : 8501 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4832258 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436453746088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=23 pid=1806 uid=0 cmd= [startup+6.30082 s] /proc/loadavg: 1.16 1.34 1.71 2/213 8556 /proc/meminfo: memFree=28319428/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9824732 CPUtime=2.53 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 14033 0 32 0 238 15 0 0 20 0 19 0 4832206 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2456183 39615 2270 9 0 2446860 0 [pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2463 0 7 0 27 2 0 0 20 0 19 0 4832217 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0 [pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4832224 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=0.64 cores=0,2,4,6 /proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 4097 0 1 0 64 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 6027 0 1 0 74 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8501] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8501/stat : 8501 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832258 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436453746088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.53 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.04 3.94 3.13 5/219 9304 /proc/meminfo: memFree=20769580/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9824732 CPUtime=1616.98 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 25239 0 32 0 161374 324 0 0 20 0 22 0 4832206 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2456183 802494 2296 9 0 2446860 0 [pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2468 0 7 0 45 4 0 0 20 0 22 0 4832217 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0 [pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 407 0 0 0 71 14 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 472 0 0 0 67 13 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 386 0 0 0 73 13 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 373 0 0 0 76 14 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0.84 cores=0,2,4,6 /proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 355 0 0 0 68 16 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 450 0 0 0 55 10 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 302 0 0 0 65 14 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0.91 cores=0,2,4,6 /proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 547 0 0 0 75 16 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=2.24 cores=0,2,4,6 /proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 1746 0 0 0 217 7 0 0 20 0 22 0 4832224 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=1.35 cores=0,2,4,6 /proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 6814 0 1 0 135 0 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=1.15 cores=0,2,4,6 /proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 7474 0 1 0 115 0 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 52 0 0 0 10 11 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=9009] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/9009/stat : 9009 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4841101 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436453746344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=9302] ppid=8445 vsize=9824732 CPUtime=24.96 cores=0,2,4,6 /proc/8448/task/9302/stat : 9302 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 2496 0 0 0 20 0 22 0 4917939 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436455841392 140436580651615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=9303] ppid=8445 vsize=9824732 CPUtime=24.96 cores=0,2,4,6 /proc/8448/task/9303/stat : 9303 (java) R 8445 8448 7126 0 -1 4202560 2 0 0 0 2496 0 0 0 20 0 22 0 4917939 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436452693784 140436580923784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=9304] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/9304/stat : 9304 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4917939 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436454798888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1616.98 Current children cumulated vsize (KiB) 9824732 [startup+942.301 s] /proc/loadavg: 4.21 4.01 3.20 5/219 9305 /proc/meminfo: memFree=20881172/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9824732 CPUtime=1737 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 25265 0 32 0 173375 325 0 0 20 0 22 0 4832206 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2456183 774346 2296 9 0 2446860 0 [pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2468 0 7 0 45 4 0 0 20 0 22 0 4832217 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0 [pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 407 0 0 0 72 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0.82 cores=0,2,4,6 /proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 483 0 0 0 69 13 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 386 0 0 0 73 13 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 373 0 0 0 76 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 357 0 0 0 69 16 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 450 0 0 0 58 10 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 308 0 0 0 67 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0.92 cores=0,2,4,6 /proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 547 0 0 0 76 16 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 1748 0 0 0 217 8 0 0 20 0 22 0 4832224 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=1.35 cores=0,2,4,6 /proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 6814 0 1 0 135 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=1.15 cores=0,2,4,6 /proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 7474 0 1 0 115 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 56 0 0 0 10 12 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=9009] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/9009/stat : 9009 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4841101 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436453746344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=9302] ppid=8445 vsize=9824732 CPUtime=84.92 cores=0,2,4,6 /proc/8448/task/9302/stat : 9302 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 8491 1 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436455849104 140436580638521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=9303] ppid=8445 vsize=9824732 CPUtime=84.92 cores=0,2,4,6 /proc/8448/task/9303/stat : 9303 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 8491 1 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436452690672 140436580966724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=9304] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/9304/stat : 9304 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436454798888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1737 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+973.801 s] /proc/loadavg: 4.69 4.17 3.29 5/219 9395 /proc/meminfo: memFree=24060616/32872528 swapFree=1525072/1694724 [pid=8448] ppid=8445 vsize=9824732 CPUtime=1800 cores=0,2,4,6 /proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 25267 0 32 0 179675 325 0 0 20 0 22 0 4832206 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/8448/statm: 2456183 774346 2296 9 0 2446860 0 [pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2468 0 7 0 45 4 0 0 20 0 22 0 4832217 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0 [pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 407 0 0 0 72 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0.82 cores=0,2,4,6 /proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 483 0 0 0 69 13 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 386 0 0 0 73 13 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 373 0 0 0 76 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 357 0 0 0 69 16 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 450 0 0 0 58 10 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 308 0 0 0 67 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0.92 cores=0,2,4,6 /proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 547 0 0 0 76 16 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 1748 0 0 0 217 8 0 0 20 0 22 0 4832224 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=1.35 cores=0,2,4,6 /proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 6814 0 1 0 135 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=1.15 cores=0,2,4,6 /proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 7474 0 1 0 115 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 58 0 0 0 11 12 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8448/tid=9009] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/9009/stat : 9009 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4841101 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436453746344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8448/tid=9302] ppid=8445 vsize=9824732 CPUtime=116.42 cores=0,2,4,6 /proc/8448/task/9302/stat : 9302 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 11641 1 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436455841392 140436580699099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8448/tid=9303] ppid=8445 vsize=9824732 CPUtime=116.42 cores=0,2,4,6 /proc/8448/task/9303/stat : 9303 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 11641 1 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436452690672 140436580966674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8448/tid=9304] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8448/task/9304/stat : 9304 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436454798888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8448 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 973.846 CPU time (s): 1800.32 CPU user time (s): 1796.84 CPU system time (s): 3.47547 CPU usage (%): 184.867 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.84 system time used= 3.47547 maximum resident set size= 3298928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25311 page faults= 32 swaps= 0 block input operations= 23296 block output operations= 784 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27435 involuntary context switches= 17092 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.67314 second user time and 7.84281 second system time The end
Begin job on node125 at 2016-06-30 05:41:20 IDJOB=4119513 IDBENCH=111749 IDSOLVER=2543 FILE ID=node125/4119513-1467258080 RUNJOBID= node125-1467258080-8433 PBS_JOBID= 20004466 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross10-040.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119513-1467258080/watcher-4119513-1467258080 -o /tmp/evaluation-result-4119513-1467258080/solver-4119513-1467258080 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467258080-8433 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119513-1467258080.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 678b3b0724ff54466f3548bc434e911a RANDOM SEED=1025308638 node125.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.282 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.56 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.282 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.282 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.56 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.282 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.282 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.282 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.282 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.282 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28629240 kB Buffers: 119272 kB Cached: 1673484 kB SwapCached: 0 kB Active: 152808 kB Inactive: 1657568 kB Active(anon): 20256 kB Inactive(anon): 0 kB Active(file): 132552 kB Inactive(file): 1657568 kB Unevictable: 1694724 kB Mlocked: 1525072 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 888 kB Writeback: 0 kB AnonPages: 1713480 kB Mapped: 13204 kB Shmem: 204 kB Slab: 606756 kB SReclaimable: 50896 kB SUnreclaim: 555860 kB KernelStack: 1392 kB PageTables: 7452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1795948 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 176128 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= 71740 MiB End job on node125 at 2016-06-30 05:57:34