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.7999 | 41.4832 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-66-100-0.wbo |
| MD5SUM | 68c1ee02f9ed73de7ca03f1ed76deb4c |
| 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 | 17 |
| Best CPU time to get the best result obtained on this benchmark | 15.0347 |
| 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 | 1139 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c ManyCore solver with 2 solvers running in parallel 0.11/0.10 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Glucose 2.1 dynamic restart strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-4109265-1467320762.wbo 0.11/0.10 c reading problem ... 0.11/0.17 c ... done. Wall clock time 0.064s. 0.11/0.17 c declared #vars 169 0.11/0.17 c internal #vars 197 0.11/0.17 c #constraints 101 0.11/0.17 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.17 c constraints type 0.11/0.17 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28 0.11/0.17 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 0.11/0.17 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2 0.11/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21 0.11/0.17 c 101 constraints processed. 0.11/0.17 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.17 c constraints type 0.11/0.17 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2 0.11/0.17 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 28 0.11/0.17 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 0.11/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPb => 21 0.11/0.17 c 101 constraints processed. 0.11/0.17 c objective function length is 28 literals 1.87/0.65 c And the winner is solver1 2.22/0.73 c cleaning 2500 clauses out of 5000 with flag 13718/5000 2.22/0.77 c SATISFIABLE 2.22/0.77 c OPTIMIZING... 2.22/0.77 c Got one! Elapsed wall clock time (in seconds):0.668 2.22/0.77 o 1074 2.86/0.90 c And the winner is solver0 2.94/1.27 c Got one! Elapsed wall clock time (in seconds):1.169 2.94/1.27 o 976 2.99/1.31 c cleaning 3765 clauses out of 7532 with flag 3174/10032 3.31/1.41 c And the winner is solver0 3.35/1.77 c Got one! Elapsed wall clock time (in seconds):1.67 3.35/1.77 o 970 3.39/1.84 c cleaning 4607 clauses out of 9216 with flag 6326/15481 3.39/1.89 c And the winner is solver0 3.78/2.28 c Got one! Elapsed wall clock time (in seconds):2.171 3.78/2.28 o 969 3.83/2.32 c And the winner is solver0 3.88/2.78 c Got one! Elapsed wall clock time (in seconds):2.672 3.88/2.78 o 948 3.91/2.81 c And the winner is solver0 3.96/3.28 c Got one! Elapsed wall clock time (in seconds):3.173 3.96/3.28 o 719 4.00/3.35 c cleaning 5438 clauses out of 10876 with flag 6836/21748 4.47/3.51 c And the winner is solver0 4.49/3.78 c Got one! Elapsed wall clock time (in seconds):3.674 4.49/3.78 o 714 4.49/3.80 c And the winner is solver0 4.58/4.28 c Got one! Elapsed wall clock time (in seconds):4.175 4.58/4.28 o 709 4.64/4.33 c And the winner is solver0 4.72/4.78 c Got one! Elapsed wall clock time (in seconds):4.676 4.72/4.78 o 705 4.72/4.79 c And the winner is solver0 4.76/5.28 c Got one! Elapsed wall clock time (in seconds):5.176 4.76/5.28 o 695 4.79/5.30 c And the winner is solver0 4.82/5.78 c Got one! Elapsed wall clock time (in seconds):5.677 4.82/5.78 o 627 5.05/5.98 c cleaning 9039 clauses out of 18083 with flag 18471/34393 5.27/6.09 c And the winner is solver1 5.49/6.28 c Got one! Elapsed wall clock time (in seconds):6.178 5.49/6.28 o 612 5.52/6.34 c And the winner is solver0 5.61/6.78 c Got one! Elapsed wall clock time (in seconds):6.679 5.61/6.78 o 604 5.64/6.84 c cleaning 7316 clauses out of 14642 with flag 4603/39991 5.64/6.85 c And the winner is solver0 5.77/7.28 c Got one! Elapsed wall clock time (in seconds):7.18 5.77/7.28 o 599 5.99/7.41 c And the winner is solver0 6.02/7.79 c Got one! Elapsed wall clock time (in seconds):7.681 6.02/7.79 o 588 6.06/7.89 c cleaning 6653 clauses out of 13318 with flag 8668/45983 6.27/7.90 c And the winner is solver0 6.28/8.29 c Got one! Elapsed wall clock time (in seconds):8.182 6.28/8.29 o 551 6.30/8.31 c And the winner is solver0 6.35/8.79 c Got one! Elapsed wall clock time (in seconds):8.682 6.35/8.79 o 539 6.58/8.96 c cleaning 6429 clauses out of 12866 with flag 22283/52184 6.77/9.07 c And the winner is solver0 6.96/9.29 c Got one! Elapsed wall clock time (in seconds):9.183 6.96/9.29 o 532 6.98/9.36 c cleaning 5794 clauses out of 11591 with flag 9379/57338 7.18/9.41 c And the winner is solver0 7.23/9.79 c Got one! Elapsed wall clock time (in seconds):9.684 7.23/9.79 o 526 7.25/9.81 c And the winner is solver0 7.28/10.29 c Got one! Elapsed wall clock time (in seconds):10.185 7.28/10.29 o 522 7.29/10.32 c And the winner is solver0 7.36/10.79 c Got one! Elapsed wall clock time (in seconds):10.685 7.36/10.79 o 520 7.36/10.81 c And the winner is solver0 7.40/11.29 c Got one! Elapsed wall clock time (in seconds):11.186 7.40/11.29 o 512 7.64/11.44 c And the winner is solver0 7.75/11.79 c Got one! Elapsed wall clock time (in seconds):11.687 7.75/11.79 o 498 7.77/11.83 c And the winner is solver0 7.87/12.29 c Got one! Elapsed wall clock time (in seconds):12.188 7.87/12.29 o 497 7.87/12.34 c cleaning 7409 clauses out of 14819 with flag 5139/66360 7.87/12.35 c And the winner is solver0 7.99/12.79 c Got one! Elapsed wall clock time (in seconds):12.689 7.99/12.79 o 491 8.45/13.01 c cleaning 6236 clauses out of 12479 with flag 22133/71429 8.45/13.03 c And the winner is solver0 8.54/13.29 c Got one! Elapsed wall clock time (in seconds):13.189 8.54/13.29 o 486 8.55/13.38 c And the winner is solver0 8.73/13.79 c Got one! Elapsed wall clock time (in seconds):13.69 8.73/13.79 o 470 8.73/13.85 c And the winner is solver0 8.85/14.30 c Got one! Elapsed wall clock time (in seconds):14.191 8.85/14.30 o 468 8.86/14.32 c And the winner is solver0 8.92/14.80 c Got one! Elapsed wall clock time (in seconds):14.692 8.92/14.80 o 462 8.92/14.87 c And the winner is solver0 9.12/15.30 c Got one! Elapsed wall clock time (in seconds):15.193 9.12/15.30 o 457 9.12/15.33 c And the winner is solver0 9.21/15.80 c Got one! Elapsed wall clock time (in seconds):15.694 9.21/15.80 o 451 9.21/15.83 c And the winner is solver0 9.28/16.30 c Got one! Elapsed wall clock time (in seconds):16.194 9.28/16.30 o 450 9.28/16.35 c cleaning 8104 clauses out of 16214 with flag 4323/81400 9.48/16.43 c And the winner is solver0 9.57/16.80 c Got one! Elapsed wall clock time (in seconds):16.695 9.57/16.80 o 446 9.57/16.81 c And the winner is solver0 9.60/17.30 c Got one! Elapsed wall clock time (in seconds):17.196 9.60/17.30 o 445 9.60/17.35 c And the winner is solver0 9.73/17.80 c Got one! Elapsed wall clock time (in seconds):17.697 9.73/17.80 o 440 9.73/17.85 c And the winner is solver0 9.84/18.30 c Got one! Elapsed wall clock time (in seconds):18.197 9.84/18.30 o 435 9.84/18.35 c cleaning 7368 clauses out of 14740 with flag 3981/88030 9.84/18.37 c And the winner is solver0 10.01/18.80 c Got one! Elapsed wall clock time (in seconds):18.698 10.01/18.80 o 433 10.01/18.82 c And the winner is solver0 10.06/19.30 c Got one! Elapsed wall clock time (in seconds):19.199 10.06/19.30 o 432 10.06/19.34 c And the winner is solver0 10.15/19.80 c Got one! Elapsed wall clock time (in seconds):19.699 10.15/19.80 o 420 10.36/19.96 c cleaning 6854 clauses out of 13710 with flag 16854/94368 10.55/20.00 c And the winner is solver0 10.59/20.30 c Got one! Elapsed wall clock time (in seconds):20.2 10.59/20.30 o 391 10.59/20.36 c And the winner is solver0 10.72/20.81 c Got one! Elapsed wall clock time (in seconds):20.701 10.72/20.81 o 384 10.72/20.81 c And the winner is solver0 10.72/21.31 c Got one! Elapsed wall clock time (in seconds):21.202 10.72/21.31 o 381 10.72/21.39 c And the winner is solver0 10.91/21.81 c Got one! Elapsed wall clock time (in seconds):21.702 10.91/21.81 o 380 10.91/21.81 c And the winner is solver0 10.91/22.31 c Got one! Elapsed wall clock time (in seconds):22.203 10.91/22.31 o 373 10.91/22.33 c And the winner is solver0 10.98/22.81 c Got one! Elapsed wall clock time (in seconds):22.704 10.98/22.81 o 365 10.98/22.84 c And the winner is solver0 11.05/23.31 c Got one! Elapsed wall clock time (in seconds):23.204 11.05/23.31 o 360 11.05/23.36 c cleaning 7400 clauses out of 14812 with flag 4725/102324 11.23/23.40 c And the winner is solver0 11.26/23.81 c Got one! Elapsed wall clock time (in seconds):23.705 11.26/23.81 o 359 11.26/23.84 c And the winner is solver0 11.33/24.31 c Got one! Elapsed wall clock time (in seconds):24.206 11.33/24.31 o 344 11.53/24.47 c cleaning 6867 clauses out of 13741 with flag 18098/108653 11.53/24.50 c And the winner is solver0 11.74/24.81 c Got one! Elapsed wall clock time (in seconds):24.706 11.74/24.81 o 327 11.74/24.88 c And the winner is solver0 11.91/25.31 c Got one! Elapsed wall clock time (in seconds):25.207 11.91/25.31 o 324 11.91/25.32 c And the winner is solver0 11.93/25.81 c Got one! Elapsed wall clock time (in seconds):25.708 11.93/25.81 o 315 12.10/25.92 c cleaning 6495 clauses out of 12993 with flag 14134/114772 12.10/25.93 c And the winner is solver0 12.25/26.31 c Got one! Elapsed wall clock time (in seconds):26.208 12.25/26.31 o 314 12.25/26.32 c And the winner is solver0 12.27/26.81 c Got one! Elapsed wall clock time (in seconds):26.709 12.27/26.81 o 308 12.44/26.91 c And the winner is solver0 12.50/27.31 c Got one! Elapsed wall clock time (in seconds):27.21 12.50/27.31 o 303 12.50/27.39 c cleaning 6073 clauses out of 12148 with flag 9176/120422 12.50/27.39 c And the winner is solver0 12.67/27.82 c Got one! Elapsed wall clock time (in seconds):27.711 12.67/27.82 o 297 12.67/27.82 c And the winner is solver0 12.70/28.32 c Got one! Elapsed wall clock time (in seconds):28.211 12.70/28.32 o 235 12.70/28.36 c And the winner is solver0 12.81/28.82 c Got one! Elapsed wall clock time (in seconds):28.712 12.81/28.82 o 203 12.81/28.86 c And the winner is solver0 12.92/29.32 c Got one! Elapsed wall clock time (in seconds):29.213 12.92/29.32 o 185 12.92/29.36 c And the winner is solver0 13.03/29.82 c Got one! Elapsed wall clock time (in seconds):29.714 13.03/29.82 o 178 13.03/29.87 c And the winner is solver0 13.15/30.32 c Got one! Elapsed wall clock time (in seconds):30.214 13.15/30.32 o 157 13.15/30.36 c cleaning 6274 clauses out of 12547 with flag 5491/126894 13.51/30.52 c And the winner is solver0 13.58/30.82 c Got one! Elapsed wall clock time (in seconds):30.715 13.58/30.82 o 146 13.58/30.85 c And the winner is solver0 13.65/31.32 c Got one! Elapsed wall clock time (in seconds):31.216 13.65/31.32 o 140 13.65/31.39 c cleaning 6244 clauses out of 12489 with flag 5031/133110 13.65/31.39 c And the winner is solver0 13.84/31.82 c Got one! Elapsed wall clock time (in seconds):31.716 13.84/31.82 o 129 13.84/31.82 c And the winner is solver0 13.84/32.32 c Got one! Elapsed wall clock time (in seconds):32.217 13.84/32.32 o 112 13.84/32.39 c And the winner is solver0 13.99/32.82 c Got one! Elapsed wall clock time (in seconds):32.718 13.99/32.82 o 92 13.99/32.88 c And the winner is solver0 14.13/33.32 c Got one! Elapsed wall clock time (in seconds):33.218 14.13/33.32 o 86 14.28/33.41 c And the winner is solver0 14.33/33.82 c Got one! Elapsed wall clock time (in seconds):33.719 14.33/33.82 o 80 14.51/33.90 c cleaning 6615 clauses out of 13238 with flag 5425/140103 15.13/34.18 c cleaning 6310 clauses out of 12623 with flag 37227/146103 15.87/34.44 c cleaning 6656 clauses out of 13312 with flag 72907/153102 16.46/34.74 c cleaning 7325 clauses out of 14656 with flag 113565/161102 17.09/35.04 c And the winner is solver0 17.21/35.33 c Got one! Elapsed wall clock time (in seconds):35.221 17.21/35.33 o 76 17.54/35.56 c cleaning 9854 clauses out of 19708 with flag 25993/173479 17.75/35.61 c And the winner is solver0 17.81/35.83 c Got one! Elapsed wall clock time (in seconds):35.724 17.81/35.83 o 69 18.14/36.00 c cleaning 7543 clauses out of 15102 with flag 22208/178727 18.54/36.22 c cleaning 6774 clauses out of 13558 with flag 51430/184726 18.97/36.49 c cleaning 6891 clauses out of 13785 with flag 88059/191727 19.36/36.69 c And the winner is solver0 19.58/36.83 c Got one! Elapsed wall clock time (in seconds):36.727 19.58/36.83 o 64 19.71/36.96 c And the winner is solver0 19.86/37.33 c Got one! Elapsed wall clock time (in seconds):37.23 19.86/37.33 o 62 20.00/37.45 c cleaning 8601 clauses out of 17209 with flag 11578/202042 20.39/37.69 c cleaning 7298 clauses out of 14606 with flag 42585/208040 20.99/37.97 c cleaning 7150 clauses out of 14305 with flag 78961/215039 21.60/38.25 c And the winner is solver0 21.72/38.34 c Got one! Elapsed wall clock time (in seconds):38.233 21.72/38.34 o 23 22.27/38.60 c cleaning 9606 clauses out of 19215 with flag 27016/227101 22.66/38.87 c cleaning 7801 clauses out of 15608 with flag 58153/233101 23.26/39.18 c cleaning 7399 clauses out of 14806 with flag 97308/240101 23.67/39.39 c And the winner is solver0 23.88/39.84 c Got one! Elapsed wall clock time (in seconds):39.737 23.88/39.84 o 18 24.18/40.08 c cleaning 8836 clauses out of 17674 with flag 28210/250370 24.58/40.20 c And the winner is solver0 24.63/40.35 c Got one! Elapsed wall clock time (in seconds):40.243 24.63/40.35 o 17 24.72/40.45 c cleaning 7143 clauses out of 14294 with flag 11043/255828 25.12/40.67 c cleaning 6573 clauses out of 13149 with flag 41428/261828 25.72/40.93 c cleaning 6783 clauses out of 13573 with flag 77025/268829 26.32/41.25 c cleaning 7385 clauses out of 14776 with flag 119653/276827 26.32/41.30 c And the winner is solver0 26.62/41.47 c >>>>>>>>>> Solver number 0 (73 answers) <<<<<<<<<<<<<<<<<< 26.62/41.47 c starts : 2595 26.62/41.47 c conflicts : 278198 26.62/41.47 c decisions : 421331 26.62/41.47 c propagations : 5731586 26.62/41.47 c inspects : 114672656 26.62/41.47 c shortcuts : 0 26.62/41.47 c learnt literals : 40 26.62/41.47 c learnt binary clauses : 50 26.62/41.47 c learnt ternary clauses : 337 26.62/41.47 c learnt constraints : 278157 26.62/41.47 c ignored constraints : 0 26.62/41.47 c root simplifications : 0 26.62/41.47 c removed literals (reason simplification) : 3561291 26.62/41.47 c reason swapping (by a shorter reason) : 0 26.62/41.47 c Calls to reduceDB : 39 26.62/41.47 c Number of update (reduction) of LBD : 68029 26.62/41.47 c Imported unit clauses : 0 26.62/41.47 c number of reductions to clauses (during analyze) : 0 26.62/41.47 c number of learned constraints concerned by reduction : 0 26.62/41.47 c number of learning phase by resolution : 0 26.62/41.47 c number of learning phase by cutting planes : 0 26.62/41.47 c speed (assignments/second) : 162880.04774219217 26.62/41.47 c non guided choices 2859 26.62/41.47 c learnt constraints type 26.62/41.47 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 26.62/41.47 c starts : 78 26.62/41.47 c conflicts : 1560 26.62/41.47 c decisions : 9364 26.62/41.47 c propagations : 55432 26.62/41.47 c inspects : 9072156 26.62/41.47 c shortcuts : 0 26.62/41.47 c learnt literals : 0 26.62/41.47 c learnt binary clauses : 0 26.62/41.47 c learnt ternary clauses : 0 26.62/41.47 c learnt constraints : 1511 26.62/41.47 c ignored constraints : 0 26.62/41.47 c root simplifications : 0 26.62/41.47 c removed literals (reason simplification) : 0 26.62/41.47 c reason swapping (by a shorter reason) : 0 26.62/41.47 c Calls to reduceDB : 0 26.62/41.47 c Number of update (reduction) of LBD : 0 26.62/41.47 c Imported unit clauses : 0 26.62/41.47 c number of reductions to clauses (during analyze) : 0 26.62/41.47 c number of learned constraints concerned by reduction : 0 26.62/41.47 c number of learning phase by resolution : 0 26.62/41.47 c number of learning phase by cutting planes : 0 26.62/41.47 c speed (assignments/second) : 49938.738738738735 26.62/41.47 c non guided choices 1043 26.62/41.47 c learnt constraints type 26.62/41.47 s OPTIMUM FOUND 26.62/41.47 c Found 74 solution(s) 26.62/41.47 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.62/41.47 c objective function=17 26.62/41.47 c Total wall clock time (in seconds): 41.37
OK 17
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-4109265-1467320762/watcher-4109265-1467320762 -o /tmp/evaluation-result-4109265-1467320762/solver-4109265-1467320762 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467318467-16220 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109265-1467320762.wbo pid=21534 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: 2.21 2.18 2.10 3/194 21537 /proc/meminfo: memFree=29530084/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/21537/stat : 21537 (java) R 21534 21537 16156 0 -1 4202496 1204 0 0 0 0 0 0 0 20 0 1 0 11102218 23793664 855 33554432000 1073741824 1073778376 140734673813536 140734673802600 139928619739152 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 5793 856 646 9 0 128 0 [pid=21537/tid=21538] ppid=21534 vsize=89736 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) R 21534 21537 16156 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 2 0 11102219 91889664 874 33554432000 1073741824 1073778376 140734673813536 140734673802600 227511857888 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 2.21 2.18 2.10 3/194 21537 /proc/meminfo: memFree=29530084/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9558476 CPUtime=0.11 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 4489 0 1 0 10 1 0 0 20 0 18 0 11102218 9787879424 6120 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2389619 6120 2158 9 0 2380296 0 [pid=21537/tid=21538] ppid=21534 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) R 21534 21537 16156 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 11102219 9787879424 6120 33554432000 1073741824 1073778376 140734673813536 139928617610144 227515884813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200258 s] /proc/loadavg: 2.21 2.18 2.10 3/194 21537 /proc/meminfo: memFree=29530084/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 4863 0 1 0 26 1 0 0 20 0 22 0 11102218 10060525568 7974 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 7974 2220 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2417 0 1 0 15 0 0 0 20 0 22 0 11102219 10060525568 7974 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9824732 [startup+0.300249 s] /proc/loadavg: 2.21 2.18 2.10 3/194 21537 /proc/meminfo: memFree=29530084/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=0.67 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 7969 0 1 0 65 2 0 0 20 0 22 0 11102218 10060525568 10173 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 10173 2247 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2417 0 1 0 15 0 0 0 20 0 22 0 11102219 10060525568 10173 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 9824732 [startup+0.700205 s] /proc/loadavg: 2.21 2.18 2.10 3/194 21537 /proc/meminfo: memFree=29530084/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=2.22 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 15764 0 1 0 218 4 0 0 20 0 20 0 11102218 10060525568 18414 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 18414 2257 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2417 0 1 0 15 0 0 0 20 0 20 0 11102219 10060525568 18414 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 9824732 [startup+1.50072 s] /proc/loadavg: 2.19 2.18 2.10 2/213 21562 /proc/meminfo: memFree=29431944/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=3.35 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 21291 0 1 0 325 10 0 0 20 0 19 0 11102218 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 36751 2270 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2418 0 1 0 15 0 0 0 20 0 19 0 11102219 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21540] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21540/stat : 21540 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928579103656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21541] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21541/stat : 21541 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928578051112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21542] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21542/stat : 21542 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928576998056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21543] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21543/stat : 21543 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928575945512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21544] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21544/stat : 21544 (java) S 21534 21537 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928574892456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21545] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21545/stat : 21545 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928573839912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21546] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21546/stat : 21546 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928572786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21547] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21547/stat : 21547 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928571734312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21548] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21548/stat : 21548 (java) S 21534 21537 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11102221 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928559324008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21549] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21549/stat : 21549 (java) S 21534 21537 16156 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11102221 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928440661880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21550] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21550/stat : 21550 (java) S 21534 21537 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11102221 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928439608712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21551] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21551/stat : 21551 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102223 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928438557456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21552] ppid=21534 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/21537/task/21552/stat : 21552 (java) S 21534 21537 16156 0 -1 4202560 5991 0 0 0 73 1 0 0 20 0 19 0 11102223 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928437504312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21553] ppid=21534 vsize=9824732 CPUtime=0.82 cores=0,2,4,6 /proc/21537/task/21553/stat : 21553 (java) S 21534 21537 16156 0 -1 4202560 11496 0 0 0 80 2 0 0 20 0 19 0 11102223 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928436451768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21554] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21554/stat : 21554 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102223 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928435398904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21555] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21555/stat : 21555 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102223 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928434346568 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21562] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21562/stat : 21562 (java) S 21534 21537 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11102296 10060525568 36751 33554432000 1073741824 1073778376 140734673813536 139928430134056 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.35 Current children cumulated vsize (KiB) 9824732 [startup+3.10084 s] /proc/loadavg: 2.19 2.18 2.10 2/213 21568 /proc/meminfo: memFree=29355912/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=3.96 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 21368 0 1 0 380 16 0 0 20 0 19 0 11102218 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 45483 2285 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2418 0 1 0 15 0 0 0 20 0 19 0 11102219 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21540] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21540/stat : 21540 (java) S 21534 21537 16156 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928579103656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21541] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21541/stat : 21541 (java) S 21534 21537 16156 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928578051112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21542] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21542/stat : 21542 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928576998056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21543] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21543/stat : 21543 (java) S 21534 21537 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928575945512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21544] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21544/stat : 21544 (java) S 21534 21537 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928574892456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21545] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21545/stat : 21545 (java) S 21534 21537 16156 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928573839912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21546] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21546/stat : 21546 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928572786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21547] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21547/stat : 21547 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11102220 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928571734312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21548] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21548/stat : 21548 (java) S 21534 21537 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11102221 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928559324008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21549] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21549/stat : 21549 (java) S 21534 21537 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11102221 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928440661880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21550] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21550/stat : 21550 (java) S 21534 21537 16156 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11102221 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928439608712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21551] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21551/stat : 21551 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102223 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928438557456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21552] ppid=21534 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/21537/task/21552/stat : 21552 (java) S 21534 21537 16156 0 -1 4202560 5993 0 0 0 87 1 0 0 20 0 19 0 11102223 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928437504312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21553] ppid=21534 vsize=9824732 CPUtime=0.87 cores=0,2,4,6 /proc/21537/task/21553/stat : 21553 (java) S 21534 21537 16156 0 -1 4202560 11497 0 0 0 85 2 0 0 20 0 19 0 11102223 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928436451768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21554] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21554/stat : 21554 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102223 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928435398904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21555] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21555/stat : 21555 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11102223 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928434346568 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21562] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21562/stat : 21562 (java) S 21534 21537 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11102296 10060525568 45483 33554432000 1073741824 1073778376 140734673813536 139928430134056 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 9824732 [startup+6.30074 s] /proc/loadavg: 2.17 2.18 2.10 3/213 21589 /proc/meminfo: memFree=29343412/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=5.52 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 21470 0 1 0 521 31 0 0 20 0 22 0 11102218 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 50070 2286 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2420 0 1 0 16 0 0 0 20 0 22 0 11102219 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21540] ppid=21534 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21537/task/21540/stat : 21540 (java) S 21534 21537 16156 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 11102220 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928579103656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21541] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21541/stat : 21541 (java) S 21534 21537 16156 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 11102220 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928578051112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21542] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21542/stat : 21542 (java) S 21534 21537 16156 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 11102220 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928576998056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21543] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21543/stat : 21543 (java) S 21534 21537 16156 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11102220 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928575945512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21544] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21544/stat : 21544 (java) S 21534 21537 16156 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 11102220 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928574892456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21545] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21545/stat : 21545 (java) S 21534 21537 16156 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 11102220 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928573839912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21546] ppid=21534 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21537/task/21546/stat : 21546 (java) S 21534 21537 16156 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 11102220 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928572786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21547] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21547/stat : 21547 (java) S 21534 21537 16156 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 11102220 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928571734312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21548] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21548/stat : 21548 (java) S 21534 21537 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928559324008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21549] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21549/stat : 21549 (java) S 21534 21537 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928440661880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21550] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21550/stat : 21550 (java) S 21534 21537 16156 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928439608712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21551] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21551/stat : 21551 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 50070 33554432000 1073741824 1073778376 140734673813536 139928438557456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21552] ppid=21534 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/21537/task/21552/stat : 21552 (java) S 21534 21537 16156 0 -1 4202560 5993 0 0 0 92 1 0 0 20 0 22 0 11102223 10060525568 50071 33554432000 1073741824 1073778376 140734673813536 139928437504312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21553] ppid=21534 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 ################ # More data... # ################ [pid=21537/tid=21549] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21549/stat : 21549 (java) S 21534 21537 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 79236 33554432000 1073741824 1073778376 140734673813536 139928440661880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21550] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21550/stat : 21550 (java) S 21534 21537 16156 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 79236 33554432000 1073741824 1073778376 140734673813536 139928439608712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21551] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21551/stat : 21551 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 79236 33554432000 1073741824 1073778376 140734673813536 139928438557456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21552] ppid=21534 vsize=9824732 CPUtime=1.1 cores=0,2,4,6 /proc/21537/task/21552/stat : 21552 (java) S 21534 21537 16156 0 -1 4202560 6012 0 0 0 109 1 0 0 20 0 22 0 11102223 10060525568 79236 33554432000 1073741824 1073778376 140734673813536 139928437504312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21553] ppid=21534 vsize=9824732 CPUtime=1.4 cores=0,2,4,6 /proc/21537/task/21553/stat : 21553 (java) S 21534 21537 16156 0 -1 4202560 16007 0 0 0 138 2 0 0 20 0 22 0 11102223 10060525568 79236 33554432000 1073741824 1073778376 140734673813536 139928436451768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21554] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21554/stat : 21554 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 79236 33554432000 1073741824 1073778376 140734673813536 139928435398904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21555] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21555/stat : 21555 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 79236 33554432000 1073741824 1073778376 140734673813536 139928434346568 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21595] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21595/stat : 21595 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11102847 10060525568 79236 33554432000 1073741824 1073778376 140734673813536 139928430134184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 24.18 Current children cumulated vsize (KiB) 9824732 [startup+40.8074 s] /proc/loadavg: 2.03 2.13 2.09 4/216 21781 /proc/meminfo: memFree=29259024/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=25.53 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 27155 0 1 0 2398 155 0 0 20 0 22 0 11102218 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 78821 2287 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2422 0 1 0 20 1 0 0 20 0 22 0 11102219 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21540] ppid=21534 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/21537/task/21540/stat : 21540 (java) S 21534 21537 16156 0 -1 4202560 44 0 0 0 9 2 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928579103656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21541] ppid=21534 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21537/task/21541/stat : 21541 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 8 1 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928578051112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21542] ppid=21534 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21537/task/21542/stat : 21542 (java) S 21534 21537 16156 0 -1 4202560 25 0 0 0 8 1 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928576998056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21543] ppid=21534 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/21537/task/21543/stat : 21543 (java) S 21534 21537 16156 0 -1 4202560 22 0 0 0 8 0 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928575945512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21544] ppid=21534 vsize=9824732 CPUtime=0.12 cores=0,2,4,6 /proc/21537/task/21544/stat : 21544 (java) S 21534 21537 16156 0 -1 4202560 27 0 0 0 12 0 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928574892456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21545] ppid=21534 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/21537/task/21545/stat : 21545 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 7 0 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928573839912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21546] ppid=21534 vsize=9824732 CPUtime=0.12 cores=0,2,4,6 /proc/21537/task/21546/stat : 21546 (java) S 21534 21537 16156 0 -1 4202560 31 0 0 0 10 2 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928572786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21547] ppid=21534 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/21537/task/21547/stat : 21547 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 8 2 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928571734312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21548] ppid=21534 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/21537/task/21548/stat : 21548 (java) S 21534 21537 16156 0 -1 4202560 164 0 0 0 1 3 0 0 20 0 22 0 11102221 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928559324008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21549] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21549/stat : 21549 (java) S 21534 21537 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928440661880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21550] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21550/stat : 21550 (java) S 21534 21537 16156 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928439608712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21551] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21551/stat : 21551 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928438557456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21552] ppid=21534 vsize=9824732 CPUtime=1.1 cores=0,2,4,6 /proc/21537/task/21552/stat : 21552 (java) S 21534 21537 16156 0 -1 4202560 6012 0 0 0 109 1 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928437504312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21553] ppid=21534 vsize=9824732 CPUtime=1.4 cores=0,2,4,6 /proc/21537/task/21553/stat : 21553 (java) S 21534 21537 16156 0 -1 4202560 16007 0 0 0 138 2 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928436451768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21554] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21554/stat : 21554 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928435398904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21555] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21555/stat : 21555 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928434346568 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21595] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21595/stat : 21595 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11102847 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928430134184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21779] ppid=21534 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/21537/task/21779/stat : 21779 (java) R 21534 21537 16156 0 -1 4202560 3 0 0 0 43 0 0 0 20 0 22 0 11106254 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928431186408 139928441129567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21780] ppid=21534 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/21537/task/21780/stat : 21780 (java) R 21534 21537 16156 0 -1 4202560 2 0 0 0 43 0 0 0 20 0 22 0 11106254 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928432240088 139928441252404 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21781] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21781/stat : 21781 (java) S 21534 21537 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11106255 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928433292968 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 25.53 Current children cumulated vsize (KiB) 9824732 [startup+41.2008 s] /proc/loadavg: 2.03 2.13 2.09 4/216 21781 /proc/meminfo: memFree=29259024/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=26.32 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 27155 0 1 0 2477 155 0 0 20 0 22 0 11102218 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 78821 2287 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2422 0 1 0 20 1 0 0 20 0 22 0 11102219 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21540] ppid=21534 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/21537/task/21540/stat : 21540 (java) S 21534 21537 16156 0 -1 4202560 44 0 0 0 9 2 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928579103656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21541] ppid=21534 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21537/task/21541/stat : 21541 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 8 1 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928578051112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21542] ppid=21534 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21537/task/21542/stat : 21542 (java) S 21534 21537 16156 0 -1 4202560 25 0 0 0 8 1 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928576998056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21543] ppid=21534 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/21537/task/21543/stat : 21543 (java) S 21534 21537 16156 0 -1 4202560 22 0 0 0 8 0 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928575945512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21544] ppid=21534 vsize=9824732 CPUtime=0.12 cores=0,2,4,6 /proc/21537/task/21544/stat : 21544 (java) S 21534 21537 16156 0 -1 4202560 27 0 0 0 12 0 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928574892456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21545] ppid=21534 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/21537/task/21545/stat : 21545 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 7 0 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928573839912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21546] ppid=21534 vsize=9824732 CPUtime=0.12 cores=0,2,4,6 /proc/21537/task/21546/stat : 21546 (java) S 21534 21537 16156 0 -1 4202560 31 0 0 0 10 2 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928572786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21547] ppid=21534 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/21537/task/21547/stat : 21547 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 8 2 0 0 20 0 22 0 11102220 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928571734312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21548] ppid=21534 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/21537/task/21548/stat : 21548 (java) S 21534 21537 16156 0 -1 4202560 164 0 0 0 1 3 0 0 20 0 22 0 11102221 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928559324008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21549] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21549/stat : 21549 (java) S 21534 21537 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928440661880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21550] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21550/stat : 21550 (java) S 21534 21537 16156 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 22 0 11102221 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928439608712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21551] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21551/stat : 21551 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928438557456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21552] ppid=21534 vsize=9824732 CPUtime=1.1 cores=0,2,4,6 /proc/21537/task/21552/stat : 21552 (java) S 21534 21537 16156 0 -1 4202560 6012 0 0 0 109 1 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928437504312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21553] ppid=21534 vsize=9824732 CPUtime=1.4 cores=0,2,4,6 /proc/21537/task/21553/stat : 21553 (java) S 21534 21537 16156 0 -1 4202560 16007 0 0 0 138 2 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928436451768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21554] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21554/stat : 21554 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928435398904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21555] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21555/stat : 21555 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11102223 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928434346568 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21595] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21595/stat : 21595 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11102847 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928430134184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21779] ppid=21534 vsize=9824732 CPUtime=0.82 cores=0,2,4,6 /proc/21537/task/21779/stat : 21779 (java) R 21534 21537 16156 0 -1 4202560 3 0 0 0 82 0 0 0 20 0 22 0 11106254 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928431186408 139928441104588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21780] ppid=21534 vsize=9824732 CPUtime=0.82 cores=0,2,4,6 /proc/21537/task/21780/stat : 21780 (java) R 21534 21537 16156 0 -1 4202560 2 0 0 0 82 0 0 0 20 0 22 0 11106254 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928432240088 139928441775191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21781] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21781/stat : 21781 (java) S 21534 21537 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11106255 10060525568 78821 33554432000 1073741824 1073778376 140734673813536 139928433292968 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 26.32 Current children cumulated vsize (KiB) 9824732 [startup+41.4007 s] /proc/loadavg: 2.03 2.13 2.09 4/216 21781 /proc/meminfo: memFree=29259024/32872528 swapFree=1299868/1463388 [pid=21537] ppid=21534 vsize=9824732 CPUtime=26.62 cores=0,2,4,6 /proc/21537/stat : 21537 (java) S 21534 21537 16156 0 -1 4202496 27155 0 1 0 2506 156 0 0 20 0 20 0 11102218 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 140734673804672 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21537/statm: 2456183 78816 2287 9 0 2446860 0 [pid=21537/tid=21538] ppid=21534 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/21537/task/21538/stat : 21538 (java) S 21534 21537 16156 0 -1 4202560 2422 0 1 0 20 1 0 0 20 0 20 0 11102219 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928617612152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21540] ppid=21534 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/21537/task/21540/stat : 21540 (java) S 21534 21537 16156 0 -1 4202560 44 0 0 0 9 2 0 0 20 0 20 0 11102220 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928579103656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21541] ppid=21534 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21537/task/21541/stat : 21541 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 8 1 0 0 20 0 20 0 11102220 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928578051112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21542] ppid=21534 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21537/task/21542/stat : 21542 (java) S 21534 21537 16156 0 -1 4202560 25 0 0 0 8 1 0 0 20 0 20 0 11102220 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928576998056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21543] ppid=21534 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/21537/task/21543/stat : 21543 (java) S 21534 21537 16156 0 -1 4202560 22 0 0 0 8 0 0 0 20 0 20 0 11102220 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928575945512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21544] ppid=21534 vsize=9824732 CPUtime=0.12 cores=0,2,4,6 /proc/21537/task/21544/stat : 21544 (java) S 21534 21537 16156 0 -1 4202560 27 0 0 0 12 0 0 0 20 0 20 0 11102220 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928574892456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21545] ppid=21534 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/21537/task/21545/stat : 21545 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 7 0 0 0 20 0 20 0 11102220 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928573839912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21546] ppid=21534 vsize=9824732 CPUtime=0.12 cores=0,2,4,6 /proc/21537/task/21546/stat : 21546 (java) S 21534 21537 16156 0 -1 4202560 31 0 0 0 10 2 0 0 20 0 20 0 11102220 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928572786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21547] ppid=21534 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/21537/task/21547/stat : 21547 (java) S 21534 21537 16156 0 -1 4202560 28 0 0 0 8 2 0 0 20 0 20 0 11102220 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928571734312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21548] ppid=21534 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/21537/task/21548/stat : 21548 (java) S 21534 21537 16156 0 -1 4202560 164 0 0 0 1 3 0 0 20 0 20 0 11102221 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928559324008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21549] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21549/stat : 21549 (java) S 21534 21537 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 11102221 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928440661880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21550] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21550/stat : 21550 (java) S 21534 21537 16156 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 20 0 11102221 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928439608712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21551] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21551/stat : 21551 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11102223 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928438557456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21537/tid=21552] ppid=21534 vsize=9824732 CPUtime=1.1 cores=0,2,4,6 /proc/21537/task/21552/stat : 21552 (java) S 21534 21537 16156 0 -1 4202560 6012 0 0 0 109 1 0 0 20 0 20 0 11102223 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928437504312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21553] ppid=21534 vsize=9824732 CPUtime=1.4 cores=0,2,4,6 /proc/21537/task/21553/stat : 21553 (java) S 21534 21537 16156 0 -1 4202560 16007 0 0 0 138 2 0 0 20 0 20 0 11102223 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928436451768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21537/tid=21554] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21554/stat : 21554 (java) S 21534 21537 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11102223 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928435398904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21555] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21555/stat : 21555 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 11102223 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928434346568 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21537/tid=21595] ppid=21534 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21537/task/21595/stat : 21595 (java) S 21534 21537 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 11102847 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928430134184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21537/tid=21780] ppid=21534 vsize=9824732 CPUtime=1.02 cores=0,2,4,6 /proc/21537/task/21780/stat : 21780 (java) R 21534 21537 16156 0 -1 4202560 2 0 0 0 102 0 0 0 20 0 20 0 11106254 10060525568 78816 33554432000 1073741824 1073778376 140734673813536 139928432240088 139928441289837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 26.62 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 41.4832 CPU time (s): 26.7999 CPU user time (s): 25.1282 CPU system time (s): 1.67174 CPU usage (%): 64.6044 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.1282 system time used= 1.67175 maximum resident set size= 338792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27163 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= 3344 involuntary context switches= 1628 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.230964 second user time and 0.208968 second system time The end
Begin job on node121 at 2016-06-30 23:06:02 IDJOB=4109265 IDBENCH=78759 IDSOLVER=2552 FILE ID=node121/4109265-1467320762 RUNJOBID= node121-1467318467-16220 PBS_JOBID= 20005290 Free space on /tmp= 71700 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.1111212476--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109265-1467320762/watcher-4109265-1467320762 -o /tmp/evaluation-result-4109265-1467320762/solver-4109265-1467320762 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467318467-16220 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109265-1467320762.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 68c1ee02f9ed73de7ca03f1ed76deb4c RANDOM SEED=1311419363 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 2667.172 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 2667.172 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29530884 kB Buffers: 129036 kB Cached: 345764 kB SwapCached: 0 kB Active: 889256 kB Inactive: 243356 kB Active(anon): 645408 kB Inactive(anon): 14568 kB Active(file): 243848 kB Inactive(file): 228788 kB Unevictable: 1463388 kB Mlocked: 1299868 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 508 kB Writeback: 0 kB AnonPages: 2106056 kB Mapped: 22136 kB Shmem: 204 kB Slab: 611268 kB SReclaimable: 55152 kB SUnreclaim: 556116 kB KernelStack: 1768 kB PageTables: 8172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2249948 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 770048 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 node121 at 2016-06-30 23:06:44