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 | 36.0595 | 46.5924 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo |
| MD5SUM | 8b066002eb3185cd3fd0fbc9dbe06f59 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 58 |
| Best CPU time to get the best result obtained on this benchmark | 13.7919 |
| 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 | 42 |
| 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 | 1838 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 1837 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1255 |
| 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@16fd0b7 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@4413ee 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@75786e64 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@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4091979-1467320896.wbo 0.09/0.12 c reading problem ... 0.09/0.18 c ... done. Wall clock time 0.063s. 0.09/0.18 c declared #vars 169 0.09/0.18 c internal #vars 211 0.09/0.18 c #constraints 101 0.09/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.18 c constraints type 0.09/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.09/0.18 c org.sat4j.minisat.constraints.card.MinWatchCard => 41 0.09/0.18 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.09/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30 0.09/0.18 c 101 constraints processed. 0.09/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.18 c constraints type 0.09/0.18 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.09/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.09/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 41 0.09/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 30 0.09/0.18 c 101 constraints processed. 0.09/0.18 c objective function length is 42 literals 0.62/0.37 c And the winner is solver0 1.28/0.69 c SATISFIABLE 1.28/0.69 c OPTIMIZING... 1.28/0.69 c Got one! Elapsed wall clock time (in seconds):0.568 1.28/0.69 o 802 1.31/0.71 c And the winner is solver0 1.51/1.19 c Got one! Elapsed wall clock time (in seconds):1.069 1.51/1.19 o 796 1.54/1.21 c And the winner is solver0 1.63/1.69 c Got one! Elapsed wall clock time (in seconds):1.57 1.63/1.69 o 790 1.65/1.70 c And the winner is solver0 1.73/2.19 c Got one! Elapsed wall clock time (in seconds):2.071 1.73/2.19 o 772 1.73/2.20 c And the winner is solver0 1.77/2.69 c Got one! Elapsed wall clock time (in seconds):2.572 1.77/2.69 o 764 1.77/2.69 c And the winner is solver0 1.78/3.19 c Got one! Elapsed wall clock time (in seconds):3.073 1.78/3.19 o 561 1.78/3.20 c And the winner is solver0 1.78/3.69 c Got one! Elapsed wall clock time (in seconds):3.574 1.78/3.69 o 556 1.79/3.70 c And the winner is solver0 1.79/4.19 c Got one! Elapsed wall clock time (in seconds):4.075 1.79/4.19 o 545 1.79/4.20 c And the winner is solver0 1.79/4.69 c Got one! Elapsed wall clock time (in seconds):4.576 1.79/4.69 o 540 1.79/4.71 c And the winner is solver0 1.83/5.19 c Got one! Elapsed wall clock time (in seconds):5.077 1.83/5.19 o 539 1.83/5.22 c And the winner is solver0 2.00/5.70 c Got one! Elapsed wall clock time (in seconds):5.578 2.00/5.70 o 538 2.00/5.71 c And the winner is solver0 2.00/6.20 c Got one! Elapsed wall clock time (in seconds):6.079 2.00/6.20 o 528 2.00/6.20 c And the winner is solver0 2.00/6.70 c Got one! Elapsed wall clock time (in seconds):6.58 2.00/6.70 o 525 2.00/6.70 c And the winner is solver0 2.00/7.20 c Got one! Elapsed wall clock time (in seconds):7.081 2.00/7.20 o 517 2.00/7.21 c And the winner is solver0 2.05/7.70 c Got one! Elapsed wall clock time (in seconds):7.582 2.05/7.70 o 516 2.05/7.71 c And the winner is solver0 2.09/8.20 c Got one! Elapsed wall clock time (in seconds):8.083 2.09/8.20 o 512 2.09/8.22 c And the winner is solver0 2.18/8.70 c Got one! Elapsed wall clock time (in seconds):8.584 2.18/8.70 o 510 2.18/8.71 c And the winner is solver0 2.18/9.20 c Got one! Elapsed wall clock time (in seconds):9.085 2.18/9.20 o 484 2.18/9.21 c And the winner is solver0 2.18/9.70 c Got one! Elapsed wall clock time (in seconds):9.586 2.18/9.70 o 465 2.18/9.73 c And the winner is solver0 2.29/10.21 c Got one! Elapsed wall clock time (in seconds):10.087 2.29/10.21 o 464 2.29/10.28 c And the winner is solver0 2.54/10.71 c Got one! Elapsed wall clock time (in seconds):10.588 2.54/10.71 o 463 2.54/10.71 c And the winner is solver0 2.54/11.21 c Got one! Elapsed wall clock time (in seconds):11.089 2.54/11.21 o 443 2.54/11.21 c And the winner is solver0 2.54/11.71 c Got one! Elapsed wall clock time (in seconds):11.59 2.54/11.71 o 437 2.54/11.71 c And the winner is solver0 2.55/12.21 c Got one! Elapsed wall clock time (in seconds):12.091 2.55/12.21 o 430 2.55/12.23 c And the winner is solver0 2.61/12.71 c Got one! Elapsed wall clock time (in seconds):12.592 2.61/12.71 o 424 2.61/12.72 c And the winner is solver0 2.61/13.21 c Got one! Elapsed wall clock time (in seconds):13.093 2.61/13.21 o 422 2.61/13.24 c And the winner is solver0 2.73/13.71 c Got one! Elapsed wall clock time (in seconds):13.594 2.73/13.71 o 416 2.73/13.72 c And the winner is solver0 2.77/14.21 c Got one! Elapsed wall clock time (in seconds):14.094 2.77/14.21 o 413 2.77/14.24 c And the winner is solver0 2.88/14.71 c Got one! Elapsed wall clock time (in seconds):14.595 2.88/14.71 o 409 2.88/14.73 c And the winner is solver0 2.94/15.21 c Got one! Elapsed wall clock time (in seconds):15.096 2.94/15.21 o 402 2.94/15.23 c And the winner is solver0 2.98/15.71 c Got one! Elapsed wall clock time (in seconds):15.597 2.98/15.71 o 401 3.16/15.88 c cleaning 6795 clauses out of 13589 with flag 8438/13589 3.83/16.10 c cleaning 6392 clauses out of 12794 with flag 23794/19589 3.83/16.10 c And the winner is solver0 3.97/16.22 c Got one! Elapsed wall clock time (in seconds):16.098 3.97/16.22 o 400 3.97/16.23 c And the winner is solver0 4.16/16.72 c Got one! Elapsed wall clock time (in seconds):16.599 4.16/16.72 o 399 4.16/16.72 c And the winner is solver0 4.16/17.22 c Got one! Elapsed wall clock time (in seconds):17.1 4.16/17.22 o 395 4.16/17.22 c And the winner is solver0 4.16/17.72 c Got one! Elapsed wall clock time (in seconds):17.6 4.16/17.72 o 390 4.16/17.74 c And the winner is solver0 4.24/18.22 c Got one! Elapsed wall clock time (in seconds):18.101 4.24/18.22 o 389 4.38/18.30 c And the winner is solver0 4.40/18.72 c Got one! Elapsed wall clock time (in seconds):18.602 4.40/18.72 o 384 4.40/18.73 c And the winner is solver0 4.42/19.22 c Got one! Elapsed wall clock time (in seconds):19.103 4.42/19.22 o 382 4.42/19.25 c And the winner is solver0 4.49/19.72 c Got one! Elapsed wall clock time (in seconds):19.604 4.49/19.72 o 381 4.49/19.73 c And the winner is solver0 4.49/20.22 c Got one! Elapsed wall clock time (in seconds):20.105 4.49/20.22 o 366 4.49/20.23 c And the winner is solver0 4.49/20.72 c Got one! Elapsed wall clock time (in seconds):20.605 4.49/20.72 o 351 4.49/20.74 c And the winner is solver0 4.53/21.22 c Got one! Elapsed wall clock time (in seconds):21.106 4.53/21.22 o 349 4.53/21.23 c And the winner is solver0 4.55/21.72 c Got one! Elapsed wall clock time (in seconds):21.607 4.55/21.72 o 348 4.55/21.78 c And the winner is solver0 4.72/22.23 c Got one! Elapsed wall clock time (in seconds):22.108 4.72/22.23 o 336 4.72/22.23 c And the winner is solver0 4.72/22.73 c Got one! Elapsed wall clock time (in seconds):22.609 4.72/22.73 o 330 4.72/22.74 c And the winner is solver0 4.85/23.23 c Got one! Elapsed wall clock time (in seconds):23.11 4.85/23.23 o 329 4.85/23.26 c And the winner is solver0 5.01/23.73 c Got one! Elapsed wall clock time (in seconds):23.611 5.01/23.73 o 303 5.15/23.84 c cleaning 8290 clauses out of 16579 with flag 5945/29766 5.15/23.87 c And the winner is solver0 5.75/24.23 c Got one! Elapsed wall clock time (in seconds):24.111 5.75/24.23 o 294 5.75/24.24 c And the winner is solver0 5.84/24.73 c Got one! Elapsed wall clock time (in seconds):24.612 5.84/24.73 o 293 5.84/24.75 c And the winner is solver0 6.04/25.23 c Got one! Elapsed wall clock time (in seconds):25.113 6.04/25.23 o 284 6.04/25.24 c And the winner is solver0 6.07/25.73 c Got one! Elapsed wall clock time (in seconds):25.614 6.07/25.73 o 275 6.07/25.73 c And the winner is solver0 6.07/26.23 c Got one! Elapsed wall clock time (in seconds):26.115 6.07/26.23 o 215 6.41/26.43 c cleaning 7726 clauses out of 15460 with flag 16382/36937 6.63/26.52 c And the winner is solver0 6.83/26.73 c Got one! Elapsed wall clock time (in seconds):26.616 6.83/26.73 o 209 6.95/26.85 c cleaning 6862 clauses out of 13732 with flag 9492/42935 7.21/26.91 c And the winner is solver0 7.54/27.23 c Got one! Elapsed wall clock time (in seconds):27.117 7.54/27.23 o 208 7.67/27.35 c cleaning 5952 clauses out of 11907 with flag 9781/47972 8.25/27.56 c cleaning 5977 clauses out of 11953 with flag 28895/53970 8.25/27.60 c And the winner is solver0 8.71/27.74 c Got one! Elapsed wall clock time (in seconds):27.617 8.71/27.74 o 207 8.83/27.87 c cleaning 5650 clauses out of 11310 with flag 12575/59304 9.03/27.98 c And the winner is solver0 9.21/28.24 c Got one! Elapsed wall clock time (in seconds):28.118 9.21/28.24 o 204 9.33/28.31 c cleaning 5500 clauses out of 11006 with flag 6558/64650 9.53/28.43 c And the winner is solver0 9.66/28.74 c Got one! Elapsed wall clock time (in seconds):28.619 9.66/28.74 o 203 9.66/28.78 c cleaning 5373 clauses out of 10758 with flag 3083/69902 9.78/28.80 c And the winner is solver0 9.85/29.24 c Got one! Elapsed wall clock time (in seconds):29.12 9.85/29.24 o 197 9.97/29.38 c cleaning 5213 clauses out of 10432 with flag 12714/74949 10.37/29.56 c cleaning 5603 clauses out of 11218 with flag 31819/80948 10.37/29.59 c And the winner is solver0 10.66/29.74 c Got one! Elapsed wall clock time (in seconds):29.621 10.66/29.74 o 196 10.81/29.84 c And the winner is solver0 10.90/30.24 c Got one! Elapsed wall clock time (in seconds):30.123 10.90/30.24 o 193 10.90/30.28 c cleaning 5536 clauses out of 11080 with flag 2965/86413 11.22/30.43 c And the winner is solver0 11.35/30.74 c Got one! Elapsed wall clock time (in seconds):30.624 11.35/30.74 o 171 11.35/30.78 c cleaning 5566 clauses out of 11151 with flag 3071/92020 11.67/30.96 c cleaning 5789 clauses out of 11584 with flag 20887/98020 12.06/31.10 c And the winner is solver0 12.16/31.24 c Got one! Elapsed wall clock time (in seconds):31.124 12.16/31.24 o 164 12.16/31.29 c cleaning 5670 clauses out of 11346 with flag 3052/103571 12.49/31.49 c cleaning 5828 clauses out of 11675 with flag 23504/109570 12.69/31.50 c And the winner is solver0 12.89/31.74 c Got one! Elapsed wall clock time (in seconds):31.625 12.89/31.74 o 130 13.21/31.91 c cleaning 5579 clauses out of 11165 with flag 16803/114888 13.60/32.12 c cleaning 5786 clauses out of 11587 with flag 38224/120889 13.60/32.15 c And the winner is solver0 13.74/32.24 c Got one! Elapsed wall clock time (in seconds):32.126 13.74/32.24 o 119 14.04/32.41 c cleaning 5856 clauses out of 11719 with flag 17132/126807 14.44/32.62 c cleaning 5925 clauses out of 11863 with flag 38163/132807 14.84/32.87 c cleaning 6468 clauses out of 12937 with flag 63974/139806 15.46/33.17 c cleaning 7231 clauses out of 14471 with flag 91346/147808 16.24/33.51 c cleaning 8118 clauses out of 16238 with flag 124644/156806 16.24/33.58 c And the winner is solver0 16.47/33.74 c Got one! Elapsed wall clock time (in seconds):33.626 16.47/33.74 o 117 16.57/33.88 c cleaning 6791 clauses out of 13586 with flag 12951/162272 16.77/33.98 c And the winner is solver0 17.11/34.25 c Got one! Elapsed wall clock time (in seconds):34.127 17.11/34.25 o 99 17.21/34.32 c cleaning 5984 clauses out of 11978 with flag 7299/167455 17.61/34.52 c cleaning 5986 clauses out of 11992 with flag 29935/173453 18.01/34.76 c cleaning 6500 clauses out of 13007 with flag 56945/180454 18.21/34.82 c And the winner is solver0 18.49/35.25 c Got one! Elapsed wall clock time (in seconds):35.128 18.49/35.25 o 97 18.60/35.36 c cleaning 5809 clauses out of 11624 with flag 11132/185571 18.79/35.48 c And the winner is solver0 19.13/35.75 c Got one! Elapsed wall clock time (in seconds):35.629 19.13/35.75 o 71 19.23/35.82 c cleaning 5804 clauses out of 11624 with flag 5950/191380 19.63/36.02 c cleaning 5908 clauses out of 11821 with flag 24431/197381 20.04/36.26 c cleaning 6451 clauses out of 12912 with flag 47073/204380 20.04/36.28 c And the winner is solver0 20.49/36.75 c Got one! Elapsed wall clock time (in seconds):36.63 20.49/36.75 o 70 20.78/36.92 c cleaning 6130 clauses out of 12265 with flag 16914/210184 21.18/37.12 c cleaning 6065 clauses out of 12136 with flag 37714/216185 21.59/37.37 c cleaning 6533 clauses out of 13069 with flag 61485/223183 22.19/37.66 c cleaning 7267 clauses out of 14535 with flag 86586/231183 22.79/38.00 c cleaning 8131 clauses out of 16267 with flag 116946/240183 23.81/38.40 c cleaning 9058 clauses out of 18135 with flag 150644/250183 24.61/38.84 c cleaning 10034 clauses out of 20076 with flag 189594/261183 25.60/39.34 c cleaning 11018 clauses out of 22042 with flag 233312/273184 26.80/39.93 c cleaning 12010 clauses out of 24026 with flag 286165/286186 27.40/40.29 c And the winner is solver0 30.12/42.90 c Got one! Elapsed wall clock time (in seconds):42.785 30.12/42.90 o 65 30.61/43.15 c cleaning 12830 clauses out of 25663 with flag 20893/299834 31.01/43.39 c cleaning 9414 clauses out of 18833 with flag 44922/305834 31.61/43.66 c cleaning 8194 clauses out of 16416 with flag 71701/312833 32.21/43.95 c cleaning 8105 clauses out of 16221 with flag 101028/320833 32.81/44.29 c cleaning 8551 clauses out of 17114 with flag 134644/329833 33.61/44.68 c cleaning 9276 clauses out of 18561 with flag 173436/339833 34.41/45.09 c And the winner is solver0 35.01/45.56 c Got one! Elapsed wall clock time (in seconds):45.438 35.01/45.56 o 59 35.34/45.75 c And the winner is solver0 35.46/46.06 c Got one! Elapsed wall clock time (in seconds):45.939 35.46/46.06 o 58 35.56/46.20 c cleaning 12904 clauses out of 25810 with flag 9495/356367 35.78/46.25 c And the winner is solver0 35.91/46.58 c >>>>>>>>>> Solver number 0 (73 answers) <<<<<<<<<<<<<<<<<< 35.91/46.58 c starts : 345 35.91/46.58 c conflicts : 357560 35.91/46.58 c decisions : 560455 35.91/46.58 c propagations : 9051439 35.91/46.58 c inspects : 146121198 35.91/46.58 c shortcuts : 0 35.91/46.58 c learnt literals : 36 35.91/46.58 c learnt binary clauses : 219 35.91/46.58 c learnt ternary clauses : 1444 35.91/46.58 c learnt constraints : 357523 35.91/46.58 c ignored constraints : 0 35.91/46.58 c root simplifications : 0 35.91/46.58 c removed literals (reason simplification) : 3140305 35.91/46.58 c reason swapping (by a shorter reason) : 0 35.91/46.58 c Calls to reduceDB : 48 35.91/46.58 c Number of update (reduction) of LBD : 82523 35.91/46.58 c Imported unit clauses : 0 35.91/46.58 c number of reductions to clauses (during analyze) : 0 35.91/46.58 c number of learned constraints concerned by reduction : 0 35.91/46.58 c number of learning phase by resolution : 0 35.91/46.58 c number of learning phase by cutting planes : 0 35.91/46.58 c speed (assignments/second) : 195099.34474285468 35.91/46.58 c non guided choices 2542 35.91/46.58 c learnt constraints type 35.91/46.58 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 35.91/46.58 c starts : 73 35.91/46.58 c conflicts : 365 35.91/46.58 c decisions : 6029 35.91/46.58 c propagations : 23212 35.91/46.58 c inspects : 645008 35.91/46.58 c shortcuts : 0 35.91/46.58 c learnt literals : 0 35.91/46.58 c learnt binary clauses : 0 35.91/46.58 c learnt ternary clauses : 0 35.91/46.58 c learnt constraints : 306 35.91/46.58 c ignored constraints : 0 35.91/46.58 c root simplifications : 0 35.91/46.58 c removed literals (reason simplification) : 0 35.91/46.58 c reason swapping (by a shorter reason) : 0 35.91/46.58 c Calls to reduceDB : 0 35.91/46.58 c Number of update (reduction) of LBD : 0 35.91/46.58 c Imported unit clauses : 0 35.91/46.58 c number of reductions to clauses (during analyze) : 0 35.91/46.58 c number of learned constraints concerned by reduction : 0 35.91/46.58 c number of learning phase by resolution : 0 35.91/46.58 c number of learning phase by cutting planes : 0 35.91/46.58 c speed (assignments/second) : 45424.65753424657 35.91/46.58 c non guided choices 991 35.91/46.58 c learnt constraints type 35.91/46.58 s OPTIMUM FOUND 35.91/46.58 c Found 72 solution(s) 35.91/46.58 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 35.91/46.58 c objective function=58 35.91/46.58 c Total wall clock time (in seconds): 46.466
OK 58
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-4091979-1467320896/watcher-4091979-1467320896 -o /tmp/evaluation-result-4091979-1467320896/solver-4091979-1467320896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091979-1467320896.wbo pid=23666 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.83 1.89 1.99 3/196 23669 /proc/meminfo: memFree=29394152/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=5632 CPUtime=0 cores=0,2,4,6 /proc/23669/stat : 23669 (java) R 23666 23669 16091 0 -1 4202496 381 0 0 0 0 0 0 0 20 0 1 0 13050440 5767168 52 33554432000 1073741824 1073778376 140736254958560 140736254955688 272877321800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 1408 55 43 9 0 30 0 [startup+0.10016 s] /proc/loadavg: 1.83 1.89 1.99 3/196 23669 /proc/meminfo: memFree=29394152/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 13050440 9787879424 6042 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2389619 6042 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200225 s] /proc/loadavg: 1.83 1.89 1.99 3/196 23669 /proc/meminfo: memFree=29394152/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 4776 0 1 0 23 1 0 0 20 0 22 0 13050440 10060525568 7898 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 7898 2208 9 0 2446860 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9824732 [startup+0.300212 s] /proc/loadavg: 1.83 1.89 1.99 3/196 23669 /proc/meminfo: memFree=29394152/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=0.62 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 7681 0 1 0 60 2 0 0 20 0 22 0 13050440 10060525568 10252 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 10253 2248 9 0 2446860 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 9824732 [startup+0.700168 s] /proc/loadavg: 1.83 1.89 1.99 3/196 23669 /proc/meminfo: memFree=29394152/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 14789 0 1 0 126 5 0 0 20 0 22 0 13050440 10060525568 15362 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 15362 2254 9 0 2446860 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 9824732 [startup+1.50079 s] /proc/loadavg: 1.83 1.89 1.99 2/215 23694 /proc/meminfo: memFree=29338368/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 16785 0 1 0 154 9 0 0 20 0 19 0 13050440 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 17962 2258 9 0 2446860 0 [pid=23669/tid=23671] ppid=23666 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/23669/task/23671/stat : 23671 (java) S 23666 23669 16091 0 -1 4202560 2419 0 1 0 14 2 0 0 20 0 19 0 13050441 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140423098475384 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23672/stat : 23672 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140423087536552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23673] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23673/stat : 23673 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140423086484008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23674] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23674/stat : 23674 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140423085430952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23675] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23675/stat : 23675 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140423084378408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23676] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23676/stat : 23676 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422938311592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23677] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23677/stat : 23677 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422937259048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23678] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23678/stat : 23678 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422936205992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23679] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23679/stat : 23679 (java) S 23666 23669 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422935153448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23680] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23680/stat : 23680 (java) S 23666 23669 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13050443 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422922742120 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23681] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23681/stat : 23681 (java) S 23666 23669 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422921688440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23682] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23682/stat : 23682 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422920635272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23683] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23683/stat : 23683 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422919584016 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23684] ppid=23666 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/23669/task/23684/stat : 23684 (java) S 23666 23669 16091 0 -1 4202560 6631 0 0 0 53 0 0 0 20 0 19 0 13050446 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422918531896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23685] ppid=23666 vsize=9824732 CPUtime=0.42 cores=0,2,4,6 /proc/23669/task/23685/stat : 23685 (java) S 23666 23669 16091 0 -1 4202560 6378 0 0 0 40 2 0 0 20 0 19 0 13050446 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422917479352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23686] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23686/stat : 23686 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422916426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23687] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23687/stat : 23687 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422915374152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23690] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23690/stat : 23690 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050459 10060525568 17962 33554432000 1073741824 1073778376 140736254958560 140422912164648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 2.00 1.93 2.00 4/218 23703 /proc/meminfo: memFree=29319960/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=1.78 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 16817 0 1 0 165 13 0 0 20 0 19 0 13050440 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 22062 2261 9 0 2446860 0 [pid=23669/tid=23671] ppid=23666 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/23669/task/23671/stat : 23671 (java) S 23666 23669 16091 0 -1 4202560 2420 0 1 0 15 2 0 0 20 0 19 0 13050441 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140423098475384 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23672/stat : 23672 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140423087536552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23673] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23673/stat : 23673 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140423086484008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23674] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23674/stat : 23674 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140423085430952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23675] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23675/stat : 23675 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140423084378408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23676] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23676/stat : 23676 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422938311592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23677] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23677/stat : 23677 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422937259048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23678] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23678/stat : 23678 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422936205992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23679] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23679/stat : 23679 (java) S 23666 23669 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422935153448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23680] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23680/stat : 23680 (java) S 23666 23669 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13050443 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422922742120 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23681] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23681/stat : 23681 (java) S 23666 23669 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422921688440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23682] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23682/stat : 23682 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422920635272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23683] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23683/stat : 23683 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422919584016 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23684] ppid=23666 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/23669/task/23684/stat : 23684 (java) S 23666 23669 16091 0 -1 4202560 6631 0 0 0 57 0 0 0 20 0 19 0 13050446 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422918531896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23685] ppid=23666 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/23669/task/23685/stat : 23685 (java) S 23666 23669 16091 0 -1 4202560 6381 0 0 0 43 2 0 0 20 0 19 0 13050446 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422917479352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23686] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23686/stat : 23686 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422916426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23687] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23687/stat : 23687 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422915374152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23690] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23690/stat : 23690 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050459 10060525568 22062 33554432000 1073741824 1073778376 140736254958560 140422912164648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=27 pid=1779 uid=0 cmd= [startup+6.3008 s] /proc/loadavg: 2.00 1.93 2.00 2/214 23721 /proc/meminfo: memFree=29285344/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=2 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 16915 0 1 0 183 17 0 0 20 0 19 0 13050440 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 31061 2267 9 0 2446860 0 [pid=23669/tid=23671] ppid=23666 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/23669/task/23671/stat : 23671 (java) S 23666 23669 16091 0 -1 4202560 2421 0 1 0 15 2 0 0 20 0 19 0 13050441 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140423098475384 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23672/stat : 23672 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140423087536552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23673] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23673/stat : 23673 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140423086484008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23674] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23674/stat : 23674 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140423085430952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23675] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23675/stat : 23675 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140423084378408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23676] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23676/stat : 23676 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422938311592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23677] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23677/stat : 23677 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422937259048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23678] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23678/stat : 23678 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422936205992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23679] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23679/stat : 23679 (java) S 23666 23669 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13050442 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422935153448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23680] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23680/stat : 23680 (java) S 23666 23669 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13050443 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422922742120 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23681] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23681/stat : 23681 (java) S 23666 23669 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422921688440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23682] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23682/stat : 23682 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422920635272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23683] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23683/stat : 23683 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422919584016 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23684] ppid=23666 vsize=9824732 CPUtime=0.61 cores=0,2,4,6 /proc/23669/task/23684/stat : 23684 (java) S 23666 23669 16091 0 -1 4202560 6631 0 0 0 61 0 0 0 20 0 19 0 13050446 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422918531896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23685] ppid=23666 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/23669/task/23685/stat : 23685 (java) S 23666 23669 16091 0 -1 4202560 6392 0 0 0 51 2 0 0 20 0 19 0 13050446 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422917479352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23686] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23686/stat : 23686 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422916426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23687] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23687/stat : 23687 (java) S 23666 23669 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422915374152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23690] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23690/stat : 23690 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050459 10060525568 31061 33554432000 1073741824 1073778376 140736254958560 140422912164648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2 ################ # More data... # ################ [pid=23669/tid=23674] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23674/stat : 23674 (java) S 23666 23669 16091 0 -1 4202560 51 0 0 0 3 0 0 0 20 0 22 0 13050442 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140423085430952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23675] ppid=23666 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/23669/task/23675/stat : 23675 (java) S 23666 23669 16091 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 13050442 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140423084378408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23676] ppid=23666 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/23669/task/23676/stat : 23676 (java) S 23666 23669 16091 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 13050442 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422938311592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23677] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23677/stat : 23677 (java) S 23666 23669 16091 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 22 0 13050442 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422937259048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23678] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23678/stat : 23678 (java) S 23666 23669 16091 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 22 0 13050442 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422936205992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23679] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23679/stat : 23679 (java) S 23666 23669 16091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 13050442 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422935153448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23680] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23680/stat : 23680 (java) S 23666 23669 16091 0 -1 4202560 12 0 0 0 0 3 0 0 20 0 22 0 13050443 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422922742120 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23681] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23681/stat : 23681 (java) S 23666 23669 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13050444 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422921688440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23682] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23682/stat : 23682 (java) S 23666 23669 16091 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 22 0 13050444 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422920635272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23683] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23683/stat : 23683 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13050446 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422919584016 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23684] ppid=23666 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/23669/task/23684/stat : 23684 (java) S 23666 23669 16091 0 -1 4202560 11653 0 0 0 116 2 0 0 20 0 22 0 13050446 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422918531896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23685] ppid=23666 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/23669/task/23685/stat : 23685 (java) S 23666 23669 16091 0 -1 4202560 14432 0 0 0 181 2 0 0 20 0 22 0 13050446 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422917479352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23686] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23686/stat : 23686 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13050446 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422916426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23687] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23687/stat : 23687 (java) S 23666 23669 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13050446 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422915374152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23690] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23690/stat : 23690 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13050459 10060525568 51477 33554432000 1073741824 1073778376 140736254958560 140422912164648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.14 Current children cumulated vsize (KiB) 9824732 [startup+46.0008 s] /proc/loadavg: 1.79 1.87 1.97 3/216 23902 /proc/meminfo: memFree=29216512/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=35.46 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 30708 0 1 0 3433 113 0 0 20 0 19 0 13050440 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 51471 2288 9 0 2446860 0 [pid=23669/tid=23671] ppid=23666 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/23669/task/23671/stat : 23671 (java) S 23666 23669 16091 0 -1 4202560 2424 0 1 0 18 2 0 0 20 0 19 0 13050441 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140423098475384 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23672/stat : 23672 (java) S 23666 23669 16091 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140423087536552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23673] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23673/stat : 23673 (java) S 23666 23669 16091 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 19 0 13050442 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140423086484008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23674] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23674/stat : 23674 (java) S 23666 23669 16091 0 -1 4202560 51 0 0 0 3 0 0 0 20 0 19 0 13050442 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140423085430952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23675] ppid=23666 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/23669/task/23675/stat : 23675 (java) S 23666 23669 16091 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 13050442 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140423084378408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23676] ppid=23666 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/23669/task/23676/stat : 23676 (java) S 23666 23669 16091 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 13050442 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422938311592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23677] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23677/stat : 23677 (java) S 23666 23669 16091 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 13050442 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422937259048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23678] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23678/stat : 23678 (java) S 23666 23669 16091 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422936205992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23679] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23679/stat : 23679 (java) S 23666 23669 16091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422935153448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23680] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23680/stat : 23680 (java) S 23666 23669 16091 0 -1 4202560 12 0 0 0 0 3 0 0 20 0 19 0 13050443 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422922742120 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23681] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23681/stat : 23681 (java) S 23666 23669 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422921688440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23682] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23682/stat : 23682 (java) S 23666 23669 16091 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422920635272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23683] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23683/stat : 23683 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422919584016 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23684] ppid=23666 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/23669/task/23684/stat : 23684 (java) S 23666 23669 16091 0 -1 4202560 11653 0 0 0 116 2 0 0 20 0 19 0 13050446 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422918531896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23685] ppid=23666 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/23669/task/23685/stat : 23685 (java) S 23666 23669 16091 0 -1 4202560 14432 0 0 0 181 2 0 0 20 0 19 0 13050446 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422917479352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23686] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23686/stat : 23686 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422916426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23687] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23687/stat : 23687 (java) S 23666 23669 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422915374152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23690] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23690/stat : 23690 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050459 10060525568 51471 33554432000 1073741824 1073778376 140736254958560 140422912164648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.46 Current children cumulated vsize (KiB) 9824732 [startup+46.4009 s] /proc/loadavg: 1.79 1.87 1.97 4/218 23908 /proc/meminfo: memFree=29214516/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=35.91 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 30766 0 1 0 3475 116 0 0 20 0 19 0 13050440 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 51947 2288 9 0 2446860 0 [pid=23669/tid=23671] ppid=23666 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/23669/task/23671/stat : 23671 (java) S 23666 23669 16091 0 -1 4202560 2424 0 1 0 18 2 0 0 20 0 19 0 13050441 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423098475384 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23672/stat : 23672 (java) S 23666 23669 16091 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423087536552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23673] ppid=23666 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/23669/task/23673/stat : 23673 (java) S 23666 23669 16091 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423086484008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23674] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23674/stat : 23674 (java) S 23666 23669 16091 0 -1 4202560 51 0 0 0 3 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423085430952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23675] ppid=23666 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/23669/task/23675/stat : 23675 (java) S 23666 23669 16091 0 -1 4202560 63 0 0 0 5 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423084378408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23676] ppid=23666 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/23669/task/23676/stat : 23676 (java) S 23666 23669 16091 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422938311592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23677] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23677/stat : 23677 (java) S 23666 23669 16091 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422937259048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23678] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23678/stat : 23678 (java) S 23666 23669 16091 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422936205992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23679] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23679/stat : 23679 (java) S 23666 23669 16091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422935153448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23680] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23680/stat : 23680 (java) S 23666 23669 16091 0 -1 4202560 12 0 0 0 0 3 0 0 20 0 19 0 13050443 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422922742120 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23681] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23681/stat : 23681 (java) S 23666 23669 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422921688440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23682] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23682/stat : 23682 (java) S 23666 23669 16091 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422920635272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23683] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23683/stat : 23683 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422919584016 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23684] ppid=23666 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/23669/task/23684/stat : 23684 (java) S 23666 23669 16091 0 -1 4202560 11653 0 0 0 116 2 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422918531896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23685] ppid=23666 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/23669/task/23685/stat : 23685 (java) S 23666 23669 16091 0 -1 4202560 14432 0 0 0 181 2 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422917479352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23686] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23686/stat : 23686 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422916426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23687] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23687/stat : 23687 (java) S 23666 23669 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422915374152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23690] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23690/stat : 23690 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050459 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422912164648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.91 Current children cumulated vsize (KiB) 9824732 [startup+46.5008 s] /proc/loadavg: 1.79 1.87 1.97 4/218 23908 /proc/meminfo: memFree=29214516/32872528 swapFree=1254912/1391860 [pid=23669] ppid=23666 vsize=9824732 CPUtime=35.91 cores=0,2,4,6 /proc/23669/stat : 23669 (java) S 23666 23669 16091 0 -1 4202496 30766 0 1 0 3475 116 0 0 20 0 19 0 13050440 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140736254949696 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23669/statm: 2456183 51947 2288 9 0 2446860 0 [pid=23669/tid=23671] ppid=23666 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/23669/task/23671/stat : 23671 (java) S 23666 23669 16091 0 -1 4202560 2424 0 1 0 18 2 0 0 20 0 19 0 13050441 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423098475384 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23672/stat : 23672 (java) S 23666 23669 16091 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423087536552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23673] ppid=23666 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/23669/task/23673/stat : 23673 (java) S 23666 23669 16091 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423086484008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23674] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23674/stat : 23674 (java) S 23666 23669 16091 0 -1 4202560 51 0 0 0 3 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423085430952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23675] ppid=23666 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/23669/task/23675/stat : 23675 (java) S 23666 23669 16091 0 -1 4202560 63 0 0 0 5 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140423084378408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23676] ppid=23666 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/23669/task/23676/stat : 23676 (java) S 23666 23669 16091 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422938311592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23677] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23677/stat : 23677 (java) S 23666 23669 16091 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422937259048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23678] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23678/stat : 23678 (java) S 23666 23669 16091 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422936205992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23679] ppid=23666 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/23669/task/23679/stat : 23679 (java) S 23666 23669 16091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 13050442 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422935153448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23680] ppid=23666 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/23669/task/23680/stat : 23680 (java) S 23666 23669 16091 0 -1 4202560 12 0 0 0 0 3 0 0 20 0 19 0 13050443 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422922742120 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23681] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23681/stat : 23681 (java) S 23666 23669 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422921688440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23682] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23682/stat : 23682 (java) S 23666 23669 16091 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 19 0 13050444 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422920635272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23683] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23683/stat : 23683 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422919584016 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23669/tid=23684] ppid=23666 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/23669/task/23684/stat : 23684 (java) S 23666 23669 16091 0 -1 4202560 11653 0 0 0 116 2 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422918531896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23685] ppid=23666 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/23669/task/23685/stat : 23685 (java) S 23666 23669 16091 0 -1 4202560 14432 0 0 0 181 2 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422917479352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23669/tid=23686] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23686/stat : 23686 (java) S 23666 23669 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422916426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23669/tid=23687] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23687/stat : 23687 (java) S 23666 23669 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13050446 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422915374152 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23669/tid=23690] ppid=23666 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/23669/task/23690/stat : 23690 (java) S 23666 23669 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13050459 10060525568 51947 33554432000 1073741824 1073778376 140736254958560 140422912164648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.91 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 46.5924 CPU time (s): 36.0595 CPU user time (s): 34.7877 CPU system time (s): 1.27181 CPU usage (%): 77.3935 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.7877 system time used= 1.27181 maximum resident set size= 217116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30773 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= 3272 involuntary context switches= 1042 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.347947 second user time and 0.442932 second system time The end
Begin job on node119 at 2016-06-30 23:08:16 IDJOB=4091979 IDBENCH=78771 IDSOLVER=2552 FILE ID=node119/4091979-1467320896 RUNJOBID= node119-1467318689-18276 PBS_JOBID= 20005280 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091979-1467320896/watcher-4091979-1467320896 -o /tmp/evaluation-result-4091979-1467320896/solver-4091979-1467320896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091979-1467320896.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8b066002eb3185cd3fd0fbc9dbe06f59 RANDOM SEED=1034969427 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29394432 kB Buffers: 173644 kB Cached: 261904 kB SwapCached: 0 kB Active: 1122652 kB Inactive: 218036 kB Active(anon): 889176 kB Inactive(anon): 18160 kB Active(file): 233476 kB Inactive(file): 199876 kB Unevictable: 1391860 kB Mlocked: 1254912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 456 kB Writeback: 0 kB AnonPages: 2259492 kB Mapped: 22232 kB Shmem: 204 kB Slab: 611572 kB SReclaimable: 55272 kB SUnreclaim: 556300 kB KernelStack: 1800 kB PageTables: 8500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2476356 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 968704 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71732 MiB End job on node119 at 2016-06-30 23:09:03