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 | 35.2966 | 46.3573 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo |
| MD5SUM | 9a2a28c5bb6a02365b79a03ef797cc3c |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 9.66653 |
| 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 | 64 |
| 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 | 3426 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3425 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1221 |
| 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.03/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.03/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.12 c See www.sat4j.org for details. 0.03/0.13 c version PB16.v20160501 0.03/0.13 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.13 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.13 c java.vm.version 19.1-b02 0.03/0.13 c java.vm.vendor Sun Microsystems Inc. 0.03/0.13 c sun.arch.data.model 64 0.03/0.13 c java.version 1.6.0_24 0.03/0.13 c os.name Linux 0.03/0.13 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.13 c os.arch amd64 0.03/0.13 c Free memory 501472288 0.03/0.13 c Max memory 7480803328 0.03/0.13 c Total memory 504102912 0.03/0.13 c Number of processors 8 0.03/0.16 c Pseudo Boolean Optimization by upper bound 0.03/0.16 c ManyCore solver with 2 solvers running in parallel 0.03/0.16 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.03/0.16 c --- Begin Solver configuration --- 0.03/0.16 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.03/0.16 c Learn all clauses as in MiniSAT 0.03/0.16 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.03/0.16 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.03/0.16 c Expensive reason simplification 0.03/0.16 c Glucose 2.1 dynamic restart strategy 0.03/0.16 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.03/0.16 c timeout=2147483s 0.03/0.16 c DB Simplification allowed=false 0.03/0.16 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.03/0.16 c --- End Solver configuration --- 0.03/0.16 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.03/0.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.03/0.16 c --- Begin Solver configuration --- 0.03/0.16 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.03/0.16 c Learn all clauses as in MiniSAT 0.03/0.16 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.03/0.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.03/0.16 c No reason simplification 0.03/0.16 c Armin Biere (Picosat) restarts strategy 0.03/0.16 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.03/0.16 c timeout=2147483s 0.03/0.16 c DB Simplification allowed=false 0.03/0.16 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.03/0.16 c --- End Solver configuration --- 0.03/0.16 c solving HOME/instance-4091983-1467321396.wbo 0.03/0.16 c reading problem ... 0.17/0.22 c ... done. Wall clock time 0.067s. 0.17/0.22 c declared #vars 169 0.17/0.22 c internal #vars 233 0.17/0.22 c #constraints 101 0.17/0.23 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.17/0.23 c constraints type 0.17/0.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.17/0.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 30 0.17/0.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41 0.17/0.23 c 101 constraints processed. 0.17/0.23 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.17/0.23 c constraints type 0.17/0.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.17/0.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30 0.17/0.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 41 0.17/0.23 c 101 constraints processed. 0.17/0.23 c objective function length is 64 literals 0.45/0.33 c And the winner is solver0 0.88/0.73 c SATISFIABLE 0.88/0.73 c OPTIMIZING... 0.88/0.73 c Got one! Elapsed wall clock time (in seconds):0.572 0.88/0.73 o 1083 0.88/0.75 c And the winner is solver0 1.05/1.23 c Got one! Elapsed wall clock time (in seconds):1.073 1.05/1.23 o 1071 1.05/1.27 c And the winner is solver0 1.18/1.73 c Got one! Elapsed wall clock time (in seconds):1.574 1.18/1.73 o 627 1.18/1.74 c And the winner is solver0 1.19/2.23 c Got one! Elapsed wall clock time (in seconds):2.075 1.19/2.23 o 623 1.19/2.25 c And the winner is solver0 1.29/2.73 c Got one! Elapsed wall clock time (in seconds):2.576 1.29/2.73 o 611 1.29/2.77 c And the winner is solver0 1.52/3.23 c Got one! Elapsed wall clock time (in seconds):3.077 1.52/3.23 o 605 1.52/3.25 c And the winner is solver0 1.54/3.74 c Got one! Elapsed wall clock time (in seconds):3.578 1.54/3.74 o 604 1.71/3.83 c And the winner is solver0 1.93/4.24 c Got one! Elapsed wall clock time (in seconds):4.079 1.93/4.24 o 597 1.93/4.24 c And the winner is solver0 2.00/4.74 c Got one! Elapsed wall clock time (in seconds):4.58 2.00/4.74 o 566 2.00/4.76 c And the winner is solver0 2.07/5.24 c Got one! Elapsed wall clock time (in seconds):5.081 2.07/5.24 o 564 2.07/5.24 c And the winner is solver0 2.07/5.74 c Got one! Elapsed wall clock time (in seconds):5.582 2.07/5.74 o 550 2.07/5.74 c And the winner is solver0 2.08/6.24 c Got one! Elapsed wall clock time (in seconds):6.083 2.08/6.24 o 524 2.08/6.24 c And the winner is solver0 2.08/6.74 c Got one! Elapsed wall clock time (in seconds):6.584 2.08/6.74 o 521 2.08/6.75 c And the winner is solver0 2.08/7.24 c Got one! Elapsed wall clock time (in seconds):7.085 2.08/7.24 o 518 2.08/7.25 c And the winner is solver0 2.09/7.74 c Got one! Elapsed wall clock time (in seconds):7.586 2.09/7.74 o 514 2.09/7.75 c And the winner is solver0 2.09/8.24 c Got one! Elapsed wall clock time (in seconds):8.088 2.09/8.24 o 503 2.09/8.26 c And the winner is solver0 2.14/8.75 c Got one! Elapsed wall clock time (in seconds):8.589 2.14/8.75 o 491 2.14/8.76 c And the winner is solver0 2.18/9.25 c Got one! Elapsed wall clock time (in seconds):9.09 2.18/9.25 o 490 2.18/9.25 c And the winner is solver0 2.19/9.75 c Got one! Elapsed wall clock time (in seconds):9.591 2.19/9.75 o 486 2.19/9.76 c And the winner is solver0 2.21/10.25 c Got one! Elapsed wall clock time (in seconds):10.092 2.21/10.25 o 481 2.21/10.29 c And the winner is solver0 2.40/10.75 c Got one! Elapsed wall clock time (in seconds):10.593 2.40/10.75 o 471 2.51/10.84 c And the winner is solver0 2.63/11.25 c Got one! Elapsed wall clock time (in seconds):11.094 2.63/11.25 o 441 2.74/11.32 c cleaning 5059 clauses out of 10132 with flag 4145/10132 2.74/11.33 c And the winner is solver0 2.85/11.75 c Got one! Elapsed wall clock time (in seconds):11.595 2.85/11.75 o 413 2.85/11.76 c And the winner is solver0 2.87/12.25 c Got one! Elapsed wall clock time (in seconds):12.096 2.87/12.25 o 412 2.96/12.32 c And the winner is solver0 3.04/12.75 c Got one! Elapsed wall clock time (in seconds):12.597 3.04/12.75 o 396 3.04/12.77 c And the winner is solver0 3.09/13.25 c Got one! Elapsed wall clock time (in seconds):13.098 3.09/13.25 o 365 3.09/13.26 c And the winner is solver0 3.11/13.76 c Got one! Elapsed wall clock time (in seconds):13.599 3.11/13.76 o 364 3.11/13.77 c And the winner is solver0 3.14/14.26 c Got one! Elapsed wall clock time (in seconds):14.099 3.14/14.26 o 363 3.14/14.28 c And the winner is solver0 3.22/14.76 c Got one! Elapsed wall clock time (in seconds):14.6 3.22/14.76 o 357 3.22/14.77 c And the winner is solver0 3.28/15.26 c Got one! Elapsed wall clock time (in seconds):15.101 3.28/15.26 o 356 3.57/15.45 c cleaning 6496 clauses out of 13010 with flag 14572/18069 3.77/15.52 c And the winner is solver0 3.88/15.76 c Got one! Elapsed wall clock time (in seconds):15.602 3.88/15.76 o 354 3.88/15.77 c And the winner is solver0 3.90/16.26 c Got one! Elapsed wall clock time (in seconds):16.103 3.90/16.26 o 331 3.90/16.27 c And the winner is solver0 3.94/16.76 c Got one! Elapsed wall clock time (in seconds):16.604 3.94/16.76 o 327 3.94/16.78 c And the winner is solver0 4.01/17.26 c Got one! Elapsed wall clock time (in seconds):17.105 4.01/17.26 o 318 4.08/17.30 c And the winner is solver0 4.10/17.76 c Got one! Elapsed wall clock time (in seconds):17.606 4.10/17.76 o 316 4.10/17.79 c And the winner is solver0 4.18/18.26 c Got one! Elapsed wall clock time (in seconds):18.107 4.18/18.26 o 314 4.18/18.28 c And the winner is solver0 4.24/18.76 c Got one! Elapsed wall clock time (in seconds):18.608 4.24/18.76 o 248 4.24/18.79 c And the winner is solver0 4.32/19.27 c Got one! Elapsed wall clock time (in seconds):19.109 4.32/19.27 o 231 4.38/19.31 c And the winner is solver0 4.48/19.77 c Got one! Elapsed wall clock time (in seconds):19.61 4.48/19.77 o 226 4.55/19.84 c And the winner is solver0 4.67/20.27 c Got one! Elapsed wall clock time (in seconds):20.111 4.67/20.27 o 222 4.67/20.29 c And the winner is solver0 4.74/20.77 c Got one! Elapsed wall clock time (in seconds):20.612 4.74/20.77 o 221 4.79/20.80 c And the winner is solver0 4.89/21.27 c Got one! Elapsed wall clock time (in seconds):21.112 4.89/21.27 o 211 4.94/21.33 c cleaning 8451 clauses out of 16907 with flag 3515/28462 5.16/21.44 c And the winner is solver0 5.29/21.77 c Got one! Elapsed wall clock time (in seconds):21.613 5.29/21.77 o 197 5.34/21.87 c cleaning 6809 clauses out of 13627 with flag 9408/33633 5.54/21.90 c And the winner is solver0 5.66/22.27 c Got one! Elapsed wall clock time (in seconds):22.114 5.66/22.27 o 196 5.66/22.29 c And the winner is solver0 5.72/22.77 c Got one! Elapsed wall clock time (in seconds):22.615 5.72/22.77 o 178 5.78/22.81 c And the winner is solver0 5.91/23.27 c Got one! Elapsed wall clock time (in seconds):23.116 5.91/23.27 o 173 6.36/23.51 c cleaning 6874 clauses out of 13756 with flag 19552/40571 6.76/23.70 c And the winner is solver0 6.87/23.82 c Got one! Elapsed wall clock time (in seconds):23.667 6.87/23.82 o 171 6.87/23.88 c cleaning 6161 clauses out of 12333 with flag 4703/46022 6.87/23.89 c And the winner is solver0 7.09/24.32 c Got one! Elapsed wall clock time (in seconds):24.168 7.09/24.32 o 169 7.23/24.40 c And the winner is solver0 7.28/24.83 c Got one! Elapsed wall clock time (in seconds):24.669 7.28/24.83 o 158 7.42/24.96 c cleaning 5807 clauses out of 11630 with flag 12752/51480 7.82/25.12 c And the winner is solver0 7.92/25.33 c Got one! Elapsed wall clock time (in seconds):25.17 7.92/25.33 o 147 7.92/25.35 c And the winner is solver0 7.99/25.83 c Got one! Elapsed wall clock time (in seconds):25.671 7.99/25.83 o 145 8.13/25.93 c cleaning 6138 clauses out of 12279 with flag 10031/57936 8.53/26.11 c And the winner is solver0 8.61/26.33 c Got one! Elapsed wall clock time (in seconds):26.172 8.61/26.33 o 141 8.61/26.38 c cleaning 5797 clauses out of 11594 with flag 5215/63389 8.96/26.58 c And the winner is solver0 9.22/26.83 c Got one! Elapsed wall clock time (in seconds):26.672 9.22/26.83 o 139 9.22/26.88 c cleaning 5840 clauses out of 11687 with flag 4962/69279 9.55/27.04 c And the winner is solver0 9.77/27.33 c Got one! Elapsed wall clock time (in seconds):27.173 9.77/27.33 o 134 9.90/27.43 c cleaning 5790 clauses out of 11598 with flag 11278/75030 10.11/27.57 c And the winner is solver0 10.35/27.83 c Got one! Elapsed wall clock time (in seconds):27.674 10.35/27.83 o 131 10.35/27.88 c And the winner is solver0 10.51/28.33 c Got one! Elapsed wall clock time (in seconds):28.175 10.51/28.33 o 130 10.51/28.38 c cleaning 5766 clauses out of 11543 with flag 3845/80765 10.84/28.53 c And the winner is solver0 11.05/28.83 c Got one! Elapsed wall clock time (in seconds):28.676 11.05/28.83 o 129 11.05/28.88 c cleaning 5382 clauses out of 10782 with flag 4961/85770 11.18/28.96 c And the winner is solver0 11.39/29.33 c Got one! Elapsed wall clock time (in seconds):29.177 11.39/29.33 o 127 11.53/29.44 c And the winner is solver0 11.64/29.83 c Got one! Elapsed wall clock time (in seconds):29.678 11.64/29.83 o 119 11.64/29.85 c And the winner is solver0 11.72/30.34 c Got one! Elapsed wall clock time (in seconds):30.178 11.72/30.34 o 115 11.72/30.37 c And the winner is solver0 11.88/30.84 c Got one! Elapsed wall clock time (in seconds):30.679 11.88/30.84 o 99 11.88/30.89 c cleaning 6035 clauses out of 12076 with flag 5407/92446 12.01/30.94 c And the winner is solver0 12.10/31.34 c Got one! Elapsed wall clock time (in seconds):31.18 12.10/31.34 o 96 12.10/31.36 c And the winner is solver0 12.17/31.84 c Got one! Elapsed wall clock time (in seconds):31.681 12.17/31.84 o 91 12.50/32.02 c cleaning 5963 clauses out of 11926 with flag 19536/98331 12.89/32.27 c cleaning 5973 clauses out of 11962 with flag 49858/104330 13.69/32.60 c cleaning 6488 clauses out of 12989 with flag 77433/111330 14.29/32.99 c cleaning 7252 clauses out of 14505 with flag 109552/119334 14.89/33.24 c And the winner is solver0 15.15/33.49 c Got one! Elapsed wall clock time (in seconds):33.332 15.15/33.49 o 77 15.22/33.51 c And the winner is solver0 15.30/33.99 c Got one! Elapsed wall clock time (in seconds):33.833 15.30/33.99 o 68 15.73/34.24 c cleaning 9533 clauses out of 19068 with flag 20187/131149 16.11/34.49 c cleaning 7763 clauses out of 15534 with flag 42180/137148 16.91/34.80 c cleaning 7382 clauses out of 14772 with flag 69983/144149 17.11/34.92 c And the winner is solver0 17.11/34.99 c Got one! Elapsed wall clock time (in seconds):34.834 17.11/34.99 o 61 17.43/35.12 c And the winner is solver0 17.55/35.49 c Got one! Elapsed wall clock time (in seconds):35.336 17.55/35.49 o 58 17.56/35.57 c cleaning 6945 clauses out of 13924 with flag 4791/150683 18.14/35.79 c And the winner is solver0 18.54/35.99 c Got one! Elapsed wall clock time (in seconds):35.838 18.54/35.99 o 55 18.57/36.05 c cleaning 6352 clauses out of 12717 with flag 4149/156421 18.98/36.27 c cleaning 6177 clauses out of 12364 with flag 27562/162420 19.58/36.55 c cleaning 6583 clauses out of 13187 with flag 56979/169420 19.98/36.72 c And the winner is solver0 20.13/37.00 c Got one! Elapsed wall clock time (in seconds):36.84 20.13/37.00 o 50 20.13/37.04 c cleaning 5970 clauses out of 11955 with flag 3996/174771 20.53/37.28 c cleaning 5990 clauses out of 11985 with flag 29290/180771 20.73/37.37 c And the winner is solver0 21.09/37.60 c Got one! Elapsed wall clock time (in seconds):37.443 21.09/37.60 o 36 21.28/37.72 c cleaning 5705 clauses out of 11419 with flag 13481/186195 21.48/37.87 c And the winner is solver0 21.95/38.20 c Got one! Elapsed wall clock time (in seconds):38.046 21.95/38.20 o 35 21.95/38.30 c cleaning 5765 clauses out of 11536 with flag 10186/192017 22.54/38.52 c cleaning 5878 clauses out of 11772 with flag 36435/198018 22.93/38.78 c cleaning 6445 clauses out of 12896 with flag 67939/205020 23.53/39.08 c cleaning 7216 clauses out of 14449 with flag 102618/213018 24.33/39.46 c cleaning 8108 clauses out of 16233 with flag 142984/222018 25.35/39.90 c cleaning 9056 clauses out of 18124 with flag 188375/232017 25.35/39.91 c And the winner is solver0 25.45/40.21 c Got one! Elapsed wall clock time (in seconds):40.05 25.45/40.21 o 31 25.63/40.40 c And the winner is solver0 25.91/40.71 c Got one! Elapsed wall clock time (in seconds):40.553 25.91/40.71 o 30 25.91/40.77 c cleaning 7405 clauses out of 14820 with flag 5119/237769 26.48/41.00 c cleaning 6704 clauses out of 13414 with flag 34542/243768 26.88/41.28 c cleaning 6842 clauses out of 13710 with flag 69457/250768 27.68/41.63 c cleaning 7431 clauses out of 14871 with flag 108525/258771 28.48/42.01 c cleaning 8213 clauses out of 16439 with flag 151049/267770 29.28/42.45 c cleaning 9106 clauses out of 18225 with flag 198844/277769 30.29/42.95 c cleaning 10052 clauses out of 20118 with flag 253898/288768 31.49/43.50 c cleaning 11031 clauses out of 22066 with flag 314531/300768 32.09/43.81 c And the winner is solver0 33.11/44.81 c Got one! Elapsed wall clock time (in seconds):44.658 33.11/44.81 o 25 33.70/45.11 c cleaning 11481 clauses out of 22984 with flag 30537/312717 34.09/45.39 c cleaning 8749 clauses out of 17502 with flag 66221/318717 34.49/45.55 c And the winner is solver0 34.70/45.82 c Got one! Elapsed wall clock time (in seconds):45.661 34.70/45.82 o 24 34.85/45.94 c cleaning 7227 clauses out of 14465 with flag 12890/324435 35.05/46.01 c And the winner is solver0 35.15/46.34 c >>>>>>>>>> Solver number 0 (76 answers) <<<<<<<<<<<<<<<<<< 35.15/46.34 c starts : 189 35.15/46.34 c conflicts : 325982 35.15/46.34 c decisions : 520236 35.15/46.34 c propagations : 8427038 35.15/46.34 c inspects : 154154620 35.15/46.34 c shortcuts : 0 35.15/46.34 c learnt literals : 15 35.15/46.34 c learnt binary clauses : 29 35.15/46.34 c learnt ternary clauses : 469 35.15/46.34 c learnt constraints : 325966 35.15/46.34 c ignored constraints : 0 35.15/46.34 c root simplifications : 0 35.15/46.34 c removed literals (reason simplification) : 1792977 35.15/46.34 c reason swapping (by a shorter reason) : 0 35.15/46.34 c Calls to reduceDB : 45 35.15/46.34 c Number of update (reduction) of LBD : 91060 35.15/46.34 c Imported unit clauses : 0 35.15/46.34 c number of reductions to clauses (during analyze) : 0 35.15/46.34 c number of learned constraints concerned by reduction : 0 35.15/46.34 c number of learning phase by resolution : 0 35.15/46.34 c number of learning phase by cutting planes : 0 35.15/46.34 c speed (assignments/second) : 182779.2647218306 35.15/46.34 c non guided choices 2939 35.15/46.34 c learnt constraints type 35.15/46.34 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 35.15/46.34 c starts : 76 35.15/46.34 c conflicts : 253 35.15/46.34 c decisions : 7230 35.15/46.34 c propagations : 19605 35.15/46.34 c inspects : 528791 35.15/46.34 c shortcuts : 0 35.15/46.34 c learnt literals : 0 35.15/46.34 c learnt binary clauses : 0 35.15/46.34 c learnt ternary clauses : 0 35.15/46.34 c learnt constraints : 188 35.15/46.34 c ignored constraints : 0 35.15/46.34 c root simplifications : 0 35.15/46.34 c removed literals (reason simplification) : 0 35.15/46.34 c reason swapping (by a shorter reason) : 0 35.15/46.34 c Calls to reduceDB : 0 35.15/46.34 c Number of update (reduction) of LBD : 0 35.15/46.34 c Imported unit clauses : 0 35.15/46.34 c number of reductions to clauses (during analyze) : 0 35.15/46.34 c number of learned constraints concerned by reduction : 0 35.15/46.34 c number of learning phase by resolution : 0 35.15/46.34 c number of learning phase by cutting planes : 0 35.15/46.34 c speed (assignments/second) : 38365.94911937378 35.15/46.34 c non guided choices 1948 35.15/46.34 c learnt constraints type 35.15/46.34 s OPTIMUM FOUND 35.15/46.34 c Found 75 solution(s) 35.15/46.34 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 35.15/46.34 c objective function=24 35.15/46.34 c Total wall clock time (in seconds): 46.182
OK 24
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-4091983-1467321396/watcher-4091983-1467321396 -o /tmp/evaluation-result-4091983-1467321396/solver-4091983-1467321396 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467319102-29020 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091983-1467321396.wbo pid=3669 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.22 1.50 1.75 3/195 3672 /proc/meminfo: memFree=30344908/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=24328 CPUtime=0 cores=0,2,4,6 /proc/3672/stat : 3672 (runsolver) D 3669 3672 23565 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 11159568 24911872 151 33554432000 4194304 4338465 140733942719984 140733942717624 211458804919 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/3672/statm: 6082 151 105 36 0 2655 0 [startup+0.100112 s] /proc/loadavg: 1.22 1.50 1.75 3/195 3672 /proc/meminfo: memFree=30344908/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9558428 CPUtime=0.03 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 3323 0 1 0 3 0 0 0 20 0 18 0 11159568 9787830272 3943 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2389607 3943 1761 9 0 2380296 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9558428 [startup+0.200285 s] /proc/loadavg: 1.22 1.50 1.75 3/195 3672 /proc/meminfo: memFree=30344908/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 4623 0 1 0 16 1 0 0 20 0 18 0 11159568 9787879424 6740 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2389619 6740 2191 9 0 2380296 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 9558476 [startup+0.300232 s] /proc/loadavg: 1.22 1.50 1.75 3/195 3672 /proc/meminfo: memFree=30344908/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 7335 0 1 0 43 2 0 0 20 0 22 0 11159568 10060525568 9518 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2456183 9518 2243 9 0 2446860 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9824732 [startup+0.700315 s] /proc/loadavg: 1.22 1.50 1.75 3/195 3672 /proc/meminfo: memFree=30344908/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 11817 0 1 0 83 5 0 0 20 0 19 0 11159568 10060525568 12502 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2456183 12502 2251 9 0 2446860 0 Current children cumulated CPU time (s) 0.88 Current children cumulated vsize (KiB) 9824732 [startup+1.50081 s] /proc/loadavg: 1.22 1.50 1.75 1/213 3700 /proc/meminfo: memFree=30301548/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 11983 0 1 0 109 9 0 0 20 0 19 0 11159568 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2456183 14609 2255 9 0 2446860 0 [pid=3672/tid=3674] ppid=3669 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/3672/task/3674/stat : 3674 (java) S 3669 3672 23565 0 -1 4202560 2474 0 1 0 15 2 0 0 20 0 19 0 11159573 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378656318328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3675] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3675/stat : 3675 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378595048488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3676] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3676/stat : 3676 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378593995688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3677] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3677/stat : 3677 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378592942888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3678] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3678/stat : 3678 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378591890088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3679] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3679/stat : 3679 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378495466024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3680] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3680/stat : 3680 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378494413224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3681] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3681/stat : 3681 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378493360424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3682] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3682/stat : 3682 (java) S 3669 3672 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378492307624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3683] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3683/stat : 3683 (java) S 3669 3672 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378480110568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3684] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3684/stat : 3684 (java) S 3669 3672 23565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378479056632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3685] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3685/stat : 3685 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378478003720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3686] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3686/stat : 3686 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378476952208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3687] ppid=3669 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/3672/task/3687/stat : 3687 (java) S 3669 3672 23565 0 -1 4202560 5955 0 0 0 43 0 0 0 20 0 19 0 11159578 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378475899320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3688] ppid=3669 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/3672/task/3688/stat : 3688 (java) S 3669 3672 23565 0 -1 4202560 2209 0 0 0 24 0 0 0 20 0 19 0 11159578 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378474846520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3689] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3689/stat : 3689 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378473793912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3690] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3690/stat : 3690 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378472741320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3694] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3694/stat : 3694 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11159592 10060525568 14609 33554432000 1073741824 1073778376 140735044444096 140378468529448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 9824732 [startup+3.10086 s] /proc/loadavg: 1.12 1.47 1.74 3/215 3714 /proc/meminfo: memFree=30288384/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9824732 CPUtime=1.52 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 12021 0 1 0 139 13 0 0 20 0 19 0 11159568 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2456183 19737 2262 9 0 2446860 0 [pid=3672/tid=3674] ppid=3669 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/3672/task/3674/stat : 3674 (java) S 3669 3672 23565 0 -1 4202560 2475 0 1 0 15 2 0 0 20 0 19 0 11159573 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378656318328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3675] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3675/stat : 3675 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378595048488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3676] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3676/stat : 3676 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378593995688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3677] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3677/stat : 3677 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378592942888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3678] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3678/stat : 3678 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378591890088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3679] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3679/stat : 3679 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378495466024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3680] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3680/stat : 3680 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378494413224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3681] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3681/stat : 3681 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378493360424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3682] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3682/stat : 3682 (java) S 3669 3672 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378492307624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3683] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3683/stat : 3683 (java) S 3669 3672 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378480110568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3684] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3684/stat : 3684 (java) S 3669 3672 23565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378479056632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3685] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3685/stat : 3685 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378478003720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3686] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3686/stat : 3686 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378476952208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3687] ppid=3669 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/3672/task/3687/stat : 3687 (java) S 3669 3672 23565 0 -1 4202560 5955 0 0 0 55 0 0 0 20 0 19 0 11159578 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378475899320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3688] ppid=3669 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/3672/task/3688/stat : 3688 (java) S 3669 3672 23565 0 -1 4202560 2216 0 0 0 34 0 0 0 20 0 19 0 11159578 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378474846520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3689] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3689/stat : 3689 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378473793912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3690] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3690/stat : 3690 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378472741320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3694] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3694/stat : 3694 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11159592 10060525568 19737 33554432000 1073741824 1073778376 140735044444096 140378468529448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=14 pid=1810 uid=0 cmd= [startup+6.3009 s] /proc/loadavg: 1.12 1.47 1.74 1/213 3816 /proc/meminfo: memFree=30369592/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9824732 CPUtime=2.08 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 12474 0 1 0 190 18 0 0 20 0 19 0 11159568 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2456183 32335 2270 9 0 2446860 0 [pid=3672/tid=3674] ppid=3669 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/3672/task/3674/stat : 3674 (java) S 3669 3672 23565 0 -1 4202560 2477 0 1 0 15 2 0 0 20 0 19 0 11159573 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378656318328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3675] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3675/stat : 3675 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378595048488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3676] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3676/stat : 3676 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378593995688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3677] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3677/stat : 3677 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378592942888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3678] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3678/stat : 3678 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378591890088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3679] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3679/stat : 3679 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378495466024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3680] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3680/stat : 3680 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378494413224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3681] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3681/stat : 3681 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378493360424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3682] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3682/stat : 3682 (java) S 3669 3672 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378492307624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3683] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3683/stat : 3683 (java) S 3669 3672 23565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378480110568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3684] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3684/stat : 3684 (java) S 3669 3672 23565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378479056632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3685] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3685/stat : 3685 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378478003720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3686] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3686/stat : 3686 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378476952208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3687] ppid=3669 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/3672/task/3687/stat : 3687 (java) S 3669 3672 23565 0 -1 4202560 5960 0 0 0 76 0 0 0 20 0 19 0 11159578 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378475899320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3688] ppid=3669 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/3672/task/3688/stat : 3688 (java) S 3669 3672 23565 0 -1 4202560 2572 0 0 0 41 2 0 0 20 0 19 0 11159578 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378474846520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3689] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3689/stat : 3689 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378473793912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3690] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3690/stat : 3690 (java) S 3669 3672 23565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378472741320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3694] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3694/stat : 3694 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11159592 10060525568 32335 33554432000 1073741824 1073778376 140735044444096 140378468529448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.08 ################ # More data... # ################ [pid=3672/tid=3678] ppid=3669 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3672/task/3678/stat : 3678 (java) S 3669 3672 23565 0 -1 4202560 82 0 0 0 2 0 0 0 20 0 20 0 11159574 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378591890088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3679] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3679/stat : 3679 (java) S 3669 3672 23565 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 20 0 11159574 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378495466024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3680] ppid=3669 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3672/task/3680/stat : 3680 (java) S 3669 3672 23565 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 20 0 11159574 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378494413224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3681] ppid=3669 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3672/task/3681/stat : 3681 (java) S 3669 3672 23565 0 -1 4202560 159 0 0 0 1 2 0 0 20 0 20 0 11159574 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378493360424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3682] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3682/stat : 3682 (java) S 3669 3672 23565 0 -1 4202560 76 0 0 0 1 0 0 0 20 0 20 0 11159574 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378492307624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3683] ppid=3669 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/3672/task/3683/stat : 3683 (java) S 3669 3672 23565 0 -1 4202560 26 0 0 0 0 7 0 0 20 0 20 0 11159575 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378480110568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3684] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3684/stat : 3684 (java) S 3669 3672 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 11159575 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378479056632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3685] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3685/stat : 3685 (java) S 3669 3672 23565 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 11159575 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378478003720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3686] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3686/stat : 3686 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11159578 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378476952208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3687] ppid=3669 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/3672/task/3687/stat : 3687 (java) S 3669 3672 23565 0 -1 4202560 11304 0 0 0 160 2 0 0 20 0 20 0 11159578 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378475899320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3688] ppid=3669 vsize=9824732 CPUtime=0.54 cores=0,2,4,6 /proc/3672/task/3688/stat : 3688 (java) S 3669 3672 23565 0 -1 4202560 2577 0 0 0 52 2 0 0 20 0 20 0 11159578 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378474846520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3689] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3689/stat : 3689 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11159578 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378473793912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3690] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3690/stat : 3690 (java) S 3669 3672 23565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 11159578 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378472741320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3694] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3694/stat : 3694 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 11159592 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378468529448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=4285] ppid=3669 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/3672/task/4285/stat : 4285 (java) R 3669 3672 23565 0 -1 4202560 2 0 0 0 76 0 0 0 20 0 20 0 11164050 10060525568 53640 33554432000 1073741824 1073778376 140735044444096 140378469582424 140378596622257 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 34.67 Current children cumulated vsize (KiB) 9824732 [startup+46.0007 s] /proc/loadavg: 1.36 1.46 1.73 3/216 4289 /proc/meminfo: memFree=30252356/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9824732 CPUtime=35.05 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 18947 0 1 0 3362 143 0 0 20 0 22 0 11159568 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2456183 53644 2288 9 0 2446860 0 [pid=3672/tid=3674] ppid=3669 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/3672/task/3674/stat : 3674 (java) S 3669 3672 23565 0 -1 4202560 2479 0 1 0 22 2 0 0 20 0 22 0 11159573 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378656318328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3675] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3675/stat : 3675 (java) S 3669 3672 23565 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 11159574 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378595048488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3676] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3676/stat : 3676 (java) S 3669 3672 23565 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 11159574 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378593995688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3677] ppid=3669 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3672/task/3677/stat : 3677 (java) S 3669 3672 23565 0 -1 4202560 41 0 0 0 1 2 0 0 20 0 22 0 11159574 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378592942888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3678] ppid=3669 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3672/task/3678/stat : 3678 (java) S 3669 3672 23565 0 -1 4202560 82 0 0 0 2 0 0 0 20 0 22 0 11159574 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378591890088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3679] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3679/stat : 3679 (java) S 3669 3672 23565 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 22 0 11159574 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378495466024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3680] ppid=3669 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3672/task/3680/stat : 3680 (java) S 3669 3672 23565 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 11159574 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378494413224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3681] ppid=3669 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3672/task/3681/stat : 3681 (java) S 3669 3672 23565 0 -1 4202560 159 0 0 0 1 2 0 0 20 0 22 0 11159574 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378493360424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3682] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3682/stat : 3682 (java) S 3669 3672 23565 0 -1 4202560 76 0 0 0 1 0 0 0 20 0 22 0 11159574 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378492307624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3683] ppid=3669 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/3672/task/3683/stat : 3683 (java) S 3669 3672 23565 0 -1 4202560 26 0 0 0 0 7 0 0 20 0 22 0 11159575 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378480110568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3684] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3684/stat : 3684 (java) S 3669 3672 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11159575 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378479056632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3685] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3685/stat : 3685 (java) S 3669 3672 23565 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 11159575 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378478003720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3686] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3686/stat : 3686 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11159578 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378476952208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3687] ppid=3669 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/3672/task/3687/stat : 3687 (java) S 3669 3672 23565 0 -1 4202560 11304 0 0 0 160 2 0 0 20 0 22 0 11159578 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378475899320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3688] ppid=3669 vsize=9824732 CPUtime=0.54 cores=0,2,4,6 /proc/3672/task/3688/stat : 3688 (java) S 3669 3672 23565 0 -1 4202560 2577 0 0 0 52 2 0 0 20 0 22 0 11159578 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378474846520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3689] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3689/stat : 3689 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11159578 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378473793912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3690] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3690/stat : 3690 (java) S 3669 3672 23565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 11159578 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378472741320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3694] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3694/stat : 3694 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11159592 10060525568 53644 33554432000 1073741824 1073778376 140735044444096 140378468529448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.05 Current children cumulated vsize (KiB) 9824732 [startup+46.2009 s] /proc/loadavg: 1.36 1.46 1.73 1/213 4298 /proc/meminfo: memFree=30244196/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9824732 CPUtime=35.15 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 18947 0 1 0 3370 145 0 0 20 0 19 0 11159568 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2456183 53638 2288 9 0 2446860 0 [pid=3672/tid=3674] ppid=3669 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/3672/task/3674/stat : 3674 (java) S 3669 3672 23565 0 -1 4202560 2479 0 1 0 22 2 0 0 20 0 19 0 11159573 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378656318328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3675] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3675/stat : 3675 (java) S 3669 3672 23565 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378595048488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3676] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3676/stat : 3676 (java) S 3669 3672 23565 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378593995688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3677] ppid=3669 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3672/task/3677/stat : 3677 (java) S 3669 3672 23565 0 -1 4202560 41 0 0 0 1 2 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378592942888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3678] ppid=3669 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3672/task/3678/stat : 3678 (java) S 3669 3672 23565 0 -1 4202560 82 0 0 0 2 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378591890088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3679] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3679/stat : 3679 (java) S 3669 3672 23565 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378495466024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3680] ppid=3669 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3672/task/3680/stat : 3680 (java) S 3669 3672 23565 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378494413224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3681] ppid=3669 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3672/task/3681/stat : 3681 (java) S 3669 3672 23565 0 -1 4202560 159 0 0 0 1 2 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378493360424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3682] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3682/stat : 3682 (java) S 3669 3672 23565 0 -1 4202560 76 0 0 0 1 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378492307624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3683] ppid=3669 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/3672/task/3683/stat : 3683 (java) S 3669 3672 23565 0 -1 4202560 26 0 0 0 0 7 0 0 20 0 19 0 11159575 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378480110568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3684] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3684/stat : 3684 (java) S 3669 3672 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378479056632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3685] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3685/stat : 3685 (java) S 3669 3672 23565 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378478003720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3686] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3686/stat : 3686 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378476952208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3687] ppid=3669 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/3672/task/3687/stat : 3687 (java) S 3669 3672 23565 0 -1 4202560 11304 0 0 0 160 2 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378475899320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3688] ppid=3669 vsize=9824732 CPUtime=0.54 cores=0,2,4,6 /proc/3672/task/3688/stat : 3688 (java) S 3669 3672 23565 0 -1 4202560 2577 0 0 0 52 2 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378474846520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3689] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3689/stat : 3689 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378473793912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3690] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3690/stat : 3690 (java) S 3669 3672 23565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378472741320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3694] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3694/stat : 3694 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11159592 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378468529448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.15 Current children cumulated vsize (KiB) 9824732 [startup+46.3076 s] /proc/loadavg: 1.36 1.46 1.73 1/213 4298 /proc/meminfo: memFree=30244196/32872528 swapFree=480748/529804 [pid=3672] ppid=3669 vsize=9824732 CPUtime=35.15 cores=0,2,4,6 /proc/3672/stat : 3672 (java) S 3669 3672 23565 0 -1 4202496 18947 0 1 0 3370 145 0 0 20 0 19 0 11159568 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140735044435232 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0 /proc/3672/statm: 2456183 53638 2288 9 0 2446860 0 [pid=3672/tid=3674] ppid=3669 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/3672/task/3674/stat : 3674 (java) S 3669 3672 23565 0 -1 4202560 2479 0 1 0 22 2 0 0 20 0 19 0 11159573 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378656318328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3675] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3675/stat : 3675 (java) S 3669 3672 23565 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378595048488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3676] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3676/stat : 3676 (java) S 3669 3672 23565 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378593995688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3677] ppid=3669 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3672/task/3677/stat : 3677 (java) S 3669 3672 23565 0 -1 4202560 41 0 0 0 1 2 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378592942888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3678] ppid=3669 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3672/task/3678/stat : 3678 (java) S 3669 3672 23565 0 -1 4202560 82 0 0 0 2 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378591890088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3679] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3679/stat : 3679 (java) S 3669 3672 23565 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378495466024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3680] ppid=3669 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3672/task/3680/stat : 3680 (java) S 3669 3672 23565 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378494413224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3681] ppid=3669 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3672/task/3681/stat : 3681 (java) S 3669 3672 23565 0 -1 4202560 159 0 0 0 1 2 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378493360424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3682] ppid=3669 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3672/task/3682/stat : 3682 (java) S 3669 3672 23565 0 -1 4202560 76 0 0 0 1 0 0 0 20 0 19 0 11159574 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378492307624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3683] ppid=3669 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/3672/task/3683/stat : 3683 (java) S 3669 3672 23565 0 -1 4202560 26 0 0 0 0 7 0 0 20 0 19 0 11159575 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378480110568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3684] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3684/stat : 3684 (java) S 3669 3672 23565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378479056632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3685] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3685/stat : 3685 (java) S 3669 3672 23565 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 11159575 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378478003720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3686] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3686/stat : 3686 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378476952208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3687] ppid=3669 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/3672/task/3687/stat : 3687 (java) S 3669 3672 23565 0 -1 4202560 11304 0 0 0 160 2 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378475899320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3672/tid=3688] ppid=3669 vsize=9824732 CPUtime=0.54 cores=0,2,4,6 /proc/3672/task/3688/stat : 3688 (java) S 3669 3672 23565 0 -1 4202560 2577 0 0 0 52 2 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378474846520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3672/tid=3689] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3689/stat : 3689 (java) S 3669 3672 23565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378473793912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3672/tid=3690] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3690/stat : 3690 (java) S 3669 3672 23565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 11159578 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378472741320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3672/tid=3694] ppid=3669 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3672/task/3694/stat : 3694 (java) S 3669 3672 23565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11159592 10060525568 53638 33554432000 1073741824 1073778376 140735044444096 140378468529448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.15 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 46.3573 CPU time (s): 35.2966 CPU user time (s): 33.7349 CPU system time (s): 1.56176 CPU usage (%): 76.1404 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.7349 system time used= 1.56176 maximum resident set size= 216960 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18954 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= 3274 involuntary context switches= 778 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.186971 second user time and 0.206968 second system time The end
Begin job on node141 at 2016-06-30 23:16:36 IDJOB=4091983 IDBENCH=78864 IDSOLVER=2552 FILE ID=node141/4091983-1467321396 RUNJOBID= node141-1467319102-29020 PBS_JOBID= 20005274 Free space on /tmp= 71704 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091983-1467321396/watcher-4091983-1467321396 -o /tmp/evaluation-result-4091983-1467321396/solver-4091983-1467321396 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467319102-29020 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091983-1467321396.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a2a28c5bb6a02365b79a03ef797cc3c RANDOM SEED=1439919917 node141.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.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 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.448 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.448 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.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 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.448 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 : 5339.30 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.448 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.53 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.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30345444 kB Buffers: 175424 kB Cached: 862316 kB SwapCached: 0 kB Active: 528708 kB Inactive: 717720 kB Active(anon): 210836 kB Inactive(anon): 4 kB Active(file): 317872 kB Inactive(file): 717716 kB Unevictable: 529804 kB Mlocked: 480748 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 528 kB Writeback: 0 kB AnonPages: 711620 kB Mapped: 22288 kB Shmem: 204 kB Slab: 620056 kB SReclaimable: 63652 kB SUnreclaim: 556404 kB KernelStack: 1800 kB PageTables: 5508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1194452 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node141 at 2016-06-30 23:17:23