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 Resolution PB16 | OPTIMUM | 18.8921 | 17.2881 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo |
| MD5SUM | 2498aa7c72321a79724f3337e23f532a |
| 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 | 17 |
| Best CPU time to get the best result obtained on this benchmark | 9.74252 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1227 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Glucose 2.1 dynamic restart strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-4110200-1466343842.wbo 0.11/0.10 c reading problem ... 0.11/0.16 c ... done. Wall clock time 0.054s. 0.11/0.16 c declared #vars 169 0.11/0.16 c internal #vars 270 0.11/0.16 c #constraints 101 0.11/0.16 c constraints type 0.11/0.16 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.11/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.11/0.16 c 101 constraints processed. 0.11/0.16 c objective function length is 101 literals 0.28/0.21 c SATISFIABLE 0.28/0.21 c OPTIMIZING... 0.28/0.21 c Got one! Elapsed wall clock time (in seconds):0.109 0.28/0.21 o 908 0.28/0.26 c Got one! Elapsed wall clock time (in seconds):0.159 0.28/0.26 o 632 0.51/0.31 c Got one! Elapsed wall clock time (in seconds):0.211 0.51/0.31 o 568 0.51/0.32 c Got one! Elapsed wall clock time (in seconds):0.214 0.51/0.32 o 521 0.51/0.32 c Got one! Elapsed wall clock time (in seconds):0.221 0.51/0.32 o 505 0.51/0.33 c Got one! Elapsed wall clock time (in seconds):0.231 0.51/0.33 o 498 0.51/0.34 c Got one! Elapsed wall clock time (in seconds):0.241 0.51/0.34 o 495 0.51/0.35 c Got one! Elapsed wall clock time (in seconds):0.25 0.51/0.35 o 491 0.51/0.36 c Got one! Elapsed wall clock time (in seconds):0.252 0.51/0.36 o 484 0.51/0.36 c Got one! Elapsed wall clock time (in seconds):0.259 0.51/0.36 o 478 0.51/0.37 c Got one! Elapsed wall clock time (in seconds):0.263 0.51/0.37 o 461 0.51/0.37 c Got one! Elapsed wall clock time (in seconds):0.267 0.51/0.37 o 450 0.51/0.37 c Got one! Elapsed wall clock time (in seconds):0.271 0.51/0.37 o 449 0.51/0.38 c Got one! Elapsed wall clock time (in seconds):0.279 0.51/0.38 o 441 0.51/0.39 c Got one! Elapsed wall clock time (in seconds):0.283 0.51/0.39 o 421 0.51/0.39 c Got one! Elapsed wall clock time (in seconds):0.286 0.51/0.39 o 395 0.51/0.39 c Got one! Elapsed wall clock time (in seconds):0.292 0.51/0.39 o 393 0.68/0.43 c Got one! Elapsed wall clock time (in seconds):0.323 0.68/0.43 o 392 0.68/0.43 c Got one! Elapsed wall clock time (in seconds):0.33 0.68/0.43 o 385 0.68/0.44 c Got one! Elapsed wall clock time (in seconds):0.338 0.68/0.44 o 383 0.68/0.47 c Got one! Elapsed wall clock time (in seconds):0.369 0.68/0.47 o 379 0.85/0.50 c Got one! Elapsed wall clock time (in seconds):0.397 0.85/0.50 o 377 0.96/0.62 c Got one! Elapsed wall clock time (in seconds):0.522 0.96/0.62 o 365 0.96/0.63 c Got one! Elapsed wall clock time (in seconds):0.525 0.96/0.63 o 363 0.96/0.63 c Got one! Elapsed wall clock time (in seconds):0.529 0.96/0.63 o 330 1.16/0.77 c cleaning 4936 clauses out of 9887 with flag 7440/9887 1.36/0.80 c Got one! Elapsed wall clock time (in seconds):0.697 1.36/0.80 o 319 1.36/0.82 c Got one! Elapsed wall clock time (in seconds):0.716 1.36/0.82 o 318 1.36/0.82 c Got one! Elapsed wall clock time (in seconds):0.719 1.36/0.82 o 317 1.36/0.85 c Got one! Elapsed wall clock time (in seconds):0.742 1.36/0.85 o 311 1.46/0.91 c Got one! Elapsed wall clock time (in seconds):0.81 1.46/0.91 o 310 1.46/0.94 c Got one! Elapsed wall clock time (in seconds):0.837 1.46/0.94 o 304 1.46/0.95 c Got one! Elapsed wall clock time (in seconds):0.842 1.46/0.95 o 291 1.46/0.95 c Got one! Elapsed wall clock time (in seconds):0.849 1.46/0.95 o 284 1.46/0.96 c Got one! Elapsed wall clock time (in seconds):0.853 1.46/0.96 o 281 1.46/0.96 c Got one! Elapsed wall clock time (in seconds):0.856 1.46/0.96 o 275 1.46/0.96 c Got one! Elapsed wall clock time (in seconds):0.86 1.46/0.96 o 273 1.46/0.99 c Got one! Elapsed wall clock time (in seconds):0.888 1.46/0.99 o 270 1.58/1.01 c Got one! Elapsed wall clock time (in seconds):0.912 1.58/1.01 o 250 1.58/1.02 c Got one! Elapsed wall clock time (in seconds):0.92 1.58/1.02 o 248 1.58/1.03 c Got one! Elapsed wall clock time (in seconds):0.931 1.58/1.03 o 246 1.58/1.04 c Got one! Elapsed wall clock time (in seconds):0.933 1.58/1.04 o 244 1.58/1.05 c Got one! Elapsed wall clock time (in seconds):0.945 1.58/1.05 o 243 1.58/1.07 c Got one! Elapsed wall clock time (in seconds):0.969 1.58/1.07 o 237 1.58/1.10 c Got one! Elapsed wall clock time (in seconds):0.999 1.58/1.10 o 236 1.76/1.16 c Got one! Elapsed wall clock time (in seconds):1.055 1.76/1.16 o 233 1.76/1.19 c Got one! Elapsed wall clock time (in seconds):1.09 1.76/1.19 o 229 1.86/1.22 c Got one! Elapsed wall clock time (in seconds):1.117 1.86/1.22 o 228 1.95/1.37 c Got one! Elapsed wall clock time (in seconds):1.27 1.95/1.37 o 227 1.95/1.39 c Got one! Elapsed wall clock time (in seconds):1.291 1.95/1.39 o 225 2.05/1.49 c Got one! Elapsed wall clock time (in seconds):1.383 2.05/1.49 o 222 2.15/1.56 c cleaning 9900 clauses out of 19810 with flag 3203/24746 2.50/1.88 c cleaning 7949 clauses out of 15911 with flag 27908/30747 2.62/1.93 c Got one! Elapsed wall clock time (in seconds):1.829 2.62/1.93 o 216 2.62/1.98 c Got one! Elapsed wall clock time (in seconds):1.88 2.62/1.98 o 215 2.82/2.11 c Got one! Elapsed wall clock time (in seconds):2.002 2.82/2.11 o 214 2.82/2.16 c Got one! Elapsed wall clock time (in seconds):2.053 2.82/2.16 o 211 2.82/2.18 c Got one! Elapsed wall clock time (in seconds):2.072 2.82/2.18 o 200 2.92/2.24 c cleaning 7456 clauses out of 14926 with flag 3510/37711 3.02/2.33 c Got one! Elapsed wall clock time (in seconds):2.231 3.02/2.33 o 196 3.12/2.49 c cleaning 6273 clauses out of 12546 with flag 13622/42787 3.32/2.62 c Got one! Elapsed wall clock time (in seconds):2.52 3.32/2.62 o 195 3.42/2.73 c cleaning 5649 clauses out of 11314 with flag 7289/47828 3.42/2.76 c Got one! Elapsed wall clock time (in seconds):2.654 3.42/2.76 o 194 3.52/2.86 c Got one! Elapsed wall clock time (in seconds):2.755 3.52/2.86 o 190 3.65/2.91 c Got one! Elapsed wall clock time (in seconds):2.807 3.65/2.91 o 189 3.65/2.99 c Got one! Elapsed wall clock time (in seconds):2.89 3.65/2.99 o 185 3.75/3.02 c Got one! Elapsed wall clock time (in seconds):2.919 3.75/3.02 o 183 3.75/3.05 c Got one! Elapsed wall clock time (in seconds):2.95 3.75/3.05 o 181 3.85/3.10 c Got one! Elapsed wall clock time (in seconds):3.001 3.85/3.10 o 180 3.85/3.14 c Got one! Elapsed wall clock time (in seconds):3.038 3.85/3.14 o 178 3.95/3.21 c cleaning 7527 clauses out of 15054 with flag 3680/57217 4.06/3.31 c Got one! Elapsed wall clock time (in seconds):3.203 4.06/3.31 o 177 4.06/3.36 c Got one! Elapsed wall clock time (in seconds):3.258 4.06/3.36 o 174 4.06/3.37 c Got one! Elapsed wall clock time (in seconds):3.271 4.06/3.37 o 168 4.16/3.42 c Got one! Elapsed wall clock time (in seconds):3.312 4.16/3.42 o 165 4.16/3.44 c Got one! Elapsed wall clock time (in seconds):3.337 4.16/3.44 o 164 4.26/3.56 c cleaning 7103 clauses out of 14210 with flag 8398/63900 4.26/3.58 c Got one! Elapsed wall clock time (in seconds):3.481 4.26/3.58 o 163 4.45/3.78 c Got one! Elapsed wall clock time (in seconds):3.673 4.45/3.78 o 162 4.55/3.89 c cleaning 6796 clauses out of 13602 with flag 8349/70395 4.75/4.01 c Got one! Elapsed wall clock time (in seconds):3.905 4.75/4.01 o 157 4.75/4.08 c Got one! Elapsed wall clock time (in seconds):3.979 4.75/4.08 o 150 4.85/4.19 c cleaning 6451 clauses out of 12930 with flag 8952/76519 5.16/4.50 c cleaning 6237 clauses out of 12477 with flag 39979/82517 5.36/4.68 c Got one! Elapsed wall clock time (in seconds):4.574 5.36/4.68 o 147 5.46/4.72 c Got one! Elapsed wall clock time (in seconds):4.622 5.46/4.72 o 143 5.46/4.79 c cleaning 6118 clauses out of 12246 with flag 3835/88523 5.56/4.84 c Got one! Elapsed wall clock time (in seconds):4.739 5.56/4.84 o 139 5.66/4.93 c Got one! Elapsed wall clock time (in seconds):4.832 5.66/4.93 o 137 5.86/5.10 c cleaning 6151 clauses out of 12321 with flag 16400/94716 5.86/5.12 c Got one! Elapsed wall clock time (in seconds):5.012 5.86/5.12 o 134 5.86/5.15 c Got one! Elapsed wall clock time (in seconds):5.049 5.86/5.15 o 127 6.06/5.36 c Got one! Elapsed wall clock time (in seconds):5.255 6.06/5.36 o 123 6.16/5.42 c cleaning 6314 clauses out of 12636 with flag 4530/101182 6.37/5.66 c Got one! Elapsed wall clock time (in seconds):5.557 6.37/5.66 o 122 6.46/5.70 c Got one! Elapsed wall clock time (in seconds):5.598 6.46/5.70 o 120 6.46/5.72 c Got one! Elapsed wall clock time (in seconds):5.62 6.46/5.72 o 119 6.46/5.73 c Got one! Elapsed wall clock time (in seconds):5.63 6.46/5.73 o 118 6.46/5.76 c Got one! Elapsed wall clock time (in seconds):5.662 6.46/5.76 o 117 6.46/5.77 c Got one! Elapsed wall clock time (in seconds):5.672 6.46/5.77 o 109 6.71/5.98 c Got one! Elapsed wall clock time (in seconds):5.876 6.71/5.98 o 108 6.81/6.00 c Got one! Elapsed wall clock time (in seconds):5.9 6.81/6.00 o 107 6.91/6.17 c cleaning 9633 clauses out of 19272 with flag 8306/114132 7.11/6.24 c Got one! Elapsed wall clock time (in seconds):6.138 7.11/6.24 o 103 7.11/6.28 c Got one! Elapsed wall clock time (in seconds):6.179 7.11/6.28 o 102 7.53/6.47 c Got one! Elapsed wall clock time (in seconds):6.369 7.53/6.47 o 96 7.53/6.48 c Got one! Elapsed wall clock time (in seconds):6.38 7.53/6.48 o 95 7.53/6.49 c Got one! Elapsed wall clock time (in seconds):6.39 7.53/6.49 o 93 7.66/6.57 c cleaning 8326 clauses out of 16660 with flag 3966/121153 7.66/6.60 c Got one! Elapsed wall clock time (in seconds):6.498 7.66/6.60 o 89 7.83/6.67 c Got one! Elapsed wall clock time (in seconds):6.569 7.83/6.67 o 85 8.22/6.89 c cleaning 7321 clauses out of 14658 with flag 15066/127477 8.42/6.95 c Got one! Elapsed wall clock time (in seconds):6.85 8.42/6.95 o 81 8.56/7.04 c Got one! Elapsed wall clock time (in seconds):6.941 8.56/7.04 o 80 8.76/7.21 c cleaning 7006 clauses out of 14017 with flag 12283/134157 8.96/7.49 c cleaning 6505 clauses out of 13011 with flag 37008/140157 9.26/7.73 c Got one! Elapsed wall clock time (in seconds):7.623 9.26/7.73 o 76 9.26/7.79 c Got one! Elapsed wall clock time (in seconds):7.685 9.26/7.79 o 73 9.40/7.84 c Got one! Elapsed wall clock time (in seconds):7.739 9.40/7.84 o 71 9.50/7.96 c Got one! Elapsed wall clock time (in seconds):7.856 9.50/7.96 o 68 9.60/8.03 c cleaning 8701 clauses out of 17419 with flag 4856/151070 9.70/8.14 c Got one! Elapsed wall clock time (in seconds):8.035 9.70/8.14 o 64 9.79/8.29 c cleaning 7205 clauses out of 14419 with flag 12464/156771 10.09/8.59 c cleaning 6602 clauses out of 13214 with flag 39639/162771 10.19/8.66 c Got one! Elapsed wall clock time (in seconds):8.559 10.19/8.66 o 62 10.19/8.70 c Got one! Elapsed wall clock time (in seconds):8.594 10.19/8.70 o 51 10.40/8.87 c cleaning 6508 clauses out of 13026 with flag 15760/169185 10.50/8.91 c Got one! Elapsed wall clock time (in seconds):8.805 10.50/8.91 o 50 10.50/8.94 c Got one! Elapsed wall clock time (in seconds):8.833 10.50/8.94 o 49 10.70/9.12 c cleaning 6204 clauses out of 12408 with flag 17587/175075 10.90/9.36 c cleaning 6093 clauses out of 12203 with flag 43601/181074 11.00/9.43 c Got one! Elapsed wall clock time (in seconds):9.325 11.00/9.43 o 47 11.20/9.61 c cleaning 5995 clauses out of 12008 with flag 15872/186972 11.30/9.74 c Got one! Elapsed wall clock time (in seconds):9.636 11.30/9.74 o 46 11.40/9.83 c cleaning 5844 clauses out of 11690 with flag 7836/192649 11.61/10.06 c cleaning 5923 clauses out of 11845 with flag 29128/198648 11.90/10.36 c cleaning 6443 clauses out of 12921 with flag 60835/205648 12.30/10.72 c cleaning 7239 clauses out of 14480 with flag 97302/213650 12.72/11.13 c cleaning 8115 clauses out of 16244 with flag 132093/222654 13.11/11.57 c cleaning 9051 clauses out of 18123 with flag 166177/232648 13.21/11.65 c Got one! Elapsed wall clock time (in seconds):11.548 13.21/11.65 o 34 13.31/11.79 c cleaning 7080 clauses out of 14174 with flag 13411/237750 13.61/12.04 c cleaning 6539 clauses out of 13092 with flag 41271/243748 13.81/12.21 c Got one! Elapsed wall clock time (in seconds):12.108 13.81/12.21 o 33 13.81/12.26 c cleaning 6108 clauses out of 12229 with flag 3443/249424 14.01/12.47 c cleaning 6054 clauses out of 12122 with flag 23314/255425 14.31/12.73 c cleaning 6530 clauses out of 13066 with flag 45934/262424 14.51/12.95 c Got one! Elapsed wall clock time (in seconds):12.851 14.51/12.95 o 29 14.72/13.20 c cleaning 8657 clauses out of 17317 with flag 17785/273206 15.02/13.43 c cleaning 7323 clauses out of 14659 with flag 41659/279205 15.32/13.71 c cleaning 7162 clauses out of 14337 with flag 67212/286207 15.52/13.94 c Got one! Elapsed wall clock time (in seconds):13.842 15.52/13.94 o 26 15.72/14.16 c Got one! Elapsed wall clock time (in seconds):14.055 15.72/14.16 o 19 15.82/14.22 c cleaning 9397 clauses out of 18801 with flag 3591/297834 16.03/14.45 c cleaning 7693 clauses out of 15403 with flag 24771/303834 16.32/14.71 c cleaning 7348 clauses out of 14709 with flag 49933/310834 16.62/15.02 c cleaning 7674 clauses out of 15359 with flag 80135/318834 16.92/15.39 c cleaning 8329 clauses out of 16684 with flag 113714/327835 17.42/15.80 c cleaning 9175 clauses out of 18352 with flag 151321/337834 17.92/16.31 c cleaning 10085 clauses out of 20172 with flag 193135/348834 18.02/16.45 c Got one! Elapsed wall clock time (in seconds):16.347 18.02/16.45 o 18 18.13/16.54 c cleaning 7787 clauses out of 15584 with flag 7945/354334 18.13/16.59 c Got one! Elapsed wall clock time (in seconds):16.491 18.13/16.59 o 17 18.32/16.76 c cleaning 6738 clauses out of 13475 with flag 15391/360012 18.52/16.98 c cleaning 6360 clauses out of 12731 with flag 36860/366008 18.82/17.24 c cleaning 6685 clauses out of 13374 with flag 61872/373011 18.82/17.28 c starts : 315 18.82/17.28 c conflicts : 374073 18.82/17.28 c decisions : 655246 18.82/17.28 c propagations : 12189643 18.82/17.28 c inspects : 189720631 18.82/17.28 c shortcuts : 0 18.82/17.28 c learnt literals : 34 18.82/17.28 c learnt binary clauses : 20 18.82/17.28 c learnt ternary clauses : 758 18.82/17.28 c learnt constraints : 374038 18.82/17.28 c ignored constraints : 0 18.82/17.28 c root simplifications : 0 18.82/17.28 c removed literals (reason simplification) : 0 18.82/17.28 c reason swapping (by a shorter reason) : 0 18.82/17.28 c Calls to reduceDB : 51 18.82/17.28 c Number of update (reduction) of LBD : 123595 18.82/17.28 c Imported unit clauses : 0 18.82/17.28 c number of reductions to clauses (during analyze) : 0 18.82/17.28 c number of learned constraints concerned by reduction : 0 18.82/17.28 c number of learning phase by resolution : 0 18.82/17.28 c number of learning phase by cutting planes : 0 18.82/17.28 c speed (assignments/second) : 712095.0461502513 18.82/17.28 c non guided choices 5673 18.82/17.28 c learnt constraints type 18.82/17.28 s OPTIMUM FOUND 18.82/17.28 c Found 116 solution(s) 18.82/17.28 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 18.82/17.28 c objective function=17 18.82/17.28 c Total wall clock time (in seconds): 17.177
OK 17
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-4110200-1466343842/watcher-4110200-1466343842 -o /tmp/evaluation-result-4110200-1466343842/solver-4110200-1466343842 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466341822-5260 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4110200-1466343842.wbo pid=7301 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: 2.33 2.22 1.93 3/194 7304 /proc/meminfo: memFree=30312064/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=91816 CPUtime=0 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 1283 0 0 0 0 0 0 0 20 0 2 0 36433473 94019584 917 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 22954 917 697 9 0 16769 0 [pid=7304/tid=7305] ppid=7301 vsize=91816 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 36433474 94019584 917 33554432000 1073741824 1073778376 140734760945808 139729276485160 219504798964 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 2.33 2.22 1.93 3/194 7304 /proc/meminfo: memFree=30312064/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 4486 0 1 0 10 1 0 0 20 0 18 0 36433473 9787879424 6096 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2389619 6097 2155 9 0 2380296 0 [pid=7304/tid=7305] ppid=7301 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2385 0 1 0 7 0 0 0 20 0 18 0 36433474 9787879424 6097 33554432000 1073741824 1073778376 140734760945808 139729276488608 139729266547261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200418 s] /proc/loadavg: 2.33 2.22 1.93 3/194 7304 /proc/meminfo: memFree=30312064/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=0.28 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 6435 0 1 0 26 2 0 0 20 0 19 0 36433473 9856040960 7954 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 7954 2233 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=0.17 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2415 0 1 0 16 1 0 0 20 0 19 0 36433474 9856040960 7954 33554432000 1073741824 1073778376 140734760945808 139729276490368 139729279421574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9625040 [startup+0.300379 s] /proc/loadavg: 2.33 2.22 1.93 3/194 7304 /proc/meminfo: memFree=30312064/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 6811 0 1 0 49 2 0 0 20 0 19 0 36433473 9856040960 8574 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 8574 2243 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2417 0 1 0 26 1 0 0 20 0 19 0 36433474 9856040960 8574 33554432000 1073741824 1073778376 140734760945808 139729276490368 139729127786522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9625040 [startup+0.70028 s] /proc/loadavg: 2.33 2.22 1.93 3/194 7304 /proc/meminfo: memFree=30312064/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 11226 0 1 0 113 3 0 0 20 0 19 0 36433473 9856040960 11535 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 11535 2256 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2419 0 1 0 66 1 0 0 20 0 19 0 36433474 9856040960 11535 33554432000 1073741824 1073778376 140734760945808 139729276490368 139729127923633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.33 2.22 1.93 3/213 7323 /proc/meminfo: memFree=30271408/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=2.15 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 12207 0 1 0 212 3 0 0 20 0 19 0 36433473 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 13194 2262 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2423 0 1 0 146 1 0 0 20 0 19 0 36433474 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729276490232 139729127924226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7307] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7307/stat : 7307 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729248943144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7308] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7308/stat : 7308 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729247890344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7309] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7309/stat : 7309 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729246837544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7304/tid=7310] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7310/stat : 7310 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729116375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7311] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729115322920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7312] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729114270120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7313] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729113217320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7314] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139729112164520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7315] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5243 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728629652456 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7316] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728628598520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7317] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728627545608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7318] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728626494096 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7319] ppid=7301 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5243 0 -1 4202560 3838 0 0 0 30 0 0 0 20 0 19 0 36433478 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728625441208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7320] ppid=7301 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/7304/task/7320/stat : 7320 (java) S 7301 7304 5243 0 -1 4202560 4674 0 0 0 34 0 0 0 20 0 19 0 36433478 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728624388408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7321] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7321/stat : 7321 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728623335800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7322] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7322/stat : 7322 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728622283208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7323] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7323/stat : 7323 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433490 9856040960 13194 33554432000 1073741824 1073778376 140734760945808 139728621229736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.15 Current children cumulated vsize (KiB) 9625040 [startup+3.10082 s] /proc/loadavg: 2.33 2.22 1.93 3/213 7323 /proc/meminfo: memFree=30264892/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=3.85 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 12583 0 1 0 382 3 0 0 20 0 19 0 36433473 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 15245 2263 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2428 0 1 0 306 1 0 0 20 0 19 0 36433474 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729276481840 139729127760900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7307] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7307/stat : 7307 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729248943144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7308] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7308/stat : 7308 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729247890344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7309] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7309/stat : 7309 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729246837544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7304/tid=7310] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7310/stat : 7310 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729116375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7311] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729115322920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7312] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729114270120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7313] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729113217320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7314] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139729112164520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7315] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5243 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728629652456 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7316] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728628598520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7317] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728627545608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7318] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728626494096 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7319] ppid=7301 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5243 0 -1 4202560 4207 0 0 0 37 0 0 0 20 0 19 0 36433478 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728625441208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7320] ppid=7301 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/7304/task/7320/stat : 7320 (java) S 7301 7304 5243 0 -1 4202560 4676 0 0 0 38 0 0 0 20 0 19 0 36433478 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728624388408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7321] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7321/stat : 7321 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728623335800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7322] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7322/stat : 7322 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728622283208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7323] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7323/stat : 7323 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433490 9856040960 15245 33554432000 1073741824 1073778376 140734760945808 139728621229736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 9625040 [startup+6.30089 s] /proc/loadavg: 2.30 2.22 1.93 3/213 7323 /proc/meminfo: memFree=30246492/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=7.32 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 18006 0 1 0 727 5 0 0 20 0 19 0 36433473 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 22947 2264 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=6.26 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2438 0 1 0 625 1 0 0 20 0 19 0 36433474 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729276490296 139729127851422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7307] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7307/stat : 7307 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729248943144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7308] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7308/stat : 7308 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729247890344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7309] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7309/stat : 7309 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729246837544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7304/tid=7310] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7310/stat : 7310 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729116375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7311] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729115322920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7312] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729114270120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7313] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729113217320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7314] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139729112164520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7315] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5243 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 22947 33554432000 1073741824 1073778376 140734760945808 139728629652456 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7316] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 22949 33554432000 1073741824 1073778376 140734760945808 139728628598520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7317] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 22949 33554432000 1073741824 1073778376 140734760945808 139728627545608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7318] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 22949 33554432000 1073741824 1073778376 140734760945808 139728626494096 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7319] ppid=7301 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/7304/task/7319/stat : 7319 (java) R 7301 7304 5243 0 -1 4202560 9621 0 0 0 56 3 0 0 20 0 19 0 36433478 9856040960 22950 33554432000 1073741824 1073778376 140734760945808 139728625428392 139729283464039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7320] ppid=7301 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 ################ # More data... # ################ [pid=7304/tid=7309] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7309/stat : 7309 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139729246837544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7304/tid=7310] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7310/stat : 7310 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139729116375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7311] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139729115322920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7312] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139729114270120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7313] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139729113217320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7314] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139729112164520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7315] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5243 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728629652456 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7316] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728628598520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7317] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728627545608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7318] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728626494096 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7319] ppid=7301 vsize=9625040 CPUtime=1.15 cores=1,3,5,7 /proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5243 0 -1 4202560 14307 0 0 0 112 3 0 0 20 0 19 0 36433478 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728625441208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7320] ppid=7301 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/7304/task/7320/stat : 7320 (java) S 7301 7304 5243 0 -1 4202560 4676 0 0 0 47 0 0 0 20 0 19 0 36433478 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728624388408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7321] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7321/stat : 7321 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728623335800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7322] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7322/stat : 7322 (java) S 7301 7304 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728622283208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7323] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7323/stat : 7323 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433490 9856040960 33797 33554432000 1073741824 1073778376 140734760945808 139728621229736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 16.03 Current children cumulated vsize (KiB) 9625040 [startup+16.0008 s] /proc/loadavg: 2.25 2.21 1.93 3/213 7323 /proc/meminfo: memFree=30182228/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=17.62 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 22722 0 1 0 1756 6 0 0 20 0 19 0 36433473 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 35098 2266 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=15.93 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2466 0 1 0 1591 2 0 0 20 0 19 0 36433474 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729276481232 139729127800628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7307] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7307/stat : 7307 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729248943144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7308] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7308/stat : 7308 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729247890344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7309] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7309/stat : 7309 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729246837544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7304/tid=7310] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7310/stat : 7310 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729116375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7311] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729115322920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7312] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729114270120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7313] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729113217320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7314] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139729112164520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7315] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5243 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728629652456 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7316] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728628598520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7317] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728627545608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7318] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728626494096 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7319] ppid=7301 vsize=9625040 CPUtime=1.15 cores=1,3,5,7 /proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5243 0 -1 4202560 14307 0 0 0 112 3 0 0 20 0 19 0 36433478 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728625441208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7320] ppid=7301 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/7304/task/7320/stat : 7320 (java) S 7301 7304 5243 0 -1 4202560 4676 0 0 0 47 0 0 0 20 0 19 0 36433478 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728624388408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7321] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7321/stat : 7321 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728623335800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7322] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7322/stat : 7322 (java) S 7301 7304 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728622283208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7323] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7323/stat : 7323 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433490 9856040960 35098 33554432000 1073741824 1073778376 140734760945808 139728621229736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 17.62 Current children cumulated vsize (KiB) 9625040 [startup+16.8008 s] /proc/loadavg: 2.25 2.21 1.93 3/213 7323 /proc/meminfo: memFree=30176084/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=18.42 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 22723 0 1 0 1836 6 0 0 20 0 19 0 36433473 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 35610 2266 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=16.73 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2467 0 1 0 1671 2 0 0 20 0 19 0 36433474 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729276481232 139729127825527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7307] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7307/stat : 7307 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729248943144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7308] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7308/stat : 7308 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729247890344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7309] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7309/stat : 7309 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729246837544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7304/tid=7310] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7310/stat : 7310 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729116375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7311] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729115322920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7312] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729114270120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7313] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729113217320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7314] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139729112164520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7315] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5243 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728629652456 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7316] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728628598520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7317] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728627545608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7318] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728626494096 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7319] ppid=7301 vsize=9625040 CPUtime=1.15 cores=1,3,5,7 /proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5243 0 -1 4202560 14307 0 0 0 112 3 0 0 20 0 19 0 36433478 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728625441208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7320] ppid=7301 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/7304/task/7320/stat : 7320 (java) S 7301 7304 5243 0 -1 4202560 4676 0 0 0 47 0 0 0 20 0 19 0 36433478 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728624388408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7321] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7321/stat : 7321 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728623335800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7322] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7322/stat : 7322 (java) S 7301 7304 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728622283208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7323] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7323/stat : 7323 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433490 9856040960 35610 33554432000 1073741824 1073778376 140734760945808 139728621229736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 18.42 Current children cumulated vsize (KiB) 9625040 [startup+17.2007 s] /proc/loadavg: 2.25 2.21 1.93 3/213 7323 /proc/meminfo: memFree=30176084/32872528 swapFree=1075284/1157044 [pid=7304] ppid=7301 vsize=9625040 CPUtime=18.82 cores=1,3,5,7 /proc/7304/stat : 7304 (java) S 7301 7304 5243 0 -1 4202496 22724 0 1 0 1876 6 0 0 20 0 19 0 36433473 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 140734760936944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7304/statm: 2406260 36122 2266 9 0 2396937 0 [pid=7304/tid=7305] ppid=7301 vsize=9625040 CPUtime=17.13 cores=1,3,5,7 /proc/7304/task/7305/stat : 7305 (java) R 7301 7304 5243 0 -1 4202560 2468 0 1 0 1711 2 0 0 20 0 19 0 36433474 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729276481232 139729127820008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7307] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7307/stat : 7307 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729248943144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7308] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7308/stat : 7308 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729247890344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7309] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7309/stat : 7309 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729246837544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7304/tid=7310] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7310/stat : 7310 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729116375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7311] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7311/stat : 7311 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729115322920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7312] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7312/stat : 7312 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729114270120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7304/tid=7313] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7313/stat : 7313 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729113217320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7314] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7314/stat : 7314 (java) S 7301 7304 5243 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36433475 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139729112164520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7315] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7315/stat : 7315 (java) S 7301 7304 5243 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728629652456 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7316] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7316/stat : 7316 (java) S 7301 7304 5243 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728628598520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7317] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7317/stat : 7317 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433476 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728627545608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7318] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7318/stat : 7318 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728626494096 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7319] ppid=7301 vsize=9625040 CPUtime=1.15 cores=1,3,5,7 /proc/7304/task/7319/stat : 7319 (java) S 7301 7304 5243 0 -1 4202560 14307 0 0 0 112 3 0 0 20 0 19 0 36433478 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728625441208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7320] ppid=7301 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/7304/task/7320/stat : 7320 (java) S 7301 7304 5243 0 -1 4202560 4676 0 0 0 47 0 0 0 20 0 19 0 36433478 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728624388408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7321] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7321/stat : 7321 (java) S 7301 7304 5243 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728623335800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7304/tid=7322] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7322/stat : 7322 (java) S 7301 7304 5243 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36433478 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728622283208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7304/tid=7323] ppid=7301 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7304/task/7323/stat : 7323 (java) S 7301 7304 5243 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36433490 9856040960 36122 33554432000 1073741824 1073778376 140734760945808 139728621229736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 18.82 Current children cumulated vsize (KiB) 9625040 Child status: 30 Real time (s): 17.2881 CPU time (s): 18.8921 CPU user time (s): 18.8091 CPU system time (s): 0.082987 CPU usage (%): 109.278 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.8091 system time used= 0.082987 maximum resident set size= 148648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22749 page faults= 1 swaps= 0 block input operations= 0 block output operations= 64 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 682 involuntary context switches= 102 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.120981 second user time and 0.156976 second system time The end
Begin job on node114 at 2016-06-19 15:44:02 IDJOB=4110200 IDBENCH=79199 IDSOLVER=2551 FILE ID=node114/4110200-1466343842 RUNJOBID= node114-1466341822-5260 PBS_JOBID= 19922038 Free space on /tmp= 71724 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110200-1466343842/watcher-4110200-1466343842 -o /tmp/evaluation-result-4110200-1466343842/solver-4110200-1466343842 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466341822-5260 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4110200-1466343842.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2498aa7c72321a79724f3337e23f532a RANDOM SEED=55749052 node114.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.761 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.52 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.761 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.761 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.761 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.761 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.761 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.761 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.761 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: 30312236 kB Buffers: 147024 kB Cached: 328104 kB SwapCached: 836 kB Active: 294704 kB Inactive: 340104 kB Active(anon): 160256 kB Inactive(anon): 1760 kB Active(file): 134448 kB Inactive(file): 338344 kB Unevictable: 1157044 kB Mlocked: 1075284 kB SwapTotal: 67108856 kB SwapFree: 67100572 kB Dirty: 820 kB Writeback: 0 kB AnonPages: 1328200 kB Mapped: 16460 kB Shmem: 0 kB Slab: 623444 kB SReclaimable: 67044 kB SUnreclaim: 556400 kB KernelStack: 1624 kB PageTables: 7164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1845364 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 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= 71724 MiB End job on node114 at 2016-06-19 15:44:20