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 | 65.776 | 81.5476 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo |
| MD5SUM | 81d0b3111be77447a435e48fa3fc6a23 |
| 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 | 8 |
| Best CPU time to get the best result obtained on this benchmark | 13.103 |
| 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 | 1147 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4109233-1467320577.wbo 0.09/0.12 c reading problem ... 0.09/0.18 c ... done. Wall clock time 0.066s. 0.09/0.18 c declared #vars 169 0.09/0.18 c internal #vars 238 0.09/0.18 c #constraints 101 0.09/0.19 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.19 c constraints type 0.09/0.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.09/0.19 c org.sat4j.minisat.constraints.card.MinWatchCard => 20 0.09/0.19 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.09/0.19 c 101 constraints processed. 0.09/0.19 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.19 c constraints type 0.09/0.19 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.09/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.09/0.19 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 51 0.09/0.19 c 101 constraints processed. 0.09/0.19 c objective function length is 69 literals 0.62/0.39 c And the winner is solver0 1.29/0.69 c SATISFIABLE 1.29/0.69 c OPTIMIZING... 1.29/0.69 c Got one! Elapsed wall clock time (in seconds):0.571 1.29/0.69 o 805 1.30/0.70 c And the winner is solver0 1.31/1.19 c Got one! Elapsed wall clock time (in seconds):1.072 1.31/1.19 o 804 1.31/1.20 c And the winner is solver0 1.31/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 1.31/1.69 o 736 1.32/1.70 c And the winner is solver0 1.32/2.19 c Got one! Elapsed wall clock time (in seconds):2.074 1.32/2.19 o 731 1.35/2.21 c And the winner is solver0 1.52/2.69 c Got one! Elapsed wall clock time (in seconds):2.575 1.52/2.69 o 720 1.52/2.70 c And the winner is solver0 1.54/3.19 c Got one! Elapsed wall clock time (in seconds):3.077 1.54/3.19 o 715 1.88/3.36 c And the winner is solver0 2.16/3.70 c Got one! Elapsed wall clock time (in seconds):3.578 2.16/3.70 o 711 2.16/3.75 c And the winner is solver0 2.42/4.20 c Got one! Elapsed wall clock time (in seconds):4.079 2.42/4.20 o 699 2.42/4.21 c And the winner is solver0 2.44/4.70 c Got one! Elapsed wall clock time (in seconds):4.58 2.44/4.70 o 695 2.44/4.70 c And the winner is solver0 2.44/5.20 c Got one! Elapsed wall clock time (in seconds):5.081 2.44/5.20 o 669 2.44/5.20 c And the winner is solver0 2.44/5.70 c Got one! Elapsed wall clock time (in seconds):5.582 2.44/5.70 o 488 2.44/5.70 c And the winner is solver0 2.44/6.20 c Got one! Elapsed wall clock time (in seconds):6.083 2.44/6.20 o 464 2.44/6.21 c And the winner is solver0 2.46/6.70 c Got one! Elapsed wall clock time (in seconds):6.586 2.46/6.70 o 460 2.46/6.71 c And the winner is solver0 2.47/7.20 c Got one! Elapsed wall clock time (in seconds):7.087 2.47/7.20 o 453 2.47/7.22 c And the winner is solver0 2.51/7.71 c Got one! Elapsed wall clock time (in seconds):7.588 2.51/7.71 o 428 2.51/7.71 c And the winner is solver0 2.51/8.21 c Got one! Elapsed wall clock time (in seconds):8.089 2.51/8.21 o 402 2.51/8.22 c And the winner is solver0 2.51/8.71 c Got one! Elapsed wall clock time (in seconds):8.59 2.51/8.71 o 387 2.51/8.72 c And the winner is solver0 2.54/9.21 c Got one! Elapsed wall clock time (in seconds):9.091 2.54/9.21 o 379 2.54/9.25 c And the winner is solver0 2.70/9.71 c Got one! Elapsed wall clock time (in seconds):9.592 2.70/9.71 o 378 2.70/9.75 c And the winner is solver0 2.80/10.21 c Got one! Elapsed wall clock time (in seconds):10.093 2.80/10.21 o 359 2.80/10.23 c And the winner is solver0 2.85/10.71 c Got one! Elapsed wall clock time (in seconds):10.594 2.85/10.71 o 354 2.85/10.74 c And the winner is solver0 2.92/11.22 c Got one! Elapsed wall clock time (in seconds):11.104 2.92/11.22 o 351 3.10/11.31 c cleaning 5014 clauses out of 10028 with flag 3240/10028 3.10/11.32 c And the winner is solver0 3.29/11.72 c Got one! Elapsed wall clock time (in seconds):11.605 3.29/11.72 o 350 3.29/11.73 c And the winner is solver0 3.29/12.22 c Got one! Elapsed wall clock time (in seconds):12.106 3.29/12.22 o 348 3.29/12.25 c And the winner is solver0 3.35/12.72 c Got one! Elapsed wall clock time (in seconds):12.607 3.35/12.72 o 339 3.35/12.73 c And the winner is solver0 3.35/13.23 c Got one! Elapsed wall clock time (in seconds):13.107 3.35/13.23 o 338 3.35/13.23 c And the winner is solver0 3.35/13.73 c Got one! Elapsed wall clock time (in seconds):13.608 3.35/13.73 o 337 3.35/13.73 c And the winner is solver0 3.35/14.23 c Got one! Elapsed wall clock time (in seconds):14.109 3.35/14.23 o 323 3.53/14.34 c And the winner is solver0 3.64/14.73 c Got one! Elapsed wall clock time (in seconds):14.61 3.64/14.73 o 321 3.64/14.73 c And the winner is solver0 3.64/15.23 c Got one! Elapsed wall clock time (in seconds):15.111 3.64/15.23 o 318 3.64/15.25 c And the winner is solver0 3.68/15.73 c Got one! Elapsed wall clock time (in seconds):15.612 3.68/15.73 o 316 3.68/15.74 c And the winner is solver0 3.68/16.23 c Got one! Elapsed wall clock time (in seconds):16.113 3.68/16.23 o 310 3.68/16.24 c And the winner is solver0 3.68/16.73 c Got one! Elapsed wall clock time (in seconds):16.613 3.68/16.73 o 305 3.68/16.76 c And the winner is solver0 3.74/17.23 c Got one! Elapsed wall clock time (in seconds):17.114 3.74/17.23 o 304 3.74/17.24 c And the winner is solver0 3.75/17.73 c Got one! Elapsed wall clock time (in seconds):17.615 3.75/17.73 o 303 3.75/17.74 c And the winner is solver0 3.75/18.23 c Got one! Elapsed wall clock time (in seconds):18.116 3.75/18.23 o 302 3.75/18.24 c And the winner is solver0 3.75/18.73 c Got one! Elapsed wall clock time (in seconds):18.617 3.75/18.73 o 296 3.75/18.74 c And the winner is solver0 3.76/19.24 c Got one! Elapsed wall clock time (in seconds):19.118 3.76/19.24 o 268 3.76/19.26 c And the winner is solver0 3.82/19.74 c Got one! Elapsed wall clock time (in seconds):19.619 3.82/19.74 o 242 4.18/19.91 c cleaning 6827 clauses out of 13662 with flag 11657/18676 4.37/20.08 c And the winner is solver0 4.56/20.24 c Got one! Elapsed wall clock time (in seconds):20.12 4.56/20.24 o 235 4.56/20.24 c And the winner is solver0 4.56/20.74 c Got one! Elapsed wall clock time (in seconds):20.62 4.56/20.74 o 230 4.71/20.85 c cleaning 6345 clauses out of 12700 with flag 8814/24541 4.71/20.90 c And the winner is solver0 4.95/21.24 c Got one! Elapsed wall clock time (in seconds):21.121 4.95/21.24 o 229 5.41/21.45 c cleaning 5740 clauses out of 11506 with flag 17363/29692 5.61/21.54 c And the winner is solver0 5.78/21.74 c Got one! Elapsed wall clock time (in seconds):21.622 5.78/21.74 o 217 5.78/21.75 c And the winner is solver0 5.78/22.24 c Got one! Elapsed wall clock time (in seconds):22.123 5.78/22.24 o 210 5.78/22.25 c And the winner is solver0 5.78/22.74 c Got one! Elapsed wall clock time (in seconds):22.624 5.78/22.74 o 209 5.88/22.86 c And the winner is solver0 6.02/23.24 c Got one! Elapsed wall clock time (in seconds):23.125 6.02/23.24 o 207 6.02/23.27 c And the winner is solver0 6.09/23.74 c Got one! Elapsed wall clock time (in seconds):23.625 6.09/23.74 o 204 6.09/23.76 c And the winner is solver0 6.13/24.24 c Got one! Elapsed wall clock time (in seconds):24.126 6.13/24.24 o 203 6.13/24.26 c And the winner is solver0 6.19/24.75 c Got one! Elapsed wall clock time (in seconds):24.627 6.19/24.75 o 200 6.29/24.84 c And the winner is solver0 6.41/25.25 c Got one! Elapsed wall clock time (in seconds):25.128 6.41/25.25 o 198 6.52/25.31 c cleaning 7056 clauses out of 14124 with flag 4252/38050 6.92/25.58 c And the winner is solver0 7.10/25.75 c Got one! Elapsed wall clock time (in seconds):25.629 7.10/25.75 o 192 7.20/25.83 c And the winner is solver0 7.29/26.25 c Got one! Elapsed wall clock time (in seconds):26.13 7.29/26.25 o 188 7.29/26.25 c And the winner is solver0 7.29/26.75 c Got one! Elapsed wall clock time (in seconds):26.63 7.29/26.75 o 187 7.39/26.88 c And the winner is solver0 7.63/27.25 c Got one! Elapsed wall clock time (in seconds):27.131 7.63/27.25 o 166 7.74/27.31 c And the winner is solver0 7.85/27.75 c Got one! Elapsed wall clock time (in seconds):27.632 7.85/27.75 o 156 7.85/27.79 c And the winner is solver0 7.94/28.25 c Got one! Elapsed wall clock time (in seconds):28.133 7.94/28.25 o 152 7.94/28.28 c And the winner is solver0 8.01/28.75 c Got one! Elapsed wall clock time (in seconds):28.634 8.01/28.75 o 128 8.01/28.80 c And the winner is solver0 8.12/29.25 c Got one! Elapsed wall clock time (in seconds):29.135 8.12/29.25 o 124 8.12/29.28 c And the winner is solver0 8.19/29.75 c Got one! Elapsed wall clock time (in seconds):29.635 8.19/29.75 o 122 8.19/29.78 c And the winner is solver0 8.31/30.25 c Got one! Elapsed wall clock time (in seconds):30.136 8.31/30.25 o 121 8.31/30.27 c And the winner is solver0 8.37/30.76 c Got one! Elapsed wall clock time (in seconds):30.637 8.37/30.76 o 120 8.46/30.83 c And the winner is solver0 8.54/31.26 c Got one! Elapsed wall clock time (in seconds):31.138 8.54/31.26 o 118 8.62/31.37 c cleaning 11070 clauses out of 22140 with flag 4084/53122 8.62/31.39 c And the winner is solver0 9.25/31.76 c Got one! Elapsed wall clock time (in seconds):31.638 9.25/31.76 o 116 9.25/31.77 c And the winner is solver0 9.33/32.26 c Got one! Elapsed wall clock time (in seconds):32.139 9.33/32.26 o 115 9.42/32.37 c And the winner is solver0 9.58/32.76 c Got one! Elapsed wall clock time (in seconds):32.64 9.58/32.76 o 114 9.58/32.77 c And the winner is solver0 9.62/33.26 c Got one! Elapsed wall clock time (in seconds):33.141 9.62/33.26 o 112 9.69/33.34 c And the winner is solver0 9.89/33.76 c Got one! Elapsed wall clock time (in seconds):33.642 9.89/33.76 o 108 9.96/33.83 c And the winner is solver0 10.04/34.26 c Got one! Elapsed wall clock time (in seconds):34.143 10.04/34.26 o 76 10.11/34.30 c And the winner is solver0 10.13/34.76 c Got one! Elapsed wall clock time (in seconds):34.644 10.13/34.76 o 71 10.20/34.89 c cleaning 9710 clauses out of 19419 with flag 8613/61471 10.80/35.17 c cleaning 7852 clauses out of 15712 with flag 32288/67474 11.61/35.52 c cleaning 7425 clauses out of 14857 with flag 65681/74471 12.03/35.76 c And the winner is solver0 12.17/35.81 c Got one! Elapsed wall clock time (in seconds):35.696 12.17/35.81 o 69 12.17/35.85 c And the winner is solver0 12.26/36.32 c Got one! Elapsed wall clock time (in seconds):36.199 12.26/36.32 o 63 12.26/36.38 c cleaning 7055 clauses out of 14111 with flag 4605/81150 12.83/36.67 c cleaning 6526 clauses out of 13059 with flag 30110/87153 13.64/37.01 c cleaning 6761 clauses out of 13530 with flag 60842/94150 14.05/37.27 c And the winner is solver0 14.23/37.32 c Got one! Elapsed wall clock time (in seconds):37.202 14.23/37.32 o 50 14.62/37.52 c And the winner is solver0 14.68/37.82 c Got one! Elapsed wall clock time (in seconds):37.706 14.68/37.82 o 47 14.82/37.90 c cleaning 8624 clauses out of 17259 with flag 4482/104640 14.82/37.96 c And the winner is solver0 15.00/38.33 c Got one! Elapsed wall clock time (in seconds):38.212 15.00/38.33 o 38 15.00/38.34 c And the winner is solver0 43.96/66.89 c Got one! Elapsed wall clock time (in seconds):66.773 43.96/66.89 o 33 44.16/67.10 c cleaning 7218 clauses out of 14439 with flag 17106/110444 44.38/67.13 c And the winner is solver0 44.48/67.41 c Got one! Elapsed wall clock time (in seconds):67.295 44.48/67.41 o 32 44.82/67.66 c cleaning 6524 clauses out of 13062 with flag 22706/116285 45.41/67.91 c cleaning 6269 clauses out of 12540 with flag 49684/122287 45.41/67.93 c And the winner is solver0 45.41/67.99 c Got one! Elapsed wall clock time (in seconds):67.87 45.41/67.99 o 30 45.97/68.22 c cleaning 5842 clauses out of 11704 with flag 18721/127720 46.36/68.44 c cleaning 5926 clauses out of 11861 with flag 40611/133719 46.96/68.72 c cleaning 6460 clauses out of 12934 with flag 66608/140719 47.56/69.05 c cleaning 7233 clauses out of 14474 with flag 97311/148719 48.17/69.32 c And the winner is solver0 48.25/69.51 c Got one! Elapsed wall clock time (in seconds):69.393 48.25/69.51 o 26 48.59/69.79 c cleaning 9577 clauses out of 19160 with flag 20781/160640 49.21/70.05 c cleaning 7786 clauses out of 15582 with flag 44737/166640 49.81/70.35 c cleaning 7398 clauses out of 14795 with flag 74542/173639 50.02/70.41 c And the winner is solver0 50.07/70.54 c Got one! Elapsed wall clock time (in seconds):70.418 50.07/70.54 o 25 50.36/70.74 c cleaning 6419 clauses out of 12840 with flag 16469/179082 50.36/70.78 c And the winner is solver0 50.58/71.06 c Got one! Elapsed wall clock time (in seconds):70.943 50.58/71.06 o 24 50.82/71.26 c cleaning 5847 clauses out of 11701 with flag 18033/184362 51.44/71.50 c cleaning 5921 clauses out of 11853 with flag 41955/190361 51.83/71.78 c And the winner is solver0 52.04/72.09 c Got one! Elapsed wall clock time (in seconds):71.97 52.04/72.09 o 23 52.43/72.35 c cleaning 8587 clauses out of 17179 with flag 21482/201608 53.04/72.61 c cleaning 7294 clauses out of 14595 with flag 47717/207612 53.43/72.81 c And the winner is solver0 53.57/73.11 c Got one! Elapsed wall clock time (in seconds):72.996 53.57/73.11 o 21 53.90/73.34 c And the winner is solver0 54.25/73.64 c Got one! Elapsed wall clock time (in seconds):73.523 54.25/73.64 o 19 54.35/73.73 c cleaning 8849 clauses out of 17703 with flag 4368/218014 54.35/73.79 c And the winner is solver0 54.58/74.17 c Got one! Elapsed wall clock time (in seconds):74.049 54.58/74.17 o 18 54.81/74.37 c cleaning 7092 clauses out of 14186 with flag 16799/223346 55.01/74.46 c And the winner is solver0 55.28/74.70 c Got one! Elapsed wall clock time (in seconds):74.577 55.28/74.70 o 16 55.52/74.86 c cleaning 6398 clauses out of 12804 with flag 14044/229057 55.72/74.96 c And the winner is solver0 56.07/75.22 c Got one! Elapsed wall clock time (in seconds):75.105 56.07/75.22 o 15 56.19/75.38 c cleaning 6170 clauses out of 12354 with flag 13400/235005 56.79/75.61 c cleaning 6087 clauses out of 12184 with flag 37934/241005 57.19/75.88 c cleaning 6540 clauses out of 13098 with flag 65018/248007 57.41/75.97 c And the winner is solver0 57.60/76.26 c Got one! Elapsed wall clock time (in seconds):76.136 57.60/76.26 o 14 57.85/76.41 c cleaning 5981 clauses out of 11978 with flag 13009/253428 57.85/76.42 c And the winner is solver0 57.96/76.78 c Got one! Elapsed wall clock time (in seconds):76.664 57.96/76.78 o 10 58.17/77.00 c cleaning 5539 clauses out of 11080 with flag 20165/258511 58.77/77.22 c cleaning 5763 clauses out of 11539 with flag 42492/264510 59.37/77.50 c cleaning 6385 clauses out of 12777 with flag 71524/271511 59.97/77.87 c cleaning 7192 clauses out of 14392 with flag 106404/279512 60.78/78.26 c cleaning 8094 clauses out of 16195 with flag 143562/288510 60.97/78.34 c And the winner is solver0 61.09/78.81 c Got one! Elapsed wall clock time (in seconds):78.693 61.09/78.81 o 8 61.43/79.00 c cleaning 6630 clauses out of 13259 with flag 15344/293668 61.84/79.25 c cleaning 6312 clauses out of 12632 with flag 42725/299672 62.43/79.56 c cleaning 6648 clauses out of 13314 with flag 74411/306668 63.24/79.92 c cleaning 7328 clauses out of 14663 with flag 112212/314668 64.05/80.34 c cleaning 8162 clauses out of 16331 with flag 154023/323669 65.04/80.86 c cleaning 9077 clauses out of 18156 with flag 203269/333670 65.04/80.87 c And the winner is solver0 65.64/81.54 c >>>>>>>>>> Solver number 0 (90 answers) <<<<<<<<<<<<<<<<<< 65.64/81.54 c starts : 221 65.64/81.54 c conflicts : 333849 65.64/81.54 c decisions : 537349 65.64/81.54 c propagations : 7786558 65.64/81.54 c inspects : 156183585 65.64/81.54 c shortcuts : 0 65.64/81.54 c learnt literals : 46 65.64/81.54 c learnt binary clauses : 28 65.64/81.54 c learnt ternary clauses : 631 65.64/81.54 c learnt constraints : 333802 65.64/81.54 c ignored constraints : 0 65.64/81.54 c root simplifications : 0 65.64/81.54 c removed literals (reason simplification) : 1264240 65.64/81.54 c reason swapping (by a shorter reason) : 0 65.64/81.54 c Calls to reduceDB : 46 65.64/81.54 c Number of update (reduction) of LBD : 89208 65.64/81.54 c Imported unit clauses : 0 65.64/81.54 c number of reductions to clauses (during analyze) : 0 65.64/81.54 c number of learned constraints concerned by reduction : 0 65.64/81.54 c number of learning phase by resolution : 0 65.64/81.54 c number of learning phase by cutting planes : 0 65.64/81.54 c speed (assignments/second) : 95722.63814616756 65.64/81.54 c non guided choices 3542 65.64/81.54 c learnt constraints type 65.64/81.54 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 65.64/81.54 c starts : 100 65.64/81.54 c conflicts : 2626 65.64/81.54 c decisions : 17154 65.64/81.54 c propagations : 89419 65.64/81.54 c inspects : 24101210 65.64/81.54 c shortcuts : 0 65.64/81.54 c learnt literals : 0 65.64/81.54 c learnt binary clauses : 0 65.64/81.54 c learnt ternary clauses : 0 65.64/81.54 c learnt constraints : 2571 65.64/81.54 c ignored constraints : 0 65.64/81.54 c root simplifications : 0 65.64/81.54 c removed literals (reason simplification) : 0 65.64/81.54 c reason swapping (by a shorter reason) : 0 65.64/81.54 c Calls to reduceDB : 0 65.64/81.54 c Number of update (reduction) of LBD : 0 65.64/81.54 c Imported unit clauses : 0 65.64/81.54 c number of reductions to clauses (during analyze) : 0 65.64/81.54 c number of learned constraints concerned by reduction : 0 65.64/81.54 c number of learning phase by resolution : 0 65.64/81.54 c number of learning phase by cutting planes : 0 65.64/81.54 c speed (assignments/second) : 33730.29045643154 65.64/81.54 c non guided choices 1664 65.64/81.54 c learnt constraints type 65.64/81.54 s OPTIMUM FOUND 65.64/81.54 c Found 89 solution(s) 65.64/81.54 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 65.64/81.54 c objective function=8 65.64/81.54 c Total wall clock time (in seconds): 81.42
OK 8
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-4109233-1467320577/watcher-4109233-1467320577 -o /tmp/evaluation-result-4109233-1467320577/solver-4109233-1467320577 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467318467-16220 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109233-1467320577.wbo pid=20466 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.34 2.19 2.10 3/194 20469 /proc/meminfo: memFree=29234500/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/20469/stat : 20469 (java) R 20466 20469 16156 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 11083682 9515008 185 33554432000 1073741824 1073778376 140736506352848 140736506344072 227512315319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2323 185 142 9 0 71 0 [startup+0.100065 s] /proc/loadavg: 2.34 2.19 2.10 3/194 20469 /proc/meminfo: memFree=29234500/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 4449 0 1 0 8 1 0 0 20 0 18 0 11083682 9787879424 5574 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2389619 5574 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200207 s] /proc/loadavg: 2.34 2.19 2.10 3/194 20469 /proc/meminfo: memFree=29234500/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 4844 0 1 0 23 1 0 0 20 0 22 0 11083682 10060525568 7450 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 7450 2208 9 0 2446860 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9824732 [startup+0.3002 s] /proc/loadavg: 2.34 2.19 2.10 3/194 20469 /proc/meminfo: memFree=29234500/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=0.62 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 7834 0 1 0 60 2 0 0 20 0 22 0 11083682 10060525568 9603 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 9603 2247 9 0 2446860 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 9824732 [startup+0.700292 s] /proc/loadavg: 2.34 2.19 2.10 3/194 20469 /proc/meminfo: memFree=29234500/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 14756 0 1 0 125 5 0 0 20 0 22 0 11083682 10060525568 14332 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 14332 2254 9 0 2446860 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 9824732 [startup+1.50074 s] /proc/loadavg: 2.55 2.23 2.11 2/213 20494 /proc/meminfo: memFree=29185796/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 14766 0 1 0 126 5 0 0 20 0 19 0 11083682 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 15351 2254 9 0 2446860 0 [pid=20469/tid=20471] ppid=20466 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/20469/task/20471/stat : 20471 (java) S 20466 20469 16156 0 -1 4202560 2475 0 1 0 16 0 0 0 20 0 19 0 11083683 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646892450680 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20472] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20472/stat : 20472 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646736484776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20473] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20473/stat : 20473 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646735432232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20474] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20474/stat : 20474 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646734379176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20475] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20475/stat : 20475 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646733326632 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20476] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20476/stat : 20476 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646732274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20477] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20477/stat : 20477 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646731222056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20478] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20478/stat : 20478 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646730169000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20479] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20479/stat : 20479 (java) S 20466 20469 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646729116456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20480] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20480/stat : 20480 (java) S 20466 20469 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646716705128 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20481] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20481/stat : 20481 (java) S 20466 20469 16156 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646715651448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20482] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20482/stat : 20482 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646714598280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20483] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20483/stat : 20483 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646713547024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20484] ppid=20466 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/20469/task/20484/stat : 20484 (java) S 20466 20469 16156 0 -1 4202560 4369 0 0 0 34 0 0 0 20 0 19 0 11083688 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646712494904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20485] ppid=20466 vsize=9824732 CPUtime=0.37 cores=0,2,4,6 /proc/20469/task/20485/stat : 20485 (java) S 20466 20469 16156 0 -1 4202560 6568 0 0 0 36 1 0 0 20 0 19 0 11083688 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646711442360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20486] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20486/stat : 20486 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646710389496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20487] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20487/stat : 20487 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646709337160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20490] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20490/stat : 20490 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11083701 10060525568 15351 33554432000 1073741824 1073778376 140736072183856 140646706127656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 9824732 ############ # WARNING: # current cumulated CPU time (1.31 s) is less than in the last sample (1.32 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+1.70078 s] /proc/loadavg: 2.55 2.23 2.11 2/213 20494 /proc/meminfo: memFree=29185796/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=1.32 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 14776 0 1 0 127 5 0 0 20 0 22 0 11083682 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 16894 2254 9 0 2446860 0 [pid=20469/tid=20471] ppid=20466 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/20469/task/20471/stat : 20471 (java) S 20466 20469 16156 0 -1 4202560 2475 0 1 0 16 0 0 0 20 0 22 0 11083683 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646892450680 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20472] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20472/stat : 20472 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083684 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646736484776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20473] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20473/stat : 20473 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083684 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646735432232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20474] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20474/stat : 20474 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083684 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646734379176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20475] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20475/stat : 20475 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083684 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646733326632 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20476] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20476/stat : 20476 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083684 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646732274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20477] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20477/stat : 20477 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083684 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646731222056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20478] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20478/stat : 20478 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083684 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646730169000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20479] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20479/stat : 20479 (java) S 20466 20469 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11083684 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646729116456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20480] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20480/stat : 20480 (java) S 20466 20469 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11083685 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646716705128 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20481] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20481/stat : 20481 (java) S 20466 20469 16156 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 11083685 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646715651448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20482] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20482/stat : 20482 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11083685 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646714598280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20483] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20483/stat : 20483 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083688 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646713547024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20484] ppid=20466 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/20469/task/20484/stat : 20484 (java) S 20466 20469 16156 0 -1 4202560 4369 0 0 0 34 0 0 0 20 0 22 0 11083688 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646712494904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20485] ppid=20466 vsize=9824732 CPUtime=0.37 cores=0,2,4,6 /proc/20469/task/20485/stat : 20485 (java) S 20466 20469 16156 0 -1 4202560 6568 0 0 0 36 1 0 0 20 0 22 0 11083688 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646711442360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20486] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20486/stat : 20486 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083688 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646710389496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20487] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20487/stat : 20487 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083688 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646709337160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20490] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20490/stat : 20490 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11083701 10060525568 16894 33554432000 1073741824 1073778376 140736072183856 140646706127656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 9824732 [startup+1.80079 s] /proc/loadavg: 2.55 2.23 2.11 2/213 20494 /proc/meminfo: memFree=29185796/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 14776 0 1 0 126 5 0 0 20 0 19 0 11083682 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 16887 2254 9 0 2446860 0 [pid=20469/tid=20471] ppid=20466 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/20469/task/20471/stat : 20471 (java) S 20466 20469 16156 0 -1 4202560 2475 0 1 0 16 0 0 0 20 0 19 0 11083683 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646892450680 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20472] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20472/stat : 20472 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646736484776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20473] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20473/stat : 20473 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646735432232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20474] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20474/stat : 20474 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646734379176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20475] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20475/stat : 20475 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646733326632 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20476] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20476/stat : 20476 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646732274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20477] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20477/stat : 20477 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646731222056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20478] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20478/stat : 20478 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646730169000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20479] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20479/stat : 20479 (java) S 20466 20469 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11083684 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646729116456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20480] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20480/stat : 20480 (java) S 20466 20469 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646716705128 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20481] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20481/stat : 20481 (java) S 20466 20469 16156 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646715651448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20482] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20482/stat : 20482 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646714598280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20483] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20483/stat : 20483 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646713547024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20484] ppid=20466 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/20469/task/20484/stat : 20484 (java) S 20466 20469 16156 0 -1 4202560 4369 0 0 0 34 0 0 0 20 0 19 0 11083688 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646712494904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20485] ppid=20466 vsize=9824732 CPUtime=0.37 cores=0,2,4,6 /proc/20469/task/20485/stat : 20485 (java) S 20466 20469 16156 0 -1 4202560 6568 0 0 0 36 1 0 0 20 0 19 0 11083688 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646711442360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20486] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20486/stat : 20486 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 16887 33554432000 1073741824 1073778376 140736072183856 140646710389496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ /proc/20469/task/20481/stat : 20481 (java) S 20466 20469 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11083685 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646715651448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20482] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20482/stat : 20482 (java) S 20466 20469 16156 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 11083685 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646714598280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20483] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20483/stat : 20483 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083688 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646713547024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20484] ppid=20466 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/20469/task/20484/stat : 20484 (java) S 20466 20469 16156 0 -1 4202560 13305 0 0 0 154 2 0 0 20 0 22 0 11083688 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646712494904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20485] ppid=20466 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/20469/task/20485/stat : 20485 (java) S 20466 20469 16156 0 -1 4202560 9705 0 0 0 102 2 0 0 20 0 22 0 11083688 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646711442360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20486] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20486/stat : 20486 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11083688 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646710389496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20487] ppid=20466 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20469/task/20487/stat : 20487 (java) S 20466 20469 16156 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 11083688 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646709337160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20490] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20490/stat : 20490 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11083701 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646706127656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20757] ppid=20466 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/20469/task/20757/stat : 20757 (java) R 20466 20469 16156 0 -1 4202560 4 0 0 0 192 0 0 0 20 0 22 0 11091566 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646705072576 140646765574965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20758] ppid=20466 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/20469/task/20758/stat : 20758 (java) R 20466 20469 16156 0 -1 4202560 3 0 0 0 192 0 0 0 20 0 22 0 11091566 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646708232232 140646766032111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20759] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20759/stat : 20759 (java) S 20466 20469 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11091571 10060525568 238519 33554432000 1073741824 1073778376 140736072183856 140646707181224 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 65.03 Current children cumulated vsize (KiB) 9824732 [startup+81.2008 s] /proc/loadavg: 2.28 2.19 2.10 4/216 20759 /proc/meminfo: memFree=28425820/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=65.45 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 29273 0 1 0 6384 161 0 0 20 0 19 0 11083682 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 238512 2287 9 0 2446860 0 [pid=20469/tid=20471] ppid=20466 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/20469/task/20471/stat : 20471 (java) S 20466 20469 16156 0 -1 4202560 2480 0 1 0 61 2 0 0 20 0 19 0 11083683 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646892450680 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20472] ppid=20466 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/20469/task/20472/stat : 20472 (java) S 20466 20469 16156 0 -1 4202560 54 0 0 0 17 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646736484776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20473] ppid=20466 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/20469/task/20473/stat : 20473 (java) S 20466 20469 16156 0 -1 4202560 51 0 0 0 14 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646735432232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20474] ppid=20466 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/20469/task/20474/stat : 20474 (java) S 20466 20469 16156 0 -1 4202560 62 0 0 0 17 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646734379176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20475] ppid=20466 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/20469/task/20475/stat : 20475 (java) S 20466 20469 16156 0 -1 4202560 59 0 0 0 16 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646733326632 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20476] ppid=20466 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/20469/task/20476/stat : 20476 (java) S 20466 20469 16156 0 -1 4202560 54 0 0 0 13 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646732274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20477] ppid=20466 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/20469/task/20477/stat : 20477 (java) S 20466 20469 16156 0 -1 4202560 36 0 0 0 11 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646731222056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20478] ppid=20466 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/20469/task/20478/stat : 20478 (java) S 20466 20469 16156 0 -1 4202560 51 0 0 0 17 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646730169000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20479] ppid=20466 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/20469/task/20479/stat : 20479 (java) S 20466 20469 16156 0 -1 4202560 37 0 0 0 11 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646729116456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20480] ppid=20466 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/20469/task/20480/stat : 20480 (java) S 20466 20469 16156 0 -1 4202560 474 0 0 0 1 6 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646716705128 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20481] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20481/stat : 20481 (java) S 20466 20469 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646715651448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20482] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20482/stat : 20482 (java) S 20466 20469 16156 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646714598280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20483] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20483/stat : 20483 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646713547024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20484] ppid=20466 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/20469/task/20484/stat : 20484 (java) S 20466 20469 16156 0 -1 4202560 13305 0 0 0 154 2 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646712494904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20485] ppid=20466 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/20469/task/20485/stat : 20485 (java) S 20466 20469 16156 0 -1 4202560 9705 0 0 0 102 2 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646711442360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20486] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20486/stat : 20486 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646710389496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20487] ppid=20466 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20469/task/20487/stat : 20487 (java) S 20466 20469 16156 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646709337160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20490] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20490/stat : 20490 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11083701 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646706127656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 65.45 Current children cumulated vsize (KiB) 9824732 [startup+81.4007 s] /proc/loadavg: 2.42 2.22 2.11 3/213 20759 /proc/meminfo: memFree=28427184/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=65.53 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 29273 0 1 0 6392 161 0 0 20 0 19 0 11083682 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 238512 2287 9 0 2446860 0 [pid=20469/tid=20471] ppid=20466 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/20469/task/20471/stat : 20471 (java) R 20466 20469 16156 0 -1 4202560 2480 0 1 0 67 2 0 0 20 0 19 0 11083683 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646892448944 140646765283266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20472] ppid=20466 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/20469/task/20472/stat : 20472 (java) S 20466 20469 16156 0 -1 4202560 54 0 0 0 17 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646736484776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20473] ppid=20466 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/20469/task/20473/stat : 20473 (java) S 20466 20469 16156 0 -1 4202560 51 0 0 0 14 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646735432232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20474] ppid=20466 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/20469/task/20474/stat : 20474 (java) S 20466 20469 16156 0 -1 4202560 62 0 0 0 17 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646734379176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20475] ppid=20466 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/20469/task/20475/stat : 20475 (java) S 20466 20469 16156 0 -1 4202560 59 0 0 0 16 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646733326632 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20476] ppid=20466 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/20469/task/20476/stat : 20476 (java) S 20466 20469 16156 0 -1 4202560 54 0 0 0 13 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646732274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20477] ppid=20466 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/20469/task/20477/stat : 20477 (java) S 20466 20469 16156 0 -1 4202560 36 0 0 0 11 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646731222056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20478] ppid=20466 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/20469/task/20478/stat : 20478 (java) S 20466 20469 16156 0 -1 4202560 51 0 0 0 17 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646730169000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20479] ppid=20466 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/20469/task/20479/stat : 20479 (java) S 20466 20469 16156 0 -1 4202560 37 0 0 0 11 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646729116456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20480] ppid=20466 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/20469/task/20480/stat : 20480 (java) S 20466 20469 16156 0 -1 4202560 474 0 0 0 1 6 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646716705128 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20481] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20481/stat : 20481 (java) S 20466 20469 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646715651448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20482] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20482/stat : 20482 (java) S 20466 20469 16156 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646714598280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20483] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20483/stat : 20483 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646713547024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20484] ppid=20466 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/20469/task/20484/stat : 20484 (java) S 20466 20469 16156 0 -1 4202560 13305 0 0 0 155 2 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646712494904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20485] ppid=20466 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/20469/task/20485/stat : 20485 (java) S 20466 20469 16156 0 -1 4202560 9705 0 0 0 102 2 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646711442360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20486] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20486/stat : 20486 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646710389496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20487] ppid=20466 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20469/task/20487/stat : 20487 (java) S 20466 20469 16156 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646709337160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20490] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20490/stat : 20490 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11083701 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646706127656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 65.53 Current children cumulated vsize (KiB) 9824732 [startup+81.5073 s] /proc/loadavg: 2.42 2.22 2.11 3/213 20759 /proc/meminfo: memFree=28427184/32872528 swapFree=1299868/1463388 [pid=20469] ppid=20466 vsize=9824732 CPUtime=65.63 cores=0,2,4,6 /proc/20469/stat : 20469 (java) S 20466 20469 16156 0 -1 4202496 29273 0 1 0 6402 161 0 0 20 0 19 0 11083682 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140736072174992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20469/statm: 2456183 238512 2287 9 0 2446860 0 [pid=20469/tid=20471] ppid=20466 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/20469/task/20471/stat : 20471 (java) R 20466 20469 16156 0 -1 4202560 2480 0 1 0 77 2 0 0 20 0 19 0 11083683 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646892450360 140646765283266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20472] ppid=20466 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/20469/task/20472/stat : 20472 (java) S 20466 20469 16156 0 -1 4202560 54 0 0 0 17 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646736484776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20473] ppid=20466 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/20469/task/20473/stat : 20473 (java) S 20466 20469 16156 0 -1 4202560 51 0 0 0 14 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646735432232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20474] ppid=20466 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/20469/task/20474/stat : 20474 (java) S 20466 20469 16156 0 -1 4202560 62 0 0 0 17 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646734379176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20475] ppid=20466 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/20469/task/20475/stat : 20475 (java) S 20466 20469 16156 0 -1 4202560 59 0 0 0 16 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646733326632 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20476] ppid=20466 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/20469/task/20476/stat : 20476 (java) S 20466 20469 16156 0 -1 4202560 54 0 0 0 13 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646732274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20477] ppid=20466 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/20469/task/20477/stat : 20477 (java) S 20466 20469 16156 0 -1 4202560 36 0 0 0 11 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646731222056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20478] ppid=20466 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/20469/task/20478/stat : 20478 (java) S 20466 20469 16156 0 -1 4202560 51 0 0 0 17 3 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646730169000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20479] ppid=20466 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/20469/task/20479/stat : 20479 (java) S 20466 20469 16156 0 -1 4202560 37 0 0 0 11 2 0 0 20 0 19 0 11083684 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646729116456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20480] ppid=20466 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/20469/task/20480/stat : 20480 (java) S 20466 20469 16156 0 -1 4202560 474 0 0 0 1 6 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646716705128 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20481] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20481/stat : 20481 (java) S 20466 20469 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646715651448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20482] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20482/stat : 20482 (java) S 20466 20469 16156 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 11083685 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646714598280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20483] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20483/stat : 20483 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646713547024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20484] ppid=20466 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/20469/task/20484/stat : 20484 (java) S 20466 20469 16156 0 -1 4202560 13305 0 0 0 156 2 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646712494904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20469/tid=20485] ppid=20466 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/20469/task/20485/stat : 20485 (java) S 20466 20469 16156 0 -1 4202560 9705 0 0 0 102 2 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646711442360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20469/tid=20486] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20486/stat : 20486 (java) S 20466 20469 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646710389496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20469/tid=20487] ppid=20466 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20469/task/20487/stat : 20487 (java) S 20466 20469 16156 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 11083688 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646709337160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20469/tid=20490] ppid=20466 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20469/task/20490/stat : 20490 (java) S 20466 20469 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11083701 10060525568 238512 33554432000 1073741824 1073778376 140736072183856 140646706127656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 65.63 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.0100005 # lost CPU user time (s): 0.0200002 # lost CPU system time (s): -0.00999999 Real time (s): 81.5476 CPU time (s): 65.776 CPU user time (s): 64.0233 CPU system time (s): 1.75273 CPU usage (%): 80.6597 Max. virtual memory (cumulated for all children) (KiB): 9825848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 64.0033 system time used= 1.76273 maximum resident set size= 970776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29286 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= 5698 involuntary context switches= 2753 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.59191 second user time and 0.681896 second system time The end
Begin job on node121 at 2016-06-30 23:02:57 IDJOB=4109233 IDBENCH=78747 IDSOLVER=2552 FILE ID=node121/4109233-1467320577 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.1110969860--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109233-1467320577/watcher-4109233-1467320577 -o /tmp/evaluation-result-4109233-1467320577/solver-4109233-1467320577 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467318467-16220 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109233-1467320577.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 81d0b3111be77447a435e48fa3fc6a23 RANDOM SEED=618635589 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: 29235144 kB Buffers: 128648 kB Cached: 345904 kB SwapCached: 0 kB Active: 1184532 kB Inactive: 242872 kB Active(anon): 941092 kB Inactive(anon): 14568 kB Active(file): 243440 kB Inactive(file): 228304 kB Unevictable: 1463388 kB Mlocked: 1299868 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 780 kB Writeback: 0 kB AnonPages: 2416460 kB Mapped: 22012 kB Shmem: 204 kB Slab: 611396 kB SReclaimable: 55136 kB SUnreclaim: 556260 kB KernelStack: 1600 kB PageTables: 9300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2626576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1081344 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:04:19