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 | 45.967 | 63.9716 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo |
| MD5SUM | 7e4768b7f873096cfc405759f746d055 |
| 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 | 10 |
| Best CPU time to get the best result obtained on this benchmark | 8.34773 |
| 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 | 69 |
| 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 | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1231 |
| 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.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4109549-1467321315.wbo 0.08/0.12 c reading problem ... 0.08/0.18 c ... done. Wall clock time 0.066s. 0.08/0.18 c declared #vars 169 0.08/0.18 c internal #vars 238 0.08/0.18 c #constraints 101 0.08/0.19 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.19 c constraints type 0.08/0.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.08/0.19 c org.sat4j.minisat.constraints.card.MinWatchCard => 20 0.08/0.19 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.08/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.08/0.19 c 101 constraints processed. 0.08/0.19 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.19 c constraints type 0.08/0.19 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.08/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.08/0.19 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.08/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 51 0.08/0.19 c 101 constraints processed. 0.08/0.19 c objective function length is 69 literals 1.01/0.40 c And the winner is solver0 1.32/0.69 c SATISFIABLE 1.32/0.69 c OPTIMIZING... 1.32/0.69 c Got one! Elapsed wall clock time (in seconds):0.57 1.32/0.69 o 881 1.32/0.70 c And the winner is solver0 1.33/1.19 c Got one! Elapsed wall clock time (in seconds):1.072 1.33/1.19 o 862 1.33/1.20 c And the winner is solver0 1.34/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 1.34/1.69 o 683 1.34/1.70 c And the winner is solver0 1.46/2.19 c Got one! Elapsed wall clock time (in seconds):2.074 1.46/2.19 o 672 1.46/2.20 c And the winner is solver0 1.47/2.69 c Got one! Elapsed wall clock time (in seconds):2.575 1.47/2.69 o 669 1.47/2.70 c And the winner is solver0 1.50/3.19 c Got one! Elapsed wall clock time (in seconds):3.076 1.50/3.19 o 668 1.50/3.20 c And the winner is solver0 1.50/3.70 c Got one! Elapsed wall clock time (in seconds):3.577 1.50/3.70 o 643 1.50/3.72 c And the winner is solver0 1.62/4.20 c Got one! Elapsed wall clock time (in seconds):4.078 1.62/4.20 o 640 1.62/4.20 c And the winner is solver0 1.73/4.70 c Got one! Elapsed wall clock time (in seconds):4.579 1.73/4.70 o 630 1.73/4.70 c And the winner is solver0 1.73/5.20 c Got one! Elapsed wall clock time (in seconds):5.08 1.73/5.20 o 623 1.73/5.20 c And the winner is solver0 1.73/5.70 c Got one! Elapsed wall clock time (in seconds):5.581 1.73/5.70 o 594 1.73/5.71 c And the winner is solver0 1.77/6.20 c Got one! Elapsed wall clock time (in seconds):6.082 1.77/6.20 o 593 1.77/6.21 c And the winner is solver0 1.78/6.70 c Got one! Elapsed wall clock time (in seconds):6.583 1.78/6.70 o 589 1.79/6.72 c And the winner is solver0 1.84/7.20 c Got one! Elapsed wall clock time (in seconds):7.084 1.84/7.20 o 576 1.84/7.21 c And the winner is solver0 1.85/7.70 c Got one! Elapsed wall clock time (in seconds):7.585 1.85/7.70 o 566 1.85/7.72 c And the winner is solver0 1.89/8.20 c Got one! Elapsed wall clock time (in seconds):8.086 1.89/8.20 o 560 1.89/8.21 c And the winner is solver0 1.90/8.71 c Got one! Elapsed wall clock time (in seconds):8.587 1.90/8.71 o 556 1.90/8.71 c And the winner is solver0 1.93/9.21 c Got one! Elapsed wall clock time (in seconds):9.088 1.93/9.21 o 551 1.93/9.22 c And the winner is solver0 1.94/9.71 c Got one! Elapsed wall clock time (in seconds):9.589 1.94/9.71 o 517 1.94/9.77 c And the winner is solver0 2.11/10.21 c Got one! Elapsed wall clock time (in seconds):10.09 2.11/10.21 o 516 2.11/10.24 c And the winner is solver0 2.31/10.71 c Got one! Elapsed wall clock time (in seconds):10.591 2.31/10.71 o 515 2.31/10.71 c And the winner is solver0 2.33/11.21 c Got one! Elapsed wall clock time (in seconds):11.093 2.33/11.21 o 500 2.33/11.22 c And the winner is solver0 2.33/11.71 c Got one! Elapsed wall clock time (in seconds):11.594 2.33/11.71 o 469 2.33/11.73 c And the winner is solver0 2.39/12.21 c Got one! Elapsed wall clock time (in seconds):12.095 2.39/12.21 o 468 2.39/12.22 c And the winner is solver0 2.39/12.71 c Got one! Elapsed wall clock time (in seconds):12.596 2.39/12.71 o 428 2.39/12.73 c And the winner is solver0 2.43/13.22 c Got one! Elapsed wall clock time (in seconds):13.097 2.43/13.22 o 419 2.43/13.28 c And the winner is solver0 2.64/13.72 c Got one! Elapsed wall clock time (in seconds):13.598 2.64/13.72 o 415 2.64/13.79 c And the winner is solver0 2.81/14.22 c Got one! Elapsed wall clock time (in seconds):14.099 2.81/14.22 o 411 2.81/14.23 c And the winner is solver0 2.87/14.72 c Got one! Elapsed wall clock time (in seconds):14.6 2.87/14.72 o 409 2.87/14.74 c And the winner is solver0 2.91/15.22 c Got one! Elapsed wall clock time (in seconds):15.101 2.91/15.22 o 404 2.91/15.24 c And the winner is solver0 2.95/15.72 c Got one! Elapsed wall clock time (in seconds):15.602 2.95/15.72 o 401 3.12/15.81 c And the winner is solver0 3.15/16.22 c Got one! Elapsed wall clock time (in seconds):16.103 3.15/16.22 o 400 3.15/16.26 c And the winner is solver0 3.23/16.72 c Got one! Elapsed wall clock time (in seconds):16.604 3.23/16.72 o 397 3.23/16.74 c And the winner is solver0 3.27/17.22 c Got one! Elapsed wall clock time (in seconds):17.105 3.27/17.22 o 365 3.27/17.24 c And the winner is solver0 3.31/17.72 c Got one! Elapsed wall clock time (in seconds):17.606 3.31/17.72 o 363 3.31/17.77 c And the winner is solver0 3.42/18.22 c Got one! Elapsed wall clock time (in seconds):18.107 3.42/18.22 o 347 3.42/18.25 c And the winner is solver0 3.49/18.73 c Got one! Elapsed wall clock time (in seconds):18.608 3.49/18.73 o 343 3.49/18.73 c And the winner is solver0 3.49/19.23 c Got one! Elapsed wall clock time (in seconds):19.108 3.49/19.23 o 340 3.49/19.26 c And the winner is solver0 3.59/19.73 c Got one! Elapsed wall clock time (in seconds):19.609 3.59/19.73 o 336 3.59/19.75 c And the winner is solver0 3.65/20.23 c Got one! Elapsed wall clock time (in seconds):20.11 3.65/20.23 o 328 3.65/20.24 c And the winner is solver0 3.80/20.73 c Got one! Elapsed wall clock time (in seconds):20.611 3.80/20.73 o 327 3.80/20.74 c And the winner is solver0 3.85/21.23 c Got one! Elapsed wall clock time (in seconds):21.112 3.85/21.23 o 317 3.85/21.26 c And the winner is solver0 3.99/21.73 c Got one! Elapsed wall clock time (in seconds):21.613 3.99/21.73 o 316 3.99/21.74 c And the winner is solver0 4.03/22.23 c Got one! Elapsed wall clock time (in seconds):22.114 4.03/22.23 o 290 4.03/22.24 c And the winner is solver0 4.07/22.73 c Got one! Elapsed wall clock time (in seconds):22.615 4.07/22.73 o 289 4.07/22.75 c And the winner is solver0 4.11/23.23 c Got one! Elapsed wall clock time (in seconds):23.116 4.11/23.23 o 287 4.11/23.25 c And the winner is solver0 4.16/23.73 c Got one! Elapsed wall clock time (in seconds):23.617 4.16/23.73 o 286 4.16/23.79 c And the winner is solver0 4.28/24.24 c Got one! Elapsed wall clock time (in seconds):24.117 4.28/24.24 o 284 4.28/24.26 c And the winner is solver0 4.35/24.74 c Got one! Elapsed wall clock time (in seconds):24.618 4.35/24.74 o 276 4.35/24.76 c And the winner is solver0 4.41/25.24 c Got one! Elapsed wall clock time (in seconds):25.119 4.41/25.24 o 272 4.41/25.24 c And the winner is solver0 4.43/25.74 c Got one! Elapsed wall clock time (in seconds):25.62 4.43/25.74 o 266 4.43/25.79 c And the winner is solver0 4.55/26.24 c Got one! Elapsed wall clock time (in seconds):26.121 4.55/26.24 o 265 4.55/26.25 c And the winner is solver0 4.59/26.74 c Got one! Elapsed wall clock time (in seconds):26.622 4.59/26.74 o 263 4.70/26.85 c cleaning 10964 clauses out of 21936 with flag 3266/21936 5.02/26.95 c And the winner is solver0 5.18/27.24 c Got one! Elapsed wall clock time (in seconds):27.122 5.18/27.24 o 262 5.32/27.30 c And the winner is solver0 5.34/27.74 c Got one! Elapsed wall clock time (in seconds):27.623 5.34/27.74 o 221 5.45/27.83 c And the winner is solver0 5.55/28.24 c Got one! Elapsed wall clock time (in seconds):28.124 5.55/28.24 o 220 5.55/28.25 c And the winner is solver0 5.56/28.74 c Got one! Elapsed wall clock time (in seconds):28.625 5.56/28.74 o 200 5.56/28.75 c And the winner is solver0 5.60/29.24 c Got one! Elapsed wall clock time (in seconds):29.126 5.60/29.24 o 199 5.60/29.26 c And the winner is solver0 5.69/29.74 c Got one! Elapsed wall clock time (in seconds):29.626 5.69/29.74 o 198 5.82/29.86 c cleaning 9334 clauses out of 18670 with flag 7018/29634 6.04/29.96 c And the winner is solver0 6.21/30.25 c Got one! Elapsed wall clock time (in seconds):30.127 6.21/30.25 o 181 6.32/30.37 c cleaning 7337 clauses out of 14681 with flag 11427/34979 6.92/30.61 c And the winner is solver0 7.44/31.15 c Got one! Elapsed wall clock time (in seconds):31.028 7.44/31.15 o 180 7.57/31.20 c And the winner is solver0 8.14/31.80 c Got one! Elapsed wall clock time (in seconds):31.679 8.14/31.80 o 170 8.36/31.93 c And the winner is solver0 8.88/32.45 c Got one! Elapsed wall clock time (in seconds):32.33 8.88/32.45 o 160 8.88/32.47 c And the winner is solver0 8.96/32.95 c Got one! Elapsed wall clock time (in seconds):32.831 8.96/32.95 o 159 8.96/32.99 c And the winner is solver0 9.07/33.45 c Got one! Elapsed wall clock time (in seconds):33.332 9.07/33.45 o 155 9.16/33.51 c And the winner is solver0 9.67/34.10 c Got one! Elapsed wall clock time (in seconds):33.983 9.67/34.10 o 154 9.78/34.17 c And the winner is solver0 10.45/34.75 c Got one! Elapsed wall clock time (in seconds):34.634 10.45/34.75 o 153 10.56/34.83 c cleaning 10833 clauses out of 21668 with flag 5210/49303 10.76/34.90 c And the winner is solver0 11.24/35.40 c Got one! Elapsed wall clock time (in seconds):35.285 11.24/35.40 o 152 11.43/35.51 c And the winner is solver0 11.95/36.05 c Got one! Elapsed wall clock time (in seconds):35.936 11.95/36.05 o 151 11.95/36.09 c And the winner is solver0 12.06/36.55 c Got one! Elapsed wall clock time (in seconds):36.437 12.06/36.55 o 150 12.06/36.58 c And the winner is solver0 12.15/37.06 c Got one! Elapsed wall clock time (in seconds):36.937 12.15/37.06 o 148 12.25/37.17 c cleaning 9159 clauses out of 18318 with flag 9350/56786 12.45/37.23 c And the winner is solver0 12.96/37.71 c Got one! Elapsed wall clock time (in seconds):37.589 12.96/37.71 o 147 12.96/37.75 c And the winner is solver0 13.07/38.21 c Got one! Elapsed wall clock time (in seconds):38.089 13.07/38.21 o 119 13.07/38.23 c And the winner is solver0 13.13/38.71 c Got one! Elapsed wall clock time (in seconds):38.59 13.13/38.71 o 117 13.13/38.73 c And the winner is solver0 13.21/39.21 c Got one! Elapsed wall clock time (in seconds):39.091 13.21/39.21 o 112 13.21/39.28 c And the winner is solver0 13.88/39.86 c Got one! Elapsed wall clock time (in seconds):39.742 13.88/39.86 o 100 13.99/39.99 c cleaning 7874 clauses out of 15752 with flag 8118/63379 14.26/40.01 c And the winner is solver0 15.02/40.51 c Got one! Elapsed wall clock time (in seconds):40.393 15.02/40.51 o 99 15.41/40.72 c cleaning 6722 clauses out of 13444 with flag 20411/68945 15.73/40.81 c And the winner is solver0 16.28/41.16 c Got one! Elapsed wall clock time (in seconds):41.044 16.28/41.16 o 98 16.28/41.18 c And the winner is solver0 16.36/41.66 c Got one! Elapsed wall clock time (in seconds):41.545 16.36/41.66 o 97 16.42/41.72 c And the winner is solver0 16.48/42.16 c Got one! Elapsed wall clock time (in seconds):42.046 16.48/42.16 o 95 16.54/42.26 c cleaning 6302 clauses out of 12607 with flag 8904/74830 16.94/42.47 c And the winner is solver0 17.40/42.81 c Got one! Elapsed wall clock time (in seconds):42.697 17.40/42.81 o 80 17.40/42.84 c And the winner is solver0 17.49/43.32 c Got one! Elapsed wall clock time (in seconds):43.197 17.49/43.32 o 79 17.49/43.32 c And the winner is solver0 17.52/43.82 c Got one! Elapsed wall clock time (in seconds):43.699 17.52/43.82 o 78 17.68/43.98 c And the winner is solver0 18.27/44.47 c Got one! Elapsed wall clock time (in seconds):44.35 18.27/44.47 o 77 18.27/44.50 c And the winner is solver0 18.39/44.97 c Got one! Elapsed wall clock time (in seconds):44.851 18.39/44.97 o 74 18.39/45.00 c And the winner is solver0 18.48/45.47 c Got one! Elapsed wall clock time (in seconds):45.352 18.48/45.47 o 72 18.73/45.60 c cleaning 9211 clauses out of 18425 with flag 8828/86950 18.73/45.66 c And the winner is solver0 19.28/46.12 c Got one! Elapsed wall clock time (in seconds):46.004 19.28/46.12 o 71 19.64/46.31 c cleaning 7250 clauses out of 14504 with flag 15784/92240 19.83/46.41 c And the winner is solver0 20.14/46.77 c Got one! Elapsed wall clock time (in seconds):46.655 20.14/46.77 o 69 20.43/46.90 c cleaning 6382 clauses out of 12773 with flag 11542/97759 20.83/47.16 c cleaning 6189 clauses out of 12390 with flag 33737/103758 21.44/47.45 c cleaning 6601 clauses out of 13201 with flag 62099/110759 22.02/47.79 c cleaning 7293 clauses out of 14599 with flag 92477/118758 23.03/48.20 c cleaning 8150 clauses out of 16307 with flag 130061/127759 23.82/48.69 c cleaning 9076 clauses out of 18156 with flag 174751/137758 25.03/49.27 c cleaning 10036 clauses out of 20081 with flag 224230/148759 25.23/49.35 c And the winner is solver0 25.39/49.78 c Got one! Elapsed wall clock time (in seconds):49.657 25.39/49.78 o 54 25.63/49.95 c cleaning 7858 clauses out of 15734 with flag 14188/154449 26.03/50.19 c cleaning 6937 clauses out of 13877 with flag 35664/160450 26.63/50.41 c And the winner is solver0 27.15/50.98 c Got one! Elapsed wall clock time (in seconds):50.86 27.15/50.98 o 48 27.67/51.21 c cleaning 8693 clauses out of 17396 with flag 18404/170906 28.05/51.47 c cleaning 7351 clauses out of 14703 with flag 44232/176906 28.66/51.77 c cleaning 7175 clauses out of 14353 with flag 72534/183907 29.45/52.11 c cleaning 7587 clauses out of 15176 with flag 103270/191906 29.65/52.23 c And the winner is solver0 30.41/52.98 c Got one! Elapsed wall clock time (in seconds):52.863 30.41/52.98 o 45 30.51/53.07 c cleaning 6341 clauses out of 12696 with flag 7563/197013 30.91/53.29 c And the winner is solver0 31.61/53.89 c Got one! Elapsed wall clock time (in seconds):53.767 31.61/53.89 o 37 32.10/54.12 c cleaning 8507 clauses out of 17016 with flag 20328/207674 32.50/54.38 c cleaning 7249 clauses out of 14507 with flag 44757/213673 33.11/54.66 c cleaning 7125 clauses out of 14257 with flag 70801/220673 33.71/54.99 c cleaning 7563 clauses out of 15132 with flag 101806/228674 34.51/55.30 c And the winner is solver0 35.02/55.89 c Got one! Elapsed wall clock time (in seconds):55.771 35.02/55.89 o 33 35.09/55.91 c And the winner is solver0 35.21/56.39 c Got one! Elapsed wall clock time (in seconds):56.275 35.21/56.39 o 17 35.42/56.59 c And the winner is solver0 36.22/57.30 c Got one! Elapsed wall clock time (in seconds):57.18 36.22/57.30 o 16 36.49/57.42 c cleaning 11034 clauses out of 22067 with flag 8185/243172 37.09/57.71 c cleaning 8506 clauses out of 17032 with flag 34574/249172 37.69/58.00 c cleaning 7758 clauses out of 15526 with flag 63797/256172 38.30/58.34 c cleaning 7881 clauses out of 15768 with flag 97072/264173 38.89/58.60 c And the winner is solver0 39.59/59.30 c Got one! Elapsed wall clock time (in seconds):59.186 39.59/59.30 o 15 39.98/59.55 c cleaning 9770 clauses out of 19546 with flag 22657/275833 39.98/59.56 c And the winner is solver0 40.72/60.21 c Got one! Elapsed wall clock time (in seconds):60.091 40.72/60.21 o 14 41.09/60.43 c cleaning 7537 clauses out of 15078 with flag 22747/281138 41.50/60.65 c cleaning 6768 clauses out of 13538 with flag 46821/287138 41.89/60.89 c And the winner is solver0 42.29/61.22 c Got one! Elapsed wall clock time (in seconds):61.1 42.29/61.22 o 13 42.65/61.46 c cleaning 9259 clauses out of 18518 with flag 19612/298891 42.65/61.49 c And the winner is solver0 43.45/62.12 c Got one! Elapsed wall clock time (in seconds):62.005 43.45/62.12 o 12 43.80/62.35 c cleaning 7565 clauses out of 15147 with flag 22683/304780 44.20/62.54 c And the winner is solver0 44.74/63.03 c Got one! Elapsed wall clock time (in seconds):62.911 44.74/63.03 o 10 44.74/63.09 c cleaning 6739 clauses out of 13486 with flag 4566/310684 45.08/63.23 c And the winner is solver0 45.83/63.96 c >>>>>>>>>> Solver number 0 (101 answers) <<<<<<<<<<<<<<<<<< 45.83/63.96 c starts : 268 45.83/63.96 c conflicts : 314734 45.83/63.96 c decisions : 530945 45.83/63.96 c propagations : 8722487 45.83/63.96 c inspects : 159338708 45.83/63.96 c shortcuts : 0 45.83/63.96 c learnt literals : 34 45.83/63.96 c learnt binary clauses : 76 45.83/63.96 c learnt ternary clauses : 994 45.83/63.96 c learnt constraints : 314699 45.83/63.96 c ignored constraints : 0 45.83/63.96 c root simplifications : 0 45.83/63.96 c removed literals (reason simplification) : 1499508 45.83/63.96 c reason swapping (by a shorter reason) : 0 45.83/63.96 c Calls to reduceDB : 38 45.83/63.96 c Number of update (reduction) of LBD : 89705 45.83/63.96 c Imported unit clauses : 0 45.83/63.96 c number of reductions to clauses (during analyze) : 0 45.83/63.96 c number of learned constraints concerned by reduction : 0 45.83/63.96 c number of learning phase by resolution : 0 45.83/63.96 c number of learning phase by cutting planes : 0 45.83/63.96 c speed (assignments/second) : 136780.41398776852 45.83/63.96 c non guided choices 3427 45.83/63.96 c learnt constraints type 45.83/63.96 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 45.83/63.96 c starts : 101 45.83/63.96 c conflicts : 418 45.83/63.96 c decisions : 9292 45.83/63.96 c propagations : 31204 45.83/63.96 c inspects : 1191146 45.83/63.96 c shortcuts : 0 45.83/63.96 c learnt literals : 0 45.83/63.96 c learnt binary clauses : 0 45.83/63.96 c learnt ternary clauses : 0 45.83/63.96 c learnt constraints : 325 45.83/63.96 c ignored constraints : 0 45.83/63.96 c root simplifications : 0 45.83/63.96 c removed literals (reason simplification) : 0 45.83/63.96 c reason swapping (by a shorter reason) : 0 45.83/63.96 c Calls to reduceDB : 0 45.83/63.96 c Number of update (reduction) of LBD : 0 45.83/63.96 c Imported unit clauses : 0 45.83/63.96 c number of reductions to clauses (during analyze) : 0 45.83/63.96 c number of learned constraints concerned by reduction : 0 45.83/63.96 c number of learning phase by resolution : 0 45.83/63.96 c number of learning phase by cutting planes : 0 45.83/63.96 c speed (assignments/second) : 34065.50218340611 45.83/63.96 c non guided choices 1365 45.83/63.96 c learnt constraints type 45.83/63.96 s OPTIMUM FOUND 45.83/63.96 c Found 100 solution(s) 45.83/63.96 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 45.83/63.96 c objective function=10 45.83/63.96 c Total wall clock time (in seconds): 63.845
OK 10
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-4109549-1467321315/watcher-4109549-1467321315 -o /tmp/evaluation-result-4109549-1467321315/solver-4109549-1467321315 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109549-1467321315.wbo pid=26526 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.73 1.77 1.89 2/196 26529 /proc/meminfo: memFree=29695016/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=5632 CPUtime=0 cores=0,2,4,6 /proc/26529/stat : 26529 (java) R 26526 26529 16091 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 13092320 5767168 58 33554432000 1073741824 1073778376 140736751670528 140736751667656 272877317415 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2303 63 50 9 0 35 0 [startup+0.100162 s] /proc/loadavg: 1.73 1.77 1.89 2/196 26529 /proc/meminfo: memFree=29695016/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 4409 0 1 0 8 0 0 0 20 0 18 0 13092320 9787879424 6037 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2389619 6037 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200219 s] /proc/loadavg: 1.73 1.77 1.89 2/196 26529 /proc/meminfo: memFree=29695016/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 4759 0 1 0 22 1 0 0 20 0 22 0 13092320 10060525568 7869 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 7869 2208 9 0 2446860 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9824732 [startup+0.300205 s] /proc/loadavg: 1.73 1.77 1.89 2/196 26529 /proc/meminfo: memFree=29695016/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=0.61 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 8177 0 1 0 60 1 0 0 20 0 22 0 13092320 10060525568 9519 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 9519 2250 9 0 2446860 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 9824732 [startup+0.700282 s] /proc/loadavg: 1.73 1.77 1.89 2/196 26529 /proc/meminfo: memFree=29695016/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=1.33 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 15396 0 1 0 129 4 0 0 20 0 22 0 13092320 10060525568 15475 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 15473 2255 9 0 2446860 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 9824732 ############ # WARNING: # current cumulated CPU time (1.32 s) is less than in the last sample (1.33 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00999999 s) to the 'lost time'. [startup+0.700282 s] /proc/loadavg: 1.73 1.77 1.89 2/196 26529 /proc/meminfo: memFree=29695016/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=1.33 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 15396 0 1 0 129 4 0 0 20 0 22 0 13092320 10060525568 15475 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 15473 2255 9 0 2446860 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 9824732 [startup+0.800276 s] /proc/loadavg: 1.73 1.77 1.89 2/196 26529 /proc/meminfo: memFree=29695016/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=1.32 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 15396 0 1 0 128 4 0 0 20 0 19 0 13092320 10060525568 15469 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 15469 2255 9 0 2446860 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 9824732 # ############ [startup+1.50079 s] /proc/loadavg: 1.73 1.77 1.89 2/215 26554 /proc/meminfo: memFree=29641132/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=1.33 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 15406 0 1 0 129 4 0 0 20 0 19 0 13092320 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 16494 2255 9 0 2446860 0 [pid=26529/tid=26531] ppid=26526 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/26529/task/26531/stat : 26531 (java) S 26526 26529 16091 0 -1 4202560 2416 0 1 0 16 0 0 0 20 0 19 0 13092321 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171674350456 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26532] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26532/stat : 26532 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171635841960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26533] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26533/stat : 26533 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171634789416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26534] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26534/stat : 26534 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171633736360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26535] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26535/stat : 26535 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171632683816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26536] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26536/stat : 26536 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171631630760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26537] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26537/stat : 26537 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171630578216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26538] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26538/stat : 26538 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171629525160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26539] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26539/stat : 26539 (java) S 26526 26529 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171628472616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26540] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26540/stat : 26540 (java) S 26526 26529 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13092323 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171497823080 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26541] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26541/stat : 26541 (java) S 26526 26529 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13092324 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171496769400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26542] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26542/stat : 26542 (java) S 26526 26529 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13092324 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171495716232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26543] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26543/stat : 26543 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092326 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171494664976 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26544] ppid=26526 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/26529/task/26544/stat : 26544 (java) S 26526 26529 16091 0 -1 4202560 4582 0 0 0 34 0 0 0 20 0 19 0 13092326 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140171493611832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26545] ppid=26526 vsize=9824732 CPUtime=0.37 cores=0,2,4,6 /proc/26529/task/26545/stat : 26545 (java) S 26526 26529 16091 0 -1 4202560 7058 0 0 0 37 0 0 0 20 0 19 0 13092326 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140170619775416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26546] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26546/stat : 26546 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092326 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140170618722552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26547] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26547/stat : 26547 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092326 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140170617670216 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26550] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26550/stat : 26550 (java) S 26526 26529 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13092340 10060525568 16494 33554432000 1073741824 1073778376 140736751670528 140170614510888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 9824732 [startup+3.1008 s] /proc/loadavg: 1.73 1.77 1.89 5/218 26563 /proc/meminfo: memFree=29628456/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 15994 0 1 0 144 5 0 0 20 0 19 0 13092320 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 19627 2258 9 0 2446860 0 [pid=26529/tid=26531] ppid=26526 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/26529/task/26531/stat : 26531 (java) S 26526 26529 16091 0 -1 4202560 2416 0 1 0 16 0 0 0 20 0 19 0 13092321 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171674350456 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26532] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26532/stat : 26532 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171635841960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26533] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26533/stat : 26533 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171634789416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26534] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26534/stat : 26534 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171633736360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26535] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26535/stat : 26535 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171632683816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26536] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26536/stat : 26536 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171631630760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26537] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26537/stat : 26537 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171630578216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26538] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26538/stat : 26538 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171629525160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26539] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26539/stat : 26539 (java) S 26526 26529 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171628472616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26540] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26540/stat : 26540 (java) S 26526 26529 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13092323 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171497823080 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26541] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26541/stat : 26541 (java) S 26526 26529 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13092324 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171496769400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26542] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26542/stat : 26542 (java) S 26526 26529 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13092324 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171495716232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26543] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26543/stat : 26543 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092326 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171494664976 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26544] ppid=26526 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/26529/task/26544/stat : 26544 (java) S 26526 26529 16091 0 -1 4202560 5115 0 0 0 44 0 0 0 20 0 19 0 13092326 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140171493611832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26545] ppid=26526 vsize=9824732 CPUtime=0.42 cores=0,2,4,6 /proc/26529/task/26545/stat : 26545 (java) S 26526 26529 16091 0 -1 4202560 7088 0 0 0 42 0 0 0 20 0 19 0 13092326 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140170619775416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26546] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26546/stat : 26546 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092326 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140170618722552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26547] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26547/stat : 26547 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092326 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140170617670216 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26550] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26550/stat : 26550 (java) S 26526 26529 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13092340 10060525568 19627 33554432000 1073741824 1073778376 140736751670528 140170614510888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=27 pid=1779 uid=0 cmd= [startup+6.30082 s] /proc/loadavg: 1.67 1.76 1.88 2/215 26581 /proc/meminfo: memFree=29595376/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=1.77 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 17295 0 1 0 168 9 0 0 20 0 19 0 13092320 10060525568 29192 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 29192 2267 9 0 2446860 0 [pid=26529/tid=26531] ppid=26526 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/26529/task/26531/stat : 26531 (java) S 26526 26529 16091 0 -1 4202560 2418 0 1 0 17 0 0 0 20 0 19 0 13092321 10060525568 29192 33554432000 1073741824 1073778376 140736751670528 140171674350456 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26532] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26532/stat : 26532 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 29192 33554432000 1073741824 1073778376 140736751670528 140171635841960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26533] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26533/stat : 26533 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 29192 33554432000 1073741824 1073778376 140736751670528 140171634789416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26534] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26534/stat : 26534 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13092322 10060525568 29192 33554432000 1073741824 1073778376 140736751670528 140171633736360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26535] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/26529/task/26540/stat : 26540 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 0 4 0 0 20 0 22 0 13092323 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140171497823080 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26541] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26541/stat : 26541 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13092324 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140171496769400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26542] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26542/stat : 26542 (java) S 26526 26529 16091 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 13092324 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140171495716232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26543] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26543/stat : 26543 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13092326 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140171494664976 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26544] ppid=26526 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/26529/task/26544/stat : 26544 (java) S 26526 26529 16091 0 -1 4202560 16278 0 0 0 192 1 0 0 20 0 22 0 13092326 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140171493611832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26545] ppid=26526 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/26529/task/26545/stat : 26545 (java) S 26526 26529 16091 0 -1 4202560 7118 0 0 0 68 0 0 0 20 0 22 0 13092326 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140170619775416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26546] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26546/stat : 26546 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13092326 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140170618722552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26547] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26547/stat : 26547 (java) S 26526 26529 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13092326 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140170617670216 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26550] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26550/stat : 26550 (java) S 26526 26529 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13092340 10060525568 50401 33554432000 1073741824 1073778376 140736751670528 140170614510888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 45.07 Current children cumulated vsize (KiB) 9824732 [startup+63.6007 s] /proc/loadavg: 1.83 1.77 1.87 3/216 26849 /proc/meminfo: memFree=29540544/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=45.51 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 28190 0 1 0 4374 177 0 0 20 0 20 0 13092320 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 50397 2287 9 0 2446860 0 [pid=26529/tid=26531] ppid=26526 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/26529/task/26531/stat : 26531 (java) S 26526 26529 16091 0 -1 4202560 2424 0 1 0 24 2 0 0 20 0 20 0 13092321 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171674350456 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26532] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26532/stat : 26532 (java) S 26526 26529 16091 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171635841960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26533] ppid=26526 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/26529/task/26533/stat : 26533 (java) S 26526 26529 16091 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171634789416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26534] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26534/stat : 26534 (java) S 26526 26529 16091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171633736360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26535] ppid=26526 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/26529/task/26535/stat : 26535 (java) S 26526 26529 16091 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171632683816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26536] ppid=26526 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/26529/task/26536/stat : 26536 (java) S 26526 26529 16091 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171631630760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26537] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26537/stat : 26537 (java) S 26526 26529 16091 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171630578216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26538] ppid=26526 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/26529/task/26538/stat : 26538 (java) S 26526 26529 16091 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171629525160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26539] ppid=26526 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/26529/task/26539/stat : 26539 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171628472616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26540] ppid=26526 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/26529/task/26540/stat : 26540 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 0 4 0 0 20 0 20 0 13092323 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171497823080 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26541] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26541/stat : 26541 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 13092324 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171496769400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26542] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26542/stat : 26542 (java) S 26526 26529 16091 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 13092324 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171495716232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26543] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26543/stat : 26543 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171494664976 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26544] ppid=26526 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/26529/task/26544/stat : 26544 (java) S 26526 26529 16091 0 -1 4202560 16278 0 0 0 192 1 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171493611832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26545] ppid=26526 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/26529/task/26545/stat : 26545 (java) S 26526 26529 16091 0 -1 4202560 7118 0 0 0 68 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170619775416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26546] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26546/stat : 26546 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170618722552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26547] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26547/stat : 26547 (java) S 26526 26529 16091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170617670216 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26550] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26550/stat : 26550 (java) S 26526 26529 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13092340 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170614510888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 45.51 Current children cumulated vsize (KiB) 9824732 [startup+63.8007 s] /proc/loadavg: 1.84 1.78 1.88 3/216 26852 /proc/meminfo: memFree=29541052/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=45.72 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 28190 0 1 0 4395 177 0 0 20 0 20 0 13092320 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 50397 2287 9 0 2446860 0 [pid=26529/tid=26531] ppid=26526 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/26529/task/26531/stat : 26531 (java) S 26526 26529 16091 0 -1 4202560 2424 0 1 0 24 2 0 0 20 0 20 0 13092321 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171674350456 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26532] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26532/stat : 26532 (java) S 26526 26529 16091 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171635841960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26533] ppid=26526 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/26529/task/26533/stat : 26533 (java) S 26526 26529 16091 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171634789416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26534] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26534/stat : 26534 (java) S 26526 26529 16091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171633736360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26535] ppid=26526 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/26529/task/26535/stat : 26535 (java) S 26526 26529 16091 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171632683816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26536] ppid=26526 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/26529/task/26536/stat : 26536 (java) S 26526 26529 16091 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171631630760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26537] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26537/stat : 26537 (java) S 26526 26529 16091 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171630578216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26538] ppid=26526 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/26529/task/26538/stat : 26538 (java) S 26526 26529 16091 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171629525160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26539] ppid=26526 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/26529/task/26539/stat : 26539 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171628472616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26540] ppid=26526 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/26529/task/26540/stat : 26540 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 0 4 0 0 20 0 20 0 13092323 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171497823080 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26541] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26541/stat : 26541 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 13092324 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171496769400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26542] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26542/stat : 26542 (java) S 26526 26529 16091 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 13092324 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171495716232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26543] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26543/stat : 26543 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171494664976 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26544] ppid=26526 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/26529/task/26544/stat : 26544 (java) S 26526 26529 16091 0 -1 4202560 16278 0 0 0 192 1 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171493611832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26545] ppid=26526 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/26529/task/26545/stat : 26545 (java) S 26526 26529 16091 0 -1 4202560 7118 0 0 0 68 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170619775416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26546] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26546/stat : 26546 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170618722552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26547] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26547/stat : 26547 (java) S 26526 26529 16091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170617670216 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26550] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26550/stat : 26550 (java) S 26526 26529 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13092340 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170614510888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26851] ppid=26526 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/26529/task/26851/stat : 26851 (java) R 26526 26529 16091 0 -1 4202560 4 0 0 0 75 0 0 0 20 0 20 0 13098624 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170613457624 140171509585597 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 45.72 Current children cumulated vsize (KiB) 9824732 [startup+63.9081 s] /proc/loadavg: 1.84 1.78 1.88 3/216 26852 /proc/meminfo: memFree=29541052/32872528 swapFree=1254912/1391860 [pid=26529] ppid=26526 vsize=9824732 CPUtime=45.82 cores=0,2,4,6 /proc/26529/stat : 26529 (java) S 26526 26529 16091 0 -1 4202496 28190 0 1 0 4405 177 0 0 20 0 20 0 13092320 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140736751661664 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26529/statm: 2456183 50397 2287 9 0 2446860 0 [pid=26529/tid=26531] ppid=26526 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/26529/task/26531/stat : 26531 (java) S 26526 26529 16091 0 -1 4202560 2424 0 1 0 24 2 0 0 20 0 20 0 13092321 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171674350456 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26532] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26532/stat : 26532 (java) S 26526 26529 16091 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171635841960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26533] ppid=26526 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/26529/task/26533/stat : 26533 (java) S 26526 26529 16091 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171634789416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26534] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26534/stat : 26534 (java) S 26526 26529 16091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171633736360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26535] ppid=26526 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/26529/task/26535/stat : 26535 (java) S 26526 26529 16091 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171632683816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26536] ppid=26526 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/26529/task/26536/stat : 26536 (java) S 26526 26529 16091 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171631630760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26537] ppid=26526 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/26529/task/26537/stat : 26537 (java) S 26526 26529 16091 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171630578216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26538] ppid=26526 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/26529/task/26538/stat : 26538 (java) S 26526 26529 16091 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171629525160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26539] ppid=26526 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/26529/task/26539/stat : 26539 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 13092322 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171628472616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26540] ppid=26526 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/26529/task/26540/stat : 26540 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 0 4 0 0 20 0 20 0 13092323 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171497823080 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26541] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26541/stat : 26541 (java) S 26526 26529 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 13092324 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171496769400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26542] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26542/stat : 26542 (java) S 26526 26529 16091 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 13092324 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171495716232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26529/tid=26543] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26543/stat : 26543 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171494664976 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26529/tid=26544] ppid=26526 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/26529/task/26544/stat : 26544 (java) S 26526 26529 16091 0 -1 4202560 16278 0 0 0 192 1 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140171493611832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26545] ppid=26526 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/26529/task/26545/stat : 26545 (java) S 26526 26529 16091 0 -1 4202560 7118 0 0 0 68 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170619775416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26546] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26546/stat : 26546 (java) S 26526 26529 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170618722552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26529/tid=26547] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26547/stat : 26547 (java) S 26526 26529 16091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 13092326 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170617670216 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26550] ppid=26526 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/26529/task/26550/stat : 26550 (java) S 26526 26529 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13092340 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170614510888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26529/tid=26851] ppid=26526 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/26529/task/26851/stat : 26851 (java) R 26526 26529 16091 0 -1 4202560 4 0 0 0 85 0 0 0 20 0 20 0 13098624 10060525568 50397 33554432000 1073741824 1073778376 140736751670528 140170613457624 140171509585585 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 45.82 Current children cumulated vsize (KiB) 9824732 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.00999999 # lost CPU user time (s): 0.00999999 # lost CPU system time (s): 0 Real time (s): 63.9716 CPU time (s): 45.967 CPU user time (s): 44.0943 CPU system time (s): 1.87271 CPU usage (%): 71.8553 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 44.0843 system time used= 1.87271 maximum resident set size= 215272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28200 page faults= 1 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4147 involuntary context switches= 755 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.373943 second user time and 0.537918 second system time The end
Begin job on node119 at 2016-06-30 23:15:15 IDJOB=4109549 IDBENCH=78846 IDSOLVER=2552 FILE ID=node119/4109549-1467321315 RUNJOBID= node119-1467318689-18276 PBS_JOBID= 20005280 Free space on /tmp= 71732 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.1111226062--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109549-1467321315/watcher-4109549-1467321315 -o /tmp/evaluation-result-4109549-1467321315/solver-4109549-1467321315 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109549-1467321315.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7e4768b7f873096cfc405759f746d055 RANDOM SEED=921239621 node119.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.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 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.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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: 29695660 kB Buffers: 174384 kB Cached: 262696 kB SwapCached: 0 kB Active: 821236 kB Inactive: 218048 kB Active(anon): 587124 kB Inactive(anon): 17912 kB Active(file): 234112 kB Inactive(file): 200136 kB Unevictable: 1391860 kB Mlocked: 1254912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 908 kB Writeback: 0 kB AnonPages: 2043304 kB Mapped: 22232 kB Shmem: 204 kB Slab: 611748 kB SReclaimable: 55456 kB SUnreclaim: 556292 kB KernelStack: 1776 kB PageTables: 8556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2128276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 761856 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= 71732 MiB End job on node119 at 2016-06-30 23:16:19