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 | 32.649 | 48.0644 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo |
| MD5SUM | d7224815986b77e3e6ab0ebb98086e1f |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 5.38818 |
| 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 | 1255 |
| 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.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/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.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/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.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4110245-1467321732.wbo 0.09/0.11 c reading problem ... 0.09/0.18 c ... done. Wall clock time 0.065s. 0.09/0.18 c declared #vars 169 0.09/0.18 c internal #vars 270 0.09/0.18 c #constraints 101 0.09/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.18 c constraints type 0.09/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.09/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.09/0.18 c 101 constraints processed. 0.09/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.18 c constraints type 0.09/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.09/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.09/0.18 c 101 constraints processed. 0.09/0.18 c objective function length is 101 literals 1.05/0.41 c And the winner is solver0 1.34/0.68 c SATISFIABLE 1.34/0.68 c OPTIMIZING... 1.34/0.68 c Got one! Elapsed wall clock time (in seconds):0.57 1.34/0.68 o 959 1.34/0.69 c And the winner is solver0 1.35/1.18 c Got one! Elapsed wall clock time (in seconds):1.071 1.35/1.18 o 737 1.35/1.19 c And the winner is solver0 1.43/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 1.43/1.69 o 443 1.45/1.70 c And the winner is solver0 1.51/2.19 c Got one! Elapsed wall clock time (in seconds):2.075 1.51/2.19 o 438 1.51/2.19 c And the winner is solver0 1.52/2.69 c Got one! Elapsed wall clock time (in seconds):2.576 1.52/2.69 o 427 1.53/2.73 c And the winner is solver0 1.64/3.19 c Got one! Elapsed wall clock time (in seconds):3.078 1.64/3.19 o 426 1.64/3.20 c And the winner is solver0 1.65/3.69 c Got one! Elapsed wall clock time (in seconds):3.579 1.65/3.69 o 419 1.65/3.70 c And the winner is solver0 1.66/4.19 c Got one! Elapsed wall clock time (in seconds):4.081 1.66/4.19 o 414 1.66/4.20 c And the winner is solver0 1.66/4.69 c Got one! Elapsed wall clock time (in seconds):4.582 1.66/4.69 o 395 1.66/4.71 c And the winner is solver0 1.74/5.20 c Got one! Elapsed wall clock time (in seconds):5.083 1.74/5.20 o 379 1.74/5.22 c And the winner is solver0 1.85/5.70 c Got one! Elapsed wall clock time (in seconds):5.584 1.85/5.70 o 378 1.85/5.71 c And the winner is solver0 1.90/6.20 c Got one! Elapsed wall clock time (in seconds):6.086 1.90/6.20 o 364 1.90/6.21 c And the winner is solver0 1.91/6.70 c Got one! Elapsed wall clock time (in seconds):6.587 1.91/6.70 o 355 1.91/6.74 c And the winner is solver0 2.04/7.20 c Got one! Elapsed wall clock time (in seconds):7.089 2.04/7.20 o 337 2.04/7.24 c And the winner is solver0 2.16/7.70 c Got one! Elapsed wall clock time (in seconds):7.59 2.16/7.70 o 321 2.16/7.71 c And the winner is solver0 2.17/8.20 c Got one! Elapsed wall clock time (in seconds):8.091 2.17/8.20 o 317 2.17/8.24 c And the winner is solver0 2.35/8.70 c Got one! Elapsed wall clock time (in seconds):8.592 2.35/8.70 o 316 3.09/9.00 c cleaning 5200 clauses out of 10400 with flag 20730/10400 3.30/9.20 c And the winner is solver0 3.51/9.26 c Got one! Elapsed wall clock time (in seconds):9.144 3.51/9.26 o 307 3.67/9.32 c cleaning 5154 clauses out of 10311 with flag 3766/15511 3.87/9.48 c And the winner is solver0 4.14/9.76 c Got one! Elapsed wall clock time (in seconds):9.645 4.14/9.76 o 299 4.21/9.82 c And the winner is solver0 4.32/10.26 c Got one! Elapsed wall clock time (in seconds):10.146 4.32/10.26 o 298 4.40/10.32 c cleaning 5446 clauses out of 10901 with flag 3555/21255 4.40/10.37 c And the winner is solver0 4.61/10.76 c Got one! Elapsed wall clock time (in seconds):10.647 4.61/10.76 o 297 4.61/10.77 c And the winner is solver0 4.66/11.26 c Got one! Elapsed wall clock time (in seconds):11.148 4.66/11.26 o 296 4.66/11.27 c And the winner is solver0 4.66/11.76 c Got one! Elapsed wall clock time (in seconds):11.65 4.66/11.76 o 284 4.72/11.81 c And the winner is solver0 4.79/12.26 c Got one! Elapsed wall clock time (in seconds):12.151 4.79/12.26 o 282 4.79/12.27 c And the winner is solver0 4.90/12.76 c Got one! Elapsed wall clock time (in seconds):12.652 4.90/12.76 o 278 4.90/12.79 c And the winner is solver0 5.03/13.27 c Got one! Elapsed wall clock time (in seconds):13.153 5.03/13.27 o 272 5.03/13.27 c And the winner is solver0 5.04/13.77 c Got one! Elapsed wall clock time (in seconds):13.654 5.04/13.77 o 263 5.10/13.87 c And the winner is solver0 5.32/14.27 c Got one! Elapsed wall clock time (in seconds):14.156 5.32/14.27 o 259 5.32/14.28 c And the winner is solver0 5.34/14.77 c Got one! Elapsed wall clock time (in seconds):14.657 5.34/14.77 o 255 5.34/14.78 c And the winner is solver0 5.36/15.27 c Got one! Elapsed wall clock time (in seconds):15.157 5.36/15.27 o 230 5.62/15.43 c And the winner is solver0 5.72/15.77 c Got one! Elapsed wall clock time (in seconds):15.659 5.72/15.77 o 229 5.76/15.82 c And the winner is solver0 5.86/16.27 c Got one! Elapsed wall clock time (in seconds):16.16 5.86/16.27 o 221 5.91/16.35 c cleaning 7549 clauses out of 15125 with flag 3767/30925 5.91/16.36 c And the winner is solver0 6.11/16.77 c Got one! Elapsed wall clock time (in seconds):16.661 6.11/16.77 o 220 6.11/16.80 c And the winner is solver0 6.22/17.27 c Got one! Elapsed wall clock time (in seconds):17.162 6.22/17.27 o 210 6.27/17.30 c And the winner is solver0 6.35/17.78 c Got one! Elapsed wall clock time (in seconds):17.663 6.35/17.78 o 204 6.58/17.99 c And the winner is solver0 6.88/18.28 c Got one! Elapsed wall clock time (in seconds):18.164 6.88/18.28 o 203 6.88/18.28 c And the winner is solver0 6.90/18.78 c Got one! Elapsed wall clock time (in seconds):18.665 6.90/18.78 o 197 6.95/18.85 c cleaning 7033 clauses out of 14075 with flag 4181/37424 7.13/18.97 c And the winner is solver0 7.34/19.28 c Got one! Elapsed wall clock time (in seconds):19.166 7.34/19.28 o 193 7.37/19.30 c And the winner is solver0 7.45/19.78 c Got one! Elapsed wall clock time (in seconds):19.667 7.45/19.78 o 189 7.45/19.79 c And the winner is solver0 7.56/20.28 c Got one! Elapsed wall clock time (in seconds):20.167 7.56/20.28 o 184 7.59/20.31 c And the winner is solver0 7.68/20.78 c Got one! Elapsed wall clock time (in seconds):20.668 7.68/20.78 o 183 7.71/20.84 c And the winner is solver0 7.83/21.28 c Got one! Elapsed wall clock time (in seconds):21.169 7.83/21.28 o 182 7.83/21.29 c And the winner is solver0 7.86/21.78 c Got one! Elapsed wall clock time (in seconds):21.67 7.86/21.78 o 171 7.86/21.79 c And the winner is solver0 7.88/22.28 c Got one! Elapsed wall clock time (in seconds):22.171 7.88/22.28 o 170 7.90/22.34 c And the winner is solver0 8.04/22.78 c Got one! Elapsed wall clock time (in seconds):22.672 8.04/22.78 o 161 8.04/22.84 c And the winner is solver0 8.20/23.29 c Got one! Elapsed wall clock time (in seconds):23.173 8.20/23.29 o 160 8.22/23.35 c cleaning 7429 clauses out of 14857 with flag 4080/45239 8.22/23.38 c And the winner is solver0 8.44/23.79 c Got one! Elapsed wall clock time (in seconds):23.674 8.44/23.79 o 143 8.44/23.81 c And the winner is solver0 8.55/24.29 c Got one! Elapsed wall clock time (in seconds):24.175 8.55/24.29 o 140 8.58/24.30 c And the winner is solver0 8.66/24.79 c Got one! Elapsed wall clock time (in seconds):24.676 8.66/24.79 o 138 8.69/24.86 c And the winner is solver0 8.86/25.29 c Got one! Elapsed wall clock time (in seconds):25.177 8.86/25.29 o 125 8.89/25.35 c And the winner is solver0 9.01/25.79 c Got one! Elapsed wall clock time (in seconds):25.678 9.01/25.79 o 121 9.02/25.84 c And the winner is solver0 9.20/26.29 c Got one! Elapsed wall clock time (in seconds):26.179 9.20/26.29 o 119 9.42/26.50 c cleaning 7422 clauses out of 14850 with flag 12095/52661 9.95/26.62 c And the winner is solver0 10.20/26.79 c Got one! Elapsed wall clock time (in seconds):26.68 10.20/26.79 o 115 10.24/26.81 c And the winner is solver0 10.28/27.29 c Got one! Elapsed wall clock time (in seconds):27.181 10.28/27.29 o 112 10.29/27.30 c And the winner is solver0 10.30/27.79 c Got one! Elapsed wall clock time (in seconds):27.682 10.30/27.79 o 111 10.31/27.81 c And the winner is solver0 10.35/28.30 c Got one! Elapsed wall clock time (in seconds):28.183 10.35/28.30 o 110 10.35/28.31 c And the winner is solver0 10.39/28.80 c Got one! Elapsed wall clock time (in seconds):28.684 10.39/28.80 o 105 10.39/28.85 c And the winner is solver0 10.54/29.30 c Got one! Elapsed wall clock time (in seconds):29.185 10.54/29.30 o 102 10.54/29.36 c And the winner is solver0 10.71/29.80 c Got one! Elapsed wall clock time (in seconds):29.686 10.71/29.80 o 101 10.73/29.86 c And the winner is solver0 10.91/30.30 c Got one! Elapsed wall clock time (in seconds):30.187 10.91/30.30 o 99 10.91/30.35 c And the winner is solver0 11.10/30.80 c Got one! Elapsed wall clock time (in seconds):30.688 11.10/30.80 o 86 11.11/30.81 c And the winner is solver0 11.15/31.30 c Got one! Elapsed wall clock time (in seconds):31.189 11.15/31.30 o 82 11.15/31.38 c cleaning 7961 clauses out of 15930 with flag 3432/61163 11.67/31.54 c And the winner is solver0 12.04/31.80 c Got one! Elapsed wall clock time (in seconds):31.691 12.04/31.80 o 80 12.23/31.92 c cleaning 6791 clauses out of 13598 with flag 7985/66792 12.43/32.07 c And the winner is solver0 12.59/32.30 c Got one! Elapsed wall clock time (in seconds):32.192 12.59/32.30 o 73 12.59/32.32 c And the winner is solver0 12.65/32.81 c Got one! Elapsed wall clock time (in seconds):32.694 12.65/32.81 o 66 12.65/32.82 c And the winner is solver0 12.69/33.31 c Got one! Elapsed wall clock time (in seconds):33.195 12.69/33.31 o 64 12.86/33.41 c cleaning 6285 clauses out of 12587 with flag 7315/72572 12.86/33.46 c And the winner is solver0 13.01/33.81 c Got one! Elapsed wall clock time (in seconds):33.702 13.01/33.81 o 56 13.17/33.99 c cleaning 5650 clauses out of 11314 with flag 14991/77584 13.37/34.00 c And the winner is solver0 13.39/34.32 c Got one! Elapsed wall clock time (in seconds):34.204 13.39/34.32 o 54 13.75/34.53 c cleaning 5529 clauses out of 11058 with flag 17897/82978 13.75/34.58 c And the winner is solver0 13.94/34.82 c Got one! Elapsed wall clock time (in seconds):34.706 13.94/34.82 o 52 14.10/34.99 c cleaning 5415 clauses out of 10850 with flag 15069/88299 14.30/35.08 c And the winner is solver0 14.48/35.32 c Got one! Elapsed wall clock time (in seconds):35.208 14.48/35.32 o 49 14.64/35.45 c cleaning 5285 clauses out of 10577 with flag 11109/93441 15.24/35.70 c cleaning 5644 clauses out of 11295 with flag 35353/99444 15.64/35.98 c And the winner is solver0 15.83/36.33 c Got one! Elapsed wall clock time (in seconds):36.219 15.83/36.33 o 47 16.16/36.56 c And the winner is solver0 16.35/36.83 c Got one! Elapsed wall clock time (in seconds):36.721 16.35/36.83 o 45 16.35/36.88 c And the winner is solver0 16.51/37.34 c Got one! Elapsed wall clock time (in seconds):37.224 16.51/37.34 o 44 16.65/37.42 c cleaning 9148 clauses out of 18295 with flag 4405/112088 17.25/37.70 c cleaning 7570 clauses out of 15146 with flag 27284/118088 17.25/37.71 c And the winner is solver0 17.27/37.84 c Got one! Elapsed wall clock time (in seconds):37.727 17.27/37.84 o 36 17.58/38.04 c cleaning 6399 clauses out of 12807 with flag 17807/123319 17.99/38.28 c cleaning 6200 clauses out of 12407 with flag 38959/129318 18.40/38.42 c And the winner is solver0 18.50/38.84 c Got one! Elapsed wall clock time (in seconds):38.73 18.50/38.84 o 34 18.50/38.87 c And the winner is solver0 18.58/39.34 c Got one! Elapsed wall clock time (in seconds):39.232 18.58/39.34 o 32 18.68/39.44 c cleaning 6301 clauses out of 12607 with flag 6786/135718 18.68/39.50 c And the winner is solver0 18.89/39.85 c Got one! Elapsed wall clock time (in seconds):39.735 18.89/39.85 o 29 19.19/40.00 c cleaning 5943 clauses out of 11904 with flag 13973/141316 19.59/40.24 c cleaning 5971 clauses out of 11960 with flag 34608/147316 20.19/40.52 c cleaning 6493 clauses out of 12991 with flag 57941/154318 20.60/40.71 c And the winner is solver0 21.21/41.35 c Got one! Elapsed wall clock time (in seconds):41.239 21.21/41.35 o 26 21.35/41.41 c cleaning 6220 clauses out of 12446 with flag 3806/160267 21.75/41.67 c cleaning 6108 clauses out of 12226 with flag 26653/166267 22.37/41.95 c cleaning 6560 clauses out of 13119 with flag 51926/173268 22.76/42.10 c And the winner is solver0 22.83/42.36 c Got one! Elapsed wall clock time (in seconds):42.243 22.83/42.36 o 25 22.91/42.45 c cleaning 6084 clauses out of 12179 with flag 8070/178888 23.51/42.71 c cleaning 6041 clauses out of 12095 with flag 31207/184888 24.12/43.01 c cleaning 6522 clauses out of 13054 with flag 58363/191888 24.71/43.37 c cleaning 7263 clauses out of 14531 with flag 87287/199888 25.51/43.77 c cleaning 8131 clauses out of 16271 with flag 119586/208892 26.51/44.23 c cleaning 9068 clauses out of 18136 with flag 158744/218888 27.11/44.56 c And the winner is solver0 27.29/44.86 c Got one! Elapsed wall clock time (in seconds):44.747 27.29/44.86 o 21 27.77/45.14 c cleaning 10767 clauses out of 21546 with flag 19084/231367 28.36/45.42 c cleaning 8382 clauses out of 16777 with flag 41485/237366 28.96/45.72 c cleaning 7692 clauses out of 15396 with flag 67996/244367 29.16/45.83 c And the winner is solver0 29.31/45.97 c Got one! Elapsed wall clock time (in seconds):45.851 29.31/45.97 o 10 29.41/46.06 c cleaning 6372 clauses out of 12756 with flag 7596/249419 29.83/46.29 c cleaning 6189 clauses out of 12384 with flag 30263/255420 30.41/46.58 c cleaning 6595 clauses out of 13190 with flag 56088/262419 30.81/46.79 c And the winner is solver0 31.21/47.02 c Got one! Elapsed wall clock time (in seconds):46.906 31.21/47.02 o 8 31.58/47.27 c cleaning 8708 clauses out of 17420 with flag 18439/273248 31.79/47.31 c And the winner is solver0 31.99/47.52 c Got one! Elapsed wall clock time (in seconds):47.412 31.99/47.52 o 4 32.32/47.71 c cleaning 6914 clauses out of 13827 with flag 16220/278365 32.32/47.75 c And the winner is solver0 32.49/48.05 c >>>>>>>>>> Solver number 0 (84 answers) <<<<<<<<<<<<<<<<<< 32.49/48.05 c starts : 255 32.49/48.05 c conflicts : 279605 32.49/48.05 c decisions : 491857 32.49/48.05 c propagations : 8469845 32.49/48.05 c inspects : 127487783 32.49/48.05 c shortcuts : 0 32.49/48.05 c learnt literals : 30 32.49/48.05 c learnt binary clauses : 42 32.49/48.05 c learnt ternary clauses : 801 32.49/48.05 c learnt constraints : 279574 32.49/48.05 c ignored constraints : 0 32.49/48.05 c root simplifications : 0 32.49/48.05 c removed literals (reason simplification) : 208378 32.49/48.05 c reason swapping (by a shorter reason) : 0 32.49/48.05 c Calls to reduceDB : 40 32.49/48.05 c Number of update (reduction) of LBD : 82616 32.49/48.05 c Imported unit clauses : 0 32.49/48.05 c number of reductions to clauses (during analyze) : 0 32.49/48.05 c number of learned constraints concerned by reduction : 0 32.49/48.05 c number of learning phase by resolution : 0 32.49/48.05 c number of learning phase by cutting planes : 0 32.49/48.05 c speed (assignments/second) : 176941.69382468454 32.49/48.05 c non guided choices 4207 32.49/48.05 c learnt constraints type 32.49/48.05 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 32.49/48.05 c starts : 84 32.49/48.05 c conflicts : 307 32.49/48.05 c decisions : 10033 32.49/48.05 c propagations : 26773 32.49/48.05 c inspects : 801269 32.49/48.05 c shortcuts : 0 32.49/48.05 c learnt literals : 0 32.49/48.05 c learnt binary clauses : 0 32.49/48.05 c learnt ternary clauses : 0 32.49/48.05 c learnt constraints : 241 32.49/48.05 c ignored constraints : 0 32.49/48.05 c root simplifications : 0 32.49/48.05 c removed literals (reason simplification) : 0 32.49/48.05 c reason swapping (by a shorter reason) : 0 32.49/48.05 c Calls to reduceDB : 0 32.49/48.05 c Number of update (reduction) of LBD : 0 32.49/48.05 c Imported unit clauses : 0 32.49/48.05 c number of reductions to clauses (during analyze) : 0 32.49/48.05 c number of learned constraints concerned by reduction : 0 32.49/48.05 c number of learning phase by resolution : 0 32.49/48.05 c number of learning phase by cutting planes : 0 32.49/48.05 c speed (assignments/second) : 52393.34637964775 32.49/48.05 c non guided choices 1825 32.49/48.05 c learnt constraints type 32.49/48.05 s OPTIMUM FOUND 32.49/48.05 c Found 83 solution(s) 32.49/48.05 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 32.49/48.05 c objective function=4 32.49/48.05 c Total wall clock time (in seconds): 47.942
OK 4
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-4110245-1467321732/watcher-4110245-1467321732 -o /tmp/evaluation-result-4110245-1467321732/solver-4110245-1467321732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467318834-9455 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110245-1467321732.wbo pid=21958 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.48 0.41 0.54 2/169 21961 /proc/meminfo: memFree=31161060/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/21961/stat : 21961 (java) R 21958 21961 4291 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 2850792 9515008 141 33554432000 1073741824 1073778376 140734948728080 140734948725208 262962426548 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2323 147 107 9 0 71 0 [startup+0.100154 s] /proc/loadavg: 0.48 0.41 0.54 2/169 21961 /proc/meminfo: memFree=31161060/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 4421 0 1 0 9 0 0 0 20 0 18 0 2850792 9787879424 6037 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2389619 6037 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200231 s] /proc/loadavg: 0.48 0.41 0.54 2/169 21961 /proc/meminfo: memFree=31161060/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 4831 0 1 0 24 1 0 0 20 0 22 0 2850792 10060525568 7915 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 7915 2221 9 0 2446860 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9824732 [startup+0.300233 s] /proc/loadavg: 0.48 0.41 0.54 2/169 21961 /proc/meminfo: memFree=31161060/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 7879 0 1 0 63 1 0 0 20 0 22 0 2850792 10060525568 10184 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 10184 2250 9 0 2446860 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 9824732 [startup+0.700297 s] /proc/loadavg: 0.48 0.41 0.54 2/169 21961 /proc/meminfo: memFree=31161060/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=1.34 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 15393 0 1 0 129 5 0 0 20 0 19 0 2850792 10060525568 15955 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 15955 2253 9 0 2446860 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 0.48 0.41 0.54 1/188 21986 /proc/meminfo: memFree=31105052/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=1.43 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 15519 0 1 0 138 5 0 0 20 0 19 0 2850792 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 17607 2253 9 0 2446860 0 [pid=21961/tid=21963] ppid=21958 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/21961/task/21963/stat : 21963 (java) S 21958 21961 4291 0 -1 4202560 2416 0 1 0 16 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385281196920 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21964] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21964/stat : 21964 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385242688424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21965] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21965/stat : 21965 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385241635880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21966] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21966/stat : 21966 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385240582824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21961/tid=21967] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21967/stat : 21967 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385239530280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21968] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21968/stat : 21968 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385238477224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21969] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21969/stat : 21969 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385237424680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21970] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21970/stat : 21970 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385236371624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21971] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21971/stat : 21971 (java) S 21958 21961 4291 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385235319080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21972] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21972/stat : 21972 (java) S 21958 21961 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2850794 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385105124200 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21973] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21973/stat : 21973 (java) S 21958 21961 4291 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2850795 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385104070520 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21974] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21974/stat : 21974 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2850795 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385103017352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21975] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21975/stat : 21975 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385101966096 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21976] ppid=21958 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/21961/task/21976/stat : 21976 (java) S 21958 21961 4291 0 -1 4202560 4509 0 0 0 38 0 0 0 20 0 19 0 2850797 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140385100912952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21977] ppid=21958 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/21961/task/21977/stat : 21977 (java) S 21958 21961 4291 0 -1 4202560 7243 0 0 0 36 2 0 0 20 0 19 0 2850797 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140384227289528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21978] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21978/stat : 21978 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140384226236664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21979] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21979/stat : 21979 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140384225184328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21982] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21982/stat : 21982 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2850811 10060525568 17607 33554432000 1073741824 1073778376 140734948728080 140384222025000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 0.48 0.41 0.54 2/188 21995 /proc/meminfo: memFree=31092152/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 15573 0 1 0 156 8 0 0 20 0 19 0 2850792 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 22240 2256 9 0 2446860 0 [pid=21961/tid=21963] ppid=21958 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/21961/task/21963/stat : 21963 (java) S 21958 21961 4291 0 -1 4202560 2417 0 1 0 16 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385281196920 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21964] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21964/stat : 21964 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385242688424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21965] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21965/stat : 21965 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385241635880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21966] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21966/stat : 21966 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385240582824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21961/tid=21967] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21967/stat : 21967 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385239530280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21968] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21968/stat : 21968 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385238477224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21969] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21969/stat : 21969 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385237424680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21970] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21970/stat : 21970 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385236371624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21971] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21971/stat : 21971 (java) S 21958 21961 4291 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385235319080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21972] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21972/stat : 21972 (java) S 21958 21961 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2850794 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385105124200 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21973] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21973/stat : 21973 (java) S 21958 21961 4291 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2850795 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385104070520 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21974] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21974/stat : 21974 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2850795 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385103017352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21975] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21975/stat : 21975 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385101966096 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21976] ppid=21958 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/21961/task/21976/stat : 21976 (java) S 21958 21961 4291 0 -1 4202560 4512 0 0 0 41 0 0 0 20 0 19 0 2850797 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140385100912952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21977] ppid=21958 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/21961/task/21977/stat : 21977 (java) S 21958 21961 4291 0 -1 4202560 7265 0 0 0 45 2 0 0 20 0 19 0 2850797 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140384227289528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21978] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21978/stat : 21978 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140384226236664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21979] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21979/stat : 21979 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140384225184328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21982] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21982/stat : 21982 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2850811 10060525568 22240 33554432000 1073741824 1073778376 140734948728080 140384222025000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30082 s] /proc/loadavg: 0.44 0.40 0.53 1/188 22013 /proc/meminfo: memFree=31057704/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 15714 0 1 0 176 15 0 0 20 0 19 0 2850792 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 31244 2265 9 0 2446860 0 [pid=21961/tid=21963] ppid=21958 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/21961/task/21963/stat : 21963 (java) S 21958 21961 4291 0 -1 4202560 2420 0 1 0 17 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385281196920 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21964] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21964/stat : 21964 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385242688424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21965] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21965/stat : 21965 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385241635880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21966] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21966/stat : 21966 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385240582824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21961/tid=21967] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21967/stat : 21967 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385239530280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21968] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21968/stat : 21968 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385238477224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21969] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21969/stat : 21969 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385237424680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21970] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21970/stat : 21970 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385236371624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21971] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21971/stat : 21971 (java) S 21958 21961 4291 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2850793 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385235319080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21972] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21972/stat : 21972 (java) S 21958 21961 4291 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 2850794 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385105124200 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21961/tid=21973] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21973/stat : 21973 (java) S 21958 21961 4291 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2850795 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385104070520 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21974] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21974/stat : 21974 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2850795 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385103017352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21975] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21975/stat : 21975 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385101966096 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21976] ppid=21958 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/21961/task/21976/stat : 21976 (java) S 21958 21961 4291 0 -1 4202560 4514 0 0 0 43 0 0 0 20 0 19 0 2850797 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140385100912952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21977] ppid=21958 vsize=9824732 CPUtime=0.59 cores=1,3,5,7 /proc/21961/task/21977/stat : 21977 (java) S 21958 21961 4291 0 -1 4202560 7307 0 0 0 57 2 0 0 20 0 19 0 2850797 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140384227289528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21978] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21978/stat : 21978 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140384226236664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21979] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21979/stat : 21979 (java) S 21958 21961 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140384225184328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21982] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21982/stat : 21982 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2850811 10060525568 31244 33554432000 1073741824 1073778376 140734948728080 140384222025000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.91 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=21961/tid=21969] ppid=21958 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/21961/task/21969/stat : 21969 (java) S 21958 21961 4291 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 2850793 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140385237424680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21970] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21970/stat : 21970 (java) S 21958 21961 4291 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 2850793 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140385236371624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21971] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21971/stat : 21971 (java) S 21958 21961 4291 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 22 0 2850793 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140385235319080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21972] ppid=21958 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/21961/task/21972/stat : 21972 (java) S 21958 21961 4291 0 -1 4202560 20 0 0 0 1 9 0 0 20 0 22 0 2850794 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140385105124200 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21973] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21973/stat : 21973 (java) S 21958 21961 4291 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2850795 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140385104070520 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21974] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21974/stat : 21974 (java) S 21958 21961 4291 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 2850795 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140385103017352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21975] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21975/stat : 21975 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140385101966096 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21976] ppid=21958 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/21961/task/21976/stat : 21976 (java) S 21958 21961 4291 0 -1 4202560 9760 0 0 0 100 2 0 0 20 0 22 0 2850797 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140385100912952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21977] ppid=21958 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/21961/task/21977/stat : 21977 (java) S 21958 21961 4291 0 -1 4202560 11603 0 0 0 142 3 0 0 20 0 22 0 2850797 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140384227289528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21978] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21978/stat : 21978 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140384226236664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21979] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21979/stat : 21979 (java) S 21958 21961 4291 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140384225184328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21982] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21982/stat : 21982 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2850811 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140384222025000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=22224] ppid=21958 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/21961/task/22224/stat : 22224 (java) R 21958 21961 4291 0 -1 4202560 3 0 0 0 41 0 0 0 20 0 22 0 2855389 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140384224131816 140385116964438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=22225] ppid=21958 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/21961/task/22225/stat : 22225 (java) R 21958 21961 4291 0 -1 4202560 2 0 0 0 41 0 0 0 20 0 22 0 2855389 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140384220971864 140385117051773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=22226] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/22226/stat : 22226 (java) S 21958 21961 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2855390 10060525568 51727 33554432000 1073741824 1073778376 140734948728080 140384223077160 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 30.21 Current children cumulated vsize (KiB) 9824732 [startup+47.2009 s] /proc/loadavg: 0.53 0.43 0.54 3/191 22226 /proc/meminfo: memFree=30960928/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=31.58 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 26035 0 1 0 3005 153 0 0 20 0 22 0 2850792 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 51791 2286 9 0 2446860 0 [pid=21961/tid=21963] ppid=21958 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/21961/task/21963/stat : 21963 (java) S 21958 21961 4291 0 -1 4202560 2424 0 1 0 23 2 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385281196920 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21964] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21964/stat : 21964 (java) S 21958 21961 4291 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385242688424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21961/tid=21965] ppid=21958 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21961/task/21965/stat : 21965 (java) S 21958 21961 4291 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385241635880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21961/tid=21966] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21966/stat : 21966 (java) S 21958 21961 4291 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385240582824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21967] ppid=21958 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/21961/task/21967/stat : 21967 (java) S 21958 21961 4291 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385239530280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21968] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21968/stat : 21968 (java) S 21958 21961 4291 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385238477224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21961/tid=21969] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21969/stat : 21969 (java) S 21958 21961 4291 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385237424680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21970] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21970/stat : 21970 (java) S 21958 21961 4291 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385236371624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21971] ppid=21958 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21961/task/21971/stat : 21971 (java) S 21958 21961 4291 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 22 0 2850793 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385235319080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21972] ppid=21958 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/21961/task/21972/stat : 21972 (java) S 21958 21961 4291 0 -1 4202560 20 0 0 0 1 9 0 0 20 0 22 0 2850794 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385105124200 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21973] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21973/stat : 21973 (java) S 21958 21961 4291 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2850795 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385104070520 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21974] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21974/stat : 21974 (java) S 21958 21961 4291 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 2850795 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385103017352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21975] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21975/stat : 21975 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385101966096 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21976] ppid=21958 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/21961/task/21976/stat : 21976 (java) S 21958 21961 4291 0 -1 4202560 9760 0 0 0 100 2 0 0 20 0 22 0 2850797 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140385100912952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21977] ppid=21958 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/21961/task/21977/stat : 21977 (java) S 21958 21961 4291 0 -1 4202560 11603 0 0 0 142 3 0 0 20 0 22 0 2850797 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140384227289528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21978] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21978/stat : 21978 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140384226236664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21979] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21979/stat : 21979 (java) S 21958 21961 4291 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140384225184328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21982] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21982/stat : 21982 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2850811 10060525568 51791 33554432000 1073741824 1073778376 140734948728080 140384222025000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 31.58 Current children cumulated vsize (KiB) 9824732 [startup+47.6009 s] /proc/loadavg: 0.53 0.43 0.54 3/191 22229 /proc/meminfo: memFree=30960616/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=32.12 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 26051 0 1 0 3057 155 0 0 20 0 22 0 2850792 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 52064 2286 9 0 2446860 0 [pid=21961/tid=21963] ppid=21958 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/21961/task/21963/stat : 21963 (java) S 21958 21961 4291 0 -1 4202560 2424 0 1 0 24 2 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385281196920 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21964] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21964/stat : 21964 (java) S 21958 21961 4291 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385242688424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21965] ppid=21958 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21961/task/21965/stat : 21965 (java) S 21958 21961 4291 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385241635880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21966] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21966/stat : 21966 (java) S 21958 21961 4291 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385240582824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21967] ppid=21958 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/21961/task/21967/stat : 21967 (java) S 21958 21961 4291 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385239530280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21968] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21968/stat : 21968 (java) S 21958 21961 4291 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385238477224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21969] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21969/stat : 21969 (java) S 21958 21961 4291 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385237424680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21970] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21970/stat : 21970 (java) S 21958 21961 4291 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385236371624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21971] ppid=21958 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21961/task/21971/stat : 21971 (java) S 21958 21961 4291 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 22 0 2850793 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385235319080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21972] ppid=21958 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/21961/task/21972/stat : 21972 (java) S 21958 21961 4291 0 -1 4202560 20 0 0 0 1 9 0 0 20 0 22 0 2850794 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385105124200 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21973] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21973/stat : 21973 (java) S 21958 21961 4291 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2850795 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385104070520 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21974] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21974/stat : 21974 (java) S 21958 21961 4291 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 2850795 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385103017352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21975] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21975/stat : 21975 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385101966096 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21976] ppid=21958 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/21961/task/21976/stat : 21976 (java) S 21958 21961 4291 0 -1 4202560 9760 0 0 0 100 2 0 0 20 0 22 0 2850797 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140385100912952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21977] ppid=21958 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/21961/task/21977/stat : 21977 (java) S 21958 21961 4291 0 -1 4202560 11603 0 0 0 142 3 0 0 20 0 22 0 2850797 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140384227289528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21978] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21978/stat : 21978 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140384226236664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21979] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21979/stat : 21979 (java) S 21958 21961 4291 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2850797 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140384225184328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21982] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21982/stat : 21982 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2850811 10060525568 52064 33554432000 1073741824 1073778376 140734948728080 140384222025000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 32.12 Current children cumulated vsize (KiB) 9824732 [startup+48.0008 s] /proc/loadavg: 0.53 0.43 0.54 3/191 22229 /proc/meminfo: memFree=30960616/32872528 swapFree=295864/318348 [pid=21961] ppid=21958 vsize=9824732 CPUtime=32.49 cores=1,3,5,7 /proc/21961/stat : 21961 (java) S 21958 21961 4291 0 -1 4202496 26051 0 1 0 3092 157 0 0 20 0 19 0 2850792 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140734948719216 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21961/statm: 2456183 52058 2286 9 0 2446860 0 [pid=21961/tid=21963] ppid=21958 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/21961/task/21963/stat : 21963 (java) S 21958 21961 4291 0 -1 4202560 2424 0 1 0 24 2 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385281196920 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21964] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21964/stat : 21964 (java) S 21958 21961 4291 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385242688424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21965] ppid=21958 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21961/task/21965/stat : 21965 (java) S 21958 21961 4291 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385241635880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21966] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21966/stat : 21966 (java) S 21958 21961 4291 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385240582824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21967] ppid=21958 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/21961/task/21967/stat : 21967 (java) S 21958 21961 4291 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385239530280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21968] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21968/stat : 21968 (java) S 21958 21961 4291 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385238477224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21969] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21969/stat : 21969 (java) S 21958 21961 4291 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385237424680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21970] ppid=21958 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21961/task/21970/stat : 21970 (java) S 21958 21961 4291 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385236371624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21971] ppid=21958 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/21961/task/21971/stat : 21971 (java) S 21958 21961 4291 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 19 0 2850793 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385235319080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21972] ppid=21958 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/21961/task/21972/stat : 21972 (java) S 21958 21961 4291 0 -1 4202560 20 0 0 0 1 9 0 0 20 0 19 0 2850794 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385105124200 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21973] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21973/stat : 21973 (java) S 21958 21961 4291 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2850795 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385104070520 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21974] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21974/stat : 21974 (java) S 21958 21961 4291 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 2850795 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385103017352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21975] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21975/stat : 21975 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385101966096 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21976] ppid=21958 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/21961/task/21976/stat : 21976 (java) S 21958 21961 4291 0 -1 4202560 9760 0 0 0 100 2 0 0 20 0 19 0 2850797 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140385100912952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21961/tid=21977] ppid=21958 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/21961/task/21977/stat : 21977 (java) S 21958 21961 4291 0 -1 4202560 11603 0 0 0 142 3 0 0 20 0 19 0 2850797 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140384227289528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21978] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21978/stat : 21978 (java) S 21958 21961 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140384226236664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21961/tid=21979] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21979/stat : 21979 (java) S 21958 21961 4291 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 2850797 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140384225184328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21961/tid=21982] ppid=21958 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21961/task/21982/stat : 21982 (java) S 21958 21961 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2850811 10060525568 52058 33554432000 1073741824 1073778376 140734948728080 140384222025000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 32.49 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 48.0644 CPU time (s): 32.649 CPU user time (s): 30.9493 CPU system time (s): 1.69974 CPU usage (%): 67.9277 Max. virtual memory (cumulated for all children) (KiB): 9826340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.9493 system time used= 1.69974 maximum resident set size= 227180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26064 page faults= 1 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3645 involuntary context switches= 914 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.302953 second user time and 0.385941 second system time The end
Begin job on node128 at 2016-06-30 23:22:12 IDJOB=4110245 IDBENCH=79211 IDSOLVER=2552 FILE ID=node128/4110245-1467321732 RUNJOBID= node128-1467318834-9455 PBS_JOBID= 20005249 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110245-1467321732/watcher-4110245-1467321732 -o /tmp/evaluation-result-4110245-1467321732/solver-4110245-1467321732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467318834-9455 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110245-1467321732.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d7224815986b77e3e6ab0ebb98086e1f RANDOM SEED=576608750 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.501 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31161068 kB Buffers: 84260 kB Cached: 555308 kB SwapCached: 0 kB Active: 213440 kB Inactive: 442324 kB Active(anon): 19052 kB Inactive(anon): 4 kB Active(file): 194388 kB Inactive(file): 442320 kB Unevictable: 318348 kB Mlocked: 295864 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 900 kB Writeback: 0 kB AnonPages: 334484 kB Mapped: 13804 kB Shmem: 204 kB Slab: 607492 kB SReclaimable: 51292 kB SUnreclaim: 556200 kB KernelStack: 1376 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 417812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node128 at 2016-06-30 23:23:00