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 | 48.3366 | 50.6392 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo |
| MD5SUM | 014e6d9d1387f6cdb0c56035ad106b75 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 36 |
| Best CPU time to get the best result obtained on this benchmark | 16.4705 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 5180 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 5179 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1266 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/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.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-4110241-1466345808.wbo 0.08/0.13 c reading problem ... 0.22/0.20 c ... done. Wall clock time 0.067s. 0.22/0.20 c declared #vars 169 0.22/0.20 c internal #vars 270 0.22/0.20 c #constraints 101 0.22/0.20 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.22/0.20 c constraints type 0.22/0.20 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.22/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.22/0.20 c 101 constraints processed. 0.22/0.20 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.22/0.20 c constraints type 0.22/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.22/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.22/0.20 c 101 constraints processed. 0.22/0.20 c objective function length is 101 literals 0.57/0.39 c And the winner is solver0 1.30/0.70 c SATISFIABLE 1.30/0.70 c OPTIMIZING... 1.30/0.70 c Got one! Elapsed wall clock time (in seconds):0.572 1.30/0.70 o 478 1.30/0.72 c And the winner is solver0 1.37/1.20 c Got one! Elapsed wall clock time (in seconds):1.073 1.37/1.20 o 475 1.72/1.33 c And the winner is solver0 2.01/1.71 c Got one! Elapsed wall clock time (in seconds):1.575 2.01/1.71 o 470 2.01/1.79 c And the winner is solver0 2.36/2.21 c Got one! Elapsed wall clock time (in seconds):2.076 2.36/2.21 o 469 2.65/2.31 c And the winner is solver0 2.74/2.71 c Got one! Elapsed wall clock time (in seconds):2.578 2.74/2.71 o 463 2.74/2.73 c And the winner is solver0 2.81/3.21 c Got one! Elapsed wall clock time (in seconds):3.079 2.81/3.21 o 453 2.81/3.24 c And the winner is solver0 2.92/3.71 c Got one! Elapsed wall clock time (in seconds):3.581 2.92/3.71 o 452 2.92/3.72 c And the winner is solver0 2.92/4.21 c Got one! Elapsed wall clock time (in seconds):4.082 2.92/4.21 o 411 2.92/4.23 c And the winner is solver0 2.97/4.71 c Got one! Elapsed wall clock time (in seconds):4.584 2.97/4.71 o 408 3.16/4.80 c cleaning 3975 clauses out of 7963 with flag 3383/7963 3.41/4.95 c And the winner is solver0 3.58/5.22 c Got one! Elapsed wall clock time (in seconds):5.085 3.58/5.22 o 393 3.58/5.23 c And the winner is solver0 3.61/5.72 c Got one! Elapsed wall clock time (in seconds):5.586 3.61/5.72 o 382 3.77/5.81 c cleaning 4619 clauses out of 9237 with flag 7346/13212 3.97/5.94 c And the winner is solver0 4.11/6.22 c Got one! Elapsed wall clock time (in seconds):6.087 4.11/6.22 o 376 4.11/6.27 c And the winner is solver0 4.23/6.72 c Got one! Elapsed wall clock time (in seconds):6.588 4.23/6.72 o 370 4.39/6.83 c cleaning 5059 clauses out of 10137 with flag 7162/18731 4.39/6.87 c And the winner is solver0 4.56/7.22 c Got one! Elapsed wall clock time (in seconds):7.09 4.56/7.22 o 362 4.71/7.34 c And the winner is solver0 4.81/7.72 c Got one! Elapsed wall clock time (in seconds):7.591 4.81/7.72 o 361 4.97/7.83 c And the winner is solver0 5.07/8.22 c Got one! Elapsed wall clock time (in seconds):8.092 5.07/8.22 o 357 5.07/8.27 c And the winner is solver0 5.19/8.72 c Got one! Elapsed wall clock time (in seconds):8.593 5.19/8.72 o 339 5.19/8.78 c cleaning 6238 clauses out of 12486 with flag 3556/26139 5.19/8.79 c And the winner is solver0 5.37/9.22 c Got one! Elapsed wall clock time (in seconds):9.094 5.37/9.22 o 338 5.37/9.24 c And the winner is solver0 5.43/9.73 c Got one! Elapsed wall clock time (in seconds):9.595 5.43/9.73 o 337 5.57/9.87 c And the winner is solver0 5.74/10.23 c Got one! Elapsed wall clock time (in seconds):10.096 5.74/10.23 o 323 5.88/10.33 c cleaning 5982 clauses out of 11965 with flag 7724/31856 6.10/10.48 c And the winner is solver0 6.29/10.73 c Got one! Elapsed wall clock time (in seconds):10.597 6.29/10.73 o 315 6.43/10.84 c cleaning 5590 clauses out of 11202 with flag 8089/37075 6.87/11.06 c And the winner is solver0 6.99/11.23 c Got one! Elapsed wall clock time (in seconds):11.099 6.99/11.23 o 314 6.99/11.28 c cleaning 5437 clauses out of 10879 with flag 3474/42342 7.14/11.30 c And the winner is solver0 7.27/11.73 c Got one! Elapsed wall clock time (in seconds):11.6 7.27/11.73 o 294 7.27/11.74 c And the winner is solver0 7.32/12.23 c Got one! Elapsed wall clock time (in seconds):12.101 7.32/12.23 o 273 7.45/12.30 c And the winner is solver0 7.48/12.73 c Got one! Elapsed wall clock time (in seconds):12.602 7.48/12.73 o 271 7.62/12.84 c And the winner is solver0 7.98/13.23 c Got one! Elapsed wall clock time (in seconds):13.103 7.98/13.23 o 263 8.11/13.35 c cleaning 5885 clauses out of 11778 with flag 7143/48678 8.11/13.36 c And the winner is solver0 8.28/13.73 c Got one! Elapsed wall clock time (in seconds):13.604 8.28/13.73 o 262 8.39/13.89 c And the winner is solver0 8.66/14.24 c Got one! Elapsed wall clock time (in seconds):14.105 8.66/14.24 o 258 8.80/14.33 c And the winner is solver0 8.88/14.74 c Got one! Elapsed wall clock time (in seconds):14.607 8.88/14.74 o 245 9.00/14.80 c cleaning 6201 clauses out of 12414 with flag 3524/55199 9.40/15.06 c And the winner is solver0 9.54/15.24 c Got one! Elapsed wall clock time (in seconds):15.108 9.54/15.24 o 244 9.54/15.26 c And the winner is solver0 9.62/15.74 c Got one! Elapsed wall clock time (in seconds):15.609 9.62/15.74 o 243 9.62/15.79 c And the winner is solver0 9.73/16.24 c Got one! Elapsed wall clock time (in seconds):16.11 9.73/16.24 o 236 9.83/16.32 c And the winner is solver0 9.92/16.74 c Got one! Elapsed wall clock time (in seconds):16.611 9.92/16.74 o 222 10.39/16.91 c And the winner is solver0 10.43/17.24 c Got one! Elapsed wall clock time (in seconds):17.112 10.43/17.24 o 193 10.53/17.36 c And the winner is solver0 10.69/17.74 c Got one! Elapsed wall clock time (in seconds):17.613 10.69/17.74 o 187 10.69/17.77 c And the winner is solver0 10.77/18.25 c Got one! Elapsed wall clock time (in seconds):18.115 10.77/18.25 o 181 10.89/18.31 c And the winner is solver0 10.93/18.75 c Got one! Elapsed wall clock time (in seconds):18.616 10.93/18.75 o 178 10.93/18.76 c And the winner is solver0 11.03/19.25 c Got one! Elapsed wall clock time (in seconds):19.117 11.03/19.25 o 172 11.13/19.34 c cleaning 10581 clauses out of 21162 with flag 3653/70148 11.13/19.35 c And the winner is solver0 11.27/19.75 c Got one! Elapsed wall clock time (in seconds):19.618 11.27/19.75 o 162 11.38/19.84 c And the winner is solver0 11.47/20.25 c Got one! Elapsed wall clock time (in seconds):20.119 11.47/20.25 o 158 11.59/20.34 c And the winner is solver0 11.71/20.75 c Got one! Elapsed wall clock time (in seconds):20.62 11.71/20.75 o 156 11.80/20.85 c And the winner is solver0 11.93/21.25 c Got one! Elapsed wall clock time (in seconds):21.12 11.93/21.25 o 155 12.02/21.35 c And the winner is solver0 12.15/21.75 c Got one! Elapsed wall clock time (in seconds):21.621 12.15/21.75 o 144 12.24/21.82 c cleaning 9091 clauses out of 18189 with flag 3712/77756 12.24/21.84 c And the winner is solver0 12.37/22.25 c Got one! Elapsed wall clock time (in seconds):22.123 12.37/22.25 o 137 12.46/22.33 c And the winner is solver0 12.57/22.75 c Got one! Elapsed wall clock time (in seconds):22.624 12.57/22.75 o 135 12.57/22.78 c And the winner is solver0 12.64/23.26 c Got one! Elapsed wall clock time (in seconds):23.125 12.64/23.26 o 132 12.64/23.27 c And the winner is solver0 12.66/23.76 c Got one! Elapsed wall clock time (in seconds):23.626 12.66/23.76 o 127 12.74/23.81 c And the winner is solver0 12.80/24.26 c Got one! Elapsed wall clock time (in seconds):24.127 12.80/24.26 o 113 12.80/24.28 c And the winner is solver0 12.89/24.76 c Got one! Elapsed wall clock time (in seconds):24.628 12.89/24.76 o 109 12.98/24.83 c And the winner is solver0 13.08/25.26 c Got one! Elapsed wall clock time (in seconds):25.129 13.08/25.26 o 105 13.17/25.31 c And the winner is solver0 13.21/25.76 c Got one! Elapsed wall clock time (in seconds):25.629 13.21/25.76 o 102 13.29/25.81 c And the winner is solver0 13.35/26.26 c Got one! Elapsed wall clock time (in seconds):26.13 13.35/26.26 o 98 13.66/26.42 c cleaning 8986 clauses out of 17972 with flag 8773/86630 13.66/26.47 c And the winner is solver0 14.11/26.76 c Got one! Elapsed wall clock time (in seconds):26.632 14.11/26.76 o 89 14.11/26.79 c And the winner is solver0 14.18/27.26 c Got one! Elapsed wall clock time (in seconds):27.133 14.18/27.26 o 88 14.25/27.33 c And the winner is solver0 14.33/27.77 c Got one! Elapsed wall clock time (in seconds):27.635 14.33/27.77 o 84 14.33/27.79 c And the winner is solver0 14.39/28.27 c Got one! Elapsed wall clock time (in seconds):28.137 14.39/28.27 o 81 14.44/28.31 c And the winner is solver0 14.48/28.77 c Got one! Elapsed wall clock time (in seconds):28.64 14.48/28.77 o 80 14.54/28.81 c And the winner is solver0 14.65/29.27 c Got one! Elapsed wall clock time (in seconds):29.144 14.65/29.27 o 79 14.65/29.29 c And the winner is solver0 14.71/29.78 c Got one! Elapsed wall clock time (in seconds):29.647 14.71/29.78 o 78 14.71/29.79 c And the winner is solver0 14.76/30.28 c Got one! Elapsed wall clock time (in seconds):30.15 14.76/30.28 o 73 15.02/30.48 c cleaning 8415 clauses out of 16834 with flag 13361/94478 15.88/30.78 c cleaning 7209 clauses out of 14419 with flag 40580/100478 16.20/30.83 c And the winner is solver0 16.29/31.28 c Got one! Elapsed wall clock time (in seconds):31.153 16.29/31.28 o 69 16.53/31.47 c cleaning 6196 clauses out of 12403 with flag 13971/105671 16.93/31.60 c And the winner is solver0 16.99/31.79 c Got one! Elapsed wall clock time (in seconds):31.657 16.99/31.79 o 67 17.00/31.89 c cleaning 5666 clauses out of 11345 with flag 7166/110809 17.21/31.96 c And the winner is solver0 17.35/32.30 c Got one! Elapsed wall clock time (in seconds):32.162 17.35/32.30 o 62 17.56/32.48 c cleaning 5715 clauses out of 11442 with flag 16857/116572 18.16/32.76 c cleaning 5861 clauses out of 11726 with flag 45235/122571 18.36/32.81 c And the winner is solver0 18.42/33.30 c Got one! Elapsed wall clock time (in seconds):33.167 18.42/33.30 o 58 18.62/33.49 c cleaning 5636 clauses out of 11271 with flag 15218/127977 19.02/33.69 c And the winner is solver0 19.22/33.80 c Got one! Elapsed wall clock time (in seconds):33.672 19.22/33.80 o 51 19.22/33.86 c cleaning 5636 clauses out of 11281 with flag 3370/133623 19.82/34.11 c cleaning 5816 clauses out of 11645 with flag 23762/139623 20.41/34.40 c cleaning 6412 clauses out of 12830 with flag 48534/146624 20.41/34.45 c And the winner is solver0 20.55/34.81 c Got one! Elapsed wall clock time (in seconds):34.677 20.55/34.81 o 50 20.73/34.99 c cleaning 5863 clauses out of 11738 with flag 16239/151944 21.34/35.26 c cleaning 5927 clauses out of 11873 with flag 42290/157942 21.54/35.40 c And the winner is solver0 21.80/35.81 c Got one! Elapsed wall clock time (in seconds):35.683 21.80/35.81 o 49 21.96/35.95 c cleaning 5940 clauses out of 11882 with flag 12447/163878 22.56/36.22 c cleaning 5965 clauses out of 11942 with flag 40291/169878 23.16/36.54 c cleaning 6485 clauses out of 12978 with flag 73507/176879 23.96/36.92 c cleaning 7242 clauses out of 14491 with flag 110397/184878 24.77/37.36 c cleaning 8115 clauses out of 16249 with flag 149771/193878 25.77/37.89 c cleaning 9060 clauses out of 18134 with flag 197712/203878 26.17/38.08 c And the winner is solver0 26.55/38.37 c Got one! Elapsed wall clock time (in seconds):38.239 26.55/38.37 o 45 26.64/38.47 c cleaning 7467 clauses out of 14938 with flag 8207/209742 27.24/38.75 c cleaning 6731 clauses out of 13470 with flag 36424/215741 27.85/39.09 c cleaning 6860 clauses out of 13739 with flag 65580/222742 28.65/39.49 c cleaning 7434 clauses out of 14878 with flag 99539/230741 29.66/39.93 c cleaning 8216 clauses out of 16442 with flag 134796/239741 30.66/40.48 c cleaning 9107 clauses out of 18226 with flag 176871/249741 31.86/41.08 c cleaning 10055 clauses out of 20119 with flag 225820/260742 32.87/41.52 c And the winner is solver0 32.95/41.88 c Got one! Elapsed wall clock time (in seconds):41.746 32.95/41.88 o 43 33.38/42.18 c cleaning 11536 clauses out of 23078 with flag 20526/273756 33.98/42.49 c cleaning 8760 clauses out of 17542 with flag 47184/279757 34.78/42.83 c cleaning 7872 clauses out of 15781 with flag 80295/286756 35.58/43.26 c And the winner is solver0 35.73/43.39 c Got one! Elapsed wall clock time (in seconds):43.254 35.73/43.39 o 39 36.15/43.69 c cleaning 10444 clauses out of 20899 with flag 22027/299746 36.75/44.00 c cleaning 8222 clauses out of 16457 with flag 51034/305748 37.56/44.35 c cleaning 7616 clauses out of 15232 with flag 82583/312746 37.96/44.52 c And the winner is solver0 38.04/44.89 c Got one! Elapsed wall clock time (in seconds):44.764 38.04/44.89 o 38 38.04/44.96 c cleaning 6322 clauses out of 12669 with flag 4624/317799 38.65/45.21 c cleaning 6170 clauses out of 12346 with flag 32986/323799 39.23/45.52 c cleaning 6584 clauses out of 13176 with flag 63673/330799 40.03/45.92 c cleaning 7292 clauses out of 14592 with flag 100842/338800 40.85/46.37 c cleaning 8144 clauses out of 16299 with flag 142696/347801 42.03/46.91 c cleaning 9072 clauses out of 18153 with flag 190330/357799 43.23/47.52 c cleaning 10035 clauses out of 20079 with flag 249487/368799 44.43/48.18 c cleaning 11020 clauses out of 22042 with flag 304663/380799 46.02/48.95 c cleaning 12006 clauses out of 24019 with flag 364305/393800 46.62/49.22 c And the winner is solver0 46.95/49.51 c Got one! Elapsed wall clock time (in seconds):49.376 46.95/49.51 o 37 46.95/49.59 c And the winner is solver0 47.14/50.02 c Got one! Elapsed wall clock time (in seconds):49.888 47.14/50.02 o 36 47.69/50.32 c cleaning 11190 clauses out of 22383 with flag 20283/404177 48.08/50.51 c And the winner is solver0 48.18/50.63 c >>>>>>>>>> Solver number 0 (74 answers) <<<<<<<<<<<<<<<<<< 48.18/50.63 c starts : 296 48.18/50.63 c conflicts : 408035 48.18/50.63 c decisions : 704898 48.18/50.63 c propagations : 12865180 48.18/50.63 c inspects : 219515928 48.18/50.63 c shortcuts : 0 48.18/50.63 c learnt literals : 38 48.18/50.63 c learnt binary clauses : 60 48.18/50.63 c learnt ternary clauses : 1171 48.18/50.63 c learnt constraints : 407996 48.18/50.63 c ignored constraints : 0 48.18/50.63 c root simplifications : 0 48.18/50.63 c removed literals (reason simplification) : 313647 48.18/50.63 c reason swapping (by a shorter reason) : 0 48.18/50.63 c Calls to reduceDB : 53 48.18/50.63 c Number of update (reduction) of LBD : 129164 48.18/50.63 c Imported unit clauses : 0 48.18/50.63 c number of reductions to clauses (during analyze) : 0 48.18/50.63 c number of learned constraints concerned by reduction : 0 48.18/50.63 c number of learning phase by resolution : 0 48.18/50.63 c number of learning phase by cutting planes : 0 48.18/50.63 c speed (assignments/second) : 255150.13287850542 48.18/50.63 c non guided choices 3311 48.18/50.63 c learnt constraints type 48.18/50.63 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 48.18/50.63 c starts : 75 48.18/50.63 c conflicts : 761 48.18/50.63 c decisions : 10937 48.18/50.63 c propagations : 41969 48.18/50.63 c inspects : 3332107 48.18/50.63 c shortcuts : 0 48.18/50.63 c learnt literals : 0 48.18/50.63 c learnt binary clauses : 0 48.18/50.63 c learnt ternary clauses : 0 48.18/50.63 c learnt constraints : 702 48.18/50.63 c ignored constraints : 0 48.18/50.63 c root simplifications : 0 48.18/50.63 c removed literals (reason simplification) : 0 48.18/50.63 c reason swapping (by a shorter reason) : 0 48.18/50.63 c Calls to reduceDB : 0 48.18/50.63 c Number of update (reduction) of LBD : 0 48.18/50.63 c Imported unit clauses : 0 48.18/50.63 c number of reductions to clauses (during analyze) : 0 48.18/50.63 c number of learned constraints concerned by reduction : 0 48.18/50.63 c number of learning phase by resolution : 0 48.18/50.63 c number of learning phase by cutting planes : 0 48.18/50.63 c speed (assignments/second) : 72862.84722222223 48.18/50.63 c non guided choices 608 48.18/50.63 c learnt constraints type 48.18/50.63 s OPTIMUM FOUND 48.18/50.63 c Found 73 solution(s) 48.18/50.63 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 48.18/50.63 c objective function=36 48.18/50.63 c Total wall clock time (in seconds): 50.499
OK 36
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-4110241-1466345808/watcher-4110241-1466345808 -o /tmp/evaluation-result-4110241-1466345808/solver-4110241-1466345808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466345807-8836 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110241-1466345808.wbo pid=8857 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.69 2.00 1.99 3/175 8864 /proc/meminfo: memFree=31316948/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/8864/stat : 8864 (java) D 8857 8864 5514 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 36627550 9515008 184 33554432000 1073741824 1073778376 140737044733360 140737044724584 242167213495 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/8864/statm: 2323 184 142 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 1.69 2.00 1.99 3/175 8864 /proc/meminfo: memFree=31316948/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 4300 0 1 0 7 1 0 0 20 0 18 0 36627550 9787879424 5428 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2389619 5428 2097 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200213 s] /proc/loadavg: 1.69 2.00 1.99 3/175 8864 /proc/meminfo: memFree=31316948/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 4701 0 1 0 21 1 0 0 20 0 18 0 36627550 9787879424 7309 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2389619 7309 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300214 s] /proc/loadavg: 1.69 2.00 1.99 3/175 8864 /proc/meminfo: memFree=31316948/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 7598 0 1 0 56 1 0 0 20 0 22 0 36627550 10060525568 10091 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2456183 10091 2249 9 0 2446860 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9824732 [startup+0.700303 s] /proc/loadavg: 1.69 2.00 1.99 3/175 8864 /proc/meminfo: memFree=31316948/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9824732 CPUtime=1.3 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 14815 0 1 0 126 4 0 0 20 0 19 0 36627550 10060525568 13862 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2456183 13862 2254 9 0 2446860 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 9824732 [startup+1.50083 s] /proc/loadavg: 1.69 2.00 1.99 2/213 8914 /proc/meminfo: memFree=31208612/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9824732 CPUtime=2.01 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 17104 0 1 0 192 9 0 0 20 0 19 0 36627550 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2456183 20613 2260 9 0 2446860 0 [pid=8864/tid=8867] ppid=8857 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/8864/task/8867/stat : 8867 (java) S 8857 8864 5514 0 -1 4202560 2420 0 1 0 16 1 0 0 20 0 19 0 36627551 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208913298296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8870] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8870/stat : 8870 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208874789928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8873] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8873/stat : 8873 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208873737128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8875] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8875/stat : 8875 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208754387752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8877] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8877/stat : 8877 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208753334952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8879] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8879/stat : 8879 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208752282152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8882] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8882/stat : 8882 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208751229352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8883] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8883/stat : 8883 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208750176552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8884] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8884/stat : 8884 (java) S 8857 8864 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208749123752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8886] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8886/stat : 8886 (java) S 8857 8864 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208266796008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8889] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8889/stat : 8889 (java) S 8857 8864 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208265742072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8890] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8890/stat : 8890 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208264689160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8892] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8892/stat : 8892 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208263637648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8894] ppid=8857 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/8864/task/8894/stat : 8894 (java) S 8857 8864 5514 0 -1 4202560 7117 0 0 0 53 1 0 0 20 0 19 0 36627557 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208262584760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8895] ppid=8857 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/8864/task/8895/stat : 8895 (java) S 8857 8864 5514 0 -1 4202560 6211 0 0 0 57 0 0 0 20 0 19 0 36627557 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208261531960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8897] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8897/stat : 8897 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208260479352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8900] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8900/stat : 8900 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208259426760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8907] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8907/stat : 8907 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36627571 10060525568 20613 33554432000 1073741824 1073778376 140737062874560 140208256267688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.01 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 1.69 2.00 1.99 4/213 8926 /proc/meminfo: memFree=31166404/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9824732 CPUtime=2.81 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 19515 0 1 0 266 15 0 0 20 0 19 0 36627550 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2456183 32912 2268 9 0 2446860 0 [pid=8864/tid=8867] ppid=8857 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/8864/task/8867/stat : 8867 (java) S 8857 8864 5514 0 -1 4202560 2421 0 1 0 16 1 0 0 20 0 19 0 36627551 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208913298296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8870] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8870/stat : 8870 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208874789928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8873] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8873/stat : 8873 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208873737128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8875] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8875/stat : 8875 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208754387752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8877] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8877/stat : 8877 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208753334952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8879] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8879/stat : 8879 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208752282152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8882] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8882/stat : 8882 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208751229352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8883] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8883/stat : 8883 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208750176552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8884] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8884/stat : 8884 (java) S 8857 8864 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208749123752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8886] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8886/stat : 8886 (java) S 8857 8864 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208266796008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8889] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8889/stat : 8889 (java) S 8857 8864 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208265742072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8890] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8890/stat : 8890 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208264689160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8892] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8892/stat : 8892 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208263637648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8894] ppid=8857 vsize=9824732 CPUtime=0.77 cores=1,3,5,7 /proc/8864/task/8894/stat : 8894 (java) S 8857 8864 5514 0 -1 4202560 9478 0 0 0 75 2 0 0 20 0 19 0 36627557 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208262584760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8895] ppid=8857 vsize=9824732 CPUtime=0.75 cores=1,3,5,7 /proc/8864/task/8895/stat : 8895 (java) S 8857 8864 5514 0 -1 4202560 6216 0 0 0 75 0 0 0 20 0 19 0 36627557 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208261531960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8897] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8897/stat : 8897 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208260479352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8900] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8900/stat : 8900 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208259426760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8907] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8907/stat : 8907 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36627571 10060525568 32912 33554432000 1073741824 1073778376 140737062874560 140208256267688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.81 Current children cumulated vsize (KiB) 9824732 [startup+6.30083 s] /proc/loadavg: 1.71 2.00 1.99 2/213 8968 /proc/meminfo: memFree=31040872/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9824732 CPUtime=4.23 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 19666 0 1 0 395 28 0 0 20 0 19 0 36627550 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2456183 47881 2286 9 0 2446860 0 [pid=8864/tid=8867] ppid=8857 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/8864/task/8867/stat : 8867 (java) S 8857 8864 5514 0 -1 4202560 2423 0 1 0 16 2 0 0 20 0 19 0 36627551 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208913298296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8870] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8870/stat : 8870 (java) S 8857 8864 5514 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208874789928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8873] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8873/stat : 8873 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208873737128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8875] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8875/stat : 8875 (java) S 8857 8864 5514 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208754387752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8877] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8877/stat : 8877 (java) S 8857 8864 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208753334952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8879] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8879/stat : 8879 (java) S 8857 8864 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208752282152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8882] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8882/stat : 8882 (java) S 8857 8864 5514 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208751229352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8883] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8883/stat : 8883 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208750176552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8884] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8884/stat : 8884 (java) S 8857 8864 5514 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36627553 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208749123752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8886] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8886/stat : 8886 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208266796008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8889] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8889/stat : 8889 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208265742072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8890] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8890/stat : 8890 (java) S 8857 8864 5514 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208264689160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8892] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8892/stat : 8892 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208263637648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8894] ppid=8857 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/8864/task/8894/stat : 8894 (java) S 8857 8864 5514 0 -1 4202560 9484 0 0 0 82 2 0 0 20 0 19 0 36627557 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208262584760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8895] ppid=8857 vsize=9824732 CPUtime=0.87 cores=1,3,5,7 /proc/8864/task/8895/stat : 8895 (java) S 8857 8864 5514 0 -1 4202560 6220 0 0 0 87 0 0 0 20 0 19 0 36627557 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208261531960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8897] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8897/stat : 8897 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208260479352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8900] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8900/stat : 8900 (java) S 8857 8864 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208259426760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8907] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8907/stat : 8907 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36627571 10060525568 47881 33554432000 1073741824 1073778376 140737062874560 140208256267688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.23 Current children cumulated vsize (KiB) 9824732 heavy processes: ################ # More data... # ################ [pid=8864/tid=8882] ppid=8857 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/8864/task/8882/stat : 8882 (java) S 8857 8864 5514 0 -1 4202560 52 0 0 0 6 3 0 0 20 0 22 0 36627553 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208751229352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8883] ppid=8857 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8864/task/8883/stat : 8883 (java) S 8857 8864 5514 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 22 0 36627553 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208750176552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8884] ppid=8857 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/8864/task/8884/stat : 8884 (java) S 8857 8864 5514 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 22 0 36627553 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208749123752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8886] ppid=8857 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/8864/task/8886/stat : 8886 (java) S 8857 8864 5514 0 -1 4202560 197 0 0 0 0 7 0 0 20 0 22 0 36627554 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208266796008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8889] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8889/stat : 8889 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36627554 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208265742072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8890] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8890/stat : 8890 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36627554 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208264689160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8892] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8892/stat : 8892 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36627557 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208263637648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8894] ppid=8857 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/8864/task/8894/stat : 8894 (java) S 8857 8864 5514 0 -1 4202560 16974 0 0 0 137 3 0 0 20 0 22 0 36627557 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208262584760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8895] ppid=8857 vsize=9824732 CPUtime=1.43 cores=1,3,5,7 /proc/8864/task/8895/stat : 8895 (java) S 8857 8864 5514 0 -1 4202560 10115 0 0 0 141 2 0 0 20 0 22 0 36627557 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208261531960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8897] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8897/stat : 8897 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36627557 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208260479352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8900] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8900/stat : 8900 (java) S 8857 8864 5514 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36627557 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208259426760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8907] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8907/stat : 8907 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36627571 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208256267688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=9359] ppid=8857 vsize=9824732 CPUtime=3.07 cores=1,3,5,7 /proc/8864/task/9359/stat : 9359 (java) R 8857 8864 5514 0 -1 4202560 3 0 0 0 307 0 0 0 20 0 22 0 36632041 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208255212184 140208754975903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=9360] ppid=8857 vsize=9824732 CPUtime=3.07 cores=1,3,5,7 /proc/8864/task/9360/stat : 9360 (java) R 8857 8864 5514 0 -1 4202560 3 0 0 0 307 0 0 0 20 0 22 0 36632041 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208258369664 140208755450014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=9361] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/9361/stat : 9361 (java) S 8857 8864 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36632043 10060525568 149410 33554432000 1073741824 1073778376 140737062874560 140208257320616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 44.23 Current children cumulated vsize (KiB) 9824732 [startup+49.6081 s] /proc/loadavg: 1.95 2.00 1.99 3/214 9370 /proc/meminfo: memFree=30517824/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9824732 CPUtime=47.13 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 32194 0 1 0 4545 168 0 0 20 0 20 0 36627550 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2456183 149404 2287 9 0 2446860 0 [pid=8864/tid=8867] ppid=8857 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/8864/task/8867/stat : 8867 (java) S 8857 8864 5514 0 -1 4202560 2431 0 1 0 29 2 0 0 20 0 20 0 36627551 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208913298296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8870] ppid=8857 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/8864/task/8870/stat : 8870 (java) S 8857 8864 5514 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 20 0 36627553 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208874789928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8873] ppid=8857 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/8864/task/8873/stat : 8873 (java) S 8857 8864 5514 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 20 0 36627553 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208873737128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8875] ppid=8857 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/8864/task/8875/stat : 8875 (java) S 8857 8864 5514 0 -1 4202560 26 0 0 0 5 1 0 0 20 0 20 0 36627553 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208754387752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8877] ppid=8857 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8864/task/8877/stat : 8877 (java) S 8857 8864 5514 0 -1 4202560 58 0 0 0 6 2 0 0 20 0 20 0 36627553 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208753334952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8879] ppid=8857 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/8864/task/8879/stat : 8879 (java) S 8857 8864 5514 0 -1 4202560 55 0 0 0 7 3 0 0 20 0 20 0 36627553 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208752282152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8882] ppid=8857 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/8864/task/8882/stat : 8882 (java) S 8857 8864 5514 0 -1 4202560 52 0 0 0 6 3 0 0 20 0 20 0 36627553 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208751229352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8883] ppid=8857 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8864/task/8883/stat : 8883 (java) S 8857 8864 5514 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 20 0 36627553 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208750176552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8884] ppid=8857 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/8864/task/8884/stat : 8884 (java) S 8857 8864 5514 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 20 0 36627553 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208749123752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8886] ppid=8857 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/8864/task/8886/stat : 8886 (java) S 8857 8864 5514 0 -1 4202560 197 0 0 0 0 7 0 0 20 0 20 0 36627554 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208266796008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8889] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8889/stat : 8889 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 36627554 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208265742072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8890] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8890/stat : 8890 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 36627554 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208264689160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8892] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8892/stat : 8892 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36627557 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208263637648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8894] ppid=8857 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/8864/task/8894/stat : 8894 (java) S 8857 8864 5514 0 -1 4202560 16974 0 0 0 137 3 0 0 20 0 20 0 36627557 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208262584760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8895] ppid=8857 vsize=9824732 CPUtime=1.43 cores=1,3,5,7 /proc/8864/task/8895/stat : 8895 (java) S 8857 8864 5514 0 -1 4202560 10115 0 0 0 141 2 0 0 20 0 20 0 36627557 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208261531960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8897] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8897/stat : 8897 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36627557 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208260479352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8900] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8900/stat : 8900 (java) S 8857 8864 5514 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 36627557 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208259426760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8907] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8907/stat : 8907 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36627571 10060525568 149404 33554432000 1073741824 1073778376 140737062874560 140208256267688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 47.13 Current children cumulated vsize (KiB) 9824732 [startup+50.4008 s] /proc/loadavg: 1.95 2.00 1.99 3/214 9370 /proc/meminfo: memFree=30517824/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9824732 CPUtime=47.88 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 32200 0 1 0 4619 169 0 0 20 0 22 0 36627550 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2456183 149408 2287 9 0 2446860 0 [pid=8864/tid=8867] ppid=8857 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/8864/task/8867/stat : 8867 (java) S 8857 8864 5514 0 -1 4202560 2431 0 1 0 30 2 0 0 20 0 22 0 36627551 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208913298296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8870] ppid=8857 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/8864/task/8870/stat : 8870 (java) S 8857 8864 5514 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 36627553 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208874789928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8873] ppid=8857 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/8864/task/8873/stat : 8873 (java) S 8857 8864 5514 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 22 0 36627553 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208873737128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8875] ppid=8857 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/8864/task/8875/stat : 8875 (java) S 8857 8864 5514 0 -1 4202560 26 0 0 0 5 1 0 0 20 0 22 0 36627553 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208754387752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8877] ppid=8857 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8864/task/8877/stat : 8877 (java) S 8857 8864 5514 0 -1 4202560 58 0 0 0 6 2 0 0 20 0 22 0 36627553 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208753334952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8879] ppid=8857 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/8864/task/8879/stat : 8879 (java) S 8857 8864 5514 0 -1 4202560 55 0 0 0 7 3 0 0 20 0 22 0 36627553 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208752282152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8882] ppid=8857 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/8864/task/8882/stat : 8882 (java) S 8857 8864 5514 0 -1 4202560 52 0 0 0 6 3 0 0 20 0 22 0 36627553 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208751229352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8883] ppid=8857 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8864/task/8883/stat : 8883 (java) S 8857 8864 5514 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 22 0 36627553 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208750176552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8884] ppid=8857 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/8864/task/8884/stat : 8884 (java) S 8857 8864 5514 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 22 0 36627553 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208749123752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8886] ppid=8857 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/8864/task/8886/stat : 8886 (java) S 8857 8864 5514 0 -1 4202560 197 0 0 0 0 7 0 0 20 0 22 0 36627554 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208266796008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8889] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8889/stat : 8889 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36627554 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208265742072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8890] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8890/stat : 8890 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36627554 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208264689160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8892] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8892/stat : 8892 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36627557 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208263637648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8894] ppid=8857 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/8864/task/8894/stat : 8894 (java) S 8857 8864 5514 0 -1 4202560 16974 0 0 0 137 3 0 0 20 0 22 0 36627557 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208262584760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8895] ppid=8857 vsize=9824732 CPUtime=1.43 cores=1,3,5,7 /proc/8864/task/8895/stat : 8895 (java) S 8857 8864 5514 0 -1 4202560 10115 0 0 0 141 2 0 0 20 0 22 0 36627557 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208261531960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8897] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8897/stat : 8897 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36627557 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208260479352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8900] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8900/stat : 8900 (java) S 8857 8864 5514 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36627557 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208259426760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8907] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8907/stat : 8907 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36627571 10060525568 149408 33554432000 1073741824 1073778376 140737062874560 140208256267688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (KiB) 9824732 [startup+50.6008 s] /proc/loadavg: 1.95 2.00 1.99 3/212 9440 /proc/meminfo: memFree=30709072/32872528 swapFree=338416/354768 [pid=8864] ppid=8857 vsize=9824732 CPUtime=48.18 cores=1,3,5,7 /proc/8864/stat : 8864 (java) S 8857 8864 5514 0 -1 4202496 32200 0 1 0 4647 171 0 0 20 0 19 0 36627550 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140737062865696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8864/statm: 2456183 149402 2287 9 0 2446860 0 [pid=8864/tid=8867] ppid=8857 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/8864/task/8867/stat : 8867 (java) R 8857 8864 5514 0 -1 4202560 2431 0 1 0 32 2 0 0 20 0 19 0 36627551 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208913297808 242170782133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8870] ppid=8857 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/8864/task/8870/stat : 8870 (java) S 8857 8864 5514 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 19 0 36627553 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208874789928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8873] ppid=8857 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/8864/task/8873/stat : 8873 (java) S 8857 8864 5514 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 36627553 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208873737128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8875] ppid=8857 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/8864/task/8875/stat : 8875 (java) S 8857 8864 5514 0 -1 4202560 26 0 0 0 5 1 0 0 20 0 19 0 36627553 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208754387752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8877] ppid=8857 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8864/task/8877/stat : 8877 (java) S 8857 8864 5514 0 -1 4202560 58 0 0 0 6 2 0 0 20 0 19 0 36627553 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208753334952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8879] ppid=8857 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/8864/task/8879/stat : 8879 (java) S 8857 8864 5514 0 -1 4202560 55 0 0 0 7 3 0 0 20 0 19 0 36627553 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208752282152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8882] ppid=8857 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/8864/task/8882/stat : 8882 (java) S 8857 8864 5514 0 -1 4202560 52 0 0 0 6 3 0 0 20 0 19 0 36627553 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208751229352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8883] ppid=8857 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8864/task/8883/stat : 8883 (java) S 8857 8864 5514 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 36627553 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208750176552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8884] ppid=8857 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/8864/task/8884/stat : 8884 (java) S 8857 8864 5514 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 19 0 36627553 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208749123752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8886] ppid=8857 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/8864/task/8886/stat : 8886 (java) S 8857 8864 5514 0 -1 4202560 197 0 0 0 0 7 0 0 20 0 19 0 36627554 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208266796008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8864/tid=8889] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8889/stat : 8889 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208265742072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8890] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8890/stat : 8890 (java) S 8857 8864 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36627554 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208264689160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8864/tid=8892] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8892/stat : 8892 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208263637648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8894] ppid=8857 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/8864/task/8894/stat : 8894 (java) R 8857 8864 5514 0 -1 4202560 16974 0 0 0 138 3 0 0 20 0 19 0 36627557 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208262584600 140208916865425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8895] ppid=8857 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/8864/task/8895/stat : 8895 (java) R 8857 8864 5514 0 -1 4202560 10115 0 0 0 142 2 0 0 20 0 19 0 36627557 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208261531840 140208915106929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8897] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8897/stat : 8897 (java) S 8857 8864 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208260479352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8864/tid=8900] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8900/stat : 8900 (java) S 8857 8864 5514 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36627557 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208259426760 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8864/tid=8907] ppid=8857 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8864/task/8907/stat : 8907 (java) S 8857 8864 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36627571 10060525568 149402 33554432000 1073741824 1073778376 140737062874560 140208256267688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 48.18 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 50.6392 CPU time (s): 48.3366 CPU user time (s): 46.4939 CPU system time (s): 1.84272 CPU usage (%): 95.4531 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.4939 system time used= 1.84272 maximum resident set size= 606612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32207 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= 3485 involuntary context switches= 1311 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.352946 second user time and 0.396939 second system time The end
Begin job on node126 at 2016-06-19 16:16:48 IDJOB=4110241 IDBENCH=79210 IDSOLVER=2552 FILE ID=node126/4110241-1466345808 RUNJOBID= node126-1466345807-8836 PBS_JOBID= 19922027 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110241-1466345808/watcher-4110241-1466345808 -o /tmp/evaluation-result-4110241-1466345808/solver-4110241-1466345808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466345807-8836 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110241-1466345808.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 014e6d9d1387f6cdb0c56035ad106b75 RANDOM SEED=1809216383 node126.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.121 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.24 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.121 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.121 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.121 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.121 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.121 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.121 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.121 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: 31318748 kB Buffers: 176328 kB Cached: 279936 kB SwapCached: 1796 kB Active: 111236 kB Inactive: 348444 kB Active(anon): 4368 kB Inactive(anon): 1916 kB Active(file): 106868 kB Inactive(file): 346528 kB Unevictable: 354768 kB Mlocked: 338416 kB SwapTotal: 67108856 kB SwapFree: 67100300 kB Dirty: 1668 kB Writeback: 0 kB AnonPages: 357260 kB Mapped: 8736 kB Shmem: 0 kB Slab: 609180 kB SReclaimable: 53224 kB SUnreclaim: 555956 kB KernelStack: 1368 kB PageTables: 4744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 450288 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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= 71740 MiB End job on node126 at 2016-06-19 16:17:39