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.9084 | 48.634 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo |
| MD5SUM | 67ae8b264a7332f0f782a64868c40f1f |
| 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 | 22 |
| Best CPU time to get the best result obtained on this benchmark | 14.6058 |
| 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 | 1147 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Glucose 2.1 dynamic restart strategy 0.07/0.13 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.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 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.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-4109357-1467321055.wbo 0.07/0.13 c reading problem ... 0.07/0.19 c ... done. Wall clock time 0.064s. 0.07/0.19 c declared #vars 169 0.07/0.19 c internal #vars 211 0.07/0.19 c #constraints 101 0.21/0.20 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.21/0.20 c constraints type 0.21/0.20 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.21/0.20 c org.sat4j.minisat.constraints.card.MinWatchCard => 41 0.21/0.20 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.21/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30 0.21/0.20 c 101 constraints processed. 0.21/0.20 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.21/0.20 c constraints type 0.21/0.20 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.21/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.21/0.20 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 41 0.21/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPb => 30 0.21/0.20 c 101 constraints processed. 0.21/0.20 c objective function length is 42 literals 0.57/0.38 c And the winner is solver0 1.25/0.70 c SATISFIABLE 1.25/0.70 c OPTIMIZING... 1.25/0.70 c Got one! Elapsed wall clock time (in seconds):0.569 1.25/0.70 o 724 1.25/0.71 c And the winner is solver0 1.28/1.20 c Got one! Elapsed wall clock time (in seconds):1.07 1.28/1.20 o 715 1.29/1.22 c And the winner is solver0 1.37/1.70 c Got one! Elapsed wall clock time (in seconds):1.571 1.37/1.70 o 711 1.37/1.71 c And the winner is solver0 1.42/2.20 c Got one! Elapsed wall clock time (in seconds):2.072 1.42/2.20 o 688 1.44/2.21 c And the winner is solver0 1.44/2.70 c Got one! Elapsed wall clock time (in seconds):2.573 1.44/2.70 o 544 1.44/2.72 c And the winner is solver0 1.55/3.20 c Got one! Elapsed wall clock time (in seconds):3.074 1.55/3.20 o 532 1.55/3.23 c And the winner is solver0 1.63/3.70 c Got one! Elapsed wall clock time (in seconds):3.575 1.63/3.70 o 517 1.63/3.72 c And the winner is solver0 1.68/4.21 c Got one! Elapsed wall clock time (in seconds):4.076 1.68/4.21 o 498 1.68/4.23 c And the winner is solver0 1.75/4.71 c Got one! Elapsed wall clock time (in seconds):4.577 1.75/4.71 o 492 2.10/4.80 c And the winner is solver0 2.35/5.21 c Got one! Elapsed wall clock time (in seconds):5.078 2.35/5.21 o 486 2.35/5.24 c And the winner is solver0 2.45/5.71 c Got one! Elapsed wall clock time (in seconds):5.579 2.45/5.71 o 483 2.45/5.72 c And the winner is solver0 2.45/6.21 c Got one! Elapsed wall clock time (in seconds):6.08 2.45/6.21 o 461 2.45/6.23 c And the winner is solver0 2.55/6.71 c Got one! Elapsed wall clock time (in seconds):6.581 2.55/6.71 o 457 2.55/6.72 c And the winner is solver0 2.55/7.21 c Got one! Elapsed wall clock time (in seconds):7.082 2.55/7.21 o 433 2.55/7.22 c And the winner is solver0 2.59/7.71 c Got one! Elapsed wall clock time (in seconds):7.583 2.59/7.71 o 430 2.59/7.74 c And the winner is solver0 2.64/8.21 c Got one! Elapsed wall clock time (in seconds):8.084 2.64/8.21 o 424 2.64/8.24 c And the winner is solver0 2.71/8.71 c Got one! Elapsed wall clock time (in seconds):8.585 2.71/8.71 o 423 2.71/8.74 c And the winner is solver0 2.76/9.22 c Got one! Elapsed wall clock time (in seconds):9.086 2.76/9.22 o 421 2.76/9.23 c And the winner is solver0 2.80/9.72 c Got one! Elapsed wall clock time (in seconds):9.587 2.80/9.72 o 419 2.80/9.73 c And the winner is solver0 2.80/10.22 c Got one! Elapsed wall clock time (in seconds):10.088 2.80/10.22 o 416 2.80/10.24 c And the winner is solver0 2.88/10.72 c Got one! Elapsed wall clock time (in seconds):10.589 2.88/10.72 o 406 2.88/10.73 c And the winner is solver0 2.92/11.22 c Got one! Elapsed wall clock time (in seconds):11.09 2.92/11.22 o 400 2.92/11.23 c And the winner is solver0 2.96/11.72 c Got one! Elapsed wall clock time (in seconds):11.593 2.96/11.72 o 399 2.96/11.73 c And the winner is solver0 2.97/12.22 c Got one! Elapsed wall clock time (in seconds):12.093 2.97/12.22 o 382 2.97/12.24 c And the winner is solver0 3.03/12.72 c Got one! Elapsed wall clock time (in seconds):12.594 3.03/12.72 o 381 3.03/12.74 c And the winner is solver0 3.07/13.22 c Got one! Elapsed wall clock time (in seconds):13.095 3.07/13.22 o 379 3.07/13.26 c And the winner is solver0 3.18/13.73 c Got one! Elapsed wall clock time (in seconds):13.596 3.18/13.73 o 378 3.18/13.78 c And the winner is solver0 3.31/14.23 c Got one! Elapsed wall clock time (in seconds):14.097 3.31/14.23 o 365 3.31/14.23 c And the winner is solver0 3.33/14.73 c Got one! Elapsed wall clock time (in seconds):14.598 3.33/14.73 o 344 3.33/14.73 c And the winner is solver0 3.33/15.23 c Got one! Elapsed wall clock time (in seconds):15.099 3.33/15.23 o 335 3.33/15.24 c And the winner is solver0 3.37/15.73 c Got one! Elapsed wall clock time (in seconds):15.6 3.37/15.73 o 310 3.37/15.77 c And the winner is solver0 3.48/16.23 c Got one! Elapsed wall clock time (in seconds):16.101 3.48/16.23 o 303 3.48/16.26 c And the winner is solver0 3.55/16.73 c Got one! Elapsed wall clock time (in seconds):16.602 3.55/16.73 o 300 3.55/16.74 c And the winner is solver0 3.55/17.23 c Got one! Elapsed wall clock time (in seconds):17.103 3.55/17.23 o 298 3.55/17.25 c And the winner is solver0 3.59/17.73 c Got one! Elapsed wall clock time (in seconds):17.604 3.59/17.73 o 292 3.59/17.75 c And the winner is solver0 3.63/18.23 c Got one! Elapsed wall clock time (in seconds):18.105 3.63/18.23 o 291 3.63/18.27 c And the winner is solver0 3.71/18.74 c Got one! Elapsed wall clock time (in seconds):18.606 3.71/18.74 o 286 3.87/18.83 c cleaning 9447 clauses out of 18910 with flag 3080/18910 4.08/18.92 c And the winner is solver0 4.15/19.24 c Got one! Elapsed wall clock time (in seconds):19.107 4.15/19.24 o 285 4.15/19.25 c And the winner is solver0 4.19/19.74 c Got one! Elapsed wall clock time (in seconds):19.608 4.19/19.74 o 284 4.19/19.77 c And the winner is solver0 4.26/20.24 c Got one! Elapsed wall clock time (in seconds):20.109 4.26/20.24 o 281 4.26/20.25 c And the winner is solver0 4.31/20.74 c Got one! Elapsed wall clock time (in seconds):20.609 4.31/20.74 o 278 4.31/20.76 c And the winner is solver0 4.39/21.24 c Got one! Elapsed wall clock time (in seconds):21.11 4.39/21.24 o 274 4.39/21.26 c And the winner is solver0 4.46/21.74 c Got one! Elapsed wall clock time (in seconds):21.611 4.46/21.74 o 269 4.57/21.82 c And the winner is solver0 4.71/22.24 c Got one! Elapsed wall clock time (in seconds):22.112 4.71/22.24 o 265 4.71/22.25 c And the winner is solver0 4.71/22.74 c Got one! Elapsed wall clock time (in seconds):22.613 4.71/22.74 o 264 4.71/22.76 c And the winner is solver0 4.76/23.24 c Got one! Elapsed wall clock time (in seconds):23.114 4.76/23.24 o 256 4.76/23.26 c And the winner is solver0 4.82/23.74 c Got one! Elapsed wall clock time (in seconds):23.615 4.82/23.74 o 253 4.82/23.75 c And the winner is solver0 4.84/24.25 c Got one! Elapsed wall clock time (in seconds):24.116 4.84/24.25 o 246 4.84/24.27 c And the winner is solver0 4.94/24.75 c Got one! Elapsed wall clock time (in seconds):24.617 4.94/24.75 o 241 4.94/24.76 c And the winner is solver0 4.98/25.25 c Got one! Elapsed wall clock time (in seconds):25.118 4.98/25.25 o 239 4.98/25.27 c And the winner is solver0 5.04/25.75 c Got one! Elapsed wall clock time (in seconds):25.619 5.04/25.75 o 159 5.04/25.78 c And the winner is solver0 5.13/26.25 c Got one! Elapsed wall clock time (in seconds):26.12 5.13/26.25 o 157 5.13/26.28 c And the winner is solver0 5.23/26.75 c Got one! Elapsed wall clock time (in seconds):26.621 5.23/26.75 o 155 5.32/26.82 c cleaning 10880 clauses out of 21765 with flag 3346/31212 5.74/27.04 c cleaning 8439 clauses out of 16887 with flag 24080/37214 6.17/27.24 c And the winner is solver0 6.29/27.30 c Got one! Elapsed wall clock time (in seconds):27.172 6.29/27.30 o 143 6.48/27.45 c And the winner is solver0 6.87/27.80 c Got one! Elapsed wall clock time (in seconds):27.672 6.87/27.80 o 126 6.87/27.82 c And the winner is solver0 6.92/28.30 c Got one! Elapsed wall clock time (in seconds):28.173 6.92/28.30 o 122 6.92/28.31 c And the winner is solver0 6.92/28.80 c Got one! Elapsed wall clock time (in seconds):28.674 6.92/28.80 o 120 6.92/28.87 c And the winner is solver0 7.07/29.30 c Got one! Elapsed wall clock time (in seconds):29.175 7.07/29.30 o 119 7.07/29.39 c cleaning 10195 clauses out of 20390 with flag 3863/49156 7.60/29.50 c And the winner is solver0 7.92/29.81 c Got one! Elapsed wall clock time (in seconds):29.676 7.92/29.81 o 117 7.92/29.81 c And the winner is solver0 7.94/30.31 c Got one! Elapsed wall clock time (in seconds):30.177 7.94/30.31 o 108 7.94/30.39 c cleaning 7702 clauses out of 15409 with flag 7166/54370 8.52/30.62 c cleaning 6848 clauses out of 13710 with flag 31572/60373 8.93/30.82 c And the winner is solver0 9.03/31.31 c Got one! Elapsed wall clock time (in seconds):31.178 9.03/31.31 o 104 9.03/31.38 c And the winner is solver0 9.20/31.81 c Got one! Elapsed wall clock time (in seconds):31.679 9.20/31.81 o 98 9.60/32.02 c cleaning 9160 clauses out of 18319 with flag 16975/71830 9.60/32.07 c And the winner is solver0 9.77/32.31 c Got one! Elapsed wall clock time (in seconds):32.179 9.77/32.31 o 97 9.94/32.48 c cleaning 7432 clauses out of 14866 with flag 17255/77537 10.34/32.68 c And the winner is solver0 10.62/32.81 c Got one! Elapsed wall clock time (in seconds):32.68 10.62/32.81 o 94 11.01/33.03 c cleaning 8946 clauses out of 17896 with flag 19364/88000 11.01/33.09 c And the winner is solver0 11.39/33.31 c Got one! Elapsed wall clock time (in seconds):33.181 11.39/33.31 o 91 11.56/33.48 c cleaning 7418 clauses out of 14836 with flag 14702/93887 11.96/33.64 c And the winner is solver0 12.21/33.81 c Got one! Elapsed wall clock time (in seconds):33.682 12.21/33.81 o 76 12.21/33.83 c And the winner is solver0 12.26/34.31 c Got one! Elapsed wall clock time (in seconds):34.183 12.26/34.31 o 67 12.26/34.37 c cleaning 6875 clauses out of 13758 with flag 3821/100228 12.64/34.58 c cleaning 6437 clauses out of 12882 with flag 25373/106227 13.24/34.81 c cleaning 6717 clauses out of 13445 with flag 51590/113228 13.65/35.01 c And the winner is solver0 13.69/35.31 c Got one! Elapsed wall clock time (in seconds):35.184 13.69/35.31 o 61 14.06/35.53 c cleaning 8836 clauses out of 17675 with flag 17971/124176 14.66/35.82 c cleaning 7415 clauses out of 14838 with flag 44092/130175 15.28/36.10 c cleaning 7209 clauses out of 14424 with flag 73793/137176 15.69/36.36 c And the winner is solver0 15.85/36.82 c Got one! Elapsed wall clock time (in seconds):36.69 15.85/36.82 o 60 16.21/37.04 c cleaning 9389 clauses out of 18793 with flag 20653/148754 16.61/37.28 c cleaning 7702 clauses out of 15404 with flag 45933/154754 17.22/37.55 c cleaning 7351 clauses out of 14703 with flag 74964/161755 17.81/37.89 c cleaning 7673 clauses out of 15351 with flag 109302/169754 18.41/38.19 c And the winner is solver0 18.71/38.37 c Got one! Elapsed wall clock time (in seconds):38.242 18.71/38.37 o 57 19.01/38.60 c cleaning 10274 clauses out of 20554 with flag 19979/182631 19.60/38.85 c cleaning 8137 clauses out of 16281 with flag 46472/188632 20.20/39.12 c cleaning 7564 clauses out of 15141 with flag 77690/195629 20.80/39.43 c cleaning 7786 clauses out of 15578 with flag 113488/203630 21.41/39.77 c cleaning 8389 clauses out of 16789 with flag 150424/212629 22.20/40.18 c cleaning 9197 clauses out of 18400 with flag 191792/222629 22.40/40.28 c And the winner is solver0 22.68/40.42 c Got one! Elapsed wall clock time (in seconds):40.294 22.68/40.42 o 52 22.83/40.57 c cleaning 7475 clauses out of 14953 with flag 12921/228379 23.03/40.64 c And the winner is solver0 23.48/41.03 c Got one! Elapsed wall clock time (in seconds):40.896 23.48/41.03 o 51 23.62/41.14 c cleaning 6410 clauses out of 12839 with flag 11515/233740 24.02/41.34 c cleaning 6203 clauses out of 12425 with flag 35114/239736 24.42/41.59 c cleaning 6608 clauses out of 13222 with flag 63198/246736 25.03/41.87 c cleaning 7304 clauses out of 14613 with flag 95357/254736 25.42/42.03 c And the winner is solver0 26.46/43.03 c Got one! Elapsed wall clock time (in seconds):42.901 26.46/43.03 o 48 26.46/43.08 c cleaning 6508 clauses out of 13021 with flag 4179/260448 26.81/43.27 c cleaning 6248 clauses out of 12512 with flag 28066/266448 27.41/43.54 c cleaning 6632 clauses out of 13263 with flag 58297/273447 28.02/43.84 c cleaning 7314 clauses out of 14629 with flag 90573/281447 28.63/44.19 c cleaning 8156 clauses out of 16315 with flag 129115/290447 29.61/44.61 c cleaning 9080 clauses out of 18161 with flag 174931/300449 30.41/45.08 c cleaning 10036 clauses out of 20079 with flag 227205/311447 31.41/45.59 c cleaning 11018 clauses out of 22043 with flag 282302/323447 31.81/45.79 c And the winner is solver0 32.15/46.03 c Got one! Elapsed wall clock time (in seconds):45.904 32.15/46.03 o 28 32.49/46.28 c cleaning 10599 clauses out of 21199 with flag 25301/333622 32.88/46.47 c And the winner is solver0 33.06/46.59 c Got one! Elapsed wall clock time (in seconds):46.456 33.06/46.59 o 23 33.16/46.64 c cleaning 8095 clauses out of 16195 with flag 5022/339217 33.56/46.87 c cleaning 7048 clauses out of 14099 with flag 34936/345217 34.17/47.14 c cleaning 7022 clauses out of 14048 with flag 68899/352217 34.58/47.34 c And the winner is solver0 34.81/47.59 c Got one! Elapsed wall clock time (in seconds):47.46 34.81/47.59 o 22 35.30/47.82 c cleaning 8877 clauses out of 17755 with flag 26220/362948 35.70/48.08 c cleaning 7434 clauses out of 14875 with flag 58497/368949 36.30/48.36 c cleaning 7217 clauses out of 14436 with flag 96541/375948 36.52/48.49 c And the winner is solver0 36.78/48.61 c >>>>>>>>>> Solver number 0 (77 answers) <<<<<<<<<<<<<<<<<< 36.78/48.61 c starts : 271 36.78/48.61 c conflicts : 379425 36.78/48.61 c decisions : 562303 36.78/48.61 c propagations : 8506026 36.78/48.61 c inspects : 178812215 36.78/48.61 c shortcuts : 0 36.78/48.61 c learnt literals : 45 36.78/48.61 c learnt binary clauses : 186 36.78/48.61 c learnt ternary clauses : 972 36.78/48.61 c learnt constraints : 379379 36.78/48.61 c ignored constraints : 0 36.78/48.61 c root simplifications : 0 36.78/48.61 c removed literals (reason simplification) : 3381105 36.78/48.61 c reason swapping (by a shorter reason) : 0 36.78/48.61 c Calls to reduceDB : 46 36.78/48.61 c Number of update (reduction) of LBD : 85356 36.78/48.61 c Imported unit clauses : 0 36.78/48.61 c number of reductions to clauses (during analyze) : 0 36.78/48.61 c number of learned constraints concerned by reduction : 0 36.78/48.61 c number of learning phase by resolution : 0 36.78/48.61 c number of learning phase by cutting planes : 0 36.78/48.61 c speed (assignments/second) : 175697.14746039288 36.78/48.61 c non guided choices 2494 36.78/48.61 c learnt constraints type 36.78/48.61 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 36.78/48.61 c starts : 77 36.78/48.61 c conflicts : 396 36.78/48.61 c decisions : 6242 36.78/48.61 c propagations : 22668 36.78/48.61 c inspects : 840763 36.78/48.61 c shortcuts : 0 36.78/48.61 c learnt literals : 0 36.78/48.61 c learnt binary clauses : 0 36.78/48.61 c learnt ternary clauses : 0 36.78/48.61 c learnt constraints : 330 36.78/48.61 c ignored constraints : 0 36.78/48.61 c root simplifications : 0 36.78/48.61 c removed literals (reason simplification) : 0 36.78/48.61 c reason swapping (by a shorter reason) : 0 36.78/48.61 c Calls to reduceDB : 0 36.78/48.61 c Number of update (reduction) of LBD : 0 36.78/48.61 c Imported unit clauses : 0 36.78/48.61 c number of reductions to clauses (during analyze) : 0 36.78/48.61 c number of learned constraints concerned by reduction : 0 36.78/48.61 c number of learning phase by resolution : 0 36.78/48.61 c number of learning phase by cutting planes : 0 36.78/48.61 c speed (assignments/second) : 22289.085545722715 36.78/48.61 c non guided choices 1724 36.78/48.61 c learnt constraints type 36.78/48.61 s OPTIMUM FOUND 36.78/48.61 c Found 76 solution(s) 36.78/48.61 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 36.78/48.62 c objective function=22 36.78/48.62 c Total wall clock time (in seconds): 48.486
OK 22
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-4109357-1467321055/watcher-4109357-1467321055 -o /tmp/evaluation-result-4109357-1467321055/solver-4109357-1467321055 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467318920-6227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109357-1467321055.wbo pid=11980 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: 1.37 1.33 1.38 3/172 11983 /proc/meminfo: memFree=29883248/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/11983/stat : 11983 (java) D 11980 11983 21085 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 13058008 2560000 46 33554432000 1073741824 1073778376 140736500400384 140736500397512 273896533287 0 0 4096 0 18446744072100756772 0 0 17 3 0 0 0 0 0 /proc/11983/statm: 625 46 37 9 0 29 0 [startup+0.100062 s] /proc/loadavg: 1.37 1.33 1.38 3/172 11983 /proc/meminfo: memFree=29883248/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 4157 0 1 0 6 1 0 0 20 0 18 0 13058008 9787879424 5282 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2389619 5282 2053 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200253 s] /proc/loadavg: 1.37 1.33 1.38 3/172 11983 /proc/meminfo: memFree=29883248/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9558476 CPUtime=0.21 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 4694 0 1 0 20 1 0 0 20 0 18 0 13058008 9787879424 7313 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2389619 7313 2206 9 0 2380296 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 9558476 [startup+0.30022 s] /proc/loadavg: 1.37 1.33 1.38 3/172 11983 /proc/meminfo: memFree=29883248/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 7503 0 1 0 55 2 0 0 20 0 22 0 13058008 10060525568 9919 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2456183 9919 2247 9 0 2446860 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9824732 [startup+0.700296 s] /proc/loadavg: 1.37 1.33 1.38 3/172 11983 /proc/meminfo: memFree=29883248/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 15529 0 1 0 120 5 0 0 20 0 19 0 13058008 10060525568 13692 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2456183 13692 2254 9 0 2446860 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 9824732 [startup+1.50079 s] /proc/loadavg: 1.26 1.31 1.37 2/191 12008 /proc/meminfo: memFree=29832008/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 16203 0 1 0 129 8 0 0 20 0 19 0 13058008 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2456183 16253 2254 9 0 2446860 0 [pid=11983/tid=11985] ppid=11980 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/11983/task/11985/stat : 11985 (java) S 11980 11983 21085 0 -1 4202560 2417 0 1 0 14 2 0 0 20 0 19 0 13058009 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684821218168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11986] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11986/stat : 11986 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684810279080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11987] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11987/stat : 11987 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684809226536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=11988] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11988/stat : 11988 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684662880680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11989] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11989/stat : 11989 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684661828136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11990] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11990/stat : 11990 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684660775592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11991] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11991/stat : 11991 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684659723048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11992] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11992/stat : 11992 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684658670504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11993] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11993/stat : 11993 (java) S 11980 11983 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684657617960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11994] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11994/stat : 11994 (java) S 11980 11983 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13058012 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684645419112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11995] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11995/stat : 11995 (java) S 11980 11983 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13058013 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684644365432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11996] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11996/stat : 11996 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13058013 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684643312776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11997] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11997/stat : 11997 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058015 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684642261520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11998] ppid=11980 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/11983/task/11998/stat : 11998 (java) S 11980 11983 21085 0 -1 4202560 5310 0 0 0 38 0 0 0 20 0 19 0 13058015 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684641208888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11999] ppid=11980 vsize=9824732 CPUtime=0.37 cores=1,3,5,7 /proc/11983/task/11999/stat : 11999 (java) S 11980 11983 21085 0 -1 4202560 7122 0 0 0 35 2 0 0 20 0 19 0 13058015 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684640156344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12000] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12000/stat : 12000 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058015 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684639103992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12001] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12001/stat : 12001 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058015 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684638051656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=12005] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12005/stat : 12005 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13058028 10060525568 16253 33554432000 1073741824 1073778376 140734700037648 140684633838760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 9824732 ############ # WARNING: # current cumulated CPU time (1.43 s) is less than in the last sample (1.44 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00999999 s) to the 'lost time'. [startup+2.20077 s] /proc/loadavg: 1.26 1.31 1.37 1/191 12014 /proc/meminfo: memFree=29821520/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 16268 0 1 0 135 9 0 0 20 0 22 0 13058008 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2456183 18355 2254 9 0 2446860 0 [pid=11983/tid=11985] ppid=11980 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/11983/task/11985/stat : 11985 (java) S 11980 11983 21085 0 -1 4202560 2418 0 1 0 14 2 0 0 20 0 22 0 13058009 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684821218168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11986] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11986/stat : 11986 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058011 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684810279080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11987] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11987/stat : 11987 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058011 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684809226536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=11988] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11988/stat : 11988 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058011 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684662880680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11989] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11989/stat : 11989 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058011 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684661828136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11990] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11990/stat : 11990 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058011 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684660775592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11991] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11991/stat : 11991 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058011 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684659723048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11992] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11992/stat : 11992 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058011 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684658670504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11993] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11993/stat : 11993 (java) S 11980 11983 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13058011 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684657617960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11994] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11994/stat : 11994 (java) S 11980 11983 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13058012 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684645419112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11995] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11995/stat : 11995 (java) S 11980 11983 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 13058013 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684644365432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11996] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11996/stat : 11996 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13058013 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684643312776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11997] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11997/stat : 11997 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684642261520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11998] ppid=11980 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/11983/task/11998/stat : 11998 (java) S 11980 11983 21085 0 -1 4202560 5310 0 0 0 38 0 0 0 20 0 22 0 13058015 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684641208888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11999] ppid=11980 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/11983/task/11999/stat : 11999 (java) S 11980 11983 21085 0 -1 4202560 7170 0 0 0 40 2 0 0 20 0 22 0 13058015 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684640156344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12000] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12000/stat : 12000 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684639103992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12001] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12001/stat : 12001 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684638051656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=12005] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12005/stat : 12005 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13058028 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684633838760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12015] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12015/stat : 12015 (java) R 11980 11983 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13058229 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684636997016 140684691104080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12016] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12016/stat : 12016 (java) R 11980 11983 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13058229 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684635944152 273909070904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=12017] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12017/stat : 12017 (java) S 11980 11983 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13058229 10060525568 18355 33554432000 1073741824 1073778376 140734700037648 140684634891944 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 9824732 [startup+2.30807 s] /proc/loadavg: 1.26 1.31 1.37 1/191 12014 /proc/meminfo: memFree=29821520/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9824732 CPUtime=1.43 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 16268 0 1 0 135 8 0 0 20 0 19 0 13058008 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2456183 18349 2254 9 0 2446860 0 [pid=11983/tid=11985] ppid=11980 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/11983/task/11985/stat : 11985 (java) S 11980 11983 21085 0 -1 4202560 2418 0 1 0 14 2 0 0 20 0 19 0 13058009 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684821218168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11986] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11986/stat : 11986 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684810279080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11987] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11987/stat : 11987 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684809226536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=11988] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11988/stat : 11988 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684662880680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11989] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11989/stat : 11989 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684661828136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11990] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11990/stat : 11990 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684660775592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11991] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11991/stat : 11991 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684659723048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11992] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11992/stat : 11992 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684658670504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11993] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11993/stat : 11993 (java) S 11980 11983 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13058011 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684657617960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11994] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11994/stat : 11994 (java) S 11980 11983 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13058012 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684645419112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11995] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11995/stat : 11995 (java) S 11980 11983 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13058013 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684644365432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11996] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11996/stat : 11996 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13058013 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684643312776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11997] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11997/stat : 11997 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058015 10060525568 18349 33554432000 1073741824 1073778376 140734700037648 140684642261520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ /proc/11983/task/11998/stat : 11998 (java) S 11980 11983 21085 0 -1 4202560 14798 0 0 0 126 2 0 0 20 0 22 0 13058015 10060525568 53538 33554432000 1073741824 1073778376 140734700037648 140684641208888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11999] ppid=11980 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/11983/task/11999/stat : 11999 (java) S 11980 11983 21085 0 -1 4202560 7231 0 0 0 82 2 0 0 20 0 22 0 13058015 10060525568 53538 33554432000 1073741824 1073778376 140734700037648 140684640156344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12000] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12000/stat : 12000 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 53538 33554432000 1073741824 1073778376 140734700037648 140684639103992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12001] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12001/stat : 12001 (java) S 11980 11983 21085 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 53538 33554432000 1073741824 1073778376 140734700037648 140684638051656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=12005] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12005/stat : 12005 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13058028 10060525568 53538 33554432000 1073741824 1073778376 140734700037648 140684633838760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12225] ppid=11980 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/11983/task/12225/stat : 12225 (java) R 11980 11983 21085 0 -1 4202560 2 0 0 0 34 0 0 0 20 0 22 0 13062612 10060525568 53538 33554432000 1073741824 1073778376 140734700037648 140684634893784 140684691015136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12226] ppid=11980 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/11983/task/12226/stat : 12226 (java) R 11980 11983 21085 0 -1 4202560 3 0 0 0 34 0 0 0 20 0 22 0 13062612 10060525568 53538 33554432000 1073741824 1073778376 140734700037648 140684635943384 140684691064385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12227] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12227/stat : 12227 (java) S 11980 11983 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13062612 10060525568 53538 33554432000 1073741824 1073778376 140734700037648 140684636996520 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 32.87 Current children cumulated vsize (KiB) 9824732 [startup+48.0008 s] /proc/loadavg: 0.91 1.20 1.33 3/193 12230 /proc/meminfo: memFree=29677484/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9824732 CPUtime=35.69 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 26674 0 1 0 3431 138 0 0 20 0 22 0 13058008 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2456183 53095 2287 9 0 2446860 0 [pid=11983/tid=11985] ppid=11980 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/11983/task/11985/stat : 11985 (java) S 11980 11983 21085 0 -1 4202560 2425 0 1 0 20 2 0 0 20 0 22 0 13058009 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684821218168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11986] ppid=11980 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/11983/task/11986/stat : 11986 (java) S 11980 11983 21085 0 -1 4202560 41 0 0 0 5 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684810279080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=11987] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11987/stat : 11987 (java) S 11980 11983 21085 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684809226536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11988] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11988/stat : 11988 (java) S 11980 11983 21085 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684662880680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11989] ppid=11980 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/11983/task/11989/stat : 11989 (java) S 11980 11983 21085 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684661828136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11990] ppid=11980 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/11983/task/11990/stat : 11990 (java) S 11980 11983 21085 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684660775592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11991] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11991/stat : 11991 (java) S 11980 11983 21085 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684659723048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11992] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11992/stat : 11992 (java) S 11980 11983 21085 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684658670504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11993] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11993/stat : 11993 (java) S 11980 11983 21085 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684657617960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11994] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11994/stat : 11994 (java) S 11980 11983 21085 0 -1 4202560 11 0 0 0 1 2 0 0 20 0 22 0 13058012 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684645419112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11995] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11995/stat : 11995 (java) S 11980 11983 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13058013 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684644365432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11996] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11996/stat : 11996 (java) S 11980 11983 21085 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 13058013 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684643312776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11997] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11997/stat : 11997 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684642261520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11998] ppid=11980 vsize=9824732 CPUtime=1.28 cores=1,3,5,7 /proc/11983/task/11998/stat : 11998 (java) S 11980 11983 21085 0 -1 4202560 14798 0 0 0 126 2 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684641208888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11999] ppid=11980 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/11983/task/11999/stat : 11999 (java) S 11980 11983 21085 0 -1 4202560 7231 0 0 0 82 2 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684640156344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12000] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12000/stat : 12000 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684639103992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12001] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12001/stat : 12001 (java) S 11980 11983 21085 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684638051656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=12005] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12005/stat : 12005 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13058028 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684633838760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 35.69 Current children cumulated vsize (KiB) 9824732 [startup+48.4008 s] /proc/loadavg: 0.91 1.20 1.33 3/193 12233 /proc/meminfo: memFree=29677732/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9824732 CPUtime=36.51 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 26674 0 1 0 3513 138 0 0 20 0 22 0 13058008 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2456183 53095 2287 9 0 2446860 0 [pid=11983/tid=11985] ppid=11980 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/11983/task/11985/stat : 11985 (java) S 11980 11983 21085 0 -1 4202560 2425 0 1 0 20 2 0 0 20 0 22 0 13058009 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684821218168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11986] ppid=11980 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/11983/task/11986/stat : 11986 (java) S 11980 11983 21085 0 -1 4202560 41 0 0 0 5 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684810279080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=11987] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11987/stat : 11987 (java) S 11980 11983 21085 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684809226536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11988] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11988/stat : 11988 (java) S 11980 11983 21085 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684662880680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11989] ppid=11980 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/11983/task/11989/stat : 11989 (java) S 11980 11983 21085 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684661828136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11990] ppid=11980 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/11983/task/11990/stat : 11990 (java) S 11980 11983 21085 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684660775592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11991] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11991/stat : 11991 (java) S 11980 11983 21085 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684659723048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11992] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11992/stat : 11992 (java) S 11980 11983 21085 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684658670504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11993] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11993/stat : 11993 (java) S 11980 11983 21085 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 13058011 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684657617960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11994] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11994/stat : 11994 (java) S 11980 11983 21085 0 -1 4202560 11 0 0 0 1 2 0 0 20 0 22 0 13058012 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684645419112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11995] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11995/stat : 11995 (java) S 11980 11983 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13058013 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684644365432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11996] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11996/stat : 11996 (java) S 11980 11983 21085 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 13058013 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684643312776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11997] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11997/stat : 11997 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684642261520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11998] ppid=11980 vsize=9824732 CPUtime=1.28 cores=1,3,5,7 /proc/11983/task/11998/stat : 11998 (java) S 11980 11983 21085 0 -1 4202560 14798 0 0 0 126 2 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684641208888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11999] ppid=11980 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/11983/task/11999/stat : 11999 (java) S 11980 11983 21085 0 -1 4202560 7231 0 0 0 82 2 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684640156344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12000] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12000/stat : 12000 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684639103992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12001] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12001/stat : 12001 (java) S 11980 11983 21085 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13058015 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684638051656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=12005] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12005/stat : 12005 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13058028 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684633838760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12231] ppid=11980 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/11983/task/12231/stat : 12231 (java) R 11980 11983 21085 0 -1 4202560 2 0 0 0 79 0 0 0 20 0 22 0 13062768 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684636998872 140684691046052 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12232] ppid=11980 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/11983/task/12232/stat : 12232 (java) R 11980 11983 21085 0 -1 4202560 2 0 0 0 79 0 0 0 20 0 22 0 13062768 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684634891736 140684691064385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12233] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12233/stat : 12233 (java) S 11980 11983 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13062768 10060525568 53095 33554432000 1073741824 1073778376 140734700037648 140684635944616 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 36.51 Current children cumulated vsize (KiB) 9824732 [startup+48.6008 s] /proc/loadavg: 0.91 1.20 1.33 3/193 12233 /proc/meminfo: memFree=29677732/32872528 swapFree=1484672/1662500 [pid=11983] ppid=11980 vsize=9824732 CPUtime=36.77 cores=1,3,5,7 /proc/11983/stat : 11983 (java) S 11980 11983 21085 0 -1 4202496 26674 0 1 0 3537 140 0 0 20 0 19 0 13058008 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140734700028784 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11983/statm: 2456183 53089 2287 9 0 2446860 0 [pid=11983/tid=11985] ppid=11980 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/11983/task/11985/stat : 11985 (java) R 11980 11983 21085 0 -1 4202560 2425 0 1 0 20 2 0 0 20 0 19 0 13058009 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684821218168 140684690554663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11986] ppid=11980 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/11983/task/11986/stat : 11986 (java) S 11980 11983 21085 0 -1 4202560 41 0 0 0 5 0 0 0 20 0 19 0 13058011 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684810279080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=11987] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11987/stat : 11987 (java) S 11980 11983 21085 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 13058011 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684809226536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11988] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11988/stat : 11988 (java) S 11980 11983 21085 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 13058011 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684662880680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11989] ppid=11980 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/11983/task/11989/stat : 11989 (java) S 11980 11983 21085 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 19 0 13058011 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684661828136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11990] ppid=11980 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/11983/task/11990/stat : 11990 (java) S 11980 11983 21085 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 13058011 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684660775592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11991] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11991/stat : 11991 (java) S 11980 11983 21085 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 13058011 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684659723048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11983/tid=11992] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11992/stat : 11992 (java) S 11980 11983 21085 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 13058011 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684658670504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11993] ppid=11980 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11983/task/11993/stat : 11993 (java) S 11980 11983 21085 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 13058011 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684657617960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11994] ppid=11980 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11983/task/11994/stat : 11994 (java) S 11980 11983 21085 0 -1 4202560 11 0 0 0 1 2 0 0 20 0 19 0 13058012 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684645419112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11995] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11995/stat : 11995 (java) S 11980 11983 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13058013 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684644365432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11996] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11996/stat : 11996 (java) S 11980 11983 21085 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 19 0 13058013 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684643312776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11997] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/11997/stat : 11997 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058015 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684642261520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=11998] ppid=11980 vsize=9824732 CPUtime=1.28 cores=1,3,5,7 /proc/11983/task/11998/stat : 11998 (java) S 11980 11983 21085 0 -1 4202560 14798 0 0 0 126 2 0 0 20 0 19 0 13058015 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684641208888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=11999] ppid=11980 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/11983/task/11999/stat : 11999 (java) S 11980 11983 21085 0 -1 4202560 7231 0 0 0 82 2 0 0 20 0 19 0 13058015 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684640156344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11983/tid=12000] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12000/stat : 12000 (java) S 11980 11983 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13058015 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684639103992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11983/tid=12001] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12001/stat : 12001 (java) S 11980 11983 21085 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13058015 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684638051656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11983/tid=12005] ppid=11980 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11983/task/12005/stat : 12005 (java) S 11980 11983 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13058028 10060525568 53089 33554432000 1073741824 1073778376 140734700037648 140684633838760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 36.77 Current children cumulated vsize (KiB) 9824732 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.00999999 # lost CPU user time (s): 0 # lost CPU system time (s): 0.01 Real time (s): 48.634 CPU time (s): 36.9084 CPU user time (s): 35.4256 CPU system time (s): 1.48278 CPU usage (%): 75.8901 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.4256 system time used= 1.47278 maximum resident set size= 214916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26687 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= 3312 involuntary context switches= 1131 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.166974 second user time and 0.240963 second system time The end
Begin job on node134 at 2016-06-30 23:10:55 IDJOB=4109357 IDBENCH=78788 IDSOLVER=2552 FILE ID=node134/4109357-1467321055 RUNJOBID= node134-1467318920-6227 PBS_JOBID= 20005262 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109357-1467321055/watcher-4109357-1467321055 -o /tmp/evaluation-result-4109357-1467321055/solver-4109357-1467321055 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467318920-6227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109357-1467321055.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67ae8b264a7332f0f782a64868c40f1f RANDOM SEED=295944346 node134.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.738 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 : 5333.47 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.738 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 : 7358.89 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.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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.738 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.738 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29883776 kB Buffers: 174168 kB Cached: 392732 kB SwapCached: 0 kB Active: 253236 kB Inactive: 328428 kB Active(anon): 11500 kB Inactive(anon): 5960 kB Active(file): 241736 kB Inactive(file): 322468 kB Unevictable: 1662500 kB Mlocked: 1484672 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 816 kB Writeback: 0 kB AnonPages: 1677360 kB Mapped: 13228 kB Shmem: 216 kB Slab: 612304 kB SReclaimable: 56360 kB SUnreclaim: 555944 kB KernelStack: 1424 kB PageTables: 7124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1761956 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 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= 71708 MiB End job on node134 at 2016-06-30 23:11:44