Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPTIMUM | 40.4678 | 50.5855 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo |
| MD5SUM | 0635b24c475a73287c5e15439a6c459f |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 5.42217 |
| 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 | 1199 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4092306-1467322011.wbo 0.10/0.11 c reading problem ... 0.10/0.18 c ... done. Wall clock time 0.068s. 0.10/0.18 c declared #vars 169 0.10/0.18 c internal #vars 270 0.10/0.18 c #constraints 101 0.10/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.10/0.18 c 101 constraints processed. 0.10/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.10/0.18 c 101 constraints processed. 0.10/0.18 c objective function length is 101 literals 0.26/0.26 c And the winner is solver0 0.78/0.68 c SATISFIABLE 0.78/0.68 c OPTIMIZING... 0.78/0.68 c Got one! Elapsed wall clock time (in seconds):0.572 0.78/0.68 o 865 1.60/0.91 c And the winner is solver0 1.88/1.19 c Got one! Elapsed wall clock time (in seconds):1.074 1.88/1.19 o 440 1.88/1.19 c And the winner is solver0 1.89/1.69 c Got one! Elapsed wall clock time (in seconds):1.575 1.89/1.69 o 434 1.89/1.69 c And the winner is solver0 1.89/2.19 c Got one! Elapsed wall clock time (in seconds):2.077 1.89/2.19 o 419 1.89/2.20 c And the winner is solver0 1.89/2.69 c Got one! Elapsed wall clock time (in seconds):2.578 1.89/2.69 o 413 1.90/2.70 c And the winner is solver0 1.90/3.19 c Got one! Elapsed wall clock time (in seconds):3.08 1.90/3.19 o 410 1.90/3.20 c And the winner is solver0 1.90/3.69 c Got one! Elapsed wall clock time (in seconds):3.581 1.90/3.69 o 370 1.90/3.70 c And the winner is solver0 1.97/4.19 c Got one! Elapsed wall clock time (in seconds):4.083 1.97/4.20 o 359 1.97/4.20 c And the winner is solver0 1.98/4.70 c Got one! Elapsed wall clock time (in seconds):4.584 1.98/4.70 o 358 1.98/4.70 c And the winner is solver0 1.99/5.20 c Got one! Elapsed wall clock time (in seconds):5.085 1.99/5.20 o 347 1.99/5.20 c And the winner is solver0 1.99/5.70 c Got one! Elapsed wall clock time (in seconds):5.586 1.99/5.70 o 342 1.99/5.70 c And the winner is solver0 1.99/6.20 c Got one! Elapsed wall clock time (in seconds):6.087 1.99/6.20 o 322 1.99/6.27 c And the winner is solver0 2.29/6.70 c Got one! Elapsed wall clock time (in seconds):6.589 2.29/6.70 o 314 2.29/6.72 c And the winner is solver0 2.42/7.20 c Got one! Elapsed wall clock time (in seconds):7.09 2.42/7.20 o 293 2.42/7.21 c And the winner is solver0 2.43/7.70 c Got one! Elapsed wall clock time (in seconds):7.591 2.43/7.70 o 289 2.43/7.71 c And the winner is solver0 2.43/8.20 c Got one! Elapsed wall clock time (in seconds):8.092 2.43/8.20 o 276 2.43/8.29 c cleaning 3572 clauses out of 7155 with flag 3358/7155 2.66/8.34 c And the winner is solver0 2.78/8.71 c Got one! Elapsed wall clock time (in seconds):8.593 2.78/8.71 o 270 2.99/8.90 c cleaning 4429 clauses out of 8859 with flag 14809/12431 3.42/9.01 c And the winner is solver0 3.46/9.21 c Got one! Elapsed wall clock time (in seconds):9.095 3.46/9.21 o 269 3.46/9.26 c And the winner is solver0 3.61/9.71 c Got one! Elapsed wall clock time (in seconds):9.596 3.61/9.71 o 267 3.61/9.72 c And the winner is solver0 3.66/10.21 c Got one! Elapsed wall clock time (in seconds):10.097 3.66/10.21 o 261 3.66/10.22 c And the winner is solver0 3.72/10.71 c Got one! Elapsed wall clock time (in seconds):10.598 3.72/10.71 o 260 3.72/10.72 c And the winner is solver0 3.72/11.21 c Got one! Elapsed wall clock time (in seconds):11.099 3.72/11.21 o 246 3.72/11.25 c And the winner is solver0 3.83/11.71 c Got one! Elapsed wall clock time (in seconds):11.6 3.83/11.71 o 244 3.83/11.75 c And the winner is solver0 3.94/12.21 c Got one! Elapsed wall clock time (in seconds):12.101 3.94/12.21 o 239 3.94/12.24 c And the winner is solver0 4.17/12.71 c Got one! Elapsed wall clock time (in seconds):12.602 4.17/12.71 o 234 4.17/12.77 c And the winner is solver0 4.30/13.22 c Got one! Elapsed wall clock time (in seconds):13.103 4.30/13.22 o 223 4.30/13.24 c And the winner is solver0 4.37/13.72 c Got one! Elapsed wall clock time (in seconds):13.604 4.37/13.72 o 217 4.37/13.73 c And the winner is solver0 4.42/14.22 c Got one! Elapsed wall clock time (in seconds):14.105 4.42/14.22 o 205 4.42/14.23 c And the winner is solver0 4.47/14.72 c Got one! Elapsed wall clock time (in seconds):14.606 4.47/14.72 o 201 4.84/14.91 c cleaning 7513 clauses out of 15026 with flag 13034/23027 4.84/14.92 c And the winner is solver0 5.00/15.22 c Got one! Elapsed wall clock time (in seconds):15.107 5.00/15.22 o 199 5.37/15.47 c cleaning 6315 clauses out of 12630 with flag 19233/28144 5.37/15.47 c And the winner is solver0 5.54/15.72 c Got one! Elapsed wall clock time (in seconds):15.608 5.54/15.72 o 198 5.90/15.97 c cleaning 5671 clauses out of 11344 with flag 21287/33173 6.10/16.05 c And the winner is solver0 6.45/16.37 c Got one! Elapsed wall clock time (in seconds):16.259 6.45/16.37 o 195 6.57/16.46 c And the winner is solver0 6.75/16.87 c Got one! Elapsed wall clock time (in seconds):16.76 6.75/16.87 o 185 6.79/16.95 c And the winner is solver0 6.97/17.37 c Got one! Elapsed wall clock time (in seconds):17.261 6.97/17.37 o 178 7.01/17.43 c And the winner is solver0 7.10/17.88 c Got one! Elapsed wall clock time (in seconds):17.763 7.10/17.88 o 170 7.14/17.91 c And the winner is solver0 7.19/18.38 c Got one! Elapsed wall clock time (in seconds):18.264 7.19/18.38 o 159 7.19/18.39 c And the winner is solver0 7.27/18.88 c Got one! Elapsed wall clock time (in seconds):18.765 7.27/18.88 o 155 7.31/18.90 c And the winner is solver0 7.38/19.38 c Got one! Elapsed wall clock time (in seconds):19.266 7.38/19.38 o 138 7.42/19.40 c And the winner is solver0 7.46/19.88 c Got one! Elapsed wall clock time (in seconds):19.767 7.46/19.88 o 133 7.52/19.92 c And the winner is solver0 7.58/20.38 c Got one! Elapsed wall clock time (in seconds):20.268 7.58/20.38 o 118 7.60/20.40 c And the winner is solver0 7.66/20.88 c Got one! Elapsed wall clock time (in seconds):20.769 7.66/20.88 o 115 7.71/20.95 c And the winner is solver0 7.91/21.38 c Got one! Elapsed wall clock time (in seconds):21.27 7.91/21.38 o 111 7.93/21.42 c And the winner is solver0 8.00/21.88 c Got one! Elapsed wall clock time (in seconds):21.771 8.00/21.88 o 108 8.03/22.00 c cleaning 8257 clauses out of 16535 with flag 4037/44035 8.30/22.07 c And the winner is solver0 9.16/22.43 c Got one! Elapsed wall clock time (in seconds):22.322 9.16/22.43 o 106 9.31/22.57 c And the winner is solver0 9.79/22.99 c Got one! Elapsed wall clock time (in seconds):22.873 9.79/22.99 o 89 10.08/23.12 c cleaning 7005 clauses out of 14014 with flag 8692/49771 10.08/23.14 c And the winner is solver0 10.52/23.54 c Got one! Elapsed wall clock time (in seconds):23.424 10.52/23.54 o 88 10.52/23.56 c And the winner is solver0 10.65/24.04 c Got one! Elapsed wall clock time (in seconds):23.925 10.65/24.04 o 87 10.77/24.13 c And the winner is solver0 10.89/24.54 c Got one! Elapsed wall clock time (in seconds):24.426 10.89/24.54 o 83 10.89/24.58 c And the winner is solver0 11.01/25.04 c Got one! Elapsed wall clock time (in seconds):24.928 11.01/25.04 o 80 11.34/25.20 c cleaning 6883 clauses out of 13783 with flag 12299/56545 11.34/25.28 c And the winner is solver0 11.73/25.59 c Got one! Elapsed wall clock time (in seconds):25.479 11.73/25.59 o 77 12.02/25.78 c cleaning 6311 clauses out of 12647 with flag 15147/62292 12.22/25.80 c And the winner is solver0 12.42/26.09 c Got one! Elapsed wall clock time (in seconds):25.981 12.42/26.09 o 73 12.53/26.17 c And the winner is solver0 12.78/26.60 c Got one! Elapsed wall clock time (in seconds):26.483 12.78/26.60 o 70 12.78/26.66 c And the winner is solver0 12.99/27.10 c Got one! Elapsed wall clock time (in seconds):26.984 12.99/27.10 o 66 12.99/27.11 c And the winner is solver0 13.05/27.60 c Got one! Elapsed wall clock time (in seconds):27.487 13.05/27.60 o 65 13.06/27.65 c And the winner is solver0 13.18/28.10 c Got one! Elapsed wall clock time (in seconds):27.989 13.18/28.10 o 61 13.37/28.23 c And the winner is solver0 13.45/28.60 c Got one! Elapsed wall clock time (in seconds):28.491 13.45/28.60 o 59 13.45/28.67 c cleaning 7313 clauses out of 14653 with flag 4645/70609 13.45/28.70 c And the winner is solver0 13.69/29.11 c Got one! Elapsed wall clock time (in seconds):28.993 13.69/29.11 o 56 13.69/29.12 c And the winner is solver0 13.74/29.61 c Got one! Elapsed wall clock time (in seconds):29.495 13.74/29.61 o 54 13.74/29.66 c And the winner is solver0 13.89/30.11 c Got one! Elapsed wall clock time (in seconds):29.997 13.89/30.11 o 50 14.07/30.20 c And the winner is solver0 14.13/30.61 c Got one! Elapsed wall clock time (in seconds):30.5 14.13/30.61 o 40 14.51/30.80 c cleaning 7613 clauses out of 15226 with flag 16864/78495 14.72/30.94 c And the winner is solver0 14.95/31.17 c Got one! Elapsed wall clock time (in seconds):31.053 14.95/31.17 o 39 15.05/31.26 c cleaning 6394 clauses out of 12787 with flag 10166/83669 15.65/31.53 c cleaning 6192 clauses out of 12394 with flag 40546/89670 16.25/31.86 c cleaning 6596 clauses out of 13201 with flag 73866/96669 17.05/32.23 c cleaning 7295 clauses out of 14605 with flag 120377/104669 17.85/32.69 c cleaning 8149 clauses out of 16310 with flag 165620/113669 18.05/32.73 c And the winner is solver0 18.14/33.17 c Got one! Elapsed wall clock time (in seconds):33.056 18.14/33.17 o 38 18.39/33.35 c cleaning 6607 clauses out of 13215 with flag 12682/118723 18.81/33.60 c cleaning 6294 clauses out of 12604 with flag 31729/124719 19.61/33.92 c cleaning 6649 clauses out of 13310 with flag 55496/131720 20.23/34.29 c cleaning 7325 clauses out of 14660 with flag 84831/139719 20.62/34.46 c And the winner is solver0 20.98/34.72 c Got one! Elapsed wall clock time (in seconds):34.611 20.98/34.72 o 33 20.98/34.78 c cleaning 6329 clauses out of 12667 with flag 3577/145051 21.55/35.03 c cleaning 6161 clauses out of 12336 with flag 24032/151049 21.96/35.26 c And the winner is solver0 22.19/35.74 c Got one! Elapsed wall clock time (in seconds):35.623 22.19/35.74 o 32 22.33/35.83 c And the winner is solver0 22.40/36.24 c Got one! Elapsed wall clock time (in seconds):36.131 22.40/36.24 o 31 22.72/36.45 c cleaning 8837 clauses out of 17674 with flag 14996/162548 23.10/36.63 c And the winner is solver0 23.19/36.75 c Got one! Elapsed wall clock time (in seconds):36.639 23.19/36.75 o 30 23.27/36.86 c cleaning 7398 clauses out of 14806 with flag 7395/168517 23.68/37.00 c And the winner is solver0 23.86/37.26 c Got one! Elapsed wall clock time (in seconds):37.147 23.86/37.26 o 28 23.93/37.30 c And the winner is solver0 23.96/37.77 c Got one! Elapsed wall clock time (in seconds):37.654 23.96/37.77 o 27 24.01/37.83 c And the winner is solver0 24.10/38.27 c Got one! Elapsed wall clock time (in seconds):38.162 24.10/38.27 o 26 24.14/38.34 c cleaning 6898 clauses out of 13800 with flag 3611/174909 24.34/38.47 c And the winner is solver0 24.71/38.78 c Got one! Elapsed wall clock time (in seconds):38.671 24.71/38.78 o 24 24.72/38.88 c cleaning 6058 clauses out of 12126 with flag 7153/180133 25.32/39.12 c cleaning 6034 clauses out of 12067 with flag 27808/186132 25.32/39.12 c And the winner is solver0 25.46/39.29 c Got one! Elapsed wall clock time (in seconds):39.179 25.46/39.29 o 21 25.68/39.41 c And the winner is solver0 26.00/39.80 c Got one! Elapsed wall clock time (in seconds):39.687 26.00/39.80 o 20 26.19/39.95 c cleaning 6122 clauses out of 12249 with flag 11190/192348 26.19/39.99 c And the winner is solver0 26.60/40.31 c Got one! Elapsed wall clock time (in seconds):40.199 26.60/40.31 o 17 26.77/40.43 c And the winner is solver0 27.12/40.82 c Got one! Elapsed wall clock time (in seconds):40.708 27.12/40.82 o 15 27.27/40.91 c And the winner is solver0 27.65/41.33 c Got one! Elapsed wall clock time (in seconds):41.217 27.65/41.33 o 12 27.65/41.39 c cleaning 6352 clauses out of 12708 with flag 4672/198929 28.17/41.64 c cleaning 6177 clauses out of 12356 with flag 29707/204929 28.79/41.93 c cleaning 6586 clauses out of 13179 with flag 58126/211930 29.37/42.27 c cleaning 7295 clauses out of 14592 with flag 89993/219930 30.20/42.67 c cleaning 8141 clauses out of 16294 with flag 126298/228929 31.20/43.13 c cleaning 9075 clauses out of 18153 with flag 169096/238930 31.40/43.24 c And the winner is solver0 31.64/43.44 c Got one! Elapsed wall clock time (in seconds):43.327 31.64/43.44 o 10 31.75/43.55 c And the winner is solver0 31.88/43.95 c Got one! Elapsed wall clock time (in seconds):43.837 31.88/43.95 o 6 31.88/43.99 c And the winner is solver0 31.96/44.46 c Got one! Elapsed wall clock time (in seconds):44.351 31.96/44.46 o 4 32.02/44.53 c cleaning 7809 clauses out of 15635 with flag 4166/245488 32.42/44.79 c cleaning 6906 clauses out of 13825 with flag 29043/251489 32.81/44.95 c And the winner is solver0 33.07/45.12 c Got one! Elapsed wall clock time (in seconds):45.012 33.07/45.12 o 3 33.07/45.18 c cleaning 6079 clauses out of 12183 with flag 4476/256754 33.60/45.42 c cleaning 6043 clauses out of 12101 with flag 30559/262751 34.20/45.71 c cleaning 6522 clauses out of 13059 with flag 62754/269752 34.80/46.05 c cleaning 7265 clauses out of 14537 with flag 97271/277752 35.60/46.46 c cleaning 8131 clauses out of 16268 with flag 135346/286752 36.00/46.64 c And the winner is solver0 39.46/50.04 c Got one! Elapsed wall clock time (in seconds):49.927 39.46/50.04 o 2 39.59/50.10 c cleaning 6827 clauses out of 13668 with flag 4589/292288 39.99/50.36 c cleaning 6414 clauses out of 12835 with flag 32944/298288 39.99/50.39 c And the winner is solver0 40.26/50.58 c >>>>>>>>>> Solver number 0 (81 answers) <<<<<<<<<<<<<<<<<< 40.26/50.58 c starts : 220 40.26/50.58 c conflicts : 299074 40.26/50.58 c decisions : 489197 40.26/50.58 c propagations : 8108030 40.26/50.58 c inspects : 143075734 40.26/50.58 c shortcuts : 0 40.26/50.58 c learnt literals : 35 40.26/50.58 c learnt binary clauses : 24 40.26/50.58 c learnt ternary clauses : 565 40.26/50.58 c learnt constraints : 299038 40.26/50.58 c ignored constraints : 0 40.26/50.58 c root simplifications : 0 40.26/50.58 c removed literals (reason simplification) : 154111 40.26/50.58 c reason swapping (by a shorter reason) : 0 40.26/50.58 c Calls to reduceDB : 43 40.26/50.58 c Number of update (reduction) of LBD : 82717 40.26/50.58 c Imported unit clauses : 0 40.26/50.58 c number of reductions to clauses (during analyze) : 0 40.26/50.58 c number of learned constraints concerned by reduction : 0 40.26/50.58 c number of learning phase by resolution : 0 40.26/50.58 c number of learning phase by cutting planes : 0 40.26/50.58 c speed (assignments/second) : 160911.923473843 40.26/50.58 c non guided choices 3981 40.26/50.58 c learnt constraints type 40.26/50.58 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 40.26/50.58 c starts : 81 40.26/50.58 c conflicts : 466 40.26/50.58 c decisions : 9997 40.26/50.58 c propagations : 31195 40.26/50.58 c inspects : 1768408 40.26/50.58 c shortcuts : 0 40.26/50.58 c learnt literals : 0 40.26/50.58 c learnt binary clauses : 0 40.26/50.58 c learnt ternary clauses : 0 40.26/50.58 c learnt constraints : 393 40.26/50.58 c ignored constraints : 0 40.26/50.58 c root simplifications : 0 40.26/50.58 c removed literals (reason simplification) : 0 40.26/50.58 c reason swapping (by a shorter reason) : 0 40.26/50.58 c Calls to reduceDB : 0 40.26/50.58 c Number of update (reduction) of LBD : 0 40.26/50.58 c Imported unit clauses : 0 40.26/50.58 c number of reductions to clauses (during analyze) : 0 40.26/50.58 c number of learned constraints concerned by reduction : 0 40.26/50.58 c number of learning phase by resolution : 0 40.26/50.58 c number of learning phase by cutting planes : 0 40.26/50.58 c speed (assignments/second) : 61166.666666666664 40.26/50.58 c non guided choices 1843 40.26/50.58 c learnt constraints type 40.26/50.58 s OPTIMUM FOUND 40.26/50.58 c Found 80 solution(s) 40.26/50.58 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 40.26/50.58 c objective function=2 40.26/50.58 c Total wall clock time (in seconds): 50.465
OK 2
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4092306-1467322011/watcher-4092306-1467322011 -o /tmp/evaluation-result-4092306-1467322011/solver-4092306-1467322011 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467322011-11394 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092306-1467322011.wbo pid=11422 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.83 1.94 1.89 3/184 11433 /proc/meminfo: memFree=31841320/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 2876596 98570240 977 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 24065 977 743 9 0 16771 0 [pid=11433/tid=11434] ppid=11422 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) R 11422 11433 11378 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 2876596 98570240 977 33554432000 1073741824 1073778376 140734766420048 139890878344744 243765429632 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.100115 s] /proc/loadavg: 1.83 1.94 1.89 3/184 11433 /proc/meminfo: memFree=31841320/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 4445 0 1 0 9 1 0 0 20 0 18 0 2876596 9787879424 6068 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2389619 6068 2141 9 0 2380296 0 [pid=11433/tid=11434] ppid=11422 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) R 11422 11433 11378 0 -1 4202560 2384 0 1 0 6 1 0 0 20 0 18 0 2876596 9787879424 6068 33554432000 1073741824 1073778376 140734766420048 139890878348192 243768812813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200256 s] /proc/loadavg: 1.83 1.94 1.89 3/184 11433 /proc/meminfo: memFree=31841320/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 4792 0 1 0 24 2 0 0 20 0 22 0 2876596 10060525568 7880 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 7880 2221 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2417 0 1 0 15 1 0 0 20 0 22 0 2876596 10060525568 7880 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9824732 [startup+0.30035 s] /proc/loadavg: 1.83 1.94 1.89 3/184 11433 /proc/meminfo: memFree=31841320/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 7665 0 1 0 53 4 0 0 20 0 19 0 2876596 10060525568 9385 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 9385 2250 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2417 0 1 0 15 1 0 0 20 0 19 0 2876596 10060525568 9385 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9824732 [startup+0.700209 s] /proc/loadavg: 1.83 1.94 1.89 3/184 11433 /proc/meminfo: memFree=31841320/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 11583 0 1 0 76 5 0 0 20 0 22 0 2876596 10060525568 12721 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 12721 2253 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2417 0 1 0 15 2 0 0 20 0 22 0 2876596 10060525568 12721 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 9824732 [startup+1.50084 s] /proc/loadavg: 1.83 1.94 1.89 3/212 11473 /proc/meminfo: memFree=31705784/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=1.89 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 16103 0 1 0 182 7 0 0 20 0 19 0 2876596 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 18960 2264 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2417 0 1 0 15 2 0 0 20 0 19 0 2876596 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11437] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11437/stat : 11437 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890850802600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11438] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11438/stat : 11438 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890849750056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11439] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11439/stat : 11439 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890848697000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11440] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11440/stat : 11440 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890847644456 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11441] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11441/stat : 11441 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890846591400 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11442] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11442/stat : 11442 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890845538856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11443] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11443/stat : 11443 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890844485800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11444] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11444/stat : 11444 (java) S 11422 11433 11378 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890714519848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11447] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11447/stat : 11447 (java) S 11422 11433 11378 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2876598 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890231573352 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11448] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11448/stat : 11448 (java) S 11422 11433 11378 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2876599 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890230519672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11449] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11449/stat : 11449 (java) S 11422 11433 11378 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2876599 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890229466504 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11455] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11455/stat : 11455 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876601 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890228415248 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11456] ppid=11422 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/11433/task/11456/stat : 11456 (java) S 11422 11433 11378 0 -1 4202560 6093 0 0 0 59 0 0 0 20 0 19 0 2876601 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890227362104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11457] ppid=11422 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/11433/task/11457/stat : 11457 (java) S 11422 11433 11378 0 -1 4202560 6242 0 0 0 49 0 0 0 20 0 19 0 2876601 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890226309560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11458] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11458/stat : 11458 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876601 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890225256696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11459] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11459/stat : 11459 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876601 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890224204360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11466] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11466/stat : 11466 (java) S 11422 11433 11378 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2876615 10060525568 18960 33554432000 1073741824 1073778376 140734766420048 139890221045032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.89 Current children cumulated vsize (KiB) 9824732 ############ # WARNING: # current cumulated CPU time (1.89 s) is less than in the last sample (1.9 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00999999 s) to the 'lost time'. [startup+2.701 s] /proc/loadavg: 1.83 1.94 1.89 1/212 11491 /proc/meminfo: memFree=31678424/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=1.9 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 16129 0 1 0 183 7 0 0 20 0 22 0 2876596 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 21527 2264 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2418 0 1 0 15 2 0 0 20 0 22 0 2876596 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11437] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11437/stat : 11437 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876597 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890850802600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11438] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11438/stat : 11438 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876597 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890849750056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11439] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11439/stat : 11439 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876597 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890848697000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11440] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11440/stat : 11440 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876597 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890847644456 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11441] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11441/stat : 11441 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876597 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890846591400 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11442] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11442/stat : 11442 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876597 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890845538856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11443] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11443/stat : 11443 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876597 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890844485800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11444] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11444/stat : 11444 (java) S 11422 11433 11378 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2876597 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890714519848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11447] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11447/stat : 11447 (java) S 11422 11433 11378 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2876598 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890231573352 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11448] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11448/stat : 11448 (java) S 11422 11433 11378 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 2876599 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890230519672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11449] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11449/stat : 11449 (java) S 11422 11433 11378 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2876599 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890229466504 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11455] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11455/stat : 11455 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876601 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890228415248 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11456] ppid=11422 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/11433/task/11456/stat : 11456 (java) S 11422 11433 11378 0 -1 4202560 6093 0 0 0 59 0 0 0 20 0 22 0 2876601 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890227362104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11457] ppid=11422 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/11433/task/11457/stat : 11457 (java) S 11422 11433 11378 0 -1 4202560 6242 0 0 0 49 0 0 0 20 0 22 0 2876601 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890226309560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11458] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11458/stat : 11458 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876601 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890225256696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11459] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11459/stat : 11459 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2876601 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890224204360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11466] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11466/stat : 11466 (java) S 11422 11433 11378 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2876615 10060525568 21527 33554432000 1073741824 1073778376 140734766420048 139890221045032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.9 Current children cumulated vsize (KiB) 9824732 [startup+2.80077 s] /proc/loadavg: 1.83 1.94 1.89 1/212 11491 /proc/meminfo: memFree=31678424/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=1.89 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 16130 0 1 0 182 7 0 0 20 0 19 0 2876596 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 22033 2264 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2418 0 1 0 15 2 0 0 20 0 19 0 2876596 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11437] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11437/stat : 11437 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890850802600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11438] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11438/stat : 11438 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890849750056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11439] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11439/stat : 11439 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890848697000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11440] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11440/stat : 11440 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890847644456 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11441] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11441/stat : 11441 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890846591400 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11442] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11442/stat : 11442 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890845538856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11443] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11443/stat : 11443 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890844485800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11444] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11444/stat : 11444 (java) S 11422 11433 11378 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2876597 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890714519848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11447] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11447/stat : 11447 (java) S 11422 11433 11378 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2876598 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890231573352 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11448] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11448/stat : 11448 (java) S 11422 11433 11378 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2876599 10060525568 22033 33554432000 1073741824 1073778376 140734766420048 139890230519672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ /proc/11433/task/11447/stat : 11447 (java) S 11422 11433 11378 0 -1 4202560 75 0 0 0 0 6 0 0 20 0 20 0 2876598 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890231573352 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11448] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11448/stat : 11448 (java) S 11422 11433 11378 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2876599 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890230519672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11449] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11449/stat : 11449 (java) S 11422 11433 11378 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 20 0 2876599 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890229466504 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11455] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11455/stat : 11455 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890228415248 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11456] ppid=11422 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/11433/task/11456/stat : 11456 (java) S 11422 11433 11378 0 -1 4202560 7741 0 0 0 114 2 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890227362104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11457] ppid=11422 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/11433/task/11457/stat : 11457 (java) S 11422 11433 11378 0 -1 4202560 13921 0 0 0 127 3 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890226309560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11458] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11458/stat : 11458 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890225256696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11459] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11459/stat : 11459 (java) S 11422 11433 11378 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890224204360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11466] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11466/stat : 11466 (java) S 11422 11433 11378 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2876615 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890221045032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11941] ppid=11422 vsize=9824732 CPUtime=4.45 cores=0,2,4,6 /proc/11433/task/11941/stat : 11941 (java) R 11422 11433 11378 0 -1 4202560 4 0 0 0 445 0 0 0 20 0 20 0 2881110 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890222095368 139890726473260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 39.06 Current children cumulated vsize (KiB) 9824732 [startup+50.0008 s] /proc/loadavg: 1.98 1.95 1.89 2/214 12019 /proc/meminfo: memFree=31599676/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=39.45 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 26450 0 1 0 3794 151 0 0 20 0 20 0 2876596 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 49718 2287 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.38 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2423 0 1 0 35 3 0 0 20 0 20 0 2876596 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11437] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11437/stat : 11437 (java) S 11422 11433 11378 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890850802600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11438] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11438/stat : 11438 (java) S 11422 11433 11378 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890849750056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11439] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11439/stat : 11439 (java) S 11422 11433 11378 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890848697000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11440] ppid=11422 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/11433/task/11440/stat : 11440 (java) S 11422 11433 11378 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890847644456 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11441] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11441/stat : 11441 (java) S 11422 11433 11378 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890846591400 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11442] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11442/stat : 11442 (java) S 11422 11433 11378 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890845538856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11443] ppid=11422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/11433/task/11443/stat : 11443 (java) S 11422 11433 11378 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890844485800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11444] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11444/stat : 11444 (java) S 11422 11433 11378 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890714519848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11447] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11447/stat : 11447 (java) S 11422 11433 11378 0 -1 4202560 75 0 0 0 0 6 0 0 20 0 20 0 2876598 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890231573352 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11448] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11448/stat : 11448 (java) S 11422 11433 11378 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2876599 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890230519672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11449] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11449/stat : 11449 (java) S 11422 11433 11378 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 20 0 2876599 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890229466504 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11455] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11455/stat : 11455 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890228415248 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11456] ppid=11422 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/11433/task/11456/stat : 11456 (java) S 11422 11433 11378 0 -1 4202560 7741 0 0 0 114 2 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890227362104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11457] ppid=11422 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/11433/task/11457/stat : 11457 (java) S 11422 11433 11378 0 -1 4202560 13921 0 0 0 127 3 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890226309560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11458] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11458/stat : 11458 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890225256696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11459] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11459/stat : 11459 (java) S 11422 11433 11378 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890224204360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11466] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11466/stat : 11466 (java) S 11422 11433 11378 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2876615 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890221045032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11941] ppid=11422 vsize=9824732 CPUtime=4.84 cores=0,2,4,6 /proc/11433/task/11941/stat : 11941 (java) R 11422 11433 11378 0 -1 4202560 4 0 0 0 484 0 0 0 20 0 20 0 2881110 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890222095368 139890726445214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 39.45 Current children cumulated vsize (KiB) 9824732 [startup+50.4008 s] /proc/loadavg: 1.98 1.95 1.89 2/214 12019 /proc/meminfo: memFree=31599676/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=40.17 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 26456 0 1 0 3864 153 0 0 20 0 20 0 2876596 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 49718 2287 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.39 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2423 0 1 0 36 3 0 0 20 0 20 0 2876596 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11437] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11437/stat : 11437 (java) S 11422 11433 11378 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890850802600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11438] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11438/stat : 11438 (java) S 11422 11433 11378 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890849750056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11439] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11439/stat : 11439 (java) S 11422 11433 11378 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890848697000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11440] ppid=11422 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/11433/task/11440/stat : 11440 (java) S 11422 11433 11378 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890847644456 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11441] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11441/stat : 11441 (java) S 11422 11433 11378 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890846591400 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11442] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11442/stat : 11442 (java) S 11422 11433 11378 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890845538856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11443] ppid=11422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/11433/task/11443/stat : 11443 (java) S 11422 11433 11378 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890844485800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11444] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11444/stat : 11444 (java) S 11422 11433 11378 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 20 0 2876597 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890714519848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11447] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11447/stat : 11447 (java) S 11422 11433 11378 0 -1 4202560 75 0 0 0 0 6 0 0 20 0 20 0 2876598 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890231573352 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11448] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11448/stat : 11448 (java) S 11422 11433 11378 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2876599 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890230519672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11449] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11449/stat : 11449 (java) S 11422 11433 11378 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 20 0 2876599 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890229466504 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11455] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11455/stat : 11455 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890228415248 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11456] ppid=11422 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/11433/task/11456/stat : 11456 (java) S 11422 11433 11378 0 -1 4202560 7741 0 0 0 114 2 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890227362104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11457] ppid=11422 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/11433/task/11457/stat : 11457 (java) S 11422 11433 11378 0 -1 4202560 13921 0 0 0 127 3 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890226309560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11458] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11458/stat : 11458 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890225256696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11459] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11459/stat : 11459 (java) S 11422 11433 11378 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 2876601 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890224204360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11466] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11466/stat : 11466 (java) S 11422 11433 11378 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2876615 10060525568 49718 33554432000 1073741824 1073778376 140734766420048 139890221045032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 40.17 Current children cumulated vsize (KiB) 9824732 [startup+50.5008 s] /proc/loadavg: 1.98 1.95 1.89 2/214 12019 /proc/meminfo: memFree=31599676/32872528 swapFree=8040/8040 [pid=11433] ppid=11422 vsize=9824732 CPUtime=40.25 cores=0,2,4,6 /proc/11433/stat : 11433 (java) S 11422 11433 11378 0 -1 4202496 26456 0 1 0 3871 154 0 0 20 0 19 0 2876596 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 140734766411184 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11433/statm: 2456183 49716 2287 9 0 2446860 0 [pid=11433/tid=11434] ppid=11422 vsize=9824732 CPUtime=0.39 cores=0,2,4,6 /proc/11433/task/11434/stat : 11434 (java) S 11422 11433 11378 0 -1 4202560 2423 0 1 0 36 3 0 0 20 0 19 0 2876596 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890878350200 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11437] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11437/stat : 11437 (java) S 11422 11433 11378 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 19 0 2876597 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890850802600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11438] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11438/stat : 11438 (java) S 11422 11433 11378 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 2876597 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890849750056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11439] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11439/stat : 11439 (java) S 11422 11433 11378 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 19 0 2876597 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890848697000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11440] ppid=11422 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/11433/task/11440/stat : 11440 (java) S 11422 11433 11378 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 19 0 2876597 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890847644456 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11441] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11441/stat : 11441 (java) S 11422 11433 11378 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 19 0 2876597 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890846591400 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11433/tid=11442] ppid=11422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/11433/task/11442/stat : 11442 (java) S 11422 11433 11378 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 2876597 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890845538856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11443] ppid=11422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/11433/task/11443/stat : 11443 (java) S 11422 11433 11378 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 19 0 2876597 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890844485800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11444] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11444/stat : 11444 (java) S 11422 11433 11378 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 19 0 2876597 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890714519848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11447] ppid=11422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/11433/task/11447/stat : 11447 (java) S 11422 11433 11378 0 -1 4202560 75 0 0 0 0 6 0 0 20 0 19 0 2876598 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890231573352 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11448] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11448/stat : 11448 (java) S 11422 11433 11378 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2876599 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890230519672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11449] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11449/stat : 11449 (java) S 11422 11433 11378 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 2876599 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890229466504 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11455] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11455/stat : 11455 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876601 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890228415248 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11433/tid=11456] ppid=11422 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/11433/task/11456/stat : 11456 (java) S 11422 11433 11378 0 -1 4202560 7741 0 0 0 114 2 0 0 20 0 19 0 2876601 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890227362104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11457] ppid=11422 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/11433/task/11457/stat : 11457 (java) S 11422 11433 11378 0 -1 4202560 13921 0 0 0 127 3 0 0 20 0 19 0 2876601 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890226309560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11458] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11458/stat : 11458 (java) S 11422 11433 11378 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2876601 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890225256696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11433/tid=11459] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11459/stat : 11459 (java) S 11422 11433 11378 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 2876601 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890224204360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11433/tid=11466] ppid=11422 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11433/task/11466/stat : 11466 (java) S 11422 11433 11378 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2876615 10060525568 49716 33554432000 1073741824 1073778376 140734766420048 139890221045032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 40.25 Current children cumulated vsize (KiB) 9824732 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.00999999 # lost CPU user time (s): 0.00999999 # lost CPU system time (s): 0 Real time (s): 50.5855 CPU time (s): 40.4678 CPU user time (s): 38.7661 CPU system time (s): 1.70174 CPU usage (%): 79.999 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.7561 system time used= 1.70174 maximum resident set size= 215932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26468 page faults= 1 swaps= 0 block input operations= 72 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3777 involuntary context switches= 1536 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.373943 second user time and 0.376942 second system time The end
Begin job on node151 at 2016-06-30 23:26:51 IDJOB=4092306 IDBENCH=79233 IDSOLVER=2552 FILE ID=node151/4092306-1467322011 RUNJOBID= node151-1467322011-11394 PBS_JOBID= 20005377 Free space on /tmp= 71716 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092306-1467322011/watcher-4092306-1467322011 -o /tmp/evaluation-result-4092306-1467322011/solver-4092306-1467322011 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467322011-11394 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092306-1467322011.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0635b24c475a73287c5e15439a6c459f RANDOM SEED=1168354212 node151.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.608 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 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.608 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.608 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.608 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.608 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.72 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.608 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: 31846728 kB Buffers: 73312 kB Cached: 199260 kB SwapCached: 0 kB Active: 181064 kB Inactive: 105112 kB Active(anon): 16672 kB Inactive(anon): 0 kB Active(file): 164392 kB Inactive(file): 105112 kB Unevictable: 8040 kB Mlocked: 8040 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1576 kB Writeback: 0 kB AnonPages: 22440 kB Mapped: 13488 kB Shmem: 204 kB Slab: 600156 kB SReclaimable: 44332 kB SUnreclaim: 555824 kB KernelStack: 1328 kB PageTables: 4420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 119440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node151 at 2016-06-30 23:27:41