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 | 26.21 | 47.3529 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-66-100-0.wbo |
| MD5SUM | 4e00897e4a2c20d3d8c9b6106b938663 |
| 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 | 80 |
| Best CPU time to get the best result obtained on this benchmark | 17.3804 |
| 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 | 28 |
| 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 | 1415 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1414 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1238 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4109373-1467321070.wbo 0.09/0.12 c reading problem ... 0.09/0.19 c ... done. Wall clock time 0.063s. 0.09/0.19 c declared #vars 169 0.09/0.19 c internal #vars 197 0.09/0.19 c #constraints 101 0.09/0.19 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.19 c constraints type 0.09/0.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28 0.09/0.19 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 0.09/0.19 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21 0.09/0.19 c 101 constraints processed. 0.09/0.19 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.19 c constraints type 0.09/0.19 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2 0.09/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 28 0.09/0.19 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 21 0.09/0.19 c 101 constraints processed. 0.09/0.19 c objective function length is 28 literals 2.20/0.74 c cleaning 2498 clauses out of 5000 with flag 13579/5000 2.20/0.77 c And the winner is solver1 2.85/1.19 c SATISFIABLE 2.85/1.19 c OPTIMIZING... 2.85/1.19 c Got one! Elapsed wall clock time (in seconds):1.068 2.85/1.19 o 1250 3.07/1.35 c cleaning 4183 clauses out of 8365 with flag 17229/10863 3.39/1.41 c And the winner is solver1 3.43/1.69 c Got one! Elapsed wall clock time (in seconds):1.569 3.43/1.69 o 1246 3.44/1.71 c And the winner is solver0 3.47/2.19 c Got one! Elapsed wall clock time (in seconds):2.07 3.47/2.19 o 873 3.50/2.23 c And the winner is solver0 3.55/2.69 c Got one! Elapsed wall clock time (in seconds):2.571 3.55/2.69 o 870 3.56/2.70 c And the winner is solver0 3.59/3.19 c Got one! Elapsed wall clock time (in seconds):3.072 3.59/3.19 o 860 3.60/3.24 c And the winner is solver0 3.70/3.69 c Got one! Elapsed wall clock time (in seconds):3.572 3.70/3.69 o 849 3.70/3.71 c And the winner is solver0 3.74/4.20 c Got one! Elapsed wall clock time (in seconds):4.073 3.74/4.20 o 723 3.74/4.20 c And the winner is solver0 3.74/4.70 c Got one! Elapsed wall clock time (in seconds):4.574 3.74/4.70 o 682 3.74/4.71 c And the winner is solver0 3.78/5.20 c Got one! Elapsed wall clock time (in seconds):5.075 3.78/5.20 o 677 3.78/5.21 c And the winner is solver0 3.82/5.70 c Got one! Elapsed wall clock time (in seconds):5.576 3.82/5.70 o 653 3.82/5.74 c And the winner is solver0 3.91/6.20 c Got one! Elapsed wall clock time (in seconds):6.077 3.91/6.20 o 649 3.91/6.25 c cleaning 6870 clauses out of 13739 with flag 3451/20420 4.13/6.33 c And the winner is solver0 4.21/6.70 c Got one! Elapsed wall clock time (in seconds):6.578 4.21/6.70 o 645 4.21/6.76 c And the winner is solver0 4.36/7.20 c Got one! Elapsed wall clock time (in seconds):7.079 4.36/7.20 o 629 4.36/7.28 c cleaning 6676 clauses out of 13351 with flag 8071/26902 4.57/7.31 c And the winner is solver0 4.60/7.70 c Got one! Elapsed wall clock time (in seconds):7.58 4.60/7.70 o 618 4.61/7.73 c And the winner is solver0 4.68/8.20 c Got one! Elapsed wall clock time (in seconds):8.08 4.68/8.20 o 599 4.68/8.22 c And the winner is solver0 4.72/8.70 c Got one! Elapsed wall clock time (in seconds):8.581 4.72/8.70 o 584 4.93/8.82 c And the winner is solver0 4.98/9.20 c Got one! Elapsed wall clock time (in seconds):9.082 4.98/9.20 o 575 4.98/9.23 c And the winner is solver0 5.05/9.71 c Got one! Elapsed wall clock time (in seconds):9.583 5.05/9.71 o 561 5.05/9.73 c And the winner is solver0 5.11/10.21 c Got one! Elapsed wall clock time (in seconds):10.084 5.11/10.21 o 539 5.11/10.22 c And the winner is solver0 5.15/10.71 c Got one! Elapsed wall clock time (in seconds):10.585 5.15/10.71 o 533 5.15/10.73 c And the winner is solver0 5.20/11.21 c Got one! Elapsed wall clock time (in seconds):11.086 5.20/11.21 o 532 5.20/11.23 c And the winner is solver0 5.26/11.71 c Got one! Elapsed wall clock time (in seconds):11.587 5.26/11.71 o 528 5.26/11.74 c And the winner is solver0 5.33/12.21 c Got one! Elapsed wall clock time (in seconds):12.088 5.33/12.21 o 524 5.53/12.34 c cleaning 8775 clauses out of 17554 with flag 6748/37781 5.53/12.37 c And the winner is solver0 6.07/12.71 c Got one! Elapsed wall clock time (in seconds):12.589 6.07/12.71 o 523 6.07/12.72 c And the winner is solver0 6.11/13.21 c Got one! Elapsed wall clock time (in seconds):13.089 6.11/13.21 o 507 6.11/13.23 c And the winner is solver0 6.18/13.71 c Got one! Elapsed wall clock time (in seconds):13.59 6.18/13.71 o 503 6.34/13.88 c cleaning 7724 clauses out of 15449 with flag 17710/44451 6.56/13.91 c And the winner is solver0 6.60/14.21 c Got one! Elapsed wall clock time (in seconds):14.091 6.60/14.21 o 499 6.60/14.29 c And the winner is solver0 6.77/14.71 c Got one! Elapsed wall clock time (in seconds):14.592 6.77/14.71 o 483 6.92/14.83 c And the winner is solver0 7.02/15.22 c Got one! Elapsed wall clock time (in seconds):15.093 7.02/15.22 o 477 7.02/15.24 c And the winner is solver0 7.08/15.72 c Got one! Elapsed wall clock time (in seconds):15.594 7.08/15.72 o 471 7.08/15.77 c cleaning 7752 clauses out of 15511 with flag 3785/52237 7.08/15.78 c And the winner is solver0 7.23/16.22 c Got one! Elapsed wall clock time (in seconds):16.095 7.23/16.22 o 470 7.23/16.29 c And the winner is solver0 7.43/16.72 c Got one! Elapsed wall clock time (in seconds):16.596 7.43/16.72 o 464 7.43/16.75 c And the winner is solver0 7.52/17.22 c Got one! Elapsed wall clock time (in seconds):17.097 7.52/17.22 o 460 7.52/17.23 c And the winner is solver0 7.56/17.72 c Got one! Elapsed wall clock time (in seconds):17.598 7.56/17.72 o 459 7.56/17.74 c And the winner is solver0 7.62/18.22 c Got one! Elapsed wall clock time (in seconds):18.098 7.62/18.22 o 455 7.62/18.29 c And the winner is solver0 7.78/18.72 c Got one! Elapsed wall clock time (in seconds):18.599 7.78/18.72 o 453 7.78/18.77 c cleaning 7490 clauses out of 14980 with flag 3787/59458 7.96/18.84 c And the winner is solver0 8.06/19.22 c Got one! Elapsed wall clock time (in seconds):19.1 8.06/19.22 o 443 8.06/19.28 c And the winner is solver0 8.18/19.72 c Got one! Elapsed wall clock time (in seconds):19.601 8.18/19.72 o 427 8.18/19.79 c And the winner is solver0 8.33/20.22 c Got one! Elapsed wall clock time (in seconds):20.102 8.33/20.22 o 420 8.33/20.27 c cleaning 7207 clauses out of 14417 with flag 3975/66385 8.48/20.37 c And the winner is solver0 8.64/20.72 c Got one! Elapsed wall clock time (in seconds):20.603 8.64/20.72 o 412 8.64/20.74 c And the winner is solver0 8.68/21.23 c Got one! Elapsed wall clock time (in seconds):21.104 8.68/21.23 o 411 8.68/21.23 c And the winner is solver0 8.69/21.73 c Got one! Elapsed wall clock time (in seconds):21.605 8.69/21.73 o 408 8.69/21.75 c And the winner is solver0 8.75/22.23 c Got one! Elapsed wall clock time (in seconds):22.105 8.75/22.23 o 394 8.75/22.26 c And the winner is solver0 8.84/22.73 c Got one! Elapsed wall clock time (in seconds):22.606 8.84/22.73 o 393 8.84/22.75 c And the winner is solver0 8.90/23.23 c Got one! Elapsed wall clock time (in seconds):23.107 8.90/23.23 o 373 8.90/23.26 c And the winner is solver0 8.98/23.73 c Got one! Elapsed wall clock time (in seconds):23.608 8.98/23.73 o 369 8.98/23.77 c And the winner is solver0 9.09/24.23 c Got one! Elapsed wall clock time (in seconds):24.109 9.09/24.23 o 359 9.09/24.25 c And the winner is solver0 9.14/24.73 c Got one! Elapsed wall clock time (in seconds):24.61 9.14/24.73 o 356 9.27/24.82 c cleaning 8469 clauses out of 16945 with flag 8146/76120 9.47/24.97 c And the winner is solver0 9.67/25.23 c Got one! Elapsed wall clock time (in seconds):25.11 9.67/25.23 o 353 9.67/25.25 c And the winner is solver0 9.72/25.73 c Got one! Elapsed wall clock time (in seconds):25.611 9.72/25.73 o 352 9.85/25.83 c And the winner is solver0 9.93/26.23 c Got one! Elapsed wall clock time (in seconds):26.112 9.93/26.23 o 346 10.31/26.43 c cleaning 10092 clauses out of 20187 with flag 12652/87831 10.31/26.44 c And the winner is solver0 10.75/26.73 c Got one! Elapsed wall clock time (in seconds):26.613 10.75/26.73 o 342 10.75/26.74 c And the winner is solver0 10.80/27.24 c Got one! Elapsed wall clock time (in seconds):27.114 10.80/27.24 o 341 10.80/27.24 c And the winner is solver0 10.80/27.74 c Got one! Elapsed wall clock time (in seconds):27.614 10.80/27.74 o 336 10.80/27.74 c And the winner is solver0 10.80/28.24 c Got one! Elapsed wall clock time (in seconds):28.115 10.80/28.24 o 302 10.80/28.24 c And the winner is solver0 10.80/28.74 c Got one! Elapsed wall clock time (in seconds):28.616 10.80/28.74 o 237 10.80/28.77 c And the winner is solver0 10.87/29.24 c Got one! Elapsed wall clock time (in seconds):29.117 10.87/29.24 o 235 11.00/29.31 c And the winner is solver0 11.03/29.74 c Got one! Elapsed wall clock time (in seconds):29.618 11.03/29.74 o 233 11.16/29.85 c And the winner is solver0 11.28/30.24 c Got one! Elapsed wall clock time (in seconds):30.118 11.28/30.24 o 217 11.42/30.30 c cleaning 9046 clauses out of 18102 with flag 3881/95838 11.42/30.34 c And the winner is solver0 11.53/30.74 c Got one! Elapsed wall clock time (in seconds):30.619 11.53/30.74 o 216 11.53/30.78 c And the winner is solver0 11.63/31.24 c Got one! Elapsed wall clock time (in seconds):31.12 11.63/31.24 o 214 11.63/31.28 c And the winner is solver0 11.72/31.74 c Got one! Elapsed wall clock time (in seconds):31.621 11.72/31.74 o 210 11.72/31.76 c And the winner is solver0 11.77/32.24 c Got one! Elapsed wall clock time (in seconds):32.122 11.77/32.24 o 208 11.77/32.27 c And the winner is solver0 11.84/32.74 c Got one! Elapsed wall clock time (in seconds):32.622 11.84/32.74 o 196 11.84/32.77 c And the winner is solver0 11.91/33.24 c Got one! Elapsed wall clock time (in seconds):33.123 11.91/33.24 o 186 12.02/33.31 c And the winner is solver0 12.06/33.75 c Got one! Elapsed wall clock time (in seconds):33.623 12.06/33.75 o 167 12.16/33.80 c And the winner is solver0 12.19/34.25 c Got one! Elapsed wall clock time (in seconds):34.124 12.19/34.25 o 163 12.19/34.29 c And the winner is solver0 12.28/34.75 c Got one! Elapsed wall clock time (in seconds):34.625 12.28/34.75 o 157 12.28/34.77 c And the winner is solver0 12.35/35.25 c Got one! Elapsed wall clock time (in seconds):35.126 12.35/35.25 o 156 12.35/35.30 c And the winner is solver0 12.46/35.75 c Got one! Elapsed wall clock time (in seconds):35.626 12.46/35.75 o 142 12.46/35.79 c And the winner is solver0 12.56/36.25 c Got one! Elapsed wall clock time (in seconds):36.127 12.56/36.25 o 135 12.67/36.31 c cleaning 10927 clauses out of 21859 with flag 4582/108641 12.67/36.32 c And the winner is solver0 12.70/36.75 c Got one! Elapsed wall clock time (in seconds):36.628 12.70/36.75 o 131 12.70/36.79 c And the winner is solver0 12.80/37.25 c Got one! Elapsed wall clock time (in seconds):37.129 12.80/37.25 o 125 12.89/37.31 c And the winner is solver0 12.94/37.75 c Got one! Elapsed wall clock time (in seconds):37.63 12.94/37.75 o 123 13.03/37.80 c And the winner is solver0 13.05/38.25 c Got one! Elapsed wall clock time (in seconds):38.13 13.05/38.25 o 116 13.05/38.29 c And the winner is solver0 13.14/38.75 c Got one! Elapsed wall clock time (in seconds):38.631 13.14/38.75 o 110 13.24/38.81 c And the winner is solver0 13.26/39.25 c Got one! Elapsed wall clock time (in seconds):39.132 13.26/39.25 o 104 13.26/39.27 c And the winner is solver0 13.30/39.75 c Got one! Elapsed wall clock time (in seconds):39.633 13.30/39.75 o 90 13.38/39.81 c cleaning 9196 clauses out of 18391 with flag 4694/116100 13.38/39.82 c And the winner is solver0 13.47/40.26 c Got one! Elapsed wall clock time (in seconds):40.133 13.47/40.26 o 86 13.47/40.27 c And the winner is solver0 13.52/40.76 c Got one! Elapsed wall clock time (in seconds):40.635 13.52/40.76 o 80 13.81/40.95 c cleaning 7487 clauses out of 14986 with flag 22742/121891 14.23/41.16 c cleaning 6743 clauses out of 13499 with flag 50655/127891 14.82/41.41 c cleaning 6876 clauses out of 13757 with flag 83346/134892 15.44/41.73 c cleaning 7441 clauses out of 14881 with flag 119383/142893 16.11/42.08 c cleaning 8215 clauses out of 16438 with flag 161947/151891 16.93/42.46 c cleaning 9108 clauses out of 18221 with flag 208774/161891 17.96/42.93 c cleaning 10052 clauses out of 20114 with flag 264925/172892 18.95/43.43 c cleaning 11027 clauses out of 22061 with flag 324687/184891 19.95/44.00 c cleaning 12017 clauses out of 24034 with flag 387543/197892 21.36/44.68 c cleaning 13005 clauses out of 26014 with flag 460989/211891 22.78/45.38 c cleaning 14002 clauses out of 28005 with flag 536488/226892 24.62/46.23 c cleaning 14998 clauses out of 30000 with flag 620985/242891 25.81/46.89 c And the winner is solver0 26.07/47.34 c >>>>>>>>>> Solver number 0 (79 answers) <<<<<<<<<<<<<<<<<< 26.07/47.34 c starts : 1490 26.07/47.34 c conflicts : 256661 26.07/47.34 c decisions : 421291 26.07/47.34 c propagations : 5405807 26.07/47.34 c inspects : 118418698 26.07/47.34 c shortcuts : 0 26.07/47.34 c learnt literals : 29 26.07/47.34 c learnt binary clauses : 207 26.07/47.34 c learnt ternary clauses : 856 26.07/47.34 c learnt constraints : 256631 26.07/47.34 c ignored constraints : 0 26.07/47.34 c root simplifications : 0 26.07/47.34 c removed literals (reason simplification) : 2953686 26.07/47.34 c reason swapping (by a shorter reason) : 0 26.07/47.34 c Calls to reduceDB : 26 26.07/47.34 c Number of update (reduction) of LBD : 68735 26.07/47.34 c Imported unit clauses : 0 26.07/47.34 c number of reductions to clauses (during analyze) : 0 26.07/47.34 c number of learned constraints concerned by reduction : 0 26.07/47.34 c number of learning phase by resolution : 0 26.07/47.34 c number of learning phase by cutting planes : 0 26.07/47.34 c speed (assignments/second) : 118418.55421686747 26.07/47.34 c non guided choices 2628 26.07/47.34 c learnt constraints type 26.07/47.34 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 26.07/47.34 c starts : 88 26.07/47.34 c conflicts : 1651 26.07/47.34 c decisions : 10197 26.07/47.34 c propagations : 60093 26.07/47.34 c inspects : 9782398 26.07/47.34 c shortcuts : 0 26.07/47.34 c learnt literals : 0 26.07/47.34 c learnt binary clauses : 0 26.07/47.34 c learnt ternary clauses : 0 26.07/47.34 c learnt constraints : 1590 26.07/47.34 c ignored constraints : 0 26.07/47.34 c root simplifications : 0 26.07/47.34 c removed literals (reason simplification) : 0 26.07/47.34 c reason swapping (by a shorter reason) : 0 26.07/47.34 c Calls to reduceDB : 0 26.07/47.34 c Number of update (reduction) of LBD : 0 26.07/47.34 c Imported unit clauses : 0 26.07/47.34 c number of reductions to clauses (during analyze) : 0 26.07/47.34 c number of learned constraints concerned by reduction : 0 26.07/47.34 c number of learning phase by resolution : 0 26.07/47.34 c number of learning phase by cutting planes : 0 26.07/47.34 c speed (assignments/second) : 9127.126366950182 26.07/47.34 c non guided choices 870 26.07/47.34 c learnt constraints type 26.07/47.34 s OPTIMUM FOUND 26.07/47.34 c Found 80 solution(s) 26.07/47.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 26.07/47.34 c objective function=80 26.07/47.34 c Total wall clock time (in seconds): 47.222
OK 80
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-4109373-1467321070/watcher-4109373-1467321070 -o /tmp/evaluation-result-4109373-1467321070/solver-4109373-1467321070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467318804-16844 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109373-1467321070.wbo pid=24894 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.82 0.90 1.09 2/169 24897 /proc/meminfo: memFree=26742868/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/24897/stat : 24897 (java) D 24894 24897 13214 0 -1 4202496 158 0 0 0 0 0 0 0 20 0 1 0 13074331 278528 33 33554432000 1073741824 1073778376 140734038394096 140734038391272 213183982887 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/24897/statm: 68 33 25 9 0 25 0 [startup+0.100059 s] /proc/loadavg: 0.82 0.90 1.09 2/169 24897 /proc/meminfo: memFree=26742868/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 13074331 9787879424 6025 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2389619 6025 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200223 s] /proc/loadavg: 0.82 0.90 1.09 2/169 24897 /proc/meminfo: memFree=26742868/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 4752 0 1 0 22 1 0 0 20 0 22 0 13074331 10060525568 8369 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 8369 2208 9 0 2446860 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9824732 [startup+0.300224 s] /proc/loadavg: 0.82 0.90 1.09 2/169 24897 /proc/meminfo: memFree=26742868/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=0.6 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 7808 0 1 0 59 1 0 0 20 0 22 0 13074331 10060525568 10570 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 10570 2247 9 0 2446860 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 9824732 [startup+0.700197 s] /proc/loadavg: 0.82 0.90 1.09 2/169 24897 /proc/meminfo: memFree=26742868/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 16254 0 1 0 217 3 0 0 20 0 22 0 13074331 10060525568 18393 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 18393 2259 9 0 2446860 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 9824732 [startup+1.50083 s] /proc/loadavg: 0.82 0.90 1.09 1/188 24919 /proc/meminfo: memFree=26652588/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=3.43 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 22616 0 1 0 334 9 0 0 20 0 19 0 13074331 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 43066 2271 9 0 2446860 0 [pid=24897/tid=24899] ppid=24894 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/24897/task/24899/stat : 24899 (java) S 24894 24897 13214 0 -1 4202560 2417 0 1 0 15 0 0 0 20 0 19 0 13074332 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140670201152376 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24900] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24900/stat : 24900 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140670179253160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24901] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24901/stat : 24901 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669976833064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24902] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24902/stat : 24902 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669975780008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24897/tid=24903] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24903/stat : 24903 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669974727464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24904] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24904/stat : 24904 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669973674408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24905] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24905/stat : 24905 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669972621864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24906] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24906/stat : 24906 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669971568808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24907] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24907/stat : 24907 (java) S 24894 24897 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669970516264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24908] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24908/stat : 24908 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669958105960 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24909] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24909/stat : 24909 (java) S 24894 24897 13214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669957052280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24910] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24910/stat : 24910 (java) S 24894 24897 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669955999112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24911] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24911/stat : 24911 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074337 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669954947856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24912] ppid=24894 vsize=9824732 CPUtime=0.78 cores=1,3,5,7 /proc/24897/task/24912/stat : 24912 (java) S 24894 24897 13214 0 -1 4202560 11121 0 0 0 76 2 0 0 20 0 19 0 13074337 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669953894712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24913] ppid=24894 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/24897/task/24913/stat : 24913 (java) S 24894 24897 13214 0 -1 4202560 7698 0 0 0 85 1 0 0 20 0 19 0 13074337 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669952842168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24914] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24914/stat : 24914 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074337 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669951789304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24915] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24915/stat : 24915 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074338 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669950736968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24919] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24919/stat : 24919 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074351 10060525568 43066 33554432000 1073741824 1073778376 140734543771344 140669946426792 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.43 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 0.82 0.90 1.09 5/190 24927 /proc/meminfo: memFree=26564012/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=3.59 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 22675 0 1 0 344 15 0 0 20 0 19 0 13074331 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 46939 2284 9 0 2446860 0 [pid=24897/tid=24899] ppid=24894 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/24897/task/24899/stat : 24899 (java) S 24894 24897 13214 0 -1 4202560 2418 0 1 0 16 0 0 0 20 0 19 0 13074332 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140670201152376 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24900] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24900/stat : 24900 (java) S 24894 24897 13214 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140670179253160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24901] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24901/stat : 24901 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669976833064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24902] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24902/stat : 24902 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669975780008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24897/tid=24903] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24903/stat : 24903 (java) S 24894 24897 13214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669974727464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24904] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24904/stat : 24904 (java) S 24894 24897 13214 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669973674408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24905] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24905/stat : 24905 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669972621864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24906] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24906/stat : 24906 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669971568808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24907] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24907/stat : 24907 (java) S 24894 24897 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13074334 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669970516264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24908] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24908/stat : 24908 (java) S 24894 24897 13214 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669958105960 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24909] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24909/stat : 24909 (java) S 24894 24897 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669957052280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24910] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24910/stat : 24910 (java) S 24894 24897 13214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669955999112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24911] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24911/stat : 24911 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074337 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669954947856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24912] ppid=24894 vsize=9824732 CPUtime=0.78 cores=1,3,5,7 /proc/24897/task/24912/stat : 24912 (java) S 24894 24897 13214 0 -1 4202560 11121 0 0 0 76 2 0 0 20 0 19 0 13074337 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669953894712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24913] ppid=24894 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/24897/task/24913/stat : 24913 (java) S 24894 24897 13214 0 -1 4202560 7698 0 0 0 85 1 0 0 20 0 19 0 13074337 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669952842168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24914] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24914/stat : 24914 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074337 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669951789304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24915] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24915/stat : 24915 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074338 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669950736968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24925] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24925/stat : 24925 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13074501 10060525568 46939 33554432000 1073741824 1073778376 140734543771344 140669947479720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.59 Current children cumulated vsize (KiB) 9824732 [startup+6.30075 s] /proc/loadavg: 0.75 0.88 1.08 1/188 24946 /proc/meminfo: memFree=26576012/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=4.13 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 22743 0 1 0 387 26 0 0 20 0 22 0 13074331 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 44878 2285 9 0 2446860 0 [pid=24897/tid=24899] ppid=24894 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/24897/task/24899/stat : 24899 (java) S 24894 24897 13214 0 -1 4202560 2419 0 1 0 16 0 0 0 20 0 22 0 13074332 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140670201152376 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24900] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24900/stat : 24900 (java) R 24894 24897 13214 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 13074334 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140670179253160 213196518460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24901] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24901/stat : 24901 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074334 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140669976833064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24902] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24902/stat : 24902 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074334 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140669975780008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24897/tid=24903] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24903/stat : 24903 (java) S 24894 24897 13214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13074334 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140669974727464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24904] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24904/stat : 24904 (java) R 24894 24897 13214 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 13074334 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140669973674408 140670203623105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24905] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24905/stat : 24905 (java) R 24894 24897 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13074334 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140669972620376 213196518460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24906] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24906/stat : 24906 (java) R 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074334 10060525568 44878 33554432000 1073741824 1073778376 140734543771344 140669971568808 140670203623105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24907] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24907/stat : 24907 (java) R 24894 24897 13214 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13074334 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669970516264 140670203623105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24908] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24908/stat : 24908 (java) S 24894 24897 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13074335 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669958104840 213196518460 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24909] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24909/stat : 24909 (java) S 24894 24897 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13074335 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669957052280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24910] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24910/stat : 24910 (java) S 24894 24897 13214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13074335 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669955999112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24911] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24911/stat : 24911 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074337 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669954947856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24912] ppid=24894 vsize=9824732 CPUtime=0.78 cores=1,3,5,7 /proc/24897/task/24912/stat : 24912 (java) S 24894 24897 13214 0 -1 4202560 11121 0 0 0 76 2 0 0 20 0 22 0 13074337 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669953894712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24913] ppid=24894 vsize=9824732 CPUtime=0.89 cores=1,3,5,7 /proc/24897/task/24913/stat : 24913 (java) S 24894 24897 13214 0 -1 4202560 7698 0 0 0 88 1 0 0 20 0 22 0 13074337 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669952842168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24914] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24914/stat : 24914 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074337 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669951789304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24915] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24915/stat : 24915 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074338 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669950736968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24925] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24925/stat : 24925 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13074501 10060525568 45390 33554432000 1073741824 1073778376 140734543771344 140669947479720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 9824732 heavy processes: ################ # More data... # ################ /proc/24897/task/24912/stat : 24912 (java) S 24894 24897 13214 0 -1 4202560 16436 0 0 0 141 3 0 0 20 0 22 0 13074337 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669953894712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24913] ppid=24894 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/24897/task/24913/stat : 24913 (java) S 24894 24897 13214 0 -1 4202560 12483 0 0 0 131 2 0 0 20 0 22 0 13074337 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669952842168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24914] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24914/stat : 24914 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074337 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669951789304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24915] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24915/stat : 24915 (java) S 24894 24897 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13074338 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669950736968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24925] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24925/stat : 24925 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13074501 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669947479720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24897/tid=25157] ppid=24894 vsize=9824732 CPUtime=5.47 cores=1,3,5,7 /proc/24897/task/25157/stat : 25157 (java) R 24894 24897 13214 0 -1 4202560 29 0 0 0 547 0 0 0 20 0 22 0 13078407 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669949575680 140670061305631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=25158] ppid=24894 vsize=9824732 CPUtime=5.47 cores=1,3,5,7 /proc/24897/task/25158/stat : 25158 (java) R 24894 24897 13214 0 -1 4202560 303 0 0 0 545 2 0 0 20 0 22 0 13078407 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669946424992 140670061174964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=25159] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/25159/stat : 25159 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13078407 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669948532136 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 25.01 Current children cumulated vsize (KiB) 9824732 [startup+46.801 s] /proc/loadavg: 0.69 0.84 1.06 3/191 25159 /proc/meminfo: memFree=26256180/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=25.81 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 34305 0 1 0 2400 181 0 0 20 0 22 0 13074331 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 123195 2287 9 0 2446860 0 [pid=24897/tid=24899] ppid=24894 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/24897/task/24899/stat : 24899 (java) S 24894 24897 13214 0 -1 4202560 2423 0 1 0 18 2 0 0 20 0 22 0 13074332 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140670201152376 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24900] ppid=24894 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/24897/task/24900/stat : 24900 (java) S 24894 24897 13214 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 22 0 13074334 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140670179253160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24901] ppid=24894 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24897/task/24901/stat : 24901 (java) S 24894 24897 13214 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 22 0 13074334 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669976833064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24902] ppid=24894 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/24897/task/24902/stat : 24902 (java) S 24894 24897 13214 0 -1 4202560 61 0 0 0 10 2 0 0 20 0 22 0 13074334 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669975780008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24903] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24903/stat : 24903 (java) S 24894 24897 13214 0 -1 4202560 44 0 0 0 9 2 0 0 20 0 22 0 13074334 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669974727464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24904] ppid=24894 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24897/task/24904/stat : 24904 (java) S 24894 24897 13214 0 -1 4202560 28 0 0 0 7 1 0 0 20 0 22 0 13074334 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669973674408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24905] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24905/stat : 24905 (java) S 24894 24897 13214 0 -1 4202560 47 0 0 0 9 2 0 0 20 0 22 0 13074334 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669972621864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24897/tid=24906] ppid=24894 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/24897/task/24906/stat : 24906 (java) S 24894 24897 13214 0 -1 4202560 51 0 0 0 8 2 0 0 20 0 22 0 13074334 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669971568808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24907] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24907/stat : 24907 (java) S 24894 24897 13214 0 -1 4202560 44 0 0 0 10 1 0 0 20 0 22 0 13074334 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669970516264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24908] ppid=24894 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/24897/task/24908/stat : 24908 (java) S 24894 24897 13214 0 -1 4202560 216 0 0 0 2 8 0 0 20 0 22 0 13074335 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669958105960 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24909] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24909/stat : 24909 (java) S 24894 24897 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13074335 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669957052280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24910] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24910/stat : 24910 (java) S 24894 24897 13214 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 22 0 13074335 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669955999112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24911] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24911/stat : 24911 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074337 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669954947856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24912] ppid=24894 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/24897/task/24912/stat : 24912 (java) S 24894 24897 13214 0 -1 4202560 16436 0 0 0 141 3 0 0 20 0 22 0 13074337 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669953894712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24913] ppid=24894 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/24897/task/24913/stat : 24913 (java) S 24894 24897 13214 0 -1 4202560 12483 0 0 0 131 2 0 0 20 0 22 0 13074337 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669952842168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24914] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24914/stat : 24914 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13074337 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669951789304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24915] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24915/stat : 24915 (java) S 24894 24897 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13074338 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669950736968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24925] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24925/stat : 24925 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13074501 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669947479720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24897/tid=25157] ppid=24894 vsize=9824732 CPUtime=5.87 cores=1,3,5,7 /proc/24897/task/25157/stat : 25157 (java) R 24894 24897 13214 0 -1 4202560 29 0 0 0 587 0 0 0 20 0 22 0 13078407 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669949575680 140670061282179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=25158] ppid=24894 vsize=9824732 CPUtime=5.86 cores=1,3,5,7 /proc/24897/task/25158/stat : 25158 (java) R 24894 24897 13214 0 -1 4202560 303 0 0 0 584 2 0 0 20 0 22 0 13078407 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669946424992 140670061411682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=25159] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/25159/stat : 25159 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13078407 10060525568 123195 33554432000 1073741824 1073778376 140734543771344 140669948532136 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 25.81 Current children cumulated vsize (KiB) 9824732 [startup+47.2008 s] /proc/loadavg: 0.69 0.84 1.06 3/191 25159 /proc/meminfo: memFree=26256180/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=26 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 34305 0 1 0 2419 181 0 0 20 0 19 0 13074331 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 123186 2287 9 0 2446860 0 [pid=24897/tid=24899] ppid=24894 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/24897/task/24899/stat : 24899 (java) S 24894 24897 13214 0 -1 4202560 2423 0 1 0 18 2 0 0 20 0 19 0 13074332 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140670201152376 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24900] ppid=24894 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/24897/task/24900/stat : 24900 (java) S 24894 24897 13214 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140670179253160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24901] ppid=24894 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24897/task/24901/stat : 24901 (java) S 24894 24897 13214 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669976833064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24902] ppid=24894 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/24897/task/24902/stat : 24902 (java) S 24894 24897 13214 0 -1 4202560 61 0 0 0 10 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669975780008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24903] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24903/stat : 24903 (java) S 24894 24897 13214 0 -1 4202560 44 0 0 0 9 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669974727464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24904] ppid=24894 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24897/task/24904/stat : 24904 (java) S 24894 24897 13214 0 -1 4202560 28 0 0 0 7 1 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669973674408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24905] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24905/stat : 24905 (java) S 24894 24897 13214 0 -1 4202560 47 0 0 0 9 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669972621864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24897/tid=24906] ppid=24894 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/24897/task/24906/stat : 24906 (java) S 24894 24897 13214 0 -1 4202560 51 0 0 0 8 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669971568808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24907] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24907/stat : 24907 (java) S 24894 24897 13214 0 -1 4202560 44 0 0 0 10 1 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669970516264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24908] ppid=24894 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/24897/task/24908/stat : 24908 (java) S 24894 24897 13214 0 -1 4202560 216 0 0 0 2 8 0 0 20 0 19 0 13074335 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669958105960 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24909] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24909/stat : 24909 (java) S 24894 24897 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669957052280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24910] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24910/stat : 24910 (java) S 24894 24897 13214 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669955999112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24911] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24911/stat : 24911 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074337 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669954947856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24912] ppid=24894 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/24897/task/24912/stat : 24912 (java) S 24894 24897 13214 0 -1 4202560 16436 0 0 0 141 3 0 0 20 0 19 0 13074337 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669953894712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24913] ppid=24894 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/24897/task/24913/stat : 24913 (java) S 24894 24897 13214 0 -1 4202560 12483 0 0 0 131 2 0 0 20 0 19 0 13074337 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669952842168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24914] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24914/stat : 24914 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074337 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669951789304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24915] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24915/stat : 24915 (java) S 24894 24897 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13074338 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669950736968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24925] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24925/stat : 24925 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13074501 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669947479720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 26 Current children cumulated vsize (KiB) 9824732 [startup+47.3008 s] /proc/loadavg: 0.69 0.84 1.06 3/188 25159 /proc/meminfo: memFree=26256196/32872528 swapFree=11480/941500 [pid=24897] ppid=24894 vsize=9824732 CPUtime=26.07 cores=1,3,5,7 /proc/24897/stat : 24897 (java) S 24894 24897 13214 0 -1 4202496 34305 0 1 0 2426 181 0 0 20 0 19 0 13074331 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140734543762480 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24897/statm: 2456183 123186 2287 9 0 2446860 0 [pid=24897/tid=24899] ppid=24894 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/24897/task/24899/stat : 24899 (java) R 24894 24897 13214 0 -1 4202560 2423 0 1 0 23 2 0 0 20 0 19 0 13074332 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140670201152040 140670061752532 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24900] ppid=24894 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/24897/task/24900/stat : 24900 (java) S 24894 24897 13214 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140670179253160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24901] ppid=24894 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24897/task/24901/stat : 24901 (java) S 24894 24897 13214 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669976833064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24902] ppid=24894 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/24897/task/24902/stat : 24902 (java) S 24894 24897 13214 0 -1 4202560 61 0 0 0 10 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669975780008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24903] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24903/stat : 24903 (java) S 24894 24897 13214 0 -1 4202560 44 0 0 0 9 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669974727464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24904] ppid=24894 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24897/task/24904/stat : 24904 (java) S 24894 24897 13214 0 -1 4202560 28 0 0 0 7 1 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669973674408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24905] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24905/stat : 24905 (java) S 24894 24897 13214 0 -1 4202560 47 0 0 0 9 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669972621864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24897/tid=24906] ppid=24894 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/24897/task/24906/stat : 24906 (java) S 24894 24897 13214 0 -1 4202560 51 0 0 0 8 2 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669971568808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24907] ppid=24894 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/24897/task/24907/stat : 24907 (java) S 24894 24897 13214 0 -1 4202560 44 0 0 0 10 1 0 0 20 0 19 0 13074334 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669970516264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24908] ppid=24894 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/24897/task/24908/stat : 24908 (java) S 24894 24897 13214 0 -1 4202560 216 0 0 0 2 8 0 0 20 0 19 0 13074335 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669958105960 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24909] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24909/stat : 24909 (java) S 24894 24897 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669957052280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24910] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24910/stat : 24910 (java) S 24894 24897 13214 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 19 0 13074335 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669955999112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24911] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24911/stat : 24911 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074337 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669954947856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24912] ppid=24894 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/24897/task/24912/stat : 24912 (java) S 24894 24897 13214 0 -1 4202560 16436 0 0 0 142 3 0 0 20 0 19 0 13074337 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669953894712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24897/tid=24913] ppid=24894 vsize=9824732 CPUtime=1.34 cores=1,3,5,7 /proc/24897/task/24913/stat : 24913 (java) S 24894 24897 13214 0 -1 4202560 12483 0 0 0 132 2 0 0 20 0 19 0 13074337 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669952842168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24914] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24914/stat : 24914 (java) S 24894 24897 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13074337 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669951789304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24897/tid=24915] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24915/stat : 24915 (java) S 24894 24897 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13074338 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669950736968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24897/tid=24925] ppid=24894 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24897/task/24925/stat : 24925 (java) S 24894 24897 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13074501 10060525568 123186 33554432000 1073741824 1073778376 140734543771344 140669947479720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 26.07 Current children cumulated vsize (KiB) 9824732 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.90735e-06 # lost CPU user time (s): 0.0200005 # lost CPU system time (s): -0.02 Real time (s): 47.3529 CPU time (s): 26.21 CPU user time (s): 24.2783 CPU system time (s): 1.9317 CPU usage (%): 55.3504 Max. virtual memory (cumulated for all children) (KiB): 9825940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.2583 system time used= 1.9517 maximum resident set size= 492780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34312 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= 3943 involuntary context switches= 1861 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.336948 second user time and 0.464929 second system time The end
Begin job on node113 at 2016-06-30 23:11:10 IDJOB=4109373 IDBENCH=78792 IDSOLVER=2552 FILE ID=node113/4109373-1467321070 RUNJOBID= node113-1467318804-16844 PBS_JOBID= 20005277 Free space on /tmp= 71736 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.1110971697--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109373-1467321070/watcher-4109373-1467321070 -o /tmp/evaluation-result-4109373-1467321070/solver-4109373-1467321070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467318804-16844 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109373-1467321070.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e00897e4a2c20d3d8c9b6106b938663 RANDOM SEED=525270685 node113.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.947 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.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.947 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 : 5325.52 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.947 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.56 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.947 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.54 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.947 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.56 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.947 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.947 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.56 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.947 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: 26743132 kB Buffers: 137812 kB Cached: 4275616 kB SwapCached: 0 kB Active: 2940544 kB Inactive: 1488240 kB Active(anon): 12128 kB Inactive(anon): 5656 kB Active(file): 2928416 kB Inactive(file): 1482584 kB Unevictable: 941500 kB Mlocked: 11480 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 940 kB Writeback: 0 kB AnonPages: 941880 kB Mapped: 13336 kB Shmem: 204 kB Slab: 629728 kB SReclaimable: 74048 kB SUnreclaim: 555680 kB KernelStack: 1568 kB PageTables: 5292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1039672 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 921600 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= 71736 MiB End job on node113 at 2016-06-30 23:11:57