Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | OPTIMUM | 22.4016 | 21.0686 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo |
| MD5SUM | cb8903274dd3202a5ed158c7997a289b |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 10.8933 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1262 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Glucose 2.1 dynamic restart strategy 0.11/0.10 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.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-4110232-1466343851.wbo 0.11/0.10 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.054s. 0.11/0.15 c declared #vars 169 0.11/0.15 c internal #vars 270 0.11/0.15 c #constraints 101 0.11/0.15 c constraints type 0.11/0.16 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.11/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.11/0.16 c 101 constraints processed. 0.11/0.16 c objective function length is 101 literals 0.29/0.25 c SATISFIABLE 0.29/0.25 c OPTIMIZING... 0.29/0.25 c Got one! Elapsed wall clock time (in seconds):0.147 0.29/0.25 o 855 0.29/0.26 c Got one! Elapsed wall clock time (in seconds):0.156 0.29/0.26 o 779 0.52/0.30 c Got one! Elapsed wall clock time (in seconds):0.202 0.52/0.30 o 629 0.52/0.31 c Got one! Elapsed wall clock time (in seconds):0.207 0.52/0.31 o 559 0.52/0.32 c Got one! Elapsed wall clock time (in seconds):0.214 0.52/0.32 o 557 0.52/0.32 c Got one! Elapsed wall clock time (in seconds):0.217 0.52/0.32 o 499 0.52/0.32 c Got one! Elapsed wall clock time (in seconds):0.222 0.52/0.32 o 493 0.52/0.33 c Got one! Elapsed wall clock time (in seconds):0.227 0.52/0.33 o 473 0.52/0.34 c Got one! Elapsed wall clock time (in seconds):0.234 0.52/0.34 o 466 0.52/0.35 c Got one! Elapsed wall clock time (in seconds):0.252 0.52/0.35 o 456 0.68/0.44 c Got one! Elapsed wall clock time (in seconds):0.341 0.68/0.44 o 439 0.68/0.45 c Got one! Elapsed wall clock time (in seconds):0.348 0.68/0.45 o 438 0.68/0.46 c Got one! Elapsed wall clock time (in seconds):0.356 0.68/0.46 o 434 0.68/0.47 c Got one! Elapsed wall clock time (in seconds):0.37 0.68/0.47 o 432 0.68/0.48 c Got one! Elapsed wall clock time (in seconds):0.377 0.68/0.48 o 420 0.86/0.56 c Got one! Elapsed wall clock time (in seconds):0.455 0.86/0.56 o 408 0.96/0.63 c Got one! Elapsed wall clock time (in seconds):0.528 0.96/0.63 o 403 0.96/0.68 c Got one! Elapsed wall clock time (in seconds):0.574 0.96/0.68 o 402 0.96/0.69 c Got one! Elapsed wall clock time (in seconds):0.584 0.96/0.69 o 401 0.96/0.69 c Got one! Elapsed wall clock time (in seconds):0.588 0.96/0.69 o 397 1.08/0.77 c cleaning 5075 clauses out of 10154 with flag 2854/10154 1.08/0.77 c Got one! Elapsed wall clock time (in seconds):0.669 1.08/0.77 o 387 1.23/0.81 c Got one! Elapsed wall clock time (in seconds):0.711 1.23/0.81 o 377 1.23/0.82 c Got one! Elapsed wall clock time (in seconds):0.72 1.23/0.82 o 366 1.23/0.83 c Got one! Elapsed wall clock time (in seconds):0.731 1.23/0.83 o 365 1.23/0.85 c Got one! Elapsed wall clock time (in seconds):0.746 1.23/0.85 o 356 1.23/0.88 c Got one! Elapsed wall clock time (in seconds):0.782 1.23/0.88 o 344 1.43/0.90 c Got one! Elapsed wall clock time (in seconds):0.795 1.43/0.90 o 343 1.43/0.90 c Got one! Elapsed wall clock time (in seconds):0.801 1.43/0.90 o 341 1.58/1.01 c Got one! Elapsed wall clock time (in seconds):0.908 1.58/1.01 o 327 1.58/1.02 c Got one! Elapsed wall clock time (in seconds):0.915 1.58/1.02 o 326 1.69/1.12 c cleaning 6239 clauses out of 12477 with flag 6743/17552 1.69/1.16 c Got one! Elapsed wall clock time (in seconds):1.058 1.69/1.16 o 325 1.69/1.20 c Got one! Elapsed wall clock time (in seconds):1.098 1.69/1.20 o 321 1.80/1.27 c Got one! Elapsed wall clock time (in seconds):1.164 1.80/1.27 o 295 1.89/1.33 c Got one! Elapsed wall clock time (in seconds):1.226 1.89/1.33 o 294 1.89/1.37 c Got one! Elapsed wall clock time (in seconds):1.268 1.89/1.37 o 291 1.99/1.47 c Got one! Elapsed wall clock time (in seconds):1.365 1.99/1.47 o 284 2.09/1.54 c cleaning 7526 clauses out of 15057 with flag 3309/26371 2.09/1.59 c Got one! Elapsed wall clock time (in seconds):1.486 2.09/1.59 o 282 2.32/1.78 c cleaning 6390 clauses out of 12790 with flag 18270/31630 2.62/2.02 c Got one! Elapsed wall clock time (in seconds):1.923 2.62/2.02 o 279 2.77/2.11 c Got one! Elapsed wall clock time (in seconds):2.008 2.77/2.11 o 274 2.77/2.15 c Got one! Elapsed wall clock time (in seconds):2.047 2.77/2.15 o 273 2.77/2.20 c Got one! Elapsed wall clock time (in seconds):2.098 2.77/2.20 o 271 2.90/2.28 c Got one! Elapsed wall clock time (in seconds):2.183 2.90/2.28 o 270 3.10/2.40 c cleaning 9275 clauses out of 18557 with flag 7968/43787 3.10/2.49 c Got one! Elapsed wall clock time (in seconds):2.387 3.10/2.49 o 269 3.30/2.65 c cleaning 7154 clauses out of 14334 with flag 13327/48839 3.30/2.65 c Got one! Elapsed wall clock time (in seconds):2.553 3.30/2.65 o 268 3.50/2.84 c Got one! Elapsed wall clock time (in seconds):2.742 3.50/2.84 o 261 3.50/2.90 c cleaning 6397 clauses out of 12802 with flag 3789/54461 3.70/3.00 c Got one! Elapsed wall clock time (in seconds):2.898 3.70/3.00 o 246 3.70/3.09 c Got one! Elapsed wall clock time (in seconds):2.991 3.70/3.09 o 245 3.80/3.14 c cleaning 6025 clauses out of 12053 with flag 3435/60109 3.80/3.18 c Got one! Elapsed wall clock time (in seconds):3.081 3.80/3.18 o 244 3.90/3.22 c Got one! Elapsed wall clock time (in seconds):3.119 3.90/3.22 o 242 3.90/3.27 c Got one! Elapsed wall clock time (in seconds):3.173 3.90/3.27 o 240 4.00/3.31 c Got one! Elapsed wall clock time (in seconds):3.206 4.00/3.31 o 239 4.10/3.46 c cleaning 6507 clauses out of 13018 with flag 12260/67099 4.20/3.50 c Got one! Elapsed wall clock time (in seconds):3.402 4.20/3.50 o 237 4.20/3.55 c Got one! Elapsed wall clock time (in seconds):3.452 4.20/3.55 o 235 4.20/3.57 c Got one! Elapsed wall clock time (in seconds):3.472 4.20/3.57 o 234 4.20/3.59 c Got one! Elapsed wall clock time (in seconds):3.492 4.20/3.59 o 229 4.30/3.64 c Got one! Elapsed wall clock time (in seconds):3.541 4.30/3.64 o 218 4.41/3.70 c Got one! Elapsed wall clock time (in seconds):3.597 4.41/3.70 o 213 4.41/3.74 c Got one! Elapsed wall clock time (in seconds):3.637 4.41/3.74 o 211 4.41/3.79 c cleaning 6840 clauses out of 13705 with flag 4171/74293 4.61/3.93 c Got one! Elapsed wall clock time (in seconds):3.826 4.61/3.93 o 209 4.72/4.01 c Got one! Elapsed wall clock time (in seconds):3.913 4.72/4.01 o 206 4.72/4.07 c cleaning 6474 clauses out of 12954 with flag 4002/80382 4.83/4.18 c Got one! Elapsed wall clock time (in seconds):4.084 4.83/4.18 o 205 4.93/4.23 c Got one! Elapsed wall clock time (in seconds):4.129 4.93/4.23 o 192 5.03/4.38 c cleaning 6674 clauses out of 13358 with flag 12393/87260 5.14/4.40 c Got one! Elapsed wall clock time (in seconds):4.304 5.14/4.40 o 189 5.24/4.57 c Got one! Elapsed wall clock time (in seconds):4.469 5.24/4.57 o 188 5.33/4.66 c Got one! Elapsed wall clock time (in seconds):4.556 5.33/4.66 o 173 5.43/4.71 c Got one! Elapsed wall clock time (in seconds):4.605 5.43/4.71 o 172 5.43/4.75 c Got one! Elapsed wall clock time (in seconds):4.653 5.43/4.75 o 171 5.43/4.78 c Got one! Elapsed wall clock time (in seconds):4.683 5.43/4.78 o 166 5.53/4.81 c Got one! Elapsed wall clock time (in seconds):4.707 5.53/4.81 o 163 5.53/4.87 c cleaning 8231 clauses out of 16472 with flag 4397/97048 5.63/4.92 c Got one! Elapsed wall clock time (in seconds):4.814 5.63/4.92 o 162 5.74/5.06 c Got one! Elapsed wall clock time (in seconds):4.959 5.74/5.06 o 160 5.84/5.12 c cleaning 6768 clauses out of 13537 with flag 5142/102344 5.84/5.12 c Got one! Elapsed wall clock time (in seconds):5.023 5.84/5.12 o 159 5.94/5.23 c Got one! Elapsed wall clock time (in seconds):5.132 5.94/5.23 o 158 6.03/5.37 c cleaning 6297 clauses out of 12595 with flag 16620/108170 6.03/5.38 c Got one! Elapsed wall clock time (in seconds):5.276 6.03/5.38 o 157 6.24/5.56 c Got one! Elapsed wall clock time (in seconds):5.458 6.24/5.56 o 156 6.34/5.61 c cleaning 5713 clauses out of 11444 with flag 4173/113316 6.34/5.65 c Got one! Elapsed wall clock time (in seconds):5.548 6.34/5.65 o 155 6.44/5.74 c Got one! Elapsed wall clock time (in seconds):5.642 6.44/5.74 o 145 6.54/5.90 c cleaning 5951 clauses out of 11919 with flag 13602/119504 6.64/5.94 c Got one! Elapsed wall clock time (in seconds):5.836 6.64/5.94 o 144 6.64/5.99 c Got one! Elapsed wall clock time (in seconds):5.889 6.64/5.99 o 142 6.74/6.07 c Got one! Elapsed wall clock time (in seconds):5.967 6.74/6.07 o 138 6.84/6.17 c cleaning 5992 clauses out of 12009 with flag 9593/125545 6.94/6.23 c Got one! Elapsed wall clock time (in seconds):6.132 6.94/6.23 o 132 6.94/6.29 c Got one! Elapsed wall clock time (in seconds):6.185 6.94/6.29 o 128 7.03/6.31 c Got one! Elapsed wall clock time (in seconds):6.21 7.03/6.31 o 126 7.03/6.34 c Got one! Elapsed wall clock time (in seconds):6.239 7.03/6.34 o 117 7.03/6.38 c Got one! Elapsed wall clock time (in seconds):6.279 7.03/6.38 o 104 7.03/6.39 c Got one! Elapsed wall clock time (in seconds):6.294 7.03/6.39 o 102 7.15/6.48 c Got one! Elapsed wall clock time (in seconds):6.376 7.15/6.48 o 98 7.27/6.50 c Got one! Elapsed wall clock time (in seconds):6.403 7.27/6.50 o 89 7.27/6.54 c Got one! Elapsed wall clock time (in seconds):6.436 7.27/6.54 o 88 7.38/6.68 c cleaning 7951 clauses out of 15902 with flag 7069/135430 7.56/6.77 c Got one! Elapsed wall clock time (in seconds):6.671 7.56/6.77 o 85 7.97/6.99 c cleaning 6969 clauses out of 13949 with flag 14453/141428 8.17/7.07 c Got one! Elapsed wall clock time (in seconds):6.971 8.17/7.07 o 84 8.38/7.19 c Got one! Elapsed wall clock time (in seconds):7.094 8.38/7.19 o 77 8.58/7.30 c cleaning 6802 clauses out of 13614 with flag 7907/148062 8.78/7.57 c cleaning 6397 clauses out of 12810 with flag 31490/154060 9.08/7.90 c cleaning 6705 clauses out of 13414 with flag 61151/161061 9.18/7.97 c Got one! Elapsed wall clock time (in seconds):7.867 9.18/7.97 o 72 9.28/8.09 c Got one! Elapsed wall clock time (in seconds):7.989 9.28/8.09 o 67 9.38/8.14 c cleaning 6221 clauses out of 12462 with flag 3299/166814 9.48/8.26 c Got one! Elapsed wall clock time (in seconds):8.162 9.48/8.26 o 66 9.48/8.29 c Got one! Elapsed wall clock time (in seconds):8.185 9.48/8.29 o 61 9.58/8.31 c Got one! Elapsed wall clock time (in seconds):8.204 9.58/8.31 o 60 9.70/8.40 c cleaning 6345 clauses out of 12718 with flag 8072/173291 9.80/8.51 c Got one! Elapsed wall clock time (in seconds):8.414 9.80/8.51 o 58 9.80/8.55 c Got one! Elapsed wall clock time (in seconds):8.451 9.80/8.55 o 56 9.92/8.62 c Got one! Elapsed wall clock time (in seconds):8.518 9.92/8.62 o 55 9.92/8.67 c cleaning 6543 clauses out of 13092 with flag 4874/180010 10.04/8.80 c Got one! Elapsed wall clock time (in seconds):8.702 10.04/8.80 o 54 10.14/8.89 c cleaning 6068 clauses out of 12135 with flag 10121/185596 10.34/9.07 c Got one! Elapsed wall clock time (in seconds):8.973 10.34/9.07 o 51 10.34/9.09 c Got one! Elapsed wall clock time (in seconds):8.989 10.34/9.09 o 50 10.64/9.31 c cleaning 8245 clauses out of 16491 with flag 16671/196020 10.64/9.38 c Got one! Elapsed wall clock time (in seconds):9.276 10.64/9.38 o 49 10.74/9.40 c Got one! Elapsed wall clock time (in seconds):9.296 10.74/9.40 o 47 10.84/9.52 c cleaning 6898 clauses out of 13797 with flag 12317/201571 11.04/9.75 c cleaning 6439 clauses out of 12895 with flag 41665/207567 11.04/9.76 c Got one! Elapsed wall clock time (in seconds):9.659 11.04/9.76 o 44 11.25/9.95 c cleaning 5978 clauses out of 11962 with flag 23592/213073 11.25/10.00 c Got one! Elapsed wall clock time (in seconds):9.894 11.25/10.00 o 41 11.45/10.14 c cleaning 5806 clauses out of 11622 with flag 14450/218711 11.65/10.35 c cleaning 5905 clauses out of 11818 with flag 35664/224713 11.95/10.60 c cleaning 6438 clauses out of 12910 with flag 60580/231710 12.25/10.90 c cleaning 7234 clauses out of 14472 with flag 86784/239710 12.35/11.04 c Got one! Elapsed wall clock time (in seconds):10.942 12.35/11.04 o 40 12.35/11.09 c cleaning 6182 clauses out of 12377 with flag 4585/244849 12.65/11.33 c cleaning 6089 clauses out of 12195 with flag 32556/250849 12.95/11.60 c cleaning 6543 clauses out of 13108 with flag 65221/257851 12.95/11.64 c Got one! Elapsed wall clock time (in seconds):11.537 12.95/11.64 o 38 13.05/11.75 c Got one! Elapsed wall clock time (in seconds):11.648 13.05/11.75 o 37 13.05/11.79 c cleaning 5912 clauses out of 11831 with flag 5527/263117 13.34/12.00 c cleaning 5953 clauses out of 11919 with flag 26825/269117 13.55/12.26 c cleaning 6477 clauses out of 12963 with flag 51982/276114 13.74/12.41 c Got one! Elapsed wall clock time (in seconds):12.313 13.74/12.41 o 34 13.74/12.46 c cleaning 6016 clauses out of 12047 with flag 5214/281676 13.94/12.68 c cleaning 6012 clauses out of 12032 with flag 33085/287677 14.25/12.95 c cleaning 6499 clauses out of 13018 with flag 68344/294675 14.56/13.27 c cleaning 7253 clauses out of 14523 with flag 115712/302679 14.95/13.64 c cleaning 8133 clauses out of 16266 with flag 161189/311676 15.35/14.06 c cleaning 9060 clauses out of 18132 with flag 198701/321676 15.85/14.55 c cleaning 10034 clauses out of 20071 with flag 251707/332675 15.85/14.58 c Got one! Elapsed wall clock time (in seconds):14.476 15.85/14.58 o 30 16.05/14.77 c Got one! Elapsed wall clock time (in seconds):14.67 16.05/14.77 o 24 16.15/14.83 c cleaning 8422 clauses out of 16846 with flag 3679/339484 16.35/15.05 c cleaning 7211 clauses out of 14422 with flag 26079/345482 16.65/15.32 c cleaning 7098 clauses out of 14211 with flag 53563/352482 16.65/15.32 c Got one! Elapsed wall clock time (in seconds):15.223 16.65/15.32 o 20 16.76/15.50 c cleaning 6089 clauses out of 12190 with flag 17784/357559 16.95/15.69 c cleaning 6044 clauses out of 12101 with flag 37843/363559 17.25/15.93 c cleaning 6527 clauses out of 13057 with flag 62045/370559 17.45/16.17 c Got one! Elapsed wall clock time (in seconds):16.068 17.45/16.17 o 18 17.65/16.39 c cleaning 9139 clauses out of 18277 with flag 19245/382306 17.95/16.62 c cleaning 7568 clauses out of 15139 with flag 42073/388307 18.15/16.88 c cleaning 7285 clauses out of 14571 with flag 70852/395307 18.47/17.19 c cleaning 7639 clauses out of 15288 with flag 104101/403310 18.67/17.35 c Got one! Elapsed wall clock time (in seconds):17.25 18.67/17.35 o 17 18.77/17.40 c cleaning 6739 clauses out of 13487 with flag 4228/409149 18.87/17.60 c cleaning 6364 clauses out of 12746 with flag 28082/415148 19.17/17.84 c cleaning 6679 clauses out of 13382 with flag 54008/422149 19.47/18.14 c cleaning 7351 clauses out of 14701 with flag 86335/430148 19.77/18.49 c cleaning 8171 clauses out of 16348 with flag 122314/439148 20.26/18.90 c Got one! Elapsed wall clock time (in seconds):18.801 20.26/18.90 o 16 20.46/19.16 c cleaning 11562 clauses out of 23124 with flag 21294/454098 20.76/19.43 c cleaning 8781 clauses out of 17566 with flag 47475/460103 21.06/19.71 c cleaning 7885 clauses out of 15777 with flag 77555/467097 21.36/20.02 c cleaning 7934 clauses out of 15888 with flag 109783/475097 21.36/20.03 c Got one! Elapsed wall clock time (in seconds):19.929 21.36/20.03 o 15 21.57/20.22 c cleaning 6683 clauses out of 13376 with flag 21315/480519 21.77/20.44 c cleaning 6339 clauses out of 12690 with flag 46380/486518 21.77/20.49 c Got one! Elapsed wall clock time (in seconds):20.391 21.77/20.49 o 14 21.97/20.66 c cleaning 6027 clauses out of 12066 with flag 17265/492234 22.07/20.71 c Got one! Elapsed wall clock time (in seconds):20.612 22.07/20.71 o 13 22.17/20.89 c cleaning 5868 clauses out of 11759 with flag 17633/497954 22.38/21.03 c Got one! Elapsed wall clock time (in seconds):20.931 22.38/21.03 o 6 22.38/21.05 c Got one! Elapsed wall clock time (in seconds):20.95 22.38/21.05 o 3 22.38/21.06 c starts : 429 22.38/21.06 c conflicts : 502628 22.38/21.06 c decisions : 898422 22.38/21.06 c propagations : 15276218 22.38/21.06 c inspects : 219307293 22.38/21.06 c shortcuts : 0 22.38/21.06 c learnt literals : 23 22.38/21.06 c learnt binary clauses : 28 22.38/21.06 c learnt ternary clauses : 772 22.38/21.06 c learnt constraints : 502605 22.38/21.06 c ignored constraints : 0 22.38/21.06 c root simplifications : 0 22.38/21.06 c removed literals (reason simplification) : 0 22.38/21.06 c reason swapping (by a shorter reason) : 0 22.38/21.06 c Calls to reduceDB : 71 22.38/21.06 c Number of update (reduction) of LBD : 163360 22.38/21.06 c Imported unit clauses : 0 22.38/21.06 c number of reductions to clauses (during analyze) : 0 22.38/21.06 c number of learned constraints concerned by reduction : 0 22.38/21.06 c number of learning phase by resolution : 0 22.38/21.06 c number of learning phase by cutting planes : 0 22.38/21.06 c speed (assignments/second) : 730884.550978422 22.38/21.06 c non guided choices 5853 22.38/21.06 c learnt constraints type 22.38/21.06 s OPTIMUM FOUND 22.38/21.06 c Found 122 solution(s) 22.38/21.06 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 22.38/21.06 c objective function=3 22.38/21.06 c Total wall clock time (in seconds): 20.96
OK 3
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-4110232-1466343851/watcher-4110232-1466343851 -o /tmp/evaluation-result-4110232-1466343851/solver-4110232-1466343851 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466341824-18889 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4110232-1466343851.wbo pid=20994 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.15 2.11 1.83 3/194 20997 /proc/meminfo: memFree=31126400/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 36435276 98570240 978 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 24065 978 744 9 0 16771 0 [pid=20997/tid=20998] ppid=20994 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 36435276 98570240 978 33554432000 1073741824 1073778376 140735414875712 140701388619304 270118241664 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 [startup+0.100115 s] /proc/loadavg: 2.15 2.11 1.83 3/194 20997 /proc/meminfo: memFree=31126400/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 4547 0 1 0 10 1 0 0 20 0 18 0 36435276 9787879424 5658 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2389619 5658 2157 9 0 2380296 0 [pid=20997/tid=20998] ppid=20994 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2430 0 1 0 7 0 0 0 20 0 18 0 36435276 9787879424 5658 33554432000 1073741824 1073778376 140735414875712 140701388622752 140701396388698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200337 s] /proc/loadavg: 2.15 2.11 1.83 3/194 20997 /proc/meminfo: memFree=31126400/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 6549 0 1 0 28 1 0 0 20 0 19 0 36435276 9856040960 7705 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 7705 2233 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=0.17 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2460 0 1 0 17 0 0 0 20 0 19 0 36435276 9856040960 7706 33554432000 1073741824 1073778376 140735414875712 140701388624512 140701261032738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9625040 [startup+0.300322 s] /proc/loadavg: 2.15 2.11 1.83 3/194 20997 /proc/meminfo: memFree=31126400/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 7097 0 1 0 51 1 0 0 20 0 19 0 36435276 9856040960 8158 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 8158 2243 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2463 0 1 0 27 0 0 0 20 0 19 0 36435276 9856040960 8158 33554432000 1073741824 1073778376 140735414875712 140701388624512 140701261007392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9625040 [startup+0.700228 s] /proc/loadavg: 2.15 2.11 1.83 3/194 20997 /proc/meminfo: memFree=31126400/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=1.08 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 9131 0 1 0 106 2 0 0 20 0 19 0 36435276 9856040960 9688 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 9688 2255 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2465 0 1 0 67 0 0 0 20 0 19 0 36435276 9856040960 9688 33554432000 1073741824 1073778376 140735414875712 140701388624512 140701261433281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 9625040 [startup+1.50073 s] /proc/loadavg: 2.14 2.11 1.83 3/213 21016 /proc/meminfo: memFree=31087916/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=2.09 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 12381 0 1 0 207 2 0 0 20 0 19 0 36435276 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 12809 2262 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2469 0 1 0 147 0 0 0 20 0 19 0 36435276 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701388624376 140701261378050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21000] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21000/stat : 21000 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701232560552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21001] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21001/stat : 21001 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701231508008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21002] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21002/stat : 21002 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701230454952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20997/tid=21003] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21003/stat : 21003 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701229402408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21004] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21004/stat : 21004 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701228350376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21005] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21005/stat : 21005 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701227297832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21006] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21006/stat : 21006 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701226244776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21007] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21007/stat : 21007 (java) S 20994 20997 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701225192232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21008] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21008/stat : 21008 (java) S 20994 20997 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701212780904 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21009] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21009/stat : 21009 (java) S 20994 20997 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701211727224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21010] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21010/stat : 21010 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701210674056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21011] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21011/stat : 21011 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701209622800 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21012] ppid=20994 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/20997/task/21012/stat : 21012 (java) S 20994 20997 18872 0 -1 4202560 5444 0 0 0 31 0 0 0 20 0 19 0 36435281 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701208570680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21013] ppid=20994 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/20997/task/21013/stat : 21013 (java) S 20994 20997 18872 0 -1 4202560 3194 0 0 0 26 0 0 0 20 0 19 0 36435281 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701207518136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21014] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21014/stat : 21014 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701206465272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21015] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21015/stat : 21015 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701205412936 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21016] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21016/stat : 21016 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435292 9856040960 12809 33554432000 1073741824 1073778376 140735414875712 140701204358184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 9625040 [startup+3.10074 s] /proc/loadavg: 2.14 2.11 1.83 3/213 21016 /proc/meminfo: memFree=31048508/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=3.8 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 12483 0 1 0 377 3 0 0 20 0 19 0 36435276 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 14954 2262 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2474 0 1 0 306 1 0 0 20 0 19 0 36435276 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701388624376 140701261421091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21000] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21000/stat : 21000 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701232560552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21001] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21001/stat : 21001 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701231508008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21002] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21002/stat : 21002 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701230454952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20997/tid=21003] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21003/stat : 21003 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701229402408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21004] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21004/stat : 21004 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701228350376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21005] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21005/stat : 21005 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701227297832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21006] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21006/stat : 21006 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701226244776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21007] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21007/stat : 21007 (java) S 20994 20997 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701225192232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21008] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21008/stat : 21008 (java) S 20994 20997 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701212780904 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21009] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21009/stat : 21009 (java) S 20994 20997 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701211727224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21010] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21010/stat : 21010 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701210674056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21011] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21011/stat : 21011 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701209622800 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21012] ppid=20994 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/20997/task/21012/stat : 21012 (java) S 20994 20997 18872 0 -1 4202560 5541 0 0 0 40 0 0 0 20 0 19 0 36435281 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701208570680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21013] ppid=20994 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/20997/task/21013/stat : 21013 (java) S 20994 20997 18872 0 -1 4202560 3194 0 0 0 27 0 0 0 20 0 19 0 36435281 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701207518136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21014] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21014/stat : 21014 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701206465272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21015] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21015/stat : 21015 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701205412936 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21016] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21016/stat : 21016 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435292 9856040960 14954 33554432000 1073741824 1073778376 140735414875712 140701204358184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 9625040 [startup+6.30074 s] /proc/loadavg: 2.13 2.11 1.83 3/213 21016 /proc/meminfo: memFree=31015536/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=7.03 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 12504 0 1 0 700 3 0 0 20 0 19 0 36435276 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 19806 2264 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=6.26 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2485 0 1 0 625 1 0 0 20 0 19 0 36435276 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701388615376 140701261406617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21000] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21000/stat : 21000 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701232560552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21001] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21001/stat : 21001 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701231508008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21002] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21002/stat : 21002 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701230454952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20997/tid=21003] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21003/stat : 21003 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701229402408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21004] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21004/stat : 21004 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701228350376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21005] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21005/stat : 21005 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701227297832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21006] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21006/stat : 21006 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701226244776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21007] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21007/stat : 21007 (java) S 20994 20997 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701225192232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21008] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21008/stat : 21008 (java) S 20994 20997 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701212780904 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21009] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21009/stat : 21009 (java) S 20994 20997 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701211727224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21010] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21010/stat : 21010 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701210674056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21011] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21011/stat : 21011 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701209622800 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21012] ppid=20994 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/20997/task/21012/stat : 21012 (java) S 20994 20997 18872 0 -1 4202560 5548 0 0 0 43 0 0 0 20 0 19 0 36435281 9856040960 19806 33554432000 1073741824 1073778376 140735414875712 140701208570680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21013] ppid=20994 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 ################ # More data... # ################ [pid=20997/tid=21002] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21002/stat : 21002 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701230454952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20997/tid=21003] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21003/stat : 21003 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701229402408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21004] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21004/stat : 21004 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701228350376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21005] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21005/stat : 21005 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701227297832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21006] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21006/stat : 21006 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701226244776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21007] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21007/stat : 21007 (java) S 20994 20997 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701225192232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21008] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21008/stat : 21008 (java) S 20994 20997 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701212780904 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21009] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21009/stat : 21009 (java) S 20994 20997 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701211727224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21010] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21010/stat : 21010 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701210674056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21011] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21011/stat : 21011 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701209622800 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21012] ppid=20994 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/20997/task/21012/stat : 21012 (java) S 20994 20997 18872 0 -1 4202560 11882 0 0 0 97 3 0 0 20 0 19 0 36435281 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701208570680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21013] ppid=20994 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/20997/task/21013/stat : 21013 (java) S 20994 20997 18872 0 -1 4202560 3204 0 0 0 36 0 0 0 20 0 19 0 36435281 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701207518136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21014] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21014/stat : 21014 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701206465272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21015] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21015/stat : 21015 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701205412936 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21016] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21016/stat : 21016 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435292 9856040960 41041 33554432000 1073741824 1073778376 140735414875712 140701204358184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 20.56 Current children cumulated vsize (KiB) 9625040 [startup+20.0008 s] /proc/loadavg: 2.11 2.10 1.83 3/213 21081 /proc/meminfo: memFree=31000848/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=21.36 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 18888 0 1 0 2131 5 0 0 20 0 19 0 36435276 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 42065 2266 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=19.92 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2527 0 1 0 1990 2 0 0 20 0 19 0 36435276 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701388615376 140701261383919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21000] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21000/stat : 21000 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701232560552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21001] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21001/stat : 21001 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701231508008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21002] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21002/stat : 21002 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701230454952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20997/tid=21003] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21003/stat : 21003 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701229402408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21004] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21004/stat : 21004 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701228350376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21005] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21005/stat : 21005 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701227297832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21006] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21006/stat : 21006 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701226244776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21007] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21007/stat : 21007 (java) S 20994 20997 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701225192232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21008] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21008/stat : 21008 (java) S 20994 20997 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701212780904 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21009] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21009/stat : 21009 (java) S 20994 20997 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701211727224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21010] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21010/stat : 21010 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701210674056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21011] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21011/stat : 21011 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701209622800 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21012] ppid=20994 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/20997/task/21012/stat : 21012 (java) S 20994 20997 18872 0 -1 4202560 11882 0 0 0 97 3 0 0 20 0 19 0 36435281 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701208570680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21013] ppid=20994 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/20997/task/21013/stat : 21013 (java) S 20994 20997 18872 0 -1 4202560 3204 0 0 0 36 0 0 0 20 0 19 0 36435281 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701207518136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21014] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21014/stat : 21014 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701206465272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21015] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21015/stat : 21015 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701205412936 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21016] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21016/stat : 21016 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435292 9856040960 42065 33554432000 1073741824 1073778376 140735414875712 140701204358184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 21.36 Current children cumulated vsize (KiB) 9625040 [startup+20.8007 s] /proc/loadavg: 2.11 2.10 1.83 3/213 21081 /proc/meminfo: memFree=31000848/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=22.17 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 18891 0 1 0 2211 6 0 0 20 0 19 0 36435276 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 43601 2266 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=20.72 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2530 0 1 0 2070 2 0 0 20 0 19 0 36435276 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701388615376 140701260987552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21000] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21000/stat : 21000 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701232560552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21001] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21001/stat : 21001 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701231508008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21002] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21002/stat : 21002 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701230454952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20997/tid=21003] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21003/stat : 21003 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701229402408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21004] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21004/stat : 21004 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701228350376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21005] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21005/stat : 21005 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701227297832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21006] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21006/stat : 21006 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701226244776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21007] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21007/stat : 21007 (java) S 20994 20997 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701225192232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21008] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21008/stat : 21008 (java) S 20994 20997 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701212780904 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21009] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21009/stat : 21009 (java) S 20994 20997 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701211727224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21010] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21010/stat : 21010 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701210674056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21011] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21011/stat : 21011 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701209622800 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21012] ppid=20994 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/20997/task/21012/stat : 21012 (java) S 20994 20997 18872 0 -1 4202560 11882 0 0 0 97 3 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701208570680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21013] ppid=20994 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/20997/task/21013/stat : 21013 (java) S 20994 20997 18872 0 -1 4202560 3204 0 0 0 36 0 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701207518136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21014] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21014/stat : 21014 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701206465272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21015] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21015/stat : 21015 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701205412936 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21016] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21016/stat : 21016 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435292 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701204358184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 22.17 Current children cumulated vsize (KiB) 9625040 [startup+21.0077 s] /proc/loadavg: 2.10 2.10 1.83 3/207 21140 /proc/meminfo: memFree=31077436/32872528 swapFree=526336/559040 [pid=20997] ppid=20994 vsize=9625040 CPUtime=22.38 cores=1,3,5,7 /proc/20997/stat : 20997 (java) S 20994 20997 18872 0 -1 4202496 18891 0 1 0 2232 6 0 0 20 0 19 0 36435276 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140735414866848 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20997/statm: 2406260 43601 2266 9 0 2396937 0 [pid=20997/tid=20998] ppid=20994 vsize=9625040 CPUtime=20.93 cores=1,3,5,7 /proc/20997/task/20998/stat : 20998 (java) R 20994 20997 18872 0 -1 4202560 2530 0 1 0 2091 2 0 0 20 0 19 0 36435276 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701388615376 140701261421086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21000] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21000/stat : 21000 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701232560552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21001] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21001/stat : 21001 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701231508008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21002] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21002/stat : 21002 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701230454952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20997/tid=21003] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21003/stat : 21003 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701229402408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21004] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21004/stat : 21004 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701228350376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21005] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21005/stat : 21005 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701227297832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20997/tid=21006] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21006/stat : 21006 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701226244776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21007] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21007/stat : 21007 (java) S 20994 20997 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36435277 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701225192232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21008] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21008/stat : 21008 (java) S 20994 20997 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701212780904 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21009] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21009/stat : 21009 (java) S 20994 20997 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701211727224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21010] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21010/stat : 21010 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435278 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701210674056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21011] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21011/stat : 21011 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701209622800 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21012] ppid=20994 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/20997/task/21012/stat : 21012 (java) S 20994 20997 18872 0 -1 4202560 11882 0 0 0 97 3 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701208570680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21013] ppid=20994 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/20997/task/21013/stat : 21013 (java) S 20994 20997 18872 0 -1 4202560 3204 0 0 0 36 0 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701207518136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21014] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21014/stat : 21014 (java) S 20994 20997 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701206465272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20997/tid=21015] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21015/stat : 21015 (java) S 20994 20997 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36435281 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701205412936 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20997/tid=21016] ppid=20994 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20997/task/21016/stat : 21016 (java) S 20994 20997 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36435292 9856040960 43601 33554432000 1073741824 1073778376 140735414875712 140701204358184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 22.38 Current children cumulated vsize (KiB) 9625040 Child status: 30 Real time (s): 21.0686 CPU time (s): 22.4016 CPU user time (s): 22.3186 CPU system time (s): 0.082987 CPU usage (%): 106.327 Max. virtual memory (cumulated for all children) (KiB): 9626648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.3186 system time used= 0.082987 maximum resident set size= 176608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18943 page faults= 1 swaps= 0 block input operations= 0 block output operations= 64 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 824 involuntary context switches= 103 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.141978 second user time and 0.199969 second system time The end
Begin job on node106 at 2016-06-19 15:44:12 IDJOB=4110232 IDBENCH=79208 IDSOLVER=2551 FILE ID=node106/4110232-1466343851 RUNJOBID= node106-1466341824-18889 PBS_JOBID= 19922042 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110232-1466343851/watcher-4110232-1466343851 -o /tmp/evaluation-result-4110232-1466343851/solver-4110232-1466343851 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466341824-18889 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4110232-1466343851.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cb8903274dd3202a5ed158c7997a289b RANDOM SEED=359279213 node106.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 : 2667.073 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 : 5334.14 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 : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.56 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 : 2667.073 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.38 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 : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31126928 kB Buffers: 72068 kB Cached: 227860 kB SwapCached: 1780 kB Active: 184264 kB Inactive: 240160 kB Active(anon): 123916 kB Inactive(anon): 3188 kB Active(file): 60348 kB Inactive(file): 236972 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099264 kB Dirty: 2436 kB Writeback: 0 kB AnonPages: 687344 kB Mapped: 15400 kB Shmem: 0 kB Slab: 625740 kB SReclaimable: 68824 kB SUnreclaim: 556916 kB KernelStack: 1568 kB PageTables: 5640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1247316 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 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= 71700 MiB End job on node106 at 2016-06-19 15:44:33