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 | 40.1079 | 52.1421 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo |
| MD5SUM | 2aecdb7c21b6040137fec95add861f35 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 3.3055 |
| 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 | 101 |
| 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 | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1270 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c ManyCore solver with 2 solvers running in parallel 0.11/0.10 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Glucose 2.1 dynamic restart strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-4110229-1467321719.wbo 0.11/0.10 c reading problem ... 0.11/0.17 c ... done. Wall clock time 0.066s. 0.11/0.17 c declared #vars 169 0.11/0.17 c internal #vars 270 0.11/0.17 c #constraints 101 0.11/0.17 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.17 c constraints type 0.11/0.17 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.11/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.11/0.17 c 101 constraints processed. 0.11/0.17 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.17 c constraints type 0.11/0.17 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.11/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.11/0.17 c 101 constraints processed. 0.11/0.17 c objective function length is 101 literals 0.28/0.26 c And the winner is solver0 0.86/0.67 c SATISFIABLE 0.86/0.67 c OPTIMIZING... 0.86/0.67 c Got one! Elapsed wall clock time (in seconds):0.57 0.86/0.67 o 1130 0.93/0.71 c And the winner is solver0 1.06/1.18 c Got one! Elapsed wall clock time (in seconds):1.072 1.06/1.18 o 1127 1.11/1.25 c And the winner is solver0 1.53/1.68 c Got one! Elapsed wall clock time (in seconds):1.574 1.53/1.68 o 667 1.53/1.68 c And the winner is solver0 1.53/2.18 c Got one! Elapsed wall clock time (in seconds):2.075 1.53/2.18 o 594 1.53/2.19 c And the winner is solver0 1.54/2.68 c Got one! Elapsed wall clock time (in seconds):2.577 1.54/2.68 o 577 1.54/2.69 c And the winner is solver0 1.55/3.18 c Got one! Elapsed wall clock time (in seconds):3.078 1.55/3.18 o 565 1.55/3.19 c And the winner is solver0 1.55/3.68 c Got one! Elapsed wall clock time (in seconds):3.579 1.55/3.68 o 552 1.55/3.69 c And the winner is solver0 1.64/4.18 c Got one! Elapsed wall clock time (in seconds):4.08 1.64/4.18 o 528 1.64/4.19 c And the winner is solver0 1.65/4.69 c Got one! Elapsed wall clock time (in seconds):4.582 1.65/4.69 o 474 1.65/4.69 c And the winner is solver0 1.66/5.19 c Got one! Elapsed wall clock time (in seconds):5.083 1.66/5.19 o 464 1.66/5.19 c And the winner is solver0 1.66/5.69 c Got one! Elapsed wall clock time (in seconds):5.584 1.66/5.69 o 461 1.67/5.70 c And the winner is solver0 1.67/6.19 c Got one! Elapsed wall clock time (in seconds):6.085 1.67/6.19 o 455 1.67/6.20 c And the winner is solver0 1.67/6.69 c Got one! Elapsed wall clock time (in seconds):6.587 1.67/6.69 o 437 1.96/6.80 c And the winner is solver0 2.09/7.19 c Got one! Elapsed wall clock time (in seconds):7.088 2.09/7.19 o 429 2.09/7.20 c And the winner is solver0 2.09/7.69 c Got one! Elapsed wall clock time (in seconds):7.589 2.09/7.69 o 426 2.11/7.71 c And the winner is solver0 2.11/8.19 c Got one! Elapsed wall clock time (in seconds):8.091 2.11/8.19 o 417 2.12/8.20 c And the winner is solver0 2.13/8.70 c Got one! Elapsed wall clock time (in seconds):8.592 2.13/8.70 o 396 2.13/8.75 c And the winner is solver0 2.26/9.20 c Got one! Elapsed wall clock time (in seconds):9.093 2.26/9.20 o 389 2.26/9.25 c And the winner is solver0 2.47/9.70 c Got one! Elapsed wall clock time (in seconds):9.594 2.47/9.70 o 386 2.47/9.71 c And the winner is solver0 2.50/10.20 c Got one! Elapsed wall clock time (in seconds):10.096 2.50/10.20 o 384 2.50/10.22 c And the winner is solver0 2.56/10.70 c Got one! Elapsed wall clock time (in seconds):10.597 2.56/10.70 o 383 2.56/10.72 c And the winner is solver0 2.62/11.20 c Got one! Elapsed wall clock time (in seconds):11.098 2.62/11.20 o 381 2.62/11.21 c And the winner is solver0 2.66/11.70 c Got one! Elapsed wall clock time (in seconds):11.599 2.66/11.70 o 380 2.66/11.72 c And the winner is solver0 2.71/12.20 c Got one! Elapsed wall clock time (in seconds):12.1 2.71/12.20 o 375 2.97/12.35 c cleaning 4958 clauses out of 9934 with flag 3183/9934 3.31/12.49 c And the winner is solver0 3.61/12.71 c Got one! Elapsed wall clock time (in seconds):12.601 3.61/12.71 o 371 3.61/12.71 c And the winner is solver0 3.61/13.21 c Got one! Elapsed wall clock time (in seconds):13.103 3.61/13.21 o 368 3.61/13.23 c And the winner is solver0 3.67/13.71 c Got one! Elapsed wall clock time (in seconds):13.604 3.67/13.71 o 359 3.67/13.72 c And the winner is solver0 3.68/14.21 c Got one! Elapsed wall clock time (in seconds):14.105 3.68/14.21 o 346 3.68/14.23 c And the winner is solver0 3.70/14.71 c Got one! Elapsed wall clock time (in seconds):14.606 3.70/14.71 o 344 3.70/14.73 c And the winner is solver0 3.73/15.21 c Got one! Elapsed wall clock time (in seconds):15.107 3.73/15.21 o 328 3.73/15.22 c And the winner is solver0 3.76/15.71 c Got one! Elapsed wall clock time (in seconds):15.608 3.76/15.71 o 319 3.76/15.72 c And the winner is solver0 3.77/16.21 c Got one! Elapsed wall clock time (in seconds):16.109 3.77/16.21 o 314 3.77/16.23 c And the winner is solver0 3.81/16.71 c Got one! Elapsed wall clock time (in seconds):16.61 3.81/16.71 o 278 3.81/16.72 c And the winner is solver0 3.81/17.22 c Got one! Elapsed wall clock time (in seconds):17.111 3.81/17.22 o 269 3.81/17.22 c And the winner is solver0 3.81/17.72 c Got one! Elapsed wall clock time (in seconds):17.613 3.81/17.72 o 249 3.98/17.80 c And the winner is solver0 4.01/18.22 c Got one! Elapsed wall clock time (in seconds):18.114 4.01/18.22 o 222 4.01/18.23 c And the winner is solver0 4.05/18.72 c Got one! Elapsed wall clock time (in seconds):18.614 4.05/18.72 o 221 4.05/18.79 c And the winner is solver0 4.27/19.22 c Got one! Elapsed wall clock time (in seconds):19.115 4.27/19.22 o 205 4.27/19.26 c And the winner is solver0 4.38/19.72 c Got one! Elapsed wall clock time (in seconds):19.616 4.38/19.72 o 187 4.38/19.74 c And the winner is solver0 4.43/20.22 c Got one! Elapsed wall clock time (in seconds):20.117 4.43/20.22 o 184 4.43/20.24 c And the winner is solver0 4.48/20.72 c Got one! Elapsed wall clock time (in seconds):20.618 4.48/20.72 o 179 4.48/20.76 c And the winner is solver0 4.58/21.22 c Got one! Elapsed wall clock time (in seconds):21.119 4.58/21.22 o 166 4.58/21.26 c And the winner is solver0 4.67/21.72 c Got one! Elapsed wall clock time (in seconds):21.62 4.67/21.72 o 152 4.67/21.75 c And the winner is solver0 4.73/22.23 c Got one! Elapsed wall clock time (in seconds):22.121 4.73/22.23 o 151 4.73/22.29 c cleaning 8421 clauses out of 16845 with flag 3948/21803 5.30/22.50 c And the winner is solver0 5.33/22.73 c Got one! Elapsed wall clock time (in seconds):22.622 5.33/22.73 o 147 5.47/22.82 c And the winner is solver0 5.52/23.23 c Got one! Elapsed wall clock time (in seconds):23.123 5.52/23.23 o 146 5.52/23.29 c cleaning 7499 clauses out of 14998 with flag 3914/28377 5.67/23.32 c And the winner is solver0 5.76/23.73 c Got one! Elapsed wall clock time (in seconds):23.624 5.76/23.73 o 116 5.76/23.77 c And the winner is solver0 5.88/24.23 c Got one! Elapsed wall clock time (in seconds):24.125 5.88/24.23 o 115 5.88/24.28 c And the winner is solver0 6.02/24.73 c Got one! Elapsed wall clock time (in seconds):24.626 6.02/24.73 o 113 6.02/24.77 c And the winner is solver0 6.18/25.23 c Got one! Elapsed wall clock time (in seconds):25.127 6.18/25.23 o 108 6.18/25.25 c And the winner is solver0 6.24/25.73 c Got one! Elapsed wall clock time (in seconds):25.628 6.24/25.73 o 106 6.24/25.74 c And the winner is solver0 6.29/26.23 c Got one! Elapsed wall clock time (in seconds):26.129 6.29/26.23 o 105 6.29/26.24 c And the winner is solver0 6.31/26.73 c Got one! Elapsed wall clock time (in seconds):26.629 6.31/26.73 o 100 6.85/27.07 c cleaning 7733 clauses out of 15479 with flag 18763/36357 7.16/27.14 c And the winner is solver0 7.39/27.23 c Got one! Elapsed wall clock time (in seconds):27.13 7.39/27.23 o 84 7.91/27.40 c And the winner is solver0 8.09/27.74 c Got one! Elapsed wall clock time (in seconds):27.631 8.09/27.74 o 82 8.09/27.76 c And the winner is solver0 8.15/28.24 c Got one! Elapsed wall clock time (in seconds):28.133 8.15/28.24 o 70 8.27/28.30 c cleaning 6865 clauses out of 13737 with flag 3900/42348 8.50/28.49 c And the winner is solver0 8.71/28.74 c Got one! Elapsed wall clock time (in seconds):28.635 8.71/28.74 o 67 8.82/28.84 c cleaning 6076 clauses out of 12151 with flag 7410/47627 9.43/29.14 c cleaning 6024 clauses out of 12074 with flag 28871/53626 10.23/29.51 c cleaning 6523 clauses out of 13052 with flag 55930/60628 10.23/29.57 c And the winner is solver0 10.43/29.74 c Got one! Elapsed wall clock time (in seconds):29.637 10.43/29.74 o 58 10.73/29.97 c cleaning 5904 clauses out of 11808 with flag 15496/65907 10.94/30.08 c And the winner is solver0 11.12/30.24 c Got one! Elapsed wall clock time (in seconds):30.14 11.12/30.24 o 57 11.23/30.39 c cleaning 5609 clauses out of 11242 with flag 11188/71245 11.43/30.41 c And the winner is solver0 11.48/30.75 c Got one! Elapsed wall clock time (in seconds):30.643 11.48/30.75 o 54 11.80/30.99 c cleaning 5504 clauses out of 11025 with flag 21792/76637 12.38/31.26 c cleaning 5757 clauses out of 11521 with flag 46589/82637 12.79/31.49 c And the winner is solver0 12.98/31.75 c Got one! Elapsed wall clock time (in seconds):31.647 12.98/31.75 o 50 12.98/31.77 c And the winner is solver0 13.04/32.26 c Got one! Elapsed wall clock time (in seconds):32.151 13.04/32.26 o 48 13.12/32.32 c cleaning 5932 clauses out of 11882 with flag 4331/88755 13.12/32.35 c And the winner is solver0 13.32/32.76 c Got one! Elapsed wall clock time (in seconds):32.656 13.32/32.76 o 47 13.39/32.84 c And the winner is solver0 13.55/33.26 c Got one! Elapsed wall clock time (in seconds):33.161 13.55/33.27 o 45 13.80/33.47 c cleaning 6268 clauses out of 12541 with flag 17871/95346 14.00/33.57 c And the winner is solver0 14.28/33.77 c Got one! Elapsed wall clock time (in seconds):33.666 14.28/33.77 o 44 14.56/33.94 c cleaning 5789 clauses out of 11586 with flag 14393/100659 15.17/34.22 c cleaning 5890 clauses out of 11797 with flag 43902/106659 15.76/34.51 c And the winner is solver0 15.97/34.78 c Got one! Elapsed wall clock time (in seconds):34.671 15.97/34.78 o 43 16.41/35.06 c cleaning 8510 clauses out of 17023 with flag 22735/117775 17.02/35.35 c cleaning 7248 clauses out of 14512 with flag 50616/123774 17.81/35.71 c cleaning 7127 clauses out of 14265 with flag 86352/130775 17.81/35.77 c And the winner is solver0 18.79/36.63 c Got one! Elapsed wall clock time (in seconds):36.529 18.79/36.63 o 41 18.93/36.71 c And the winner is solver0 19.19/37.14 c Got one! Elapsed wall clock time (in seconds):37.034 19.19/37.14 o 40 19.50/37.30 c cleaning 6366 clauses out of 12741 with flag 15139/136378 19.92/37.56 c cleaning 6186 clauses out of 12374 with flag 42639/142378 20.50/37.87 c cleaning 6594 clauses out of 13191 with flag 73249/149381 21.31/38.25 c cleaning 7287 clauses out of 14594 with flag 107414/157378 22.31/38.72 c cleaning 8151 clauses out of 16307 with flag 154705/166378 23.31/39.25 c cleaning 9076 clauses out of 18156 with flag 201079/176378 23.51/39.36 c And the winner is solver0 23.69/39.64 c Got one! Elapsed wall clock time (in seconds):39.54 23.69/39.64 o 39 23.99/39.80 c cleaning 7307 clauses out of 14618 with flag 14017/181916 24.39/40.07 c cleaning 6649 clauses out of 13308 with flag 41569/187913 24.99/40.39 c cleaning 6830 clauses out of 13661 with flag 76287/194915 25.81/40.77 c cleaning 7409 clauses out of 14828 with flag 109582/202913 26.80/41.23 c cleaning 8204 clauses out of 16422 with flag 151733/211917 27.00/41.37 c And the winner is solver0 27.27/41.65 c Got one! Elapsed wall clock time (in seconds):41.546 27.27/41.65 o 36 27.27/41.67 c And the winner is solver0 27.31/42.16 c Got one! Elapsed wall clock time (in seconds):42.052 27.31/42.16 o 33 27.39/42.27 c cleaning 6814 clauses out of 13654 with flag 8719/217353 27.39/42.28 c And the winner is solver0 27.74/42.66 c Got one! Elapsed wall clock time (in seconds):42.558 27.74/42.66 o 24 28.00/42.88 c cleaning 6021 clauses out of 12058 with flag 19647/222571 28.63/43.13 c cleaning 6014 clauses out of 12036 with flag 42749/228571 29.21/43.44 c cleaning 6505 clauses out of 13023 with flag 70161/235572 29.81/43.75 c And the winner is solver0 30.67/44.52 c Got one! Elapsed wall clock time (in seconds):44.415 30.67/44.52 o 21 30.67/44.56 c And the winner is solver0 30.81/45.03 c Got one! Elapsed wall clock time (in seconds):44.922 30.81/45.03 o 20 31.34/45.32 c cleaning 9541 clauses out of 19084 with flag 24520/248139 31.74/45.59 c cleaning 7767 clauses out of 15544 with flag 51161/254140 32.34/45.87 c cleaning 7384 clauses out of 14777 with flag 79677/261140 33.16/46.22 c cleaning 7684 clauses out of 15390 with flag 111918/269139 33.94/46.61 c cleaning 8347 clauses out of 16705 with flag 147272/278139 34.54/46.93 c And the winner is solver0 34.68/47.03 c Got one! Elapsed wall clock time (in seconds):46.93 34.68/47.03 o 18 35.03/47.29 c cleaning 10338 clauses out of 20704 with flag 19689/290485 35.24/47.37 c And the winner is solver0 35.51/47.55 c Got one! Elapsed wall clock time (in seconds):47.441 35.51/47.55 o 15 35.61/47.62 c And the winner is solver0 35.89/48.05 c Got one! Elapsed wall clock time (in seconds):47.949 35.89/48.05 o 12 35.97/48.17 c cleaning 7969 clauses out of 15951 with flag 9643/296070 35.97/48.18 c And the winner is solver0 36.34/48.56 c Got one! Elapsed wall clock time (in seconds):48.457 36.34/48.56 o 11 36.60/48.72 c And the winner is solver0 36.80/49.07 c Got one! Elapsed wall clock time (in seconds):48.964 36.80/49.07 o 6 36.84/49.12 c And the winner is solver0 36.92/49.58 c Got one! Elapsed wall clock time (in seconds):49.472 36.92/49.58 o 4 36.97/49.64 c cleaning 7130 clauses out of 14269 with flag 4257/302358 37.35/49.88 c cleaning 6568 clauses out of 13140 with flag 29609/308360 37.95/50.13 c And the winner is solver0 38.19/50.59 c Got one! Elapsed wall clock time (in seconds):50.481 38.19/50.59 o 3 38.21/50.67 c And the winner is solver0 38.58/51.09 c Got one! Elapsed wall clock time (in seconds):50.99 38.58/51.09 o 1 38.98/51.33 c cleaning 9362 clauses out of 18729 with flag 18764/320523 39.58/51.60 c cleaning 7678 clauses out of 15365 with flag 46102/326521 39.80/51.74 c And the winner is solver0 39.95/52.13 c >>>>>>>>>> Solver number 0 (83 answers) <<<<<<<<<<<<<<<<<< 39.95/52.13 c starts : 206 39.95/52.13 c conflicts : 330239 39.95/52.13 c decisions : 559186 39.95/52.13 c propagations : 8949455 39.95/52.13 c inspects : 166519059 39.95/52.13 c shortcuts : 0 39.95/52.13 c learnt literals : 27 39.95/52.13 c learnt binary clauses : 41 39.95/52.13 c learnt ternary clauses : 579 39.95/52.13 c learnt constraints : 330211 39.95/52.13 c ignored constraints : 0 39.95/52.13 c root simplifications : 0 39.95/52.13 c removed literals (reason simplification) : 183268 39.95/52.13 c reason swapping (by a shorter reason) : 0 39.95/52.13 c Calls to reduceDB : 45 39.95/52.13 c Number of update (reduction) of LBD : 97284 39.95/52.13 c Imported unit clauses : 0 39.95/52.13 c number of reductions to clauses (during analyze) : 0 39.95/52.13 c number of learned constraints concerned by reduction : 0 39.95/52.13 c number of learning phase by resolution : 0 39.95/52.13 c number of learning phase by cutting planes : 0 39.95/52.13 c speed (assignments/second) : 172253.96978154173 39.95/52.13 c non guided choices 4141 39.95/52.13 c learnt constraints type 39.95/52.13 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 39.95/52.13 c starts : 83 39.95/52.13 c conflicts : 517 39.95/52.13 c decisions : 9789 39.95/52.13 c propagations : 32504 39.95/52.13 c inspects : 1945959 39.95/52.13 c shortcuts : 0 39.95/52.13 c learnt literals : 0 39.95/52.13 c learnt binary clauses : 0 39.95/52.13 c learnt ternary clauses : 0 39.95/52.13 c learnt constraints : 453 39.95/52.13 c ignored constraints : 0 39.95/52.13 c root simplifications : 0 39.95/52.13 c removed literals (reason simplification) : 0 39.95/52.13 c reason swapping (by a shorter reason) : 0 39.95/52.13 c Calls to reduceDB : 0 39.95/52.13 c Number of update (reduction) of LBD : 0 39.95/52.13 c Imported unit clauses : 0 39.95/52.13 c number of reductions to clauses (during analyze) : 0 39.95/52.13 c number of learned constraints concerned by reduction : 0 39.95/52.13 c number of learning phase by resolution : 0 39.95/52.13 c number of learning phase by cutting planes : 0 39.95/52.13 c speed (assignments/second) : 31992.12598425197 39.95/52.13 c non guided choices 1111 39.95/52.13 c learnt constraints type 39.95/52.13 s OPTIMUM FOUND 39.95/52.13 c Found 82 solution(s) 39.95/52.13 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 39.95/52.13 c objective function=1 39.95/52.13 c Total wall clock time (in seconds): 52.03
OK 1
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-4110229-1467321719/watcher-4110229-1467321719 -o /tmp/evaluation-result-4110229-1467321719/solver-4110229-1467321719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467319233-22139 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110229-1467321719.wbo pid=27519 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.83 0.76 0.93 2/167 27522 /proc/meminfo: memFree=30521204/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 1348 0 0 0 0 0 0 0 20 0 2 0 13275694 98570240 971 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 24065 977 743 9 0 16771 0 [pid=27522/tid=27523] ppid=27519 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) R 27519 27522 16080 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 13275694 98570240 977 33554432000 1073741824 1073778376 140733607933184 139857182678568 235374724480 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 [startup+0.100162 s] /proc/loadavg: 0.83 0.76 0.93 2/167 27522 /proc/meminfo: memFree=30521204/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 4505 0 1 0 10 1 0 0 20 0 18 0 13275694 9787879424 6133 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2389619 6134 2158 9 0 2380296 0 [pid=27522/tid=27523] ppid=27519 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) R 27519 27522 16080 0 -1 4202560 2388 0 1 0 8 0 0 0 20 0 18 0 13275694 9787879424 6134 33554432000 1073741824 1073778376 140733607933184 139857182682016 235378107661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200301 s] /proc/loadavg: 0.83 0.76 0.93 2/167 27522 /proc/meminfo: memFree=30521204/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 4869 0 1 0 27 1 0 0 20 0 22 0 13275694 10060525568 7952 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 7952 2222 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2418 0 1 0 15 0 0 0 20 0 22 0 13275694 10060525568 7952 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9824732 [startup+0.300383 s] /proc/loadavg: 0.83 0.76 0.93 2/167 27522 /proc/meminfo: memFree=30521204/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 7747 0 1 0 57 4 0 0 20 0 19 0 13275694 10060525568 9827 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 9827 2253 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2418 0 1 0 15 0 0 0 20 0 19 0 13275694 10060525568 9827 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 9824732 [startup+0.700206 s] /proc/loadavg: 0.83 0.76 0.93 2/167 27522 /proc/meminfo: memFree=30521204/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 13398 0 1 0 89 4 0 0 20 0 22 0 13275694 10060525568 14281 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 14281 2254 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2418 0 1 0 16 0 0 0 20 0 22 0 13275694 10060525568 14281 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 9824732 [startup+1.50082 s] /proc/loadavg: 0.83 0.76 0.93 1/186 27547 /proc/meminfo: memFree=30472136/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=1.53 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 15988 0 1 0 144 9 0 0 20 0 19 0 13275694 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 18624 2260 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2419 0 1 0 16 0 0 0 20 0 19 0 13275694 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27525] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27525/stat : 27525 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139857025870632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27526] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27526/stat : 27526 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139857024817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27527] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27527/stat : 27527 (java) S 27519 27522 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139857023765544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27528] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27528/stat : 27528 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139857022712744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27529] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27529/stat : 27529 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139857021659432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27530] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27530/stat : 27530 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856684509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27531] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27531/stat : 27531 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856683457064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27532] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27532/stat : 27532 (java) S 27519 27522 16080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856682404264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27533] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27533/stat : 27533 (java) S 27519 27522 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13275696 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856670206696 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27534] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27534/stat : 27534 (java) S 27519 27522 16080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856669152760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27535] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27535/stat : 27535 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856668100360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27536] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27536/stat : 27536 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856667048848 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27537] ppid=27519 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/27522/task/27537/stat : 27537 (java) S 27519 27522 16080 0 -1 4202560 6051 0 0 0 52 0 0 0 20 0 19 0 13275699 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856665995448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27538] ppid=27519 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/27522/task/27538/stat : 27538 (java) S 27519 27522 16080 0 -1 4202560 6165 0 0 0 41 0 0 0 20 0 19 0 13275699 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856664942648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27539] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27539/stat : 27539 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856663890552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27540] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27540/stat : 27540 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856662837960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27544] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27544/stat : 27544 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13275712 10060525568 18624 33554432000 1073741824 1073778376 140733607933184 139856658527784 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 9824732 [startup+3.10078 s] /proc/loadavg: 0.83 0.76 0.93 1/186 27556 /proc/meminfo: memFree=30444260/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 16015 0 1 0 146 9 0 0 20 0 19 0 13275694 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 22209 2260 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2420 0 1 0 16 0 0 0 20 0 19 0 13275694 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27525] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27525/stat : 27525 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139857025870632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27526] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27526/stat : 27526 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139857024817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27527] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27527/stat : 27527 (java) S 27519 27522 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139857023765544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27528] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27528/stat : 27528 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139857022712744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27529] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27529/stat : 27529 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139857021659432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27530] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27530/stat : 27530 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856684509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27531] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27531/stat : 27531 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856683457064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27532] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27532/stat : 27532 (java) S 27519 27522 16080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856682404264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27533] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27533/stat : 27533 (java) S 27519 27522 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13275696 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856670206696 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27534] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27534/stat : 27534 (java) S 27519 27522 16080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856669152760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27535] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27535/stat : 27535 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856668100360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27536] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27536/stat : 27536 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856667048848 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27537] ppid=27519 vsize=9824732 CPUtime=0.53 cores=1,3,5,7 /proc/27522/task/27537/stat : 27537 (java) S 27519 27522 16080 0 -1 4202560 6051 0 0 0 53 0 0 0 20 0 19 0 13275699 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856665995448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27538] ppid=27519 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/27522/task/27538/stat : 27538 (java) S 27519 27522 16080 0 -1 4202560 6165 0 0 0 42 0 0 0 20 0 19 0 13275699 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856664942648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27539] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27539/stat : 27539 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856663890552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27540] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27540/stat : 27540 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856662837960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27544] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27544/stat : 27544 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13275712 10060525568 22209 33554432000 1073741824 1073778376 140733607933184 139856658527784 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30081 s] /proc/loadavg: 0.76 0.75 0.93 1/186 27574 /proc/meminfo: memFree=30413348/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=1.67 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 16105 0 1 0 157 10 0 0 20 0 19 0 13275694 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 31815 2266 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2422 0 1 0 17 0 0 0 20 0 19 0 13275694 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27525] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27525/stat : 27525 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139857025870632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27526] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27526/stat : 27526 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139857024817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27527] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27527/stat : 27527 (java) S 27519 27522 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139857023765544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27528] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27528/stat : 27528 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139857022712744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27529] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27529/stat : 27529 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139857021659432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27530] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27530/stat : 27530 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139856684509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27531] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27531/stat : 27531 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139856683457064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27532] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27532/stat : 27532 (java) S 27519 27522 16080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13275695 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139856682404264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27533] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27533/stat : 27533 (java) S 27519 27522 16080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13275696 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139856670206696 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27534] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27534/stat : 27534 (java) S 27519 27522 16080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139856669152760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27535] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27535/stat : 27535 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139856668100360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27536] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27536/stat : 27536 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139856667048848 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27537] ppid=27519 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/27522/task/27537/stat : 27537 (java) S 27519 27522 16080 0 -1 4202560 6051 0 0 0 54 0 0 0 20 0 19 0 13275699 10060525568 31815 33554432000 1073741824 1073778376 140733607933184 139856665995448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [pid=27522/tid=27531] ppid=27519 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/27522/task/27531/stat : 27531 (java) S 27519 27522 16080 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 22 0 13275695 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856683457064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27532] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27532/stat : 27532 (java) S 27519 27522 16080 0 -1 4202560 15 0 0 0 5 0 0 0 20 0 22 0 13275695 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856682404264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27533] ppid=27519 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/27522/task/27533/stat : 27533 (java) S 27519 27522 16080 0 -1 4202560 9 0 0 0 1 10 0 0 20 0 22 0 13275696 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856670206696 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27534] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27534/stat : 27534 (java) S 27519 27522 16080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13275697 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856669152760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27535] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27535/stat : 27535 (java) S 27519 27522 16080 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 13275697 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856668100360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27536] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27536/stat : 27536 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13275699 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856667048848 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27537] ppid=27519 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/27522/task/27537/stat : 27537 (java) S 27519 27522 16080 0 -1 4202560 9554 0 0 0 99 2 0 0 20 0 22 0 13275699 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856665995448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27538] ppid=27519 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/27522/task/27538/stat : 27538 (java) S 27519 27522 16080 0 -1 4202560 10232 0 0 0 152 2 0 0 20 0 22 0 13275699 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856664942648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27539] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27539/stat : 27539 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13275699 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856663890552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27540] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27540/stat : 27540 (java) S 27519 27522 16080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13275699 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856662837960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27544] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27544/stat : 27544 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13275712 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856658527784 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27789] ppid=27519 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/27522/task/27789/stat : 27789 (java) R 27519 27522 16080 0 -1 4202560 2 0 0 0 9 0 0 0 20 0 22 0 13280805 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856660634344 139857037298928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27790] ppid=27519 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/27522/task/27790/stat : 27790 (java) R 27519 27522 16080 0 -1 4202560 2 0 0 0 9 0 0 0 20 0 22 0 13280805 10060525568 52722 33554432000 1073741824 1073778376 140733607933184 139856659579992 139857037414769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 38.79 Current children cumulated vsize (KiB) 9824732 [startup+51.6008 s] /proc/loadavg: 0.73 0.72 0.91 2/186 27788 /proc/meminfo: memFree=30316768/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=39.58 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 24568 0 1 0 3815 143 0 0 20 0 22 0 13275694 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 51887 2287 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2428 0 1 0 33 2 0 0 20 0 22 0 13275694 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27525] ppid=27519 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/27522/task/27525/stat : 27525 (java) S 27519 27522 16080 0 -1 4202560 31 0 0 0 6 2 0 0 20 0 22 0 13275695 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139857025870632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27526] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27526/stat : 27526 (java) S 27519 27522 16080 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 22 0 13275695 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139857024817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27527] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27527/stat : 27527 (java) S 27519 27522 16080 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 22 0 13275695 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139857023765544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27528] ppid=27519 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/27522/task/27528/stat : 27528 (java) S 27519 27522 16080 0 -1 4202560 36 0 0 0 6 1 0 0 20 0 22 0 13275695 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139857022712744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27529] ppid=27519 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/27522/task/27529/stat : 27529 (java) S 27519 27522 16080 0 -1 4202560 35 0 0 0 6 1 0 0 20 0 22 0 13275695 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139857021659432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27530] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27530/stat : 27530 (java) S 27519 27522 16080 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 22 0 13275695 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856684509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27531] ppid=27519 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/27522/task/27531/stat : 27531 (java) S 27519 27522 16080 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 22 0 13275695 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856683457064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27532] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27532/stat : 27532 (java) S 27519 27522 16080 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 22 0 13275695 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856682404264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27533] ppid=27519 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/27522/task/27533/stat : 27533 (java) S 27519 27522 16080 0 -1 4202560 9 0 0 0 1 10 0 0 20 0 22 0 13275696 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856670206696 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27534] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27534/stat : 27534 (java) S 27519 27522 16080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13275697 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856669152760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27535] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27535/stat : 27535 (java) S 27519 27522 16080 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 13275697 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856668100360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27536] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27536/stat : 27536 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13275699 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856667048848 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27537] ppid=27519 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/27522/task/27537/stat : 27537 (java) S 27519 27522 16080 0 -1 4202560 9554 0 0 0 99 2 0 0 20 0 22 0 13275699 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856665995448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27538] ppid=27519 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/27522/task/27538/stat : 27538 (java) S 27519 27522 16080 0 -1 4202560 10232 0 0 0 152 2 0 0 20 0 22 0 13275699 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856664942648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27539] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27539/stat : 27539 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13275699 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856663890552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27540] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27540/stat : 27540 (java) S 27519 27522 16080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13275699 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856662837960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27544] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27544/stat : 27544 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13275712 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856658527784 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27789] ppid=27519 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/27522/task/27789/stat : 27789 (java) R 27519 27522 16080 0 -1 4202560 3 0 0 0 47 0 0 0 20 0 22 0 13280805 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856660630160 139857038190736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27790] ppid=27519 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/27522/task/27790/stat : 27790 (java) R 27519 27522 16080 0 -1 4202560 3 0 0 0 47 0 0 0 20 0 22 0 13280805 10060525568 51887 33554432000 1073741824 1073778376 140733607933184 139856659578216 139857037414672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 39.58 Current children cumulated vsize (KiB) 9824732 [startup+52.0008 s] /proc/loadavg: 0.73 0.72 0.91 3/189 27791 /proc/meminfo: memFree=30320040/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=39.95 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 24568 0 1 0 3850 145 0 0 20 0 19 0 13275694 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 51880 2287 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2428 0 1 0 33 2 0 0 20 0 19 0 13275694 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27525] ppid=27519 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/27522/task/27525/stat : 27525 (java) S 27519 27522 16080 0 -1 4202560 31 0 0 0 6 2 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857025870632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27526] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27526/stat : 27526 (java) S 27519 27522 16080 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857024817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27527] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27527/stat : 27527 (java) S 27519 27522 16080 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857023765544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27528] ppid=27519 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/27522/task/27528/stat : 27528 (java) S 27519 27522 16080 0 -1 4202560 36 0 0 0 6 1 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857022712744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27529] ppid=27519 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/27522/task/27529/stat : 27529 (java) S 27519 27522 16080 0 -1 4202560 35 0 0 0 6 1 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857021659432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27530] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27530/stat : 27530 (java) S 27519 27522 16080 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856684509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27531] ppid=27519 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/27522/task/27531/stat : 27531 (java) S 27519 27522 16080 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856683457064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27532] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27532/stat : 27532 (java) S 27519 27522 16080 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856682404264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27533] ppid=27519 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/27522/task/27533/stat : 27533 (java) S 27519 27522 16080 0 -1 4202560 9 0 0 0 1 10 0 0 20 0 19 0 13275696 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856670206696 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27534] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27534/stat : 27534 (java) S 27519 27522 16080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856669152760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27535] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27535/stat : 27535 (java) S 27519 27522 16080 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856668100360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27536] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27536/stat : 27536 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856667048848 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27537] ppid=27519 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/27522/task/27537/stat : 27537 (java) S 27519 27522 16080 0 -1 4202560 9554 0 0 0 99 2 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856665995448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27538] ppid=27519 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/27522/task/27538/stat : 27538 (java) S 27519 27522 16080 0 -1 4202560 10232 0 0 0 152 2 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856664942648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27539] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27539/stat : 27539 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856663890552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27540] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27540/stat : 27540 (java) S 27519 27522 16080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856662837960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27544] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27544/stat : 27544 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13275712 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856658527784 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (KiB) 9824732 [startup+52.1008 s] /proc/loadavg: 0.73 0.72 0.91 3/189 27791 /proc/meminfo: memFree=30320040/32872528 swapFree=447588/480292 [pid=27522] ppid=27519 vsize=9824732 CPUtime=39.95 cores=1,3,5,7 /proc/27522/stat : 27522 (java) S 27519 27522 16080 0 -1 4202496 24568 0 1 0 3850 145 0 0 20 0 19 0 13275694 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 140733607924320 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27522/statm: 2456183 51880 2287 9 0 2446860 0 [pid=27522/tid=27523] ppid=27519 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/27522/task/27523/stat : 27523 (java) S 27519 27522 16080 0 -1 4202560 2428 0 1 0 33 2 0 0 20 0 19 0 13275694 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857182684024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27525] ppid=27519 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/27522/task/27525/stat : 27525 (java) S 27519 27522 16080 0 -1 4202560 31 0 0 0 6 2 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857025870632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27526] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27526/stat : 27526 (java) S 27519 27522 16080 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857024817832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27527] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27527/stat : 27527 (java) S 27519 27522 16080 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857023765544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27528] ppid=27519 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/27522/task/27528/stat : 27528 (java) S 27519 27522 16080 0 -1 4202560 36 0 0 0 6 1 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857022712744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27529] ppid=27519 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/27522/task/27529/stat : 27529 (java) S 27519 27522 16080 0 -1 4202560 35 0 0 0 6 1 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139857021659432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27530] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27530/stat : 27530 (java) S 27519 27522 16080 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856684509352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27531] ppid=27519 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/27522/task/27531/stat : 27531 (java) S 27519 27522 16080 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856683457064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27532] ppid=27519 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/27522/task/27532/stat : 27532 (java) S 27519 27522 16080 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 19 0 13275695 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856682404264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27533] ppid=27519 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/27522/task/27533/stat : 27533 (java) S 27519 27522 16080 0 -1 4202560 9 0 0 0 1 10 0 0 20 0 19 0 13275696 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856670206696 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27534] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27534/stat : 27534 (java) S 27519 27522 16080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856669152760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27535] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27535/stat : 27535 (java) S 27519 27522 16080 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 13275697 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856668100360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27536] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27536/stat : 27536 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856667048848 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27522/tid=27537] ppid=27519 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/27522/task/27537/stat : 27537 (java) S 27519 27522 16080 0 -1 4202560 9554 0 0 0 99 2 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856665995448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27538] ppid=27519 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/27522/task/27538/stat : 27538 (java) S 27519 27522 16080 0 -1 4202560 10232 0 0 0 152 2 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856664942648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27522/tid=27539] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27539/stat : 27539 (java) S 27519 27522 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856663890552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27522/tid=27540] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27540/stat : 27540 (java) S 27519 27522 16080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13275699 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856662837960 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27522/tid=27544] ppid=27519 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27522/task/27544/stat : 27544 (java) S 27519 27522 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13275712 10060525568 51880 33554432000 1073741824 1073778376 140733607933184 139856658527784 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 52.1421 CPU time (s): 40.1079 CPU user time (s): 38.5361 CPU system time (s): 1.57176 CPU usage (%): 76.9203 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.5361 system time used= 1.57176 maximum resident set size= 225504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24580 page faults= 1 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3813 involuntary context switches= 1624 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.312952 second user time and 0.406938 second system time The end
Begin job on node104 at 2016-06-30 23:21:59 IDJOB=4110229 IDBENCH=79207 IDSOLVER=2552 FILE ID=node104/4110229-1467321719 RUNJOBID= node104-1467319233-22139 PBS_JOBID= 20005270 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110229-1467321719/watcher-4110229-1467321719 -o /tmp/evaluation-result-4110229-1467321719/solver-4110229-1467321719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467319233-22139 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110229-1467321719.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2aecdb7c21b6040137fec95add861f35 RANDOM SEED=1029371633 node104.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.334 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.66 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.334 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.334 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 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.334 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.334 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.334 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.54 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.334 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: 30521484 kB Buffers: 205632 kB Cached: 909648 kB SwapCached: 0 kB Active: 328676 kB Inactive: 801112 kB Active(anon): 16912 kB Inactive(anon): 0 kB Active(file): 311764 kB Inactive(file): 801112 kB Unevictable: 480292 kB Mlocked: 447588 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 492 kB Writeback: 0 kB AnonPages: 496272 kB Mapped: 13132 kB Shmem: 204 kB Slab: 611824 kB SReclaimable: 55860 kB SUnreclaim: 555964 kB KernelStack: 1376 kB PageTables: 4412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 568492 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71720 MiB End job on node104 at 2016-06-30 23:22:52