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 | 23.6184 | 46.9701 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo |
| MD5SUM | 8ce859c9363f1b782ad1721fb9074172 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 2.13168 |
| 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 | 5034 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 5033 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1273 |
| 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@53ef9f1d 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@75786e64 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@3597a37c 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@75786e64 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4110301-1467322061.wbo 0.09/0.12 c reading problem ... 0.09/0.18 c ... done. Wall clock time 0.065s. 0.09/0.18 c declared #vars 169 0.09/0.18 c internal #vars 270 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 => 30 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 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.OriginalHTClausePB => 30 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.09/0.19 c 101 constraints processed. 0.09/0.19 c objective function length is 101 literals 0.24/0.27 c And the winner is solver0 0.90/0.69 c SATISFIABLE 0.90/0.69 c OPTIMIZING... 0.90/0.69 c Got one! Elapsed wall clock time (in seconds):0.57 0.90/0.69 o 736 0.92/0.72 c And the winner is solver0 1.09/1.19 c Got one! Elapsed wall clock time (in seconds):1.071 1.09/1.19 o 493 1.12/1.26 c And the winner is solver0 1.53/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 1.53/1.69 o 437 1.53/1.71 c And the winner is solver0 1.57/2.19 c Got one! Elapsed wall clock time (in seconds):2.075 1.57/2.19 o 432 1.57/2.20 c And the winner is solver0 1.57/2.69 c Got one! Elapsed wall clock time (in seconds):2.576 1.57/2.69 o 416 1.57/2.72 c And the winner is solver0 1.64/3.20 c Got one! Elapsed wall clock time (in seconds):3.077 1.64/3.20 o 414 1.66/3.22 c And the winner is solver0 1.73/3.70 c Got one! Elapsed wall clock time (in seconds):3.579 1.73/3.70 o 412 1.73/3.71 c And the winner is solver0 1.85/4.20 c Got one! Elapsed wall clock time (in seconds):4.08 1.85/4.20 o 407 1.85/4.20 c And the winner is solver0 1.85/4.70 c Got one! Elapsed wall clock time (in seconds):4.581 1.85/4.70 o 326 1.85/4.71 c And the winner is solver0 1.86/5.20 c Got one! Elapsed wall clock time (in seconds):5.083 1.86/5.20 o 325 2.13/5.32 c And the winner is solver0 2.27/5.70 c Got one! Elapsed wall clock time (in seconds):5.584 2.27/5.70 o 324 2.27/5.77 c And the winner is solver0 2.44/6.20 c Got one! Elapsed wall clock time (in seconds):6.085 2.44/6.20 o 319 2.44/6.28 c And the winner is solver0 2.72/6.70 c Got one! Elapsed wall clock time (in seconds):6.587 2.72/6.70 o 309 2.72/6.71 c And the winner is solver0 2.72/7.21 c Got one! Elapsed wall clock time (in seconds):7.088 2.72/7.21 o 308 2.72/7.23 c And the winner is solver0 2.79/7.71 c Got one! Elapsed wall clock time (in seconds):7.589 2.79/7.71 o 301 2.79/7.73 c And the winner is solver0 2.85/8.21 c Got one! Elapsed wall clock time (in seconds):8.091 2.85/8.21 o 300 2.85/8.29 c cleaning 4664 clauses out of 9329 with flag 3944/9329 3.05/8.30 c And the winner is solver0 3.07/8.71 c Got one! Elapsed wall clock time (in seconds):8.592 3.07/8.71 o 299 3.07/8.71 c And the winner is solver0 3.07/9.21 c Got one! Elapsed wall clock time (in seconds):9.093 3.07/9.21 o 295 3.07/9.22 c And the winner is solver0 3.10/9.71 c Got one! Elapsed wall clock time (in seconds):9.594 3.10/9.71 o 293 3.29/9.83 c And the winner is solver0 3.36/10.21 c Got one! Elapsed wall clock time (in seconds):10.095 3.36/10.21 o 280 3.36/10.25 c And the winner is solver0 3.46/10.71 c Got one! Elapsed wall clock time (in seconds):10.597 3.46/10.71 o 262 3.46/10.72 c And the winner is solver0 3.46/11.22 c Got one! Elapsed wall clock time (in seconds):11.098 3.46/11.22 o 259 3.62/11.34 c And the winner is solver0 3.74/11.72 c Got one! Elapsed wall clock time (in seconds):11.599 3.74/11.72 o 258 3.74/11.78 c cleaning 5702 clauses out of 11424 with flag 3115/16088 4.56/12.11 c cleaning 5861 clauses out of 11724 with flag 27817/22090 5.16/12.47 c cleaning 6431 clauses out of 12861 with flag 62903/29088 5.59/12.68 c And the winner is solver0 5.78/12.72 c Got one! Elapsed wall clock time (in seconds):12.6 5.78/12.72 o 256 5.78/12.73 c And the winner is solver0 5.78/13.22 c Got one! Elapsed wall clock time (in seconds):13.101 5.78/13.22 o 255 5.78/13.28 c cleaning 5795 clauses out of 11592 with flag 3755/34250 5.78/13.29 c And the winner is solver0 5.95/13.72 c Got one! Elapsed wall clock time (in seconds):13.602 5.95/13.72 o 250 5.95/13.74 c And the winner is solver0 6.00/14.22 c Got one! Elapsed wall clock time (in seconds):14.103 6.00/14.22 o 223 6.00/14.26 c And the winner is solver0 6.09/14.72 c Got one! Elapsed wall clock time (in seconds):14.604 6.09/14.72 o 213 6.29/14.81 c And the winner is solver0 6.33/15.22 c Got one! Elapsed wall clock time (in seconds):15.105 6.33/15.22 o 212 6.33/15.27 c And the winner is solver0 6.52/15.72 c Got one! Elapsed wall clock time (in seconds):15.607 6.52/15.72 o 211 6.85/15.94 c cleaning 6681 clauses out of 13363 with flag 16402/41816 7.25/16.17 c And the winner is solver0 7.46/16.23 c Got one! Elapsed wall clock time (in seconds):16.108 7.46/16.23 o 199 7.46/16.29 c cleaning 6066 clauses out of 12146 with flag 3880/47280 7.63/16.31 c And the winner is solver0 7.71/16.73 c Got one! Elapsed wall clock time (in seconds):16.609 7.71/16.73 o 198 7.71/16.80 c And the winner is solver0 7.87/17.23 c Got one! Elapsed wall clock time (in seconds):17.11 7.87/17.23 o 197 7.87/17.24 c And the winner is solver0 7.90/17.73 c Got one! Elapsed wall clock time (in seconds):17.611 7.90/17.73 o 196 7.90/17.76 c And the winner is solver0 7.98/18.23 c Got one! Elapsed wall clock time (in seconds):18.112 7.98/18.23 o 192 7.98/18.26 c And the winner is solver0 8.05/18.73 c Got one! Elapsed wall clock time (in seconds):18.613 8.05/18.73 o 189 8.05/18.74 c And the winner is solver0 8.08/19.23 c Got one! Elapsed wall clock time (in seconds):19.115 8.08/19.23 o 179 8.22/19.32 c And the winner is solver0 8.46/19.73 c Got one! Elapsed wall clock time (in seconds):19.616 8.46/19.73 o 172 8.46/19.75 c And the winner is solver0 8.51/20.23 c Got one! Elapsed wall clock time (in seconds):20.117 8.51/20.23 o 170 8.51/20.27 c And the winner is solver0 8.59/20.74 c Got one! Elapsed wall clock time (in seconds):20.618 8.59/20.74 o 168 8.59/20.75 c And the winner is solver0 8.72/21.24 c Got one! Elapsed wall clock time (in seconds):21.119 8.72/21.24 o 166 8.72/21.28 c And the winner is solver0 8.84/21.74 c Got one! Elapsed wall clock time (in seconds):21.62 8.84/21.74 o 165 8.84/21.75 c And the winner is solver0 8.89/22.24 c Got one! Elapsed wall clock time (in seconds):22.121 8.89/22.24 o 155 8.89/22.26 c And the winner is solver0 8.96/22.74 c Got one! Elapsed wall clock time (in seconds):22.622 8.96/22.74 o 151 8.96/22.76 c And the winner is solver0 9.01/23.24 c Got one! Elapsed wall clock time (in seconds):23.123 9.01/23.24 o 146 9.14/23.30 c And the winner is solver0 9.19/23.74 c Got one! Elapsed wall clock time (in seconds):23.624 9.19/23.74 o 145 9.19/23.77 c And the winner is solver0 9.27/24.24 c Got one! Elapsed wall clock time (in seconds):24.125 9.27/24.24 o 141 9.27/24.26 c And the winner is solver0 9.32/24.74 c Got one! Elapsed wall clock time (in seconds):24.626 9.32/24.74 o 139 9.32/24.77 c And the winner is solver0 9.39/25.24 c Got one! Elapsed wall clock time (in seconds):25.127 9.39/25.24 o 138 9.39/25.29 c And the winner is solver0 9.52/25.75 c Got one! Elapsed wall clock time (in seconds):25.628 9.52/25.75 o 136 9.52/25.77 c And the winner is solver0 9.64/26.25 c Got one! Elapsed wall clock time (in seconds):26.129 9.64/26.25 o 134 9.64/26.28 c And the winner is solver0 9.73/26.75 c Got one! Elapsed wall clock time (in seconds):26.63 9.73/26.75 o 132 9.73/26.75 c And the winner is solver0 9.74/27.25 c Got one! Elapsed wall clock time (in seconds):27.131 9.74/27.25 o 125 9.74/27.27 c And the winner is solver0 9.79/27.75 c Got one! Elapsed wall clock time (in seconds):27.632 9.79/27.75 o 123 9.79/27.79 c And the winner is solver0 9.88/28.25 c Got one! Elapsed wall clock time (in seconds):28.133 9.88/28.25 o 120 9.97/28.34 c And the winner is solver0 10.10/28.75 c Got one! Elapsed wall clock time (in seconds):28.634 10.10/28.75 o 118 10.10/28.78 c And the winner is solver0 10.18/29.25 c Got one! Elapsed wall clock time (in seconds):29.135 10.18/29.25 o 109 10.18/29.28 c And the winner is solver0 10.25/29.75 c Got one! Elapsed wall clock time (in seconds):29.636 10.25/29.75 o 104 10.35/29.87 c And the winner is solver0 10.50/30.25 c Got one! Elapsed wall clock time (in seconds):30.137 10.50/30.25 o 103 10.50/30.28 c And the winner is solver0 10.59/30.76 c Got one! Elapsed wall clock time (in seconds):30.638 10.59/30.76 o 102 10.71/30.90 c cleaning 11900 clauses out of 23802 with flag 3437/65002 11.29/31.07 c And the winner is solver0 11.65/31.26 c Got one! Elapsed wall clock time (in seconds):31.139 11.65/31.26 o 79 11.76/31.33 c And the winner is solver0 11.84/31.76 c Got one! Elapsed wall clock time (in seconds):31.64 11.84/31.76 o 76 11.91/31.83 c cleaning 8629 clauses out of 17259 with flag 3675/70359 11.91/31.85 c And the winner is solver0 12.03/32.26 c Got one! Elapsed wall clock time (in seconds):32.142 12.03/32.26 o 75 12.10/32.32 c And the winner is solver0 12.17/32.76 c Got one! Elapsed wall clock time (in seconds):32.645 12.17/32.76 o 73 12.46/32.93 c And the winner is solver0 12.56/33.27 c Got one! Elapsed wall clock time (in seconds):33.148 12.56/33.27 o 72 12.61/33.32 c And the winner is solver0 12.74/33.77 c Got one! Elapsed wall clock time (in seconds):33.652 12.74/33.77 o 71 12.79/33.83 c cleaning 7780 clauses out of 15560 with flag 3817/77289 12.79/33.85 c And the winner is solver0 12.95/34.27 c Got one! Elapsed wall clock time (in seconds):34.155 12.95/34.27 o 70 13.00/34.31 c And the winner is solver0 13.04/34.78 c Got one! Elapsed wall clock time (in seconds):34.659 13.04/34.78 o 64 13.47/35.00 c And the winner is solver0 13.50/35.28 c Got one! Elapsed wall clock time (in seconds):35.163 13.50/35.28 o 57 13.54/35.35 c cleaning 7326 clauses out of 14657 with flag 3459/84166 13.73/35.41 c And the winner is solver0 13.78/35.79 c Got one! Elapsed wall clock time (in seconds):35.667 13.78/35.79 o 56 14.00/35.97 c cleaning 6433 clauses out of 12865 with flag 12891/89700 14.00/35.99 c And the winner is solver0 14.36/36.30 c Got one! Elapsed wall clock time (in seconds):36.182 14.36/36.30 o 55 14.75/36.51 c cleaning 6049 clauses out of 12100 with flag 15723/95368 15.15/36.75 c cleaning 6021 clauses out of 12053 with flag 35288/101370 15.75/37.00 c And the winner is solver0 15.84/37.31 c Got one! Elapsed wall clock time (in seconds):37.187 15.84/37.31 o 54 15.84/37.36 c And the winner is solver0 16.07/37.81 c Got one! Elapsed wall clock time (in seconds):37.692 16.07/37.81 o 37 16.07/37.86 c And the winner is solver0 16.19/38.32 c Got one! Elapsed wall clock time (in seconds):38.198 16.19/38.32 o 36 16.19/38.35 c And the winner is solver0 16.27/38.82 c Got one! Elapsed wall clock time (in seconds):38.704 16.27/38.82 o 20 16.27/38.89 c And the winner is solver0 16.53/39.33 c Got one! Elapsed wall clock time (in seconds):39.211 16.53/39.33 o 19 16.65/39.47 c cleaning 9443 clauses out of 18894 with flag 9447/114232 17.27/39.71 c cleaning 7720 clauses out of 15450 with flag 30043/120231 17.65/39.91 c And the winner is solver0 17.70/40.34 c Got one! Elapsed wall clock time (in seconds):40.219 17.70/40.34 o 17 17.81/40.48 c And the winner is solver0 18.02/40.85 c Got one! Elapsed wall clock time (in seconds):40.727 18.02/40.85 o 16 18.12/40.93 c And the winner is solver0 18.28/41.35 c Got one! Elapsed wall clock time (in seconds):41.236 18.28/41.35 o 15 18.28/41.39 c And the winner is solver0 18.36/41.86 c Got one! Elapsed wall clock time (in seconds):41.744 18.36/41.86 o 14 18.36/41.90 c And the winner is solver0 18.46/42.37 c Got one! Elapsed wall clock time (in seconds):42.252 18.46/42.37 o 11 18.51/42.45 c cleaning 10003 clauses out of 20005 with flag 4100/132506 18.91/42.66 c And the winner is solver0 19.11/42.88 c Got one! Elapsed wall clock time (in seconds):42.76 19.11/42.88 o 10 19.35/43.02 c And the winner is solver0 19.43/43.39 c Got one! Elapsed wall clock time (in seconds):43.269 19.43/43.39 o 9 19.64/43.52 c cleaning 10095 clauses out of 20198 with flag 7570/142702 19.84/43.60 c And the winner is solver0 19.98/43.90 c Got one! Elapsed wall clock time (in seconds):43.777 19.98/43.90 o 6 20.19/44.04 c cleaning 7662 clauses out of 15325 with flag 12261/147924 20.39/44.19 c And the winner is solver0 20.62/44.40 c Got one! Elapsed wall clock time (in seconds):44.287 20.62/44.40 o 5 20.62/44.43 c And the winner is solver0 20.67/44.91 c Got one! Elapsed wall clock time (in seconds):44.796 20.67/44.91 o 3 20.83/45.02 c cleaning 6872 clauses out of 13750 with flag 8474/154013 21.25/45.26 c And the winner is solver0 21.37/45.42 c Got one! Elapsed wall clock time (in seconds):45.305 21.37/45.42 o 2 21.94/45.70 c cleaning 8662 clauses out of 17333 with flag 22549/164470 22.34/45.99 c cleaning 7329 clauses out of 14668 with flag 49482/170470 22.96/46.29 c cleaning 7159 clauses out of 14331 with flag 79760/177470 23.34/46.46 c And the winner is solver0 23.47/46.96 c >>>>>>>>>> Solver number 0 (88 answers) <<<<<<<<<<<<<<<<<< 23.47/46.96 c starts : 266 23.47/46.96 c conflicts : 181601 23.47/46.96 c decisions : 338066 23.47/46.96 c propagations : 6023994 23.47/46.96 c inspects : 83887429 23.47/46.96 c shortcuts : 0 23.47/46.96 c learnt literals : 39 23.47/46.96 c learnt binary clauses : 37 23.47/46.96 c learnt ternary clauses : 489 23.47/46.96 c learnt constraints : 181561 23.47/46.96 c ignored constraints : 0 23.47/46.96 c root simplifications : 0 23.47/46.96 c removed literals (reason simplification) : 160508 23.47/46.96 c reason swapping (by a shorter reason) : 0 23.47/46.96 c Calls to reduceDB : 23 23.47/46.96 c Number of update (reduction) of LBD : 61282 23.47/46.96 c Imported unit clauses : 0 23.47/46.96 c number of reductions to clauses (during analyze) : 0 23.47/46.96 c number of learned constraints concerned by reduction : 0 23.47/46.96 c number of learning phase by resolution : 0 23.47/46.96 c number of learning phase by cutting planes : 0 23.47/46.96 c speed (assignments/second) : 128803.13883127713 23.47/46.96 c non guided choices 3971 23.47/46.96 c learnt constraints type 23.47/46.96 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 23.47/46.96 c starts : 88 23.47/46.96 c conflicts : 570 23.47/46.96 c decisions : 11036 23.47/46.96 c propagations : 36031 23.47/46.96 c inspects : 2562122 23.47/46.96 c shortcuts : 0 23.47/46.96 c learnt literals : 0 23.47/46.96 c learnt binary clauses : 0 23.47/46.96 c learnt ternary clauses : 0 23.47/46.96 c learnt constraints : 501 23.47/46.96 c ignored constraints : 0 23.47/46.96 c root simplifications : 0 23.47/46.96 c removed literals (reason simplification) : 0 23.47/46.96 c reason swapping (by a shorter reason) : 0 23.47/46.96 c Calls to reduceDB : 0 23.47/46.96 c Number of update (reduction) of LBD : 0 23.47/46.96 c Imported unit clauses : 0 23.47/46.96 c number of reductions to clauses (during analyze) : 0 23.47/46.96 c number of learned constraints concerned by reduction : 0 23.47/46.96 c number of learning phase by resolution : 0 23.47/46.96 c number of learning phase by cutting planes : 0 23.47/46.96 c speed (assignments/second) : 24004.66355762825 23.47/46.96 c non guided choices 1218 23.47/46.96 c learnt constraints type 23.47/46.96 s OPTIMUM FOUND 23.47/46.96 c Found 87 solution(s) 23.47/46.96 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 23.47/46.96 c objective function=2 23.47/46.96 c Total wall clock time (in seconds): 46.844
OK 2
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-4110301-1467322061/watcher-4110301-1467322061 -o /tmp/evaluation-result-4110301-1467322061/solver-4110301-1467322061 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467319426-13601 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110301-1467322061.wbo pid=19500 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.93 0.69 0.66 2/169 19503 /proc/meminfo: memFree=30445036/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=336 CPUtime=0 cores=1,3,5,7 /proc/19503/stat : 19503 (java) R 19500 19503 11495 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 11235357 344064 35 33554432000 1073741824 1073778376 140736300957248 140733629185096 271778409815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 625 46 36 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 0.93 0.69 0.66 2/169 19503 /proc/meminfo: memFree=30445036/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 11235357 9787879424 6036 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2389619 6036 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200271 s] /proc/loadavg: 0.93 0.69 0.66 2/169 19503 /proc/meminfo: memFree=30445036/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 4840 0 1 0 23 1 0 0 20 0 22 0 11235357 10060525568 7914 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 7914 2221 9 0 2446860 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9824732 [startup+0.300315 s] /proc/loadavg: 0.93 0.69 0.66 2/169 19503 /proc/meminfo: memFree=30445036/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 8138 0 1 0 53 4 0 0 20 0 19 0 11235357 10060525568 9763 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 9763 2252 9 0 2446860 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9824732 [startup+0.700147 s] /proc/loadavg: 0.93 0.69 0.66 2/169 19503 /proc/meminfo: memFree=30445036/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 14801 0 1 0 87 5 0 0 20 0 22 0 11235357 10060525568 13616 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 13616 2253 9 0 2446860 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 9824732 [startup+1.50087 s] /proc/loadavg: 0.93 0.69 0.66 1/188 19528 /proc/meminfo: memFree=30396224/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=1.53 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 17146 0 1 0 143 10 0 0 20 0 19 0 11235357 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 16323 2260 9 0 2446860 0 [pid=19503/tid=19505] ppid=19500 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/19503/task/19505/stat : 19505 (java) S 19500 19503 11495 0 -1 4202560 2413 0 1 0 14 2 0 0 20 0 19 0 11235358 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140075283817336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19506] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19506/stat : 19506 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140075261917352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19507] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19507/stat : 19507 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140075260864808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19508] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19508/stat : 19508 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140075259812264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19509] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19509/stat : 19509 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074922535464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19510] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19510/stat : 19510 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074921482920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19511] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19511/stat : 19511 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074920430376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19512] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19512/stat : 19512 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074919377832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19513] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19513/stat : 19513 (java) S 19500 19503 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074918325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19514] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19514/stat : 19514 (java) S 19500 19503 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074906126440 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19515] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19515/stat : 19515 (java) S 19500 19503 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074905072760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19516] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19516/stat : 19516 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074904020104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19517] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19517/stat : 19517 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074902968848 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19518] ppid=19500 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/19503/task/19518/stat : 19518 (java) S 19500 19503 11495 0 -1 4202560 6755 0 0 0 50 0 0 0 20 0 19 0 11235363 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074901916216 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19519] ppid=19500 vsize=9824732 CPUtime=0.46 cores=1,3,5,7 /proc/19503/task/19519/stat : 19519 (java) S 19500 19503 11495 0 -1 4202560 6629 0 0 0 45 1 0 0 20 0 19 0 11235363 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074900863672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19520] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19520/stat : 19520 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074899811320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19521] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19521/stat : 19521 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074898758984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19525] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19525/stat : 19525 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235376 10060525568 16323 33554432000 1073741824 1073778376 140736300957248 140074894447784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 9824732 [startup+3.10076 s] /proc/loadavg: 0.93 0.69 0.66 3/191 19537 /proc/meminfo: memFree=30376916/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 17176 0 1 0 150 14 0 0 20 0 19 0 11235357 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 20932 2260 9 0 2446860 0 [pid=19503/tid=19505] ppid=19500 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/19503/task/19505/stat : 19505 (java) S 19500 19503 11495 0 -1 4202560 2414 0 1 0 15 2 0 0 20 0 19 0 11235358 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140075283817336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19506] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19506/stat : 19506 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140075261917352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19507] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19507/stat : 19507 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140075260864808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19508] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19508/stat : 19508 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140075259812264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19509] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19509/stat : 19509 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074922535464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19510] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19510/stat : 19510 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074921482920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19511] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19511/stat : 19511 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074920430376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19512] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19512/stat : 19512 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074919377832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19513] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19513/stat : 19513 (java) S 19500 19503 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074918325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19514] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19514/stat : 19514 (java) S 19500 19503 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074906126440 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19515] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19515/stat : 19515 (java) S 19500 19503 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074905072760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19516] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19516/stat : 19516 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074904020104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19517] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19517/stat : 19517 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074902968848 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19518] ppid=19500 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/19503/task/19518/stat : 19518 (java) S 19500 19503 11495 0 -1 4202560 6755 0 0 0 51 0 0 0 20 0 19 0 11235363 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074901916216 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19519] ppid=19500 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/19503/task/19519/stat : 19519 (java) S 19500 19503 11495 0 -1 4202560 6629 0 0 0 46 1 0 0 20 0 19 0 11235363 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074900863672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19520] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19520/stat : 19520 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074899811320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19521] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19521/stat : 19521 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074898758984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19525] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19525/stat : 19525 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235376 10060525568 20932 33554432000 1073741824 1073778376 140736300957248 140074894447784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=19 pid=1812 uid=0 cmd= [startup+6.30077 s] /proc/loadavg: 0.86 0.68 0.66 1/188 19555 /proc/meminfo: memFree=30319608/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=2.72 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 19689 0 1 0 246 26 0 0 20 0 19 0 11235357 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 43974 2281 9 0 2446860 0 [pid=19503/tid=19505] ppid=19500 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/19503/task/19505/stat : 19505 (java) S 19500 19503 11495 0 -1 4202560 2416 0 1 0 15 2 0 0 20 0 19 0 11235358 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140075283817336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19506] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19506/stat : 19506 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140075261917352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19507] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19507/stat : 19507 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140075260864808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19508] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19508/stat : 19508 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140075259812264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19509] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19509/stat : 19509 (java) S 19500 19503 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074922535464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19510] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19510/stat : 19510 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074921482920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19511] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19511/stat : 19511 (java) S 19500 19503 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074920430376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19512] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19512/stat : 19512 (java) S 19500 19503 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074919377832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19513] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19513/stat : 19513 (java) S 19500 19503 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11235359 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074918325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19514] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19514/stat : 19514 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074906126440 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19515] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19515/stat : 19515 (java) S 19500 19503 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074905072760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19516] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19516/stat : 19516 (java) S 19500 19503 11495 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074904020104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19517] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19517/stat : 19517 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074902968848 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19518] ppid=19500 vsize=9824732 CPUtime=0.66 cores=1,3,5,7 /proc/19503/task/19518/stat : 19518 (java) S 19500 19503 11495 0 -1 4202560 6782 0 0 0 66 0 0 0 20 0 19 0 11235363 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074901916216 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19519] ppid=19500 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/19503/task/19519/stat : 19519 (java) S 19500 19503 11495 0 -1 4202560 8966 0 0 0 74 2 0 0 20 0 19 0 11235363 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074900863672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19520] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19520/stat : 19520 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074899811320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19521] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19521/stat : 19521 (java) S 19500 19503 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074898758984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19525] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19525/stat : 19525 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235376 10060525568 43974 33554432000 1073741824 1073778376 140736300957248 140074894447784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.72 ################ # More data... # ################ /proc/19503/task/19515/stat : 19515 (java) S 19500 19503 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11235360 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074905072760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19516] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19516/stat : 19516 (java) S 19500 19503 11495 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 11235360 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074904020104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19517] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19517/stat : 19517 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074902968848 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19518] ppid=19500 vsize=9824732 CPUtime=1.2 cores=1,3,5,7 /proc/19503/task/19518/stat : 19518 (java) S 19500 19503 11495 0 -1 4202560 10848 0 0 0 118 2 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074901916216 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19519] ppid=19500 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/19503/task/19519/stat : 19519 (java) S 19500 19503 11495 0 -1 4202560 10231 0 0 0 110 3 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074900863672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19520] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19520/stat : 19520 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074899811320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19521] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19521/stat : 19521 (java) S 19500 19503 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074898758984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19525] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19525/stat : 19525 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11235376 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074894447784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 21.73 Current children cumulated vsize (KiB) 9824732 [startup+46.4009 s] /proc/loadavg: 0.81 0.67 0.65 3/191 19786 /proc/meminfo: memFree=30071588/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=23.34 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 26158 0 1 0 2151 183 0 0 20 0 22 0 11235357 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 94930 2287 9 0 2446860 0 [pid=19503/tid=19505] ppid=19500 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/19503/task/19505/stat : 19505 (java) S 19500 19503 11495 0 -1 4202560 2419 0 1 0 34 2 0 0 20 0 22 0 11235358 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140075283817336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19506] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19506/stat : 19506 (java) S 19500 19503 11495 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 22 0 11235359 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140075261917352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19507] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19507/stat : 19507 (java) S 19500 19503 11495 0 -1 4202560 39 0 0 0 6 1 0 0 20 0 22 0 11235359 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140075260864808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19508] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19508/stat : 19508 (java) S 19500 19503 11495 0 -1 4202560 59 0 0 0 6 3 0 0 20 0 22 0 11235359 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140075259812264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19509] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19509/stat : 19509 (java) S 19500 19503 11495 0 -1 4202560 26 0 0 0 5 2 0 0 20 0 22 0 11235359 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074922535464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19510] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19510/stat : 19510 (java) S 19500 19503 11495 0 -1 4202560 37 0 0 0 6 3 0 0 20 0 22 0 11235359 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074921482920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19511] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19511/stat : 19511 (java) S 19500 19503 11495 0 -1 4202560 52 0 0 0 6 3 0 0 20 0 22 0 11235359 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074920430376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19512] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19512/stat : 19512 (java) S 19500 19503 11495 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 22 0 11235359 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074919377832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19513] ppid=19500 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19503/task/19513/stat : 19513 (java) S 19500 19503 11495 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 22 0 11235359 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074918325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19514] ppid=19500 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19503/task/19514/stat : 19514 (java) S 19500 19503 11495 0 -1 4202560 199 0 0 0 1 5 0 0 20 0 22 0 11235360 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074906126440 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19515] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19515/stat : 19515 (java) S 19500 19503 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11235360 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074905072760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19516] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19516/stat : 19516 (java) S 19500 19503 11495 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 11235360 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074904020104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19517] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19517/stat : 19517 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074902968848 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19518] ppid=19500 vsize=9824732 CPUtime=1.21 cores=1,3,5,7 /proc/19503/task/19518/stat : 19518 (java) S 19500 19503 11495 0 -1 4202560 10848 0 0 0 119 2 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074901916216 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19519] ppid=19500 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/19503/task/19519/stat : 19519 (java) S 19500 19503 11495 0 -1 4202560 10231 0 0 0 110 3 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074900863672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19520] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19520/stat : 19520 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074899811320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19521] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19521/stat : 19521 (java) S 19500 19503 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 11235363 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074898758984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19525] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19525/stat : 19525 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11235376 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074894447784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19784] ppid=19500 vsize=9824732 CPUtime=0.94 cores=1,3,5,7 /proc/19503/task/19784/stat : 19784 (java) R 19500 19503 11495 0 -1 4202560 2 0 0 0 94 0 0 0 20 0 22 0 11239900 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074897605640 140075141108855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19785] ppid=19500 vsize=9824732 CPUtime=0.94 cores=1,3,5,7 /proc/19503/task/19785/stat : 19785 (java) R 19500 19503 11495 0 -1 4202560 2 0 0 0 94 0 0 0 20 0 22 0 11239900 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074895500888 140075141636511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19786] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19786/stat : 19786 (java) S 19500 19503 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11239903 10060525568 94930 33554432000 1073741824 1073778376 140736300957248 140074896552744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 23.34 Current children cumulated vsize (KiB) 9824732 [startup+46.8008 s] /proc/loadavg: 0.81 0.67 0.65 3/191 19786 /proc/meminfo: memFree=30071588/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=23.47 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 26159 0 1 0 2162 185 0 0 20 0 19 0 11235357 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 94924 2287 9 0 2446860 0 [pid=19503/tid=19505] ppid=19500 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/19503/task/19505/stat : 19505 (java) S 19500 19503 11495 0 -1 4202560 2419 0 1 0 34 2 0 0 20 0 19 0 11235358 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140075283817336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19506] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19506/stat : 19506 (java) S 19500 19503 11495 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140075261917352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19507] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19507/stat : 19507 (java) S 19500 19503 11495 0 -1 4202560 39 0 0 0 6 1 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140075260864808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19508] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19508/stat : 19508 (java) S 19500 19503 11495 0 -1 4202560 59 0 0 0 6 3 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140075259812264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19509] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19509/stat : 19509 (java) S 19500 19503 11495 0 -1 4202560 26 0 0 0 5 2 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074922535464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19510] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19510/stat : 19510 (java) S 19500 19503 11495 0 -1 4202560 37 0 0 0 6 3 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074921482920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19511] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19511/stat : 19511 (java) S 19500 19503 11495 0 -1 4202560 52 0 0 0 6 3 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074920430376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19512] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19512/stat : 19512 (java) S 19500 19503 11495 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074919377832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19513] ppid=19500 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19503/task/19513/stat : 19513 (java) S 19500 19503 11495 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074918325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19514] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19514/stat : 19514 (java) S 19500 19503 11495 0 -1 4202560 199 0 0 0 1 6 0 0 20 0 19 0 11235360 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074906126440 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19515] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19515/stat : 19515 (java) S 19500 19503 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074905072760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19516] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19516/stat : 19516 (java) S 19500 19503 11495 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074904020104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19517] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19517/stat : 19517 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074902968848 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19518] ppid=19500 vsize=9824732 CPUtime=1.21 cores=1,3,5,7 /proc/19503/task/19518/stat : 19518 (java) S 19500 19503 11495 0 -1 4202560 10848 0 0 0 119 2 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074901916216 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19519] ppid=19500 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/19503/task/19519/stat : 19519 (java) S 19500 19503 11495 0 -1 4202560 10231 0 0 0 110 3 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074900863672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19520] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19520/stat : 19520 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074899811320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19521] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19521/stat : 19521 (java) S 19500 19503 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074898758984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19525] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19525/stat : 19525 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235376 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074894447784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 23.47 Current children cumulated vsize (KiB) 9824732 [startup+46.9008 s] /proc/loadavg: 0.81 0.67 0.65 3/191 19786 /proc/meminfo: memFree=30071588/32872528 swapFree=1102192/1183952 [pid=19503] ppid=19500 vsize=9824732 CPUtime=23.47 cores=1,3,5,7 /proc/19503/stat : 19503 (java) S 19500 19503 11495 0 -1 4202496 26159 0 1 0 2162 185 0 0 20 0 19 0 11235357 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140736300948384 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19503/statm: 2456183 94924 2287 9 0 2446860 0 [pid=19503/tid=19505] ppid=19500 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/19503/task/19505/stat : 19505 (java) S 19500 19503 11495 0 -1 4202560 2419 0 1 0 34 2 0 0 20 0 19 0 11235358 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140075283817336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19506] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19506/stat : 19506 (java) S 19500 19503 11495 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140075261917352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19507] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19507/stat : 19507 (java) S 19500 19503 11495 0 -1 4202560 39 0 0 0 6 1 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140075260864808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19508] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19508/stat : 19508 (java) S 19500 19503 11495 0 -1 4202560 59 0 0 0 6 3 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140075259812264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19509] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19509/stat : 19509 (java) S 19500 19503 11495 0 -1 4202560 26 0 0 0 5 2 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074922535464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19510] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19510/stat : 19510 (java) S 19500 19503 11495 0 -1 4202560 37 0 0 0 6 3 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074921482920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19511] ppid=19500 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/19503/task/19511/stat : 19511 (java) S 19500 19503 11495 0 -1 4202560 52 0 0 0 6 3 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074920430376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19512] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19512/stat : 19512 (java) S 19500 19503 11495 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074919377832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19513] ppid=19500 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19503/task/19513/stat : 19513 (java) S 19500 19503 11495 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 19 0 11235359 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074918325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19514] ppid=19500 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/19503/task/19514/stat : 19514 (java) S 19500 19503 11495 0 -1 4202560 199 0 0 0 1 6 0 0 20 0 19 0 11235360 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074906126440 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19515] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19515/stat : 19515 (java) S 19500 19503 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074905072760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19516] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19516/stat : 19516 (java) S 19500 19503 11495 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 11235360 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074904020104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19517] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19517/stat : 19517 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074902968848 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19518] ppid=19500 vsize=9824732 CPUtime=1.21 cores=1,3,5,7 /proc/19503/task/19518/stat : 19518 (java) S 19500 19503 11495 0 -1 4202560 10848 0 0 0 119 2 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074901916216 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19503/tid=19519] ppid=19500 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/19503/task/19519/stat : 19519 (java) S 19500 19503 11495 0 -1 4202560 10231 0 0 0 110 3 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074900863672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19503/tid=19520] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19520/stat : 19520 (java) S 19500 19503 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074899811320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19503/tid=19521] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19521/stat : 19521 (java) S 19500 19503 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 11235363 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074898758984 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19503/tid=19525] ppid=19500 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19503/task/19525/stat : 19525 (java) S 19500 19503 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11235376 10060525568 94924 33554432000 1073741824 1073778376 140736300957248 140074894447784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 23.47 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): 9.53674e-07 # lost CPU user time (s): 0.0100002 # lost CPU system time (s): -0.00999999 Real time (s): 46.9701 CPU time (s): 23.6184 CPU user time (s): 21.6277 CPU system time (s): 1.99069 CPU usage (%): 50.2839 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.6177 system time used= 2.00069 maximum resident set size= 387496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26172 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= 3529 involuntary context switches= 1574 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.170974 second user time and 0.248962 second system time The end
Begin job on node115 at 2016-06-30 23:27:41 IDJOB=4110301 IDBENCH=79241 IDSOLVER=2552 FILE ID=node115/4110301-1467322061 RUNJOBID= node115-1467319426-13601 PBS_JOBID= 20005276 Free space on /tmp= 71664 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.1111227326--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110301-1467322061/watcher-4110301-1467322061 -o /tmp/evaluation-result-4110301-1467322061/solver-4110301-1467322061 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467319426-13601 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110301-1467322061.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8ce859c9363f1b782ad1721fb9074172 RANDOM SEED=284455905 node115.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.087 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.17 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.087 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.56 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.087 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.087 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.087 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 : 2667.087 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 : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 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: 30445564 kB Buffers: 166652 kB Cached: 322136 kB SwapCached: 0 kB Active: 271360 kB Inactive: 232392 kB Active(anon): 10840 kB Inactive(anon): 6556 kB Active(file): 260520 kB Inactive(file): 225836 kB Unevictable: 1183952 kB Mlocked: 1102192 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 452 kB Writeback: 0 kB AnonPages: 1157500 kB Mapped: 13972 kB Shmem: 204 kB Slab: 608012 kB SReclaimable: 52412 kB SUnreclaim: 555600 kB KernelStack: 1560 kB PageTables: 6112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1284032 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 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= 71664 MiB End job on node115 at 2016-06-30 23:28:28