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 Resolution PB16 | SAT (TO) | 184 | 1800.81 | 1780.54 |
| 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.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4119514-1467260995.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.22/0.24 c ... done. Wall clock time 0.118s. 0.22/0.24 c declared #vars 91 0.22/0.24 c internal #vars 637 0.22/0.24 c #constraints 1574 0.22/0.24 c constraints type 0.22/0.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1026 0.22/0.24 c org.sat4j.specs.Constr$1 => 1 0.22/0.24 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.22/0.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 546 0.22/0.24 c 1574 constraints processed. 0.22/0.24 c objective function length is 633 literals 0.22/0.25 c SATISFIABLE 0.22/0.25 c OPTIMIZING... 0.22/0.25 c Got one! Elapsed wall clock time (in seconds):0.132 0.22/0.25 o 342 0.22/0.28 c Got one! Elapsed wall clock time (in seconds):0.157 0.22/0.28 o 338 0.22/0.29 c Got one! Elapsed wall clock time (in seconds):0.17 0.22/0.29 o 334 0.41/0.30 c Got one! Elapsed wall clock time (in seconds):0.183 0.41/0.30 o 329 0.41/0.31 c Got one! Elapsed wall clock time (in seconds):0.195 0.41/0.31 o 321 0.41/0.36 c Got one! Elapsed wall clock time (in seconds):0.246 0.41/0.36 o 318 0.41/0.38 c Got one! Elapsed wall clock time (in seconds):0.267 0.41/0.38 o 317 0.71/0.40 c Got one! Elapsed wall clock time (in seconds):0.282 0.71/0.40 o 313 0.71/0.48 c Got one! Elapsed wall clock time (in seconds):0.364 0.71/0.48 o 311 0.71/0.49 c Got one! Elapsed wall clock time (in seconds):0.372 0.71/0.49 o 309 1.01/0.50 c Got one! Elapsed wall clock time (in seconds):0.379 1.01/0.50 o 307 1.01/0.56 c Got one! Elapsed wall clock time (in seconds):0.444 1.01/0.56 o 306 1.01/0.57 c Got one! Elapsed wall clock time (in seconds):0.45 1.01/0.57 o 305 1.01/0.58 c Got one! Elapsed wall clock time (in seconds):0.46 1.01/0.58 o 303 1.01/0.58 c Got one! Elapsed wall clock time (in seconds):0.463 1.01/0.58 o 301 1.01/0.59 c Got one! Elapsed wall clock time (in seconds):0.468 1.01/0.59 o 299 1.25/0.63 c Got one! Elapsed wall clock time (in seconds):0.512 1.25/0.63 o 294 1.25/0.63 c Got one! Elapsed wall clock time (in seconds):0.516 1.25/0.63 o 292 1.25/0.64 c Got one! Elapsed wall clock time (in seconds):0.518 1.25/0.64 o 290 1.25/0.65 c Got one! Elapsed wall clock time (in seconds):0.527 1.25/0.65 o 289 1.25/0.65 c Got one! Elapsed wall clock time (in seconds):0.53 1.25/0.65 o 288 1.25/0.65 c Got one! Elapsed wall clock time (in seconds):0.535 1.25/0.65 o 287 1.25/0.66 c Got one! Elapsed wall clock time (in seconds):0.537 1.25/0.66 o 284 1.25/0.66 c Got one! Elapsed wall clock time (in seconds):0.538 1.25/0.66 o 282 1.45/0.71 c Got one! Elapsed wall clock time (in seconds):0.593 1.45/0.71 o 281 1.45/0.75 c Got one! Elapsed wall clock time (in seconds):0.636 1.45/0.75 o 279 1.91/1.17 c Got one! Elapsed wall clock time (in seconds):1.048 1.91/1.17 o 278 2.08/1.21 c Got one! Elapsed wall clock time (in seconds):1.095 2.08/1.21 o 273 2.08/1.28 c Got one! Elapsed wall clock time (in seconds):1.157 2.08/1.28 o 272 2.19/1.31 c Got one! Elapsed wall clock time (in seconds):1.189 2.19/1.31 o 270 2.30/1.43 c cleaning 4889 clauses out of 9777 with flag 2143/9777 2.30/1.49 c Got one! Elapsed wall clock time (in seconds):1.376 2.30/1.49 o 269 2.43/1.56 c Got one! Elapsed wall clock time (in seconds):1.44 2.43/1.56 o 268 2.43/1.56 c Got one! Elapsed wall clock time (in seconds):1.444 2.43/1.56 o 267 2.93/2.02 c cleaning 5789 clauses out of 11578 with flag 10441/16467 3.43/2.50 c Got one! Elapsed wall clock time (in seconds):2.378 3.43/2.50 o 266 3.73/2.86 c Got one! Elapsed wall clock time (in seconds):2.742 3.73/2.86 o 261 3.93/3.03 c Got one! Elapsed wall clock time (in seconds):2.916 3.93/3.03 o 260 4.03/3.15 c cleaning 8916 clauses out of 17831 with flag 2199/28509 4.66/3.74 c cleaning 7458 clauses out of 14915 with flag 14955/34509 5.17/4.29 c Got one! Elapsed wall clock time (in seconds):4.167 5.17/4.29 o 259 5.27/4.36 c Got one! Elapsed wall clock time (in seconds):4.245 5.27/4.36 o 258 5.27/4.37 c Got one! Elapsed wall clock time (in seconds):4.256 5.27/4.37 o 256 5.27/4.39 c Got one! Elapsed wall clock time (in seconds):4.269 5.27/4.39 o 253 5.38/4.43 c Got one! Elapsed wall clock time (in seconds):4.31 5.38/4.43 o 252 5.38/4.45 c Got one! Elapsed wall clock time (in seconds):4.333 5.38/4.45 o 251 5.38/4.46 c Got one! Elapsed wall clock time (in seconds):4.34 5.38/4.46 o 250 5.67/4.74 c Got one! Elapsed wall clock time (in seconds):4.618 5.67/4.74 o 249 5.67/4.77 c Got one! Elapsed wall clock time (in seconds):4.655 5.67/4.77 o 248 5.77/4.84 c Got one! Elapsed wall clock time (in seconds):4.721 5.77/4.84 o 247 5.77/4.86 c Got one! Elapsed wall clock time (in seconds):4.744 5.77/4.86 o 246 5.77/4.86 c Got one! Elapsed wall clock time (in seconds):4.746 5.77/4.86 o 245 5.97/5.02 c Got one! Elapsed wall clock time (in seconds):4.903 5.97/5.02 o 244 5.97/5.08 c Got one! Elapsed wall clock time (in seconds):4.965 5.97/5.08 o 243 6.17/5.21 c Got one! Elapsed wall clock time (in seconds):5.092 6.17/5.21 o 242 6.27/5.36 c cleaning 11468 clauses out of 22935 with flag 2281/49987 6.86/6.00 c cleaning 8730 clauses out of 17469 with flag 14867/55989 7.37/6.42 c Got one! Elapsed wall clock time (in seconds):6.299 7.37/6.42 o 239 7.47/6.53 c cleaning 7230 clauses out of 14467 with flag 2206/61717 7.69/6.71 c Got one! Elapsed wall clock time (in seconds):6.593 7.69/6.71 o 238 7.89/6.99 c cleaning 6180 clauses out of 12370 with flag 6566/66850 8.01/7.04 c Got one! Elapsed wall clock time (in seconds):6.927 8.01/7.04 o 237 8.41/7.47 c cleaning 5955 clauses out of 11911 with flag 10593/72571 8.73/7.72 c Got one! Elapsed wall clock time (in seconds):7.604 8.73/7.72 o 236 8.93/7.92 c cleaning 5480 clauses out of 10963 with flag 4430/77578 9.13/8.16 c Got one! Elapsed wall clock time (in seconds):8.045 9.13/8.16 o 235 9.23/8.27 c Got one! Elapsed wall clock time (in seconds):8.155 9.23/8.27 o 234 9.33/8.31 c Got one! Elapsed wall clock time (in seconds):8.195 9.33/8.31 o 233 9.33/8.38 c Got one! Elapsed wall clock time (in seconds):8.262 9.33/8.38 o 231 9.43/8.41 c Got one! Elapsed wall clock time (in seconds):8.289 9.43/8.41 o 230 9.43/8.48 c Got one! Elapsed wall clock time (in seconds):8.362 9.43/8.48 o 229 9.73/8.70 c cleaning 6940 clauses out of 13880 with flag 4340/85975 9.94/8.99 c Got one! Elapsed wall clock time (in seconds):8.871 9.94/8.99 o 227 10.13/9.13 c Got one! Elapsed wall clock time (in seconds):9.014 10.13/9.13 o 226 10.13/9.18 c Got one! Elapsed wall clock time (in seconds):9.059 10.13/9.18 o 225 10.23/9.28 c cleaning 6823 clauses out of 13655 with flag 2269/92690 10.33/9.38 c Got one! Elapsed wall clock time (in seconds):9.258 10.33/9.38 o 223 10.43/9.41 c Got one! Elapsed wall clock time (in seconds):9.29 10.43/9.41 o 222 10.73/9.77 c cleaning 6219 clauses out of 12450 with flag 8488/98308 10.94/9.95 c Got one! Elapsed wall clock time (in seconds):9.828 10.94/9.95 o 219 11.23/10.23 c cleaning 5759 clauses out of 11527 with flag 6686/103604 11.73/10.75 c cleaning 5880 clauses out of 11769 with flag 19355/109605 11.93/10.90 c Got one! Elapsed wall clock time (in seconds):10.784 11.93/10.90 o 218 12.03/11.07 c Got one! Elapsed wall clock time (in seconds):10.95 12.03/11.07 o 217 12.23/11.25 c cleaning 5896 clauses out of 11799 with flag 4386/115515 12.33/11.30 c Got one! Elapsed wall clock time (in seconds):11.179 12.33/11.30 o 216 12.33/11.33 c Got one! Elapsed wall clock time (in seconds):11.209 12.33/11.33 o 215 12.33/11.36 c Got one! Elapsed wall clock time (in seconds):11.237 12.33/11.36 o 214 12.33/11.36 c Got one! Elapsed wall clock time (in seconds):11.244 12.33/11.36 o 213 12.33/11.36 c Got one! Elapsed wall clock time (in seconds):11.245 12.33/11.36 o 211 12.83/11.83 c cleaning 6233 clauses out of 12475 with flag 10532/122087 13.33/12.36 c cleaning 6109 clauses out of 12237 with flag 22847/128082 13.93/12.99 c cleaning 6564 clauses out of 13130 with flag 37633/135084 14.73/13.72 c cleaning 7283 clauses out of 14567 with flag 55041/143085 15.54/14.59 c cleaning 8142 clauses out of 16283 with flag 74552/152084 16.65/15.64 c cleaning 9071 clauses out of 18141 with flag 96246/162084 17.85/16.85 c cleaning 10032 clauses out of 20068 with flag 119730/173082 19.15/18.10 c cleaning 11016 clauses out of 22036 with flag 145897/185082 20.65/19.64 c cleaning 12008 clauses out of 24020 with flag 174554/198082 22.15/21.13 c cleaning 13000 clauses out of 26012 with flag 204541/212082 23.55/22.51 c cleaning 14006 clauses out of 28014 with flag 236343/227084 24.97/23.97 c cleaning 15002 clauses out of 30007 with flag 269882/243083 26.66/25.67 c cleaning 16003 clauses out of 32005 with flag 306066/260083 28.36/27.36 c cleaning 16999 clauses out of 34002 with flag 343253/278083 30.26/29.20 c cleaning 17994 clauses out of 36002 with flag 382618/297082 32.36/31.34 c cleaning 19001 clauses out of 38008 with flag 423309/317082 34.66/33.67 c cleaning 20001 clauses out of 40007 with flag 465929/338082 37.26/36.13 c cleaning 21005 clauses out of 42009 with flag 511567/360085 38.86/37.72 c Got one! Elapsed wall clock time (in seconds):37.606 38.86/37.72 o 210 39.56/38.42 c cleaning 20597 clauses out of 41198 with flag 10740/380279 40.26/39.13 c cleaning 13294 clauses out of 26601 with flag 23833/386279 41.06/39.93 c cleaning 10149 clauses out of 20307 with flag 38590/393279 41.96/40.81 c cleaning 9074 clauses out of 18159 with flag 56013/401280 42.85/41.77 c cleaning 9040 clauses out of 18085 with flag 75648/410280 43.95/42.89 c cleaning 9522 clauses out of 19047 with flag 97622/420282 45.34/44.13 c cleaning 10253 clauses out of 20522 with flag 122810/431279 46.54/45.39 c cleaning 11131 clauses out of 22273 with flag 147680/443283 47.94/46.74 c cleaning 12070 clauses out of 24139 with flag 175061/456280 49.44/48.29 c cleaning 13030 clauses out of 26070 with flag 205728/470281 51.14/49.99 c cleaning 14019 clauses out of 28039 with flag 238978/485280 53.13/51.94 c cleaning 15006 clauses out of 30021 with flag 274743/501281 55.15/53.92 c cleaning 16003 clauses out of 32013 with flag 310555/518279 57.44/56.14 c cleaning 17003 clauses out of 34010 with flag 347605/536279 59.74/58.49 c cleaning 17998 clauses out of 36008 with flag 386597/555280 62.23/61.00 c cleaning 19002 clauses out of 38009 with flag 428135/575279 64.93/63.68 c cleaning 20003 clauses out of 40009 with flag 472142/596281 67.83/66.56 c cleaning 20999 clauses out of 42005 with flag 517825/618280 70.92/69.51 c cleaning 22000 clauses out of 44005 with flag 566494/641279 74.03/72.67 c cleaning 23003 clauses out of 46005 with flag 616779/665279 77.52/76.19 c cleaning 23994 clauses out of 48003 with flag 668366/690280 81.45/79.99 c cleaning 25002 clauses out of 50008 with flag 723240/716279 85.26/83.77 c cleaning 26004 clauses out of 52008 with flag 783327/743281 89.36/87.80 c cleaning 26995 clauses out of 54002 with flag 843077/771279 93.85/92.27 c cleaning 28002 clauses out of 56008 with flag 906713/800280 98.15/96.54 c cleaning 29002 clauses out of 58006 with flag 971869/830280 100.15/98.59 c Got one! Elapsed wall clock time (in seconds):98.468 100.15/98.59 o 207 101.15/99.53 c cleaning 24667 clauses out of 49348 with flag 11971/850624 102.08/100.39 c cleaning 15338 clauses out of 30683 with flag 26120/856626 102.88/101.16 c cleaning 11163 clauses out of 22343 with flag 41866/863624 103.78/102.00 c cleaning 9584 clauses out of 19181 with flag 59819/871625 104.58/102.86 c cleaning 9295 clauses out of 18596 with flag 79977/880624 105.58/103.82 c cleaning 9649 clauses out of 19301 with flag 102070/890624 106.68/104.95 c cleaning 10321 clauses out of 20652 with flag 126597/901624 107.58/105.87 c Got one! Elapsed wall clock time (in seconds):105.752 107.58/105.87 o 204 108.18/106.49 c cleaning 12704 clauses out of 25417 with flag 11759/916710 109.07/107.27 c cleaning 9353 clauses out of 18714 with flag 24990/922711 109.87/108.09 c cleaning 8175 clauses out of 16359 with flag 40383/929709 110.77/108.93 c cleaning 8090 clauses out of 16184 with flag 58572/937709 111.67/109.86 c cleaning 8548 clauses out of 17096 with flag 78738/946711 112.77/110.90 c cleaning 9272 clauses out of 18546 with flag 100758/956709 113.87/112.09 c cleaning 10130 clauses out of 20274 with flag 124358/967709 114.96/113.14 c cleaning 11073 clauses out of 22146 with flag 149826/979711 116.21/114.33 c cleaning 12032 clauses out of 24071 with flag 179826/992709 117.61/115.74 c cleaning 13015 clauses out of 26040 with flag 211515/1006710 118.91/117.08 c cleaning 14009 clauses out of 28025 with flag 244799/1021710 120.51/118.67 c cleaning 15003 clauses out of 30015 with flag 280779/1037709 122.31/120.49 c cleaning 15996 clauses out of 32012 with flag 317934/1054709 124.34/122.45 c cleaning 17005 clauses out of 34017 with flag 357063/1072710 126.64/124.74 c cleaning 18004 clauses out of 36011 with flag 399453/1091709 129.14/127.23 c cleaning 19004 clauses out of 38008 with flag 443360/1111710 131.78/129.82 c cleaning 20001 clauses out of 40003 with flag 488457/1132709 134.48/132.57 c cleaning 21000 clauses out of 42003 with flag 535718/1154710 137.18/135.23 c cleaning 21997 clauses out of 44002 with flag 588275/1177709 139.94/137.99 c cleaning 23003 clauses out of 46005 with flag 641500/1201709 142.85/140.86 c cleaning 23994 clauses out of 48003 with flag 695972/1226710 146.25/144.22 c cleaning 25004 clauses out of 50009 with flag 752760/1252710 149.78/147.76 c cleaning 26002 clauses out of 52004 with flag 812741/1279709 153.38/151.34 c cleaning 26994 clauses out of 54003 with flag 872511/1307710 157.96/155.87 c cleaning 28002 clauses out of 56008 with flag 937117/1336709 162.46/160.36 c cleaning 29001 clauses out of 58006 with flag 1006344/1366709 167.16/164.99 c cleaning 30000 clauses out of 60009 with flag 1075596/1397713 171.96/169.75 c cleaning 31000 clauses out of 62005 with flag 1144744/1429709 177.47/175.20 c cleaning 32003 clauses out of 64005 with flag 1217518/1462709 182.87/180.54 c cleaning 33000 clauses out of 66003 with flag 1293474/1496710 187.99/185.70 c cleaning 34001 clauses out of 68003 with flag 1369887/1531710 193.79/191.48 c cleaning 34998 clauses out of 70002 with flag 1449179/1567710 199.85/197.46 c cleaning 35998 clauses out of 72003 with flag 1527414/1604709 206.31/203.81 c cleaning 37003 clauses out of 74006 with flag 1608272/1642710 213.12/210.62 c cleaning 38002 clauses out of 76003 with flag 1692157/1681710 220.27/217.73 c cleaning 39000 clauses out of 78000 with flag 1777971/1721709 227.66/225.06 c cleaning 39997 clauses out of 80000 with flag 1865373/1762709 235.14/232.44 c cleaning 40999 clauses out of 82004 with flag 1955595/1804710 242.68/239.99 c cleaning 42002 clauses out of 84006 with flag 2048534/1847711 250.77/248.04 c cleaning 42998 clauses out of 86002 with flag 2144085/1891709 259.11/256.40 c cleaning 44001 clauses out of 88004 with flag 2242601/1936709 267.84/265.09 c cleaning 44994 clauses out of 90004 with flag 2343678/1982710 277.45/274.64 c cleaning 46005 clauses out of 92009 with flag 2448893/2029709 284.49/281.67 c Got one! Elapsed wall clock time (in seconds):281.552 284.49/281.67 o 203 285.89/283.08 c cleaning 45484 clauses out of 90982 with flag 11336/2074687 286.80/283.93 c cleaning 25744 clauses out of 51499 with flag 24436/2080688 287.59/284.74 c cleaning 16367 clauses out of 32755 with flag 39598/2087688 288.43/285.59 c cleaning 12188 clauses out of 24388 with flag 56839/2095688 289.33/286.41 c cleaning 10595 clauses out of 21198 with flag 76806/2104686 290.33/287.45 c cleaning 10292 clauses out of 20604 with flag 100632/2114687 291.53/288.62 c cleaning 10648 clauses out of 21312 with flag 126409/2125687 292.76/289.83 c cleaning 11332 clauses out of 22664 with flag 154183/2137687 294.26/291.35 c cleaning 12161 clauses out of 24332 with flag 184022/2150687 295.86/292.99 c cleaning 13080 clauses out of 26171 with flag 215835/2164687 297.66/294.77 c cleaning 14043 clauses out of 28091 with flag 250043/2179687 299.58/296.62 c cleaning 15020 clauses out of 30047 with flag 287267/2195686 301.59/298.66 c cleaning 16012 clauses out of 32028 with flag 322985/2212687 301.69/298.77 c Got one! Elapsed wall clock time (in seconds):298.65 301.69/298.77 o 202 302.19/299.27 c cleaning 10699 clauses out of 21416 with flag 9664/2218087 302.79/299.89 c cleaning 8347 clauses out of 16716 with flag 23150/2224086 303.61/300.66 c cleaning 7681 clauses out of 15369 with flag 38387/2231086 304.31/301.34 c cleaning 7841 clauses out of 15688 with flag 55469/2239086 305.11/302.19 c cleaning 8422 clauses out of 16848 with flag 75271/2248087 306.21/303.21 c cleaning 9213 clauses out of 18425 with flag 97028/2258086 307.31/304.33 c cleaning 10107 clauses out of 20214 with flag 121403/2269088 308.62/305.60 c cleaning 11049 clauses out of 22106 with flag 148506/2281087 309.92/307.00 c cleaning 12029 clauses out of 24057 with flag 176669/2294087 311.62/308.68 c cleaning 13014 clauses out of 26028 with flag 207705/2308087 312.72/309.74 c Got one! Elapsed wall clock time (in seconds):309.625 312.72/309.74 o 201 313.53/310.52 c cleaning 13813 clauses out of 27646 with flag 11254/2322719 314.23/311.20 c cleaning 9910 clauses out of 19833 with flag 24790/2328719 314.93/311.90 c cleaning 8453 clauses out of 16923 with flag 40690/2335719 315.73/312.70 c cleaning 8231 clauses out of 16471 with flag 58191/2343720 316.64/313.61 c cleaning 8617 clauses out of 17240 with flag 77235/2352720 317.64/314.61 c cleaning 9305 clauses out of 18624 with flag 98035/2362721 318.76/315.72 c cleaning 10156 clauses out of 20318 with flag 121256/2373720 319.96/316.96 c cleaning 11077 clauses out of 22161 with flag 146761/2385719 321.45/318.46 c cleaning 12040 clauses out of 24086 with flag 174433/2398721 323.30/320.24 c cleaning 13022 clauses out of 26044 with flag 204180/2412719 325.09/322.09 c cleaning 14010 clauses out of 28022 with flag 236110/2427719 327.09/324.08 c cleaning 15004 clauses out of 30013 with flag 271386/2443720 329.22/326.15 c cleaning 16004 clauses out of 32008 with flag 308690/2460719 331.32/328.27 c cleaning 16999 clauses out of 34005 with flag 349020/2478720 333.76/330.66 c cleaning 18002 clauses out of 36006 with flag 389394/2497720 336.05/332.99 c cleaning 19003 clauses out of 38005 with flag 431171/2517721 338.89/335.74 c cleaning 19997 clauses out of 40002 with flag 475298/2538721 342.10/338.96 c cleaning 21000 clauses out of 42004 with flag 521908/2560720 345.62/342.40 c cleaning 21999 clauses out of 44003 with flag 570938/2583719 349.15/345.93 c cleaning 22998 clauses out of 46004 with flag 621946/2607719 352.85/349.60 c cleaning 24001 clauses out of 48007 with flag 675988/2632720 356.97/353.73 c cleaning 25002 clauses out of 50006 with flag 732177/2658720 361.31/358.08 c cleaning 26000 clauses out of 52003 with flag 792121/2685719 365.51/362.23 c cleaning 26988 clauses out of 54003 with flag 853500/2713719 369.43/366.15 c cleaning 28001 clauses out of 56015 with flag 914844/2742719 373.86/370.53 c cleaning 29001 clauses out of 58014 with flag 977859/2772719 378.67/375.32 c cleaning 30002 clauses out of 60013 with flag 1044169/2803719 383.39/380.03 c cleaning 31003 clauses out of 62011 with flag 1111063/2835719 388.35/384.94 c cleaning 32002 clauses out of 64009 with flag 1184199/2868720 393.68/390.26 c cleaning 33002 clauses out of 66006 with flag 1257114/2902719 399.11/395.61 c cleaning 34003 clauses out of 68006 with flag 1330319/2937721 404.65/401.15 c cleaning 35000 clauses out of 70005 with flag 1405172/2973723 411.19/407.60 c cleaning 35994 clauses out of 72002 with flag 1482360/3010720 417.82/414.20 c cleaning 36999 clauses out of 74008 with flag 1564811/3048720 422.14/418.53 c Got one! Elapsed wall clock time (in seconds):418.412 422.14/418.53 o 199 423.24/419.64 c cleaning 36534 clauses out of 73083 with flag 11014/3084794 424.16/420.52 c cleaning 21268 clauses out of 42550 with flag 24160/3090795 424.96/421.35 c cleaning 14133 clauses out of 28281 with flag 39200/3097794 425.86/422.21 c cleaning 11069 clauses out of 22148 with flag 56007/3105794 426.76/423.14 c cleaning 10038 clauses out of 20079 with flag 75353/3114794 427.78/424.18 c cleaning 10020 clauses out of 20042 with flag 97294/3124795 428.98/425.40 c cleaning 10508 clauses out of 21023 with flag 120929/3135796 430.18/426.59 c cleaning 11248 clauses out of 22514 with flag 147608/3147795 431.71/428.09 c cleaning 12130 clauses out of 24265 with flag 176025/3160794 433.41/429.77 c cleaning 13065 clauses out of 26136 with flag 205657/3174795 435.32/431.62 c cleaning 14035 clauses out of 28070 with flag 238396/3189794 437.22/433.58 c cleaning 15007 clauses out of 30035 with flag 272646/3205794 439.34/435.68 c cleaning 16011 clauses out of 32028 with flag 311596/3222794 441.58/437.86 c cleaning 17005 clauses out of 34018 with flag 349680/3240795 443.67/439.90 c cleaning 18005 clauses out of 36012 with flag 389898/3259794 445.78/442.01 c Got one! Elapsed wall clock time (in seconds):441.89 445.78/442.01 o 198 446.48/442.79 c cleaning 21432 clauses out of 42872 with flag 10883/3284659 447.19/443.48 c cleaning 13718 clauses out of 27442 with flag 24433/3290661 447.98/444.22 c cleaning 10354 clauses out of 20722 with flag 39761/3297659 448.90/445.10 c cleaning 9177 clauses out of 18369 with flag 56901/3305660 449.80/446.07 c cleaning 9094 clauses out of 18191 with flag 76423/3314659 450.80/447.07 c cleaning 9548 clauses out of 19098 with flag 98416/3324660 451.81/448.06 c cleaning 10273 clauses out of 20549 with flag 121227/3335659 453.01/449.25 c cleaning 11134 clauses out of 22276 with flag 147541/3347659 454.32/450.57 c cleaning 12069 clauses out of 24143 with flag 176851/3360660 455.82/452.00 c cleaning 13032 clauses out of 26073 with flag 206931/3374659 457.44/453.65 c cleaning 14021 clauses out of 28041 with flag 238075/3389659 459.25/455.48 c cleaning 15007 clauses out of 30020 with flag 270621/3405659 461.26/457.45 c cleaning 16006 clauses out of 32013 with flag 305837/3422659 462.06/458.22 c Got one! Elapsed wall clock time (in seconds):458.105 462.06/458.22 o 196 462.79/458.93 c cleaning 14422 clauses out of 28852 with flag 11306/3435504 463.49/459.61 c cleaning 10212 clauses out of 20428 with flag 23798/3441502 464.19/460.38 c cleaning 8603 clauses out of 17217 with flag 38601/3448503 465.09/461.26 c cleaning 8298 clauses out of 16614 with flag 56127/3456503 466.11/462.21 c cleaning 8651 clauses out of 17315 with flag 75007/3465502 467.01/463.20 c cleaning 9333 clauses out of 18668 with flag 96838/3475506 468.11/464.26 c cleaning 10163 clauses out of 20333 with flag 121890/3486504 469.32/465.48 c cleaning 11083 clauses out of 22169 with flag 148288/3498503 470.71/466.80 c cleaning 12037 clauses out of 24086 with flag 176670/3511503 472.13/468.28 c cleaning 13020 clauses out of 26048 with flag 207974/3525502 473.83/469.94 c cleaning 14010 clauses out of 28028 with flag 241342/3540502 475.54/471.67 c cleaning 15005 clauses out of 30018 with flag 275849/3556502 477.43/473.59 c cleaning 16003 clauses out of 32013 with flag 313206/3573502 479.55/475.64 c Got one! Elapsed wall clock time (in seconds):475.518 479.55/475.64 o 195 480.36/476.44 c cleaning 19082 clauses out of 38165 with flag 11264/3595657 481.05/477.15 c cleaning 12536 clauses out of 25086 with flag 25602/3601660 481.87/477.92 c cleaning 9769 clauses out of 19548 with flag 41831/3608658 482.67/478.77 c cleaning 8888 clauses out of 17778 with flag 59532/3616657 483.68/479.78 c cleaning 8939 clauses out of 17891 with flag 79699/3625658 484.88/480.96 c cleaning 9468 clauses out of 18951 with flag 102457/3635657 485.98/482.08 c cleaning 10243 clauses out of 20485 with flag 126334/3646659 487.29/483.38 c cleaning 11120 clauses out of 22240 with flag 152019/3658657 488.89/484.90 c cleaning 12056 clauses out of 24120 with flag 181063/3671657 490.41/486.49 c Got one! Elapsed wall clock time (in seconds):486.369 490.41/486.49 o 193 491.21/487.30 c cleaning 15001 clauses out of 30002 with flag 10622/3689595 492.01/488.07 c cleaning 10497 clauses out of 20999 with flag 23556/3695593 492.82/488.84 c cleaning 8751 clauses out of 17504 with flag 39135/3702595 493.62/489.63 c cleaning 8366 clauses out of 16751 with flag 56450/3710593 494.41/490.49 c cleaning 8691 clauses out of 17388 with flag 76518/3719596 495.44/491.44 c cleaning 9347 clauses out of 18694 with flag 98727/3729593 496.54/492.51 c cleaning 10174 clauses out of 20347 with flag 122768/3740593 497.64/493.69 c cleaning 11086 clauses out of 22173 with flag 148333/3752593 498.94/495.00 c cleaning 12043 clauses out of 24087 with flag 176603/3765593 500.46/496.43 c cleaning 13024 clauses out of 26048 with flag 207238/3779597 501.96/497.97 c cleaning 14003 clauses out of 28020 with flag 240309/3794593 503.77/499.74 c cleaning 15007 clauses out of 30017 with flag 276013/3810593 505.71/501.61 c cleaning 15997 clauses out of 32010 with flag 313191/3827593 507.80/503.70 c cleaning 17007 clauses out of 34018 with flag 352405/3845598 509.40/505.39 c Got one! Elapsed wall clock time (in seconds):505.269 509.40/505.39 o 191 510.21/506.18 c cleaning 18858 clauses out of 37729 with flag 11694/3866316 510.91/506.84 c cleaning 12430 clauses out of 24871 with flag 24764/3872316 511.61/507.52 c cleaning 9713 clauses out of 19441 with flag 39279/3879316 512.21/508.20 c cleaning 8859 clauses out of 17727 with flag 56022/3887315 512.42/508.30 c Got one! Elapsed wall clock time (in seconds):508.186 512.42/508.30 o 188 512.84/508.74 c cleaning 7211 clauses out of 14427 with flag 8699/3892874 513.34/509.23 c cleaning 6605 clauses out of 13217 with flag 22600/3898875 513.94/509.80 c cleaning 6797 clauses out of 13612 with flag 39270/3905875 514.57/510.50 c cleaning 7400 clauses out of 14815 with flag 57180/3913875 515.46/511.37 c cleaning 8206 clauses out of 16414 with flag 76635/3922874 516.36/512.28 c cleaning 9099 clauses out of 18207 with flag 97799/3932873 517.48/513.35 c cleaning 10054 clauses out of 20109 with flag 120401/3943874 518.68/514.59 c cleaning 11025 clauses out of 22056 with flag 146376/3955875 520.10/515.98 c cleaning 12014 clauses out of 24029 with flag 173408/3968873 521.72/517.55 c cleaning 13007 clauses out of 26015 with flag 202478/3982873 523.43/519.24 c cleaning 14000 clauses out of 28009 with flag 233988/3997874 525.33/521.10 c cleaning 15003 clauses out of 30010 with flag 267280/4013875 527.14/522.96 c cleaning 15997 clauses out of 32005 with flag 302351/4030873 529.17/524.98 c cleaning 17002 clauses out of 34008 with flag 339727/4048873 531.60/527.36 c cleaning 17996 clauses out of 36006 with flag 380719/4067873 534.13/529.89 c cleaning 18998 clauses out of 38010 with flag 423247/4087873 536.96/532.63 c cleaning 19995 clauses out of 40012 with flag 468524/4108873 539.58/535.21 c cleaning 21006 clauses out of 42017 with flag 515798/4130873 542.51/538.11 c cleaning 22004 clauses out of 44012 with flag 563725/4153874 545.48/541.05 c cleaning 22997 clauses out of 46007 with flag 614748/4177873 548.61/544.10 c cleaning 24005 clauses out of 48010 with flag 666420/4202873 551.94/547.41 c cleaning 24999 clauses out of 50006 with flag 719474/4228874 555.18/550.67 c cleaning 25999 clauses out of 52007 with flag 775117/4255874 558.94/554.40 c cleaning 27005 clauses out of 54009 with flag 835331/4283875 563.66/559.06 c cleaning 27999 clauses out of 56004 with flag 897482/4312875 568.81/564.12 c cleaning 28997 clauses out of 58003 with flag 961817/4342873 573.64/568.97 c cleaning 29994 clauses out of 60006 with flag 1027596/4373873 578.51/573.70 c cleaning 31004 clauses out of 62013 with flag 1095510/4405874 583.56/578.73 c cleaning 32000 clauses out of 64009 with flag 1165071/4438874 589.19/584.38 c cleaning 33008 clauses out of 66018 with flag 1237311/4472883 595.37/590.49 c cleaning 34002 clauses out of 68003 with flag 1312256/4507876 601.52/596.52 c cleaning 34994 clauses out of 69998 with flag 1387553/4543873 607.80/602.80 c cleaning 35996 clauses out of 72005 with flag 1465458/4580874 614.14/609.00 c cleaning 37003 clauses out of 74009 with flag 1546603/4618874 620.97/615.78 c cleaning 38003 clauses out of 76005 with flag 1632386/4657873 628.46/623.18 c cleaning 38995 clauses out of 78004 with flag 1722193/4697875 636.23/630.90 c cleaning 39996 clauses out of 80007 with flag 1809394/4738873 644.02/638.59 c cleaning 41006 clauses out of 82016 with flag 1900501/4780878 644.63/639.15 c Got one! Elapsed wall clock time (in seconds):639.031 644.63/639.15 o 186 644.82/639.38 c cleaning 23249 clauses out of 46502 with flag 2093/4786370 645.62/640.12 c cleaning 14620 clauses out of 29251 with flag 14799/4792368 646.32/640.80 c cleaning 10808 clauses out of 21632 with flag 29439/4799369 647.13/641.64 c cleaning 9399 clauses out of 18822 with flag 45944/4807367 648.05/642.54 c cleaning 9205 clauses out of 18423 with flag 64183/4816367 649.07/643.53 c cleaning 9606 clauses out of 19218 with flag 84590/4826367 650.18/644.62 c cleaning 10301 clauses out of 20613 with flag 107293/4837368 651.41/645.80 c cleaning 11156 clauses out of 22311 with flag 131618/4849367 652.82/647.22 c cleaning 12071 clauses out of 24156 with flag 158521/4862368 654.35/648.74 c cleaning 13042 clauses out of 26085 with flag 186952/4876368 655.99/650.36 c cleaning 14022 clauses out of 28043 with flag 217634/4891368 657.91/652.21 c cleaning 15009 clauses out of 30021 with flag 250570/4907368 660.15/654.44 c cleaning 16005 clauses out of 32012 with flag 286742/4924368 662.49/656.80 c cleaning 17002 clauses out of 34008 with flag 324370/4942369 665.03/659.21 c cleaning 17999 clauses out of 36004 with flag 366623/4961367 667.76/661.92 c cleaning 18997 clauses out of 38006 with flag 409564/4981368 670.48/664.63 c cleaning 19996 clauses out of 40008 with flag 456629/5002367 673.21/667.34 c cleaning 21006 clauses out of 42012 with flag 503223/5024367 676.46/670.54 c cleaning 21997 clauses out of 44006 with flag 551648/5047367 679.70/673.70 c cleaning 22999 clauses out of 46009 with flag 605255/5071367 682.99/676.91 c cleaning 24007 clauses out of 48013 with flag 663112/5096370 686.03/679.93 c cleaning 25001 clauses out of 50005 with flag 718637/5122369 689.78/683.61 c cleaning 26001 clauses out of 52003 with flag 780960/5149368 693.94/687.74 c cleaning 27000 clauses out of 54001 with flag 841617/5177367 698.50/692.27 c cleaning 27997 clauses out of 56002 with flag 907400/5206368 703.38/697.08 c cleaning 28996 clauses out of 58005 with flag 973332/5236368 708.05/701.63 c cleaning 30002 clauses out of 60008 with flag 1039073/5267367 713.34/706.86 c cleaning 31003 clauses out of 62008 with flag 1107226/5299369 718.91/712.33 c cleaning 31996 clauses out of 64003 with flag 1177903/5332367 724.80/718.11 c cleaning 32996 clauses out of 66010 with flag 1254076/5366370 730.41/723.65 c cleaning 34007 clauses out of 68013 with flag 1330545/5401369 737.30/730.41 c cleaning 34999 clauses out of 70004 with flag 1406918/5437367 743.56/736.60 c cleaning 36000 clauses out of 72005 with flag 1485214/5474367 750.42/743.38 c cleaning 37000 clauses out of 74010 with flag 1564593/5512372 757.80/750.62 c cleaning 37999 clauses out of 76005 with flag 1648243/5551367 765.22/757.95 c cleaning 38997 clauses out of 78007 with flag 1734814/5591368 773.27/765.82 c cleaning 40005 clauses out of 80010 with flag 1823864/5632368 782.56/775.01 c cleaning 41000 clauses out of 82005 with flag 1912518/5674368 790.41/782.79 c cleaning 41995 clauses out of 84005 with flag 2004128/5717368 799.11/791.32 c cleaning 43000 clauses out of 86009 with flag 2098903/5761367 808.88/800.94 c cleaning 44005 clauses out of 88009 with flag 2196028/5806367 817.79/809.71 c cleaning 44995 clauses out of 90005 with flag 2293507/5852368 827.22/819.00 c cleaning 45998 clauses out of 92009 with flag 2395393/5899367 836.08/827.78 c cleaning 47004 clauses out of 94012 with flag 2496383/5947368 847.03/838.55 c cleaning 48001 clauses out of 96008 with flag 2603229/5996368 857.69/849.03 c cleaning 49002 clauses out of 98008 with flag 2716106/6046369 867.62/858.89 c cleaning 49996 clauses out of 100004 with flag 2824177/6097367 878.49/869.51 c cleaning 51005 clauses out of 102009 with flag 2936274/6149368 890.94/881.86 c cleaning 51996 clauses out of 104003 with flag 3046577/6202367 904.23/894.97 c cleaning 52998 clauses out of 106008 with flag 3158588/6256368 919.22/909.71 c cleaning 53998 clauses out of 108011 with flag 3273185/6311369 934.01/924.31 c cleaning 55005 clauses out of 110012 with flag 3390573/6367368 947.12/937.25 c cleaning 55997 clauses out of 112006 with flag 3516456/6424367 951.81/941.81 c Got one! Elapsed wall clock time (in seconds):941.69 951.81/941.81 o 185 953.11/943.18 c cleaning 42643 clauses out of 85290 with flag 11002/6453648 953.92/943.99 c Got one! Elapsed wall clock time (in seconds):943.875 953.92/943.99 o 184 954.83/944.89 c cleaning 26465 clauses out of 52938 with flag 10793/6463939 955.53/945.56 c cleaning 16235 clauses out of 32475 with flag 23165/6469941 956.23/946.29 c cleaning 11616 clauses out of 23239 with flag 37530/6476940 956.94/946.99 c cleaning 9800 clauses out of 19622 with flag 53706/6484939 957.87/947.82 c cleaning 9403 clauses out of 18823 with flag 71968/6493940 958.81/948.79 c cleaning 9706 clauses out of 19420 with flag 92723/6503940 960.04/949.92 c cleaning 10357 clauses out of 20713 with flag 115499/6514939 961.25/951.14 c cleaning 11177 clauses out of 22357 with flag 141147/6526940 962.57/952.40 c cleaning 12087 clauses out of 24181 with flag 168041/6539941 964.03/953.83 c cleaning 13035 clauses out of 26092 with flag 196687/6553939 965.64/955.43 c cleaning 14024 clauses out of 28057 with flag 227830/6568939 967.26/957.05 c cleaning 15017 clauses out of 30034 with flag 260544/6584940 969.18/958.94 c cleaning 16001 clauses out of 32016 with flag 295899/6601939 971.30/961.03 c cleaning 17002 clauses out of 34016 with flag 332558/6619940 973.63/963.38 c cleaning 18006 clauses out of 36014 with flag 372066/6638940 976.45/966.17 c cleaning 19000 clauses out of 38008 with flag 414172/6658940 979.19/968.84 c cleaning 19997 clauses out of 40008 with flag 457717/6679940 982.01/971.60 c cleaning 20996 clauses out of 42010 with flag 503145/6701939 985.15/974.71 c cleaning 22001 clauses out of 44014 with flag 551291/6724939 988.79/978.34 c cleaning 23001 clauses out of 46013 with flag 610404/6748939 992.34/981.81 c cleaning 24002 clauses out of 48013 with flag 669460/6773940 996.06/985.56 c cleaning 25000 clauses out of 50010 with flag 731401/6799939 1000.32/989.77 c cleaning 26001 clauses out of 52010 with flag 792755/6826939 1004.45/993.81 c cleaning 27001 clauses out of 54009 with flag 852654/6854939 1009.23/998.55 c cleaning 28003 clauses out of 56009 with flag 915097/6883940 1014.50/1003.72 c cleaning 29001 clauses out of 58005 with flag 978483/6913939 1019.69/1008.84 c cleaning 29989 clauses out of 60005 with flag 1046772/6944940 1024.94/1014.05 c cleaning 31008 clauses out of 62015 with flag 1117670/6976939 1030.38/1019.46 c cleaning 32001 clauses out of 64007 with flag 1192429/7009939 1036.17/1025.15 c cleaning 33004 clauses out of 66008 with flag 1267720/7043941 1041.94/1030.83 c cleaning 33992 clauses out of 68002 with flag 1343516/7078939 1047.60/1036.44 c cleaning 35003 clauses out of 70012 with flag 1420821/7114941 1053.85/1042.65 c cleaning 36004 clauses out of 72008 with flag 1497917/7151940 1060.24/1048.97 c cleaning 36995 clauses out of 74003 with flag 1580931/7189939 1067.58/1056.17 c cleaning 38001 clauses out of 76008 with flag 1667169/7228939 1074.95/1063.44 c cleaning 38998 clauses out of 78008 with flag 1754767/7268940 1082.56/1070.99 c cleaning 40002 clauses out of 80010 with flag 1843336/7309940 1090.94/1079.29 c cleaning 41003 clauses out of 82009 with flag 1940402/7351941 1099.73/1087.94 c cleaning 41999 clauses out of 84005 with flag 2030509/7394940 1108.60/1096.60 c cleaning 42996 clauses out of 86005 with flag 2122770/7438939 1118.09/1106.09 c cleaning 43999 clauses out of 88011 with flag 2216616/7483941 1127.09/1114.98 c cleaning 44998 clauses out of 90010 with flag 2312796/7529939 1136.53/1124.29 c cleaning 46002 clauses out of 92012 with flag 2411942/7576939 1147.24/1134.83 c cleaning 47001 clauses out of 94010 with flag 2520485/7624939 1157.68/1145.16 c cleaning 48003 clauses out of 96009 with flag 2627613/7673939 1167.86/1155.25 c cleaning 49004 clauses out of 98007 with flag 2745206/7723940 1179.28/1166.52 c cleaning 49991 clauses out of 100002 with flag 2858653/7774939 1189.09/1176.24 c cleaning 51001 clauses out of 102011 with flag 2970508/7826939 1201.47/1188.40 c cleaning 52000 clauses out of 104011 with flag 3090900/7879940 1213.41/1200.25 c cleaning 53002 clauses out of 106011 with flag 3213310/7933940 1225.65/1212.38 c cleaning 53997 clauses out of 108008 with flag 3348717/7988939 1238.49/1225.04 c cleaning 55004 clauses out of 110012 with flag 3488140/8044940 1251.74/1238.19 c cleaning 56003 clauses out of 112009 with flag 3607878/8101941 1266.69/1252.94 c cleaning 56992 clauses out of 114004 with flag 3738489/8159939 1279.97/1266.03 c cleaning 58003 clauses out of 116013 with flag 3860050/8218940 1295.57/1281.48 c cleaning 59004 clauses out of 118011 with flag 3990643/8278941 1310.23/1295.97 c cleaning 59998 clauses out of 120007 with flag 4119546/8339941 1325.46/1310.98 c cleaning 60998 clauses out of 122007 with flag 4260620/8401939 1340.40/1325.74 c cleaning 61997 clauses out of 124010 with flag 4405385/8464940 1357.22/1342.33 c cleaning 63002 clauses out of 126012 with flag 4544148/8528939 1372.88/1357.81 c cleaning 64003 clauses out of 128011 with flag 4685544/8593940 1387.65/1372.42 c cleaning 65005 clauses out of 130009 with flag 4828121/8659941 1406.24/1390.86 c cleaning 65995 clauses out of 132003 with flag 4977154/8726940 1424.23/1408.64 c cleaning 67000 clauses out of 134008 with flag 5128369/8794940 1443.55/1427.75 c cleaning 68003 clauses out of 136008 with flag 5288869/8863940 1463.14/1447.15 c cleaning 68994 clauses out of 138004 with flag 5449062/8933939 1484.58/1468.37 c cleaning 69999 clauses out of 140010 with flag 5623932/9004939 1505.76/1489.39 c cleaning 71002 clauses out of 142011 with flag 5777650/9076939 1528.01/1511.37 c cleaning 72005 clauses out of 144013 with flag 5961249/9149943 1551.58/1534.77 c cleaning 72998 clauses out of 146005 with flag 6141670/9223940 1576.37/1559.26 c cleaning 74001 clauses out of 148006 with flag 6305138/9298939 1599.08/1581.60 c cleaning 74997 clauses out of 150006 with flag 6479200/9374940 1623.37/1605.76 c cleaning 75995 clauses out of 152009 with flag 6651552/9451940 1649.28/1631.39 c cleaning 77004 clauses out of 154014 with flag 6816863/9529940 1672.18/1654.00 c cleaning 78004 clauses out of 156010 with flag 6981665/9608940 1700.78/1682.33 c cleaning 78998 clauses out of 158005 with flag 7160059/9688939 1729.25/1710.51 c cleaning 79994 clauses out of 160008 with flag 7332847/9769940 1757.95/1738.93 c cleaning 81003 clauses out of 162013 with flag 7523554/9851939 1787.20/1767.84 c cleaning 82001 clauses out of 164012 with flag 7726072/9934941 1800.09/1780.50 c starts : 14012 1800.09/1780.50 c conflicts : 9982781 1800.09/1780.50 c decisions : 10675948 1800.09/1780.50 c propagations : 315726032 1800.09/1780.50 c inspects : 24436125448 1800.09/1780.50 c shortcuts : 0 1800.09/1780.50 c learnt literals : 0 1800.09/1780.50 c learnt binary clauses : 0 1800.09/1780.50 c learnt ternary clauses : 1272 1800.09/1780.50 c learnt constraints : 9982781 1800.09/1780.50 c ignored constraints : 0 1800.09/1780.50 c root simplifications : 0 1800.09/1780.50 c removed literals (reason simplification) : 0 1800.09/1780.50 c reason swapping (by a shorter reason) : 0 1800.09/1780.50 c Calls to reduceDB : 406 1800.09/1780.50 c Number of update (reduction) of LBD : 60768 1800.09/1780.50 c Imported unit clauses : 0 1800.09/1780.50 c number of reductions to clauses (during analyze) : 0 1800.09/1780.50 c number of learned constraints concerned by reduction : 0 1800.09/1780.50 c number of learning phase by resolution : 0 1800.09/1780.50 c number of learning phase by cutting planes : 0 1800.09/1780.50 c speed (assignments/second) : 177348.17085809328 1800.09/1780.50 c non guided choices 0 1800.09/1780.53 c learnt constraints type 1800.09/1780.53 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 129851 1800.09/1780.53 s SATISFIABLE 1800.09/1780.53 c Found 90 solution(s) 1800.09/1780.53 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.09/1780.53 c objective function=184 1800.09/1780.53 c Total wall clock time (in seconds): 1780.411
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-4119514-1467260995/watcher-4119514-1467260995 -o /tmp/evaluation-result-4119514-1467260995/solver-4119514-1467260995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9203 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119514-1467260995.opb pid=11008 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.02 2.00 3/193 11011 /proc/meminfo: memFree=25076440/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/11011/stat : 11011 (java) D 11008 11011 9187 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 7205825 2560000 46 33554432000 1073741824 1073778376 140736918229440 140736918226568 247055084839 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 625 46 37 9 0 29 0 [startup+0.100058 s] /proc/loadavg: 2.08 2.02 2.00 3/193 11011 /proc/meminfo: memFree=25076440/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 4459 0 1 0 8 1 0 0 20 0 18 0 7205825 9787879424 5586 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2389619 5586 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200254 s] /proc/loadavg: 2.08 2.02 2.00 3/193 11011 /proc/meminfo: memFree=25076440/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9558476 CPUtime=0.22 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 4652 0 1 0 21 1 0 0 20 0 18 0 7205825 9787879424 6250 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2389619 6250 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300269 s] /proc/loadavg: 2.08 2.02 2.00 3/193 11011 /proc/meminfo: memFree=25076440/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 5612 0 1 0 39 2 0 0 20 0 19 0 7205825 9856040960 7918 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2406260 7919 2239 9 0 2396937 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 9625040 [startup+0.700208 s] /proc/loadavg: 2.08 2.02 2.00 3/193 11011 /proc/meminfo: memFree=25076440/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9625040 CPUtime=1.45 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 13494 0 1 0 142 3 0 0 20 0 19 0 7205825 9856040960 15056 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2406260 15056 2259 9 0 2396937 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.08 2.02 2.00 4/212 11030 /proc/meminfo: memFree=25018304/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9625040 CPUtime=2.43 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 13542 0 1 0 239 4 0 0 20 0 19 0 7205825 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2406260 19189 2268 9 0 2396937 0 [pid=11011/tid=11013] ppid=11008 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/11011/task/11013/stat : 11013 (java) R 11008 11011 9187 0 -1 4202560 2481 0 1 0 145 1 0 0 20 0 19 0 7205826 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140578045063448 140577917546606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11014] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11014/stat : 11014 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577888619176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11015] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11015/stat : 11015 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577887566632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11016] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11016/stat : 11016 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577886514088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11017] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11017/stat : 11017 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577885461544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11018] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11018/stat : 11018 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577884407976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11019] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11019/stat : 11019 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577883355432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11020] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11020/stat : 11020 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577882302888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11021] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11021/stat : 11021 (java) S 11008 11011 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577881250344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11022] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11022/stat : 11022 (java) S 11008 11011 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 7205828 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577869052520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11023] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11023/stat : 11023 (java) S 11008 11011 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577867998840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11024] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11024/stat : 11024 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577866946184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11025] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11025/stat : 11025 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577865894928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11026] ppid=11008 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/11011/task/11026/stat : 11026 (java) S 11008 11011 9187 0 -1 4202560 4140 0 0 0 54 1 0 0 20 0 19 0 7205831 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577864841272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11027] ppid=11008 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/11011/task/11027/stat : 11027 (java) S 11008 11011 9187 0 -1 4202560 5650 0 0 0 36 2 0 0 20 0 19 0 7205831 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577863788728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11028] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11028/stat : 11028 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577862736376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11029] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11029/stat : 11029 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577861684040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11030] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11030/stat : 11030 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205850 9856040960 19189 33554432000 1073741824 1073778376 140736918229440 140577860629800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 2.07 2.02 2.00 3/212 11030 /proc/meminfo: memFree=24994660/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9625040 CPUtime=4.03 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 13559 0 1 0 399 4 0 0 20 0 19 0 7205825 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2406260 26871 2268 9 0 2396937 0 [pid=11011/tid=11013] ppid=11008 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/11011/task/11013/stat : 11013 (java) R 11008 11011 9187 0 -1 4202560 2496 0 1 0 304 2 0 0 20 0 19 0 7205826 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140578045055280 140577917645873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11014] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11014/stat : 11014 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577888619176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11015] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11015/stat : 11015 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577887566632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11016] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11016/stat : 11016 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577886514088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11017] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11017/stat : 11017 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577885461544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11018] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11018/stat : 11018 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577884407976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11019] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11019/stat : 11019 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577883355432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11020] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11020/stat : 11020 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577882302888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11021] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11021/stat : 11021 (java) S 11008 11011 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577881250344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11022] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11022/stat : 11022 (java) S 11008 11011 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 7205828 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577869052520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11023] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11023/stat : 11023 (java) S 11008 11011 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577867998840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11024] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11024/stat : 11024 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577866946184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11025] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11025/stat : 11025 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577865894928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11026] ppid=11008 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/11011/task/11026/stat : 11026 (java) S 11008 11011 9187 0 -1 4202560 4140 0 0 0 54 1 0 0 20 0 19 0 7205831 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577864841272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11027] ppid=11008 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/11011/task/11027/stat : 11027 (java) S 11008 11011 9187 0 -1 4202560 5652 0 0 0 36 2 0 0 20 0 19 0 7205831 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577863788728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11028] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11028/stat : 11028 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577862736376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11029] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11029/stat : 11029 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577861684040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11030] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11030/stat : 11030 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205850 9856040960 26871 33554432000 1073741824 1073778376 140736918229440 140577860629800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.03 Current children cumulated vsize (KiB) 9625040 [startup+6.30075 s] /proc/loadavg: 2.07 2.02 2.00 3/212 11030 /proc/meminfo: memFree=24935396/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9625040 CPUtime=7.27 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 13595 0 1 0 722 5 0 0 20 0 19 0 7205825 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2406260 40488 2269 9 0 2396937 0 [pid=11011/tid=11013] ppid=11008 vsize=9625040 CPUtime=6.26 cores=0,2,4,6 /proc/11011/task/11013/stat : 11013 (java) R 11008 11011 9187 0 -1 4202560 2525 0 1 0 623 3 0 0 20 0 19 0 7205826 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140578045054624 140577917507098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11014] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11014/stat : 11014 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577888619176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11015] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11015/stat : 11015 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577887566632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11016] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11016/stat : 11016 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577886514088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11017] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11017/stat : 11017 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577885461544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11018] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11018/stat : 11018 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577884407976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11019] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11019/stat : 11019 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577883355432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11020] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11020/stat : 11020 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577882302888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11021] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11021/stat : 11021 (java) S 11008 11011 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7205827 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577881250344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11022] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11022/stat : 11022 (java) S 11008 11011 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 7205828 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577869052520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11023] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11023/stat : 11023 (java) S 11008 11011 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577867998840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11024] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11024/stat : 11024 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577866946184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11025] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11025/stat : 11025 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577865894928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11026] ppid=11008 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/11011/task/11026/stat : 11026 (java) S 11008 11011 9187 0 -1 4202560 4140 0 0 0 54 2 0 0 20 0 19 0 7205831 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577864841272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11027] ppid=11008 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/11011/task/11027/stat : 11027 (java) S 11008 11011 9187 0 -1 4202560 5658 0 0 0 40 2 0 0 20 0 19 0 7205831 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577863788728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11028] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11028/stat : 11028 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577862736376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11029] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11029/stat : 11029 (java) S 11008 11011 9187 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577861684040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11030] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11030/stat : 11030 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205850 9856040960 40488 33554432000 1073741824 1073778376 140736918229440 140577860629800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.27 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=11011/tid=11023] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11023/stat : 11023 (java) S 11008 11011 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 62106 33554432000 1073741824 1073778376 140736918229440 140577867998840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11024] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11024/stat : 11024 (java) S 11008 11011 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 62106 33554432000 1073741824 1073778376 140736918229440 140577866946184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11025] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11025/stat : 11025 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 62106 33554432000 1073741824 1073778376 140736918229440 140577865894928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11026] ppid=11008 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/11011/task/11026/stat : 11026 (java) S 11008 11011 9187 0 -1 4202560 4140 0 0 0 54 2 0 0 20 0 19 0 7205831 9856040960 62106 33554432000 1073741824 1073778376 140736918229440 140577864841272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11027] ppid=11008 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/11011/task/11027/stat : 11027 (java) S 11008 11011 9187 0 -1 4202560 5663 0 0 0 44 2 0 0 20 0 19 0 7205831 9856040960 62106 33554432000 1073741824 1073778376 140736918229440 140577863788728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11028] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11028/stat : 11028 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 62106 33554432000 1073741824 1073778376 140736918229440 140577862736376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11029] ppid=11008 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/11011/task/11029/stat : 11029 (java) S 11008 11011 9187 0 -1 4202560 95 0 0 0 19 23 0 0 20 0 19 0 7205831 9856040960 62106 33554432000 1073741824 1073778376 140736918229440 140577861684040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11030] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11030/stat : 11030 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205850 9856040960 62106 33554432000 1073741824 1073778376 140736918229440 140577860629800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1680.6 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.04 2.05 2.01 3/213 11140 /proc/meminfo: memFree=25381580/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9625040 CPUtime=1741.21 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 33895 0 1 0 173996 125 0 0 20 0 19 0 7205825 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2406260 62038 2291 9 0 2396937 0 [pid=11011/tid=11013] ppid=11008 vsize=9625040 CPUtime=1709.89 cores=0,2,4,6 /proc/11011/task/11013/stat : 11013 (java) R 11008 11011 9187 0 -1 4202560 3271 0 1 0 170955 34 0 0 20 0 19 0 7205826 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140578045062320 140577917498854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11014] ppid=11008 vsize=9625040 CPUtime=3.29 cores=0,2,4,6 /proc/11011/task/11014/stat : 11014 (java) S 11008 11011 9187 0 -1 4202560 2746 0 0 0 318 11 0 0 20 0 19 0 7205827 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577888619176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11015] ppid=11008 vsize=9625040 CPUtime=3.4 cores=0,2,4,6 /proc/11011/task/11015/stat : 11015 (java) S 11008 11011 9187 0 -1 4202560 1420 0 0 0 328 12 0 0 20 0 19 0 7205827 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577887566632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11016] ppid=11008 vsize=9625040 CPUtime=3.12 cores=0,2,4,6 /proc/11011/task/11016/stat : 11016 (java) S 11008 11011 9187 0 -1 4202560 2092 0 0 0 300 12 0 0 20 0 19 0 7205827 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577886514088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11017] ppid=11008 vsize=9625040 CPUtime=3.3 cores=0,2,4,6 /proc/11011/task/11017/stat : 11017 (java) S 11008 11011 9187 0 -1 4202560 2841 0 0 0 318 12 0 0 20 0 19 0 7205827 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577885461544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11018] ppid=11008 vsize=9625040 CPUtime=3.31 cores=0,2,4,6 /proc/11011/task/11018/stat : 11018 (java) S 11008 11011 9187 0 -1 4202560 2787 0 0 0 321 10 0 0 20 0 19 0 7205827 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577884407976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11019] ppid=11008 vsize=9625040 CPUtime=3.29 cores=0,2,4,6 /proc/11011/task/11019/stat : 11019 (java) S 11008 11011 9187 0 -1 4202560 1817 0 0 0 320 9 0 0 20 0 19 0 7205827 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577883355432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11020] ppid=11008 vsize=9625040 CPUtime=3.33 cores=0,2,4,6 /proc/11011/task/11020/stat : 11020 (java) S 11008 11011 9187 0 -1 4202560 2490 0 0 0 320 13 0 0 20 0 19 0 7205827 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577882302888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11021] ppid=11008 vsize=9625040 CPUtime=3.18 cores=0,2,4,6 /proc/11011/task/11021/stat : 11021 (java) S 11008 11011 9187 0 -1 4202560 2656 0 0 0 307 11 0 0 20 0 19 0 7205827 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577881250344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11022] ppid=11008 vsize=9625040 CPUtime=3.98 cores=0,2,4,6 /proc/11011/task/11022/stat : 11022 (java) S 11008 11011 9187 0 -1 4202560 616 0 0 0 390 8 0 0 20 0 19 0 7205828 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577869052520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11023] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11023/stat : 11023 (java) S 11008 11011 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577867998840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11024] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11024/stat : 11024 (java) S 11008 11011 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577866946184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11025] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11025/stat : 11025 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577865894928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11026] ppid=11008 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/11011/task/11026/stat : 11026 (java) S 11008 11011 9187 0 -1 4202560 4140 0 0 0 54 2 0 0 20 0 19 0 7205831 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577864841272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11027] ppid=11008 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/11011/task/11027/stat : 11027 (java) S 11008 11011 9187 0 -1 4202560 5663 0 0 0 44 2 0 0 20 0 19 0 7205831 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577863788728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11028] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11028/stat : 11028 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577862736376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11029] ppid=11008 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/11011/task/11029/stat : 11029 (java) S 11008 11011 9187 0 -1 4202560 99 0 0 0 20 25 0 0 20 0 19 0 7205831 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577861684040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11030] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11030/stat : 11030 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205850 9856040960 62038 33554432000 1073741824 1073778376 140736918229440 140577860629800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1741.21 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1780.5 s] /proc/loadavg: 2.01 2.04 2.00 3/213 11141 /proc/meminfo: memFree=25386700/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 34583 0 1 0 179880 129 0 0 20 0 19 0 7205825 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2406260 62815 2291 9 0 2396937 0 [pid=11011/tid=11013] ppid=11008 vsize=9625040 CPUtime=1767.55 cores=0,2,4,6 /proc/11011/task/11013/stat : 11013 (java) R 11008 11011 9187 0 -1 4202560 3297 0 1 0 176720 35 0 0 20 0 19 0 7205826 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140578045062320 140577917645873 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11014] ppid=11008 vsize=9625040 CPUtime=3.4 cores=0,2,4,6 /proc/11011/task/11014/stat : 11014 (java) S 11008 11011 9187 0 -1 4202560 2891 0 0 0 329 11 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577888619176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11015] ppid=11008 vsize=9625040 CPUtime=3.55 cores=0,2,4,6 /proc/11011/task/11015/stat : 11015 (java) S 11008 11011 9187 0 -1 4202560 1427 0 0 0 343 12 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577887566632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11016] ppid=11008 vsize=9625040 CPUtime=3.23 cores=0,2,4,6 /proc/11011/task/11016/stat : 11016 (java) S 11008 11011 9187 0 -1 4202560 2161 0 0 0 310 13 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577886514088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11017] ppid=11008 vsize=9625040 CPUtime=3.43 cores=0,2,4,6 /proc/11011/task/11017/stat : 11017 (java) S 11008 11011 9187 0 -1 4202560 2917 0 0 0 331 12 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577885461544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11018] ppid=11008 vsize=9625040 CPUtime=3.45 cores=0,2,4,6 /proc/11011/task/11018/stat : 11018 (java) S 11008 11011 9187 0 -1 4202560 3010 0 0 0 334 11 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577884407976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11019] ppid=11008 vsize=9625040 CPUtime=3.4 cores=0,2,4,6 /proc/11011/task/11019/stat : 11019 (java) S 11008 11011 9187 0 -1 4202560 1899 0 0 0 331 9 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577883355432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11020] ppid=11008 vsize=9625040 CPUtime=3.44 cores=0,2,4,6 /proc/11011/task/11020/stat : 11020 (java) S 11008 11011 9187 0 -1 4202560 2493 0 0 0 331 13 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577882302888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11021] ppid=11008 vsize=9625040 CPUtime=3.3 cores=0,2,4,6 /proc/11011/task/11021/stat : 11021 (java) S 11008 11011 9187 0 -1 4202560 2659 0 0 0 319 11 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577881250344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11022] ppid=11008 vsize=9625040 CPUtime=4.23 cores=0,2,4,6 /proc/11011/task/11022/stat : 11022 (java) S 11008 11011 9187 0 -1 4202560 666 0 0 0 414 9 0 0 20 0 19 0 7205828 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577869052520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11023] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11023/stat : 11023 (java) S 11008 11011 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577867998840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11024] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11024/stat : 11024 (java) S 11008 11011 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577866946184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11025] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11025/stat : 11025 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577865894928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11026] ppid=11008 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/11011/task/11026/stat : 11026 (java) S 11008 11011 9187 0 -1 4202560 4140 0 0 0 54 2 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577864841272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11027] ppid=11008 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/11011/task/11027/stat : 11027 (java) S 11008 11011 9187 0 -1 4202560 5663 0 0 0 44 2 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577863788728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11028] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11028/stat : 11028 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577862736376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11029] ppid=11008 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/11011/task/11029/stat : 11029 (java) S 11008 11011 9187 0 -1 4202560 103 0 0 0 22 25 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577861684040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11030] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11030/stat : 11030 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205850 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577860629800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 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 11011 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1780.5 s] /proc/loadavg: 2.01 2.04 2.00 3/213 11141 /proc/meminfo: memFree=25386700/32872528 swapFree=242912/249044 [pid=11011] ppid=11008 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6 /proc/11011/stat : 11011 (java) S 11008 11011 9187 0 -1 4202496 34583 0 1 0 179880 129 0 0 20 0 19 0 7205825 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140736918220576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11011/statm: 2406260 62815 2291 9 0 2396937 0 [pid=11011/tid=11013] ppid=11008 vsize=9625040 CPUtime=1767.55 cores=0,2,4,6 /proc/11011/task/11013/stat : 11013 (java) R 11008 11011 9187 0 -1 4202560 3297 0 1 0 176720 35 0 0 20 0 19 0 7205826 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140578045062320 140577917645873 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11014] ppid=11008 vsize=9625040 CPUtime=3.4 cores=0,2,4,6 /proc/11011/task/11014/stat : 11014 (java) S 11008 11011 9187 0 -1 4202560 2891 0 0 0 329 11 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577888619176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11015] ppid=11008 vsize=9625040 CPUtime=3.55 cores=0,2,4,6 /proc/11011/task/11015/stat : 11015 (java) S 11008 11011 9187 0 -1 4202560 1427 0 0 0 343 12 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577887566632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11016] ppid=11008 vsize=9625040 CPUtime=3.23 cores=0,2,4,6 /proc/11011/task/11016/stat : 11016 (java) S 11008 11011 9187 0 -1 4202560 2161 0 0 0 310 13 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577886514088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11017] ppid=11008 vsize=9625040 CPUtime=3.43 cores=0,2,4,6 /proc/11011/task/11017/stat : 11017 (java) S 11008 11011 9187 0 -1 4202560 2917 0 0 0 331 12 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577885461544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11018] ppid=11008 vsize=9625040 CPUtime=3.45 cores=0,2,4,6 /proc/11011/task/11018/stat : 11018 (java) S 11008 11011 9187 0 -1 4202560 3010 0 0 0 334 11 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577884407976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11019] ppid=11008 vsize=9625040 CPUtime=3.4 cores=0,2,4,6 /proc/11011/task/11019/stat : 11019 (java) S 11008 11011 9187 0 -1 4202560 1899 0 0 0 331 9 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577883355432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11011/tid=11020] ppid=11008 vsize=9625040 CPUtime=3.44 cores=0,2,4,6 /proc/11011/task/11020/stat : 11020 (java) S 11008 11011 9187 0 -1 4202560 2493 0 0 0 331 13 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577882302888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11021] ppid=11008 vsize=9625040 CPUtime=3.3 cores=0,2,4,6 /proc/11011/task/11021/stat : 11021 (java) S 11008 11011 9187 0 -1 4202560 2659 0 0 0 319 11 0 0 20 0 19 0 7205827 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577881250344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11022] ppid=11008 vsize=9625040 CPUtime=4.23 cores=0,2,4,6 /proc/11011/task/11022/stat : 11022 (java) S 11008 11011 9187 0 -1 4202560 666 0 0 0 414 9 0 0 20 0 19 0 7205828 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577869052520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11023] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11023/stat : 11023 (java) S 11008 11011 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577867998840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11024] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11024/stat : 11024 (java) S 11008 11011 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7205829 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577866946184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11025] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11025/stat : 11025 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577865894928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11026] ppid=11008 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/11011/task/11026/stat : 11026 (java) S 11008 11011 9187 0 -1 4202560 4140 0 0 0 54 2 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577864841272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11011/tid=11027] ppid=11008 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/11011/task/11027/stat : 11027 (java) S 11008 11011 9187 0 -1 4202560 5663 0 0 0 44 2 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577863788728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11028] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11028/stat : 11028 (java) S 11008 11011 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577862736376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11011/tid=11029] ppid=11008 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/11011/task/11029/stat : 11029 (java) S 11008 11011 9187 0 -1 4202560 103 0 0 0 22 25 0 0 20 0 19 0 7205831 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577861684040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11011/tid=11030] ppid=11008 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/11011/task/11030/stat : 11030 (java) S 11008 11011 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7205850 9856040960 62815 33554432000 1073741824 1073778376 140736918229440 140577860629800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 Child status: 143 Real time (s): 1780.54 CPU time (s): 1800.81 CPU user time (s): 1799.02 CPU system time (s): 1.79273 CPU usage (%): 101.139 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.02 system time used= 1.79273 maximum resident set size= 600048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34629 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 61279 involuntary context switches= 72298 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.0955 second user time and 12.981 second system time The end
Begin job on node103 at 2016-06-30 06:29:55 IDJOB=4119514 IDBENCH=111749 IDSOLVER=2546 FILE ID=node103/4119514-1467260995 RUNJOBID= node103-1467246683-9203 PBS_JOBID= 20004480 Free space on /tmp= 71712 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119514-1467260995/watcher-4119514-1467260995 -o /tmp/evaluation-result-4119514-1467260995/solver-4119514-1467260995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9203 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119514-1467260995.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 678b3b0724ff54466f3548bc434e911a RANDOM SEED=2110265065 node103.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.456 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.91 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.456 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.456 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.54 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.54 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.456 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.456 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.456 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: 25076968 kB Buffers: 138540 kB Cached: 5740072 kB SwapCached: 0 kB Active: 2261412 kB Inactive: 4527380 kB Active(anon): 912884 kB Inactive(anon): 0 kB Active(file): 1348528 kB Inactive(file): 4527380 kB Unevictable: 249044 kB Mlocked: 242912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 828 kB Writeback: 0 kB AnonPages: 1206500 kB Mapped: 22096 kB Shmem: 204 kB Slab: 624700 kB SReclaimable: 68960 kB SUnreclaim: 555740 kB KernelStack: 1768 kB PageTables: 6348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1291780 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 894976 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= 71712 MiB End job on node103 at 2016-06-30 06:59:36