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 | 19.85 | 18.333 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo |
| MD5SUM | 8b066002eb3185cd3fd0fbc9dbe06f59 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 58 |
| Best CPU time to get the best result obtained on this benchmark | 13.7919 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 42 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 1838 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 1837 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1255 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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.10/0.10 c Pseudo Boolean Optimization by upper bound 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Glucose 2.1 dynamic restart strategy 0.10/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.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-4090593-1466065007.wbo 0.10/0.10 c reading problem ... 0.10/0.15 c ... done. Wall clock time 0.054s. 0.10/0.15 c declared #vars 169 0.10/0.15 c internal #vars 211 0.10/0.15 c #constraints 101 0.10/0.15 c constraints type 0.10/0.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.10/0.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 41 0.10/0.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.10/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30 0.10/0.15 c 101 constraints processed. 0.10/0.15 c objective function length is 42 literals 0.27/0.29 c SATISFIABLE 0.27/0.29 c OPTIMIZING... 0.27/0.29 c Got one! Elapsed wall clock time (in seconds):0.19 0.27/0.29 o 1192 0.56/0.31 c Got one! Elapsed wall clock time (in seconds):0.205 0.56/0.31 o 1190 0.56/0.33 c Got one! Elapsed wall clock time (in seconds):0.23 0.56/0.33 o 1188 0.56/0.35 c Got one! Elapsed wall clock time (in seconds):0.246 0.56/0.35 o 1136 0.56/0.39 c Got one! Elapsed wall clock time (in seconds):0.287 0.56/0.39 o 1133 0.56/0.39 c Got one! Elapsed wall clock time (in seconds):0.292 0.56/0.39 o 851 0.69/0.40 c Got one! Elapsed wall clock time (in seconds):0.3 0.69/0.40 o 838 0.69/0.41 c Got one! Elapsed wall clock time (in seconds):0.309 0.69/0.41 o 807 0.69/0.42 c Got one! Elapsed wall clock time (in seconds):0.319 0.69/0.42 o 802 0.69/0.42 c Got one! Elapsed wall clock time (in seconds):0.322 0.69/0.42 o 632 0.69/0.43 c Got one! Elapsed wall clock time (in seconds):0.333 0.69/0.43 o 626 0.69/0.44 c Got one! Elapsed wall clock time (in seconds):0.345 0.69/0.44 o 622 0.69/0.45 c Got one! Elapsed wall clock time (in seconds):0.355 0.69/0.45 o 617 0.69/0.48 c Got one! Elapsed wall clock time (in seconds):0.381 0.69/0.48 o 611 0.84/0.52 c Got one! Elapsed wall clock time (in seconds):0.42 0.84/0.52 o 604 0.84/0.57 c Got one! Elapsed wall clock time (in seconds):0.475 0.84/0.57 o 599 0.84/0.59 c Got one! Elapsed wall clock time (in seconds):0.492 0.84/0.59 o 598 0.94/0.61 c Got one! Elapsed wall clock time (in seconds):0.506 0.94/0.61 o 593 0.94/0.61 c Got one! Elapsed wall clock time (in seconds):0.512 0.94/0.61 o 589 0.94/0.61 c Got one! Elapsed wall clock time (in seconds):0.515 0.94/0.61 o 562 0.94/0.64 c Got one! Elapsed wall clock time (in seconds):0.539 0.94/0.64 o 551 0.94/0.65 c Got one! Elapsed wall clock time (in seconds):0.545 0.94/0.65 o 540 0.94/0.65 c Got one! Elapsed wall clock time (in seconds):0.548 0.94/0.65 o 513 0.94/0.66 c Got one! Elapsed wall clock time (in seconds):0.558 0.94/0.66 o 510 0.94/0.66 c Got one! Elapsed wall clock time (in seconds):0.561 0.94/0.66 o 509 0.94/0.67 c Got one! Elapsed wall clock time (in seconds):0.575 0.94/0.67 o 500 0.94/0.68 c Got one! Elapsed wall clock time (in seconds):0.584 0.94/0.68 o 498 0.94/0.69 c Got one! Elapsed wall clock time (in seconds):0.593 0.94/0.69 o 496 0.94/0.70 c Got one! Elapsed wall clock time (in seconds):0.595 0.94/0.70 o 485 1.08/0.70 c Got one! Elapsed wall clock time (in seconds):0.6 1.08/0.70 o 484 1.08/0.70 c Got one! Elapsed wall clock time (in seconds):0.604 1.08/0.70 o 468 1.08/0.71 c Got one! Elapsed wall clock time (in seconds):0.613 1.08/0.71 o 466 1.08/0.73 c Got one! Elapsed wall clock time (in seconds):0.625 1.08/0.73 o 465 1.19/0.80 c Got one! Elapsed wall clock time (in seconds):0.697 1.19/0.80 o 461 1.19/0.80 c Got one! Elapsed wall clock time (in seconds):0.699 1.19/0.80 o 460 1.19/0.81 c Got one! Elapsed wall clock time (in seconds):0.712 1.19/0.81 o 457 1.19/0.83 c Got one! Elapsed wall clock time (in seconds):0.727 1.19/0.83 o 447 1.19/0.83 c Got one! Elapsed wall clock time (in seconds):0.732 1.19/0.83 o 438 1.19/0.84 c Got one! Elapsed wall clock time (in seconds):0.741 1.19/0.84 o 432 1.19/0.85 c Got one! Elapsed wall clock time (in seconds):0.748 1.19/0.85 o 430 1.19/0.86 c Got one! Elapsed wall clock time (in seconds):0.761 1.19/0.86 o 423 1.19/0.87 c Got one! Elapsed wall clock time (in seconds):0.77 1.19/0.87 o 412 1.19/0.88 c Got one! Elapsed wall clock time (in seconds):0.778 1.19/0.88 o 408 1.19/0.89 c Got one! Elapsed wall clock time (in seconds):0.786 1.19/0.89 o 407 1.31/0.90 c Got one! Elapsed wall clock time (in seconds):0.804 1.31/0.90 o 393 1.31/0.91 c Got one! Elapsed wall clock time (in seconds):0.813 1.31/0.91 o 389 1.31/0.95 c Got one! Elapsed wall clock time (in seconds):0.852 1.31/0.95 o 385 1.41/1.04 c cleaning 9347 clauses out of 18700 with flag 2998/18700 1.41/1.04 c Got one! Elapsed wall clock time (in seconds):0.94 1.41/1.04 o 384 1.67/1.22 c cleaning 7226 clauses out of 14460 with flag 13561/23807 1.67/1.25 c Got one! Elapsed wall clock time (in seconds):1.151 1.67/1.25 o 383 1.85/1.30 c Got one! Elapsed wall clock time (in seconds):1.202 1.85/1.30 o 382 1.85/1.30 c Got one! Elapsed wall clock time (in seconds):1.204 1.85/1.30 o 378 1.85/1.31 c Got one! Elapsed wall clock time (in seconds):1.209 1.85/1.31 o 377 1.85/1.31 c Got one! Elapsed wall clock time (in seconds):1.214 1.85/1.31 o 376 1.85/1.32 c Got one! Elapsed wall clock time (in seconds):1.223 1.85/1.32 o 366 1.85/1.34 c Got one! Elapsed wall clock time (in seconds):1.244 1.85/1.34 o 363 1.85/1.36 c Got one! Elapsed wall clock time (in seconds):1.263 1.85/1.36 o 357 1.85/1.38 c Got one! Elapsed wall clock time (in seconds):1.277 1.85/1.38 o 353 1.95/1.47 c Got one! Elapsed wall clock time (in seconds):1.367 1.95/1.47 o 352 1.95/1.47 c Got one! Elapsed wall clock time (in seconds):1.374 1.95/1.47 o 350 1.95/1.48 c Got one! Elapsed wall clock time (in seconds):1.379 1.95/1.48 o 339 2.08/1.50 c Got one! Elapsed wall clock time (in seconds):1.402 2.08/1.50 o 334 2.08/1.51 c Got one! Elapsed wall clock time (in seconds):1.406 2.08/1.51 o 333 2.08/1.52 c Got one! Elapsed wall clock time (in seconds):1.416 2.08/1.52 o 331 2.08/1.52 c Got one! Elapsed wall clock time (in seconds):1.424 2.08/1.52 o 329 2.08/1.53 c Got one! Elapsed wall clock time (in seconds):1.428 2.08/1.53 o 321 2.08/1.53 c Got one! Elapsed wall clock time (in seconds):1.435 2.08/1.53 o 317 2.08/1.58 c cleaning 8521 clauses out of 17041 with flag 3218/33614 2.24/1.67 c Got one! Elapsed wall clock time (in seconds):1.57 2.24/1.67 o 314 2.24/1.67 c Got one! Elapsed wall clock time (in seconds):1.574 2.24/1.67 o 310 2.34/1.73 c Got one! Elapsed wall clock time (in seconds):1.628 2.34/1.73 o 307 2.34/1.74 c Got one! Elapsed wall clock time (in seconds):1.643 2.34/1.74 o 303 2.34/1.75 c Got one! Elapsed wall clock time (in seconds):1.653 2.34/1.75 o 298 2.34/1.75 c Got one! Elapsed wall clock time (in seconds):1.655 2.34/1.75 o 290 2.34/1.76 c Got one! Elapsed wall clock time (in seconds):1.661 2.34/1.76 o 272 2.34/1.78 c Got one! Elapsed wall clock time (in seconds):1.679 2.34/1.78 o 268 2.44/1.81 c Got one! Elapsed wall clock time (in seconds):1.709 2.44/1.81 o 263 2.44/1.83 c Got one! Elapsed wall clock time (in seconds):1.73 2.44/1.83 o 262 2.44/1.88 c cleaning 8344 clauses out of 16700 with flag 3042/41794 2.54/1.92 c Got one! Elapsed wall clock time (in seconds):1.822 2.54/1.92 o 261 2.54/1.95 c Got one! Elapsed wall clock time (in seconds):1.846 2.54/1.95 o 257 2.54/1.98 c Got one! Elapsed wall clock time (in seconds):1.882 2.54/1.98 o 256 2.64/2.08 c Got one! Elapsed wall clock time (in seconds):1.979 2.64/2.08 o 251 2.64/2.08 c Got one! Elapsed wall clock time (in seconds):1.984 2.64/2.08 o 246 2.74/2.14 c cleaning 7780 clauses out of 15559 with flag 3451/48997 2.85/2.29 c Got one! Elapsed wall clock time (in seconds):2.189 2.85/2.29 o 238 2.95/2.33 c cleaning 6874 clauses out of 13754 with flag 3171/54972 2.95/2.33 c Got one! Elapsed wall clock time (in seconds):2.235 2.95/2.33 o 237 2.95/2.34 c Got one! Elapsed wall clock time (in seconds):2.245 2.95/2.34 o 231 2.95/2.37 c Got one! Elapsed wall clock time (in seconds):2.272 2.95/2.37 o 217 2.95/2.38 c Got one! Elapsed wall clock time (in seconds):2.278 2.95/2.38 o 216 3.04/2.43 c Got one! Elapsed wall clock time (in seconds):2.332 3.04/2.43 o 215 3.14/2.59 c cleaning 7037 clauses out of 14076 with flag 13228/62168 3.34/2.74 c Got one! Elapsed wall clock time (in seconds):2.636 3.34/2.74 o 210 3.34/2.78 c cleaning 6321 clauses out of 12650 with flag 3575/67779 3.54/2.94 c Got one! Elapsed wall clock time (in seconds):2.841 3.54/2.94 o 185 3.75/3.16 c cleaning 8164 clauses out of 16333 with flag 16875/77783 3.96/3.33 c Got one! Elapsed wall clock time (in seconds):3.235 3.96/3.33 o 179 3.96/3.39 c cleaning 6880 clauses out of 13767 with flag 3244/83381 4.25/3.60 c Got one! Elapsed wall clock time (in seconds):3.501 4.25/3.60 o 178 4.45/3.85 c cleaning 8733 clauses out of 17482 with flag 18717/93976 4.65/4.10 c cleaning 7371 clauses out of 14749 with flag 42935/99976 4.95/4.36 c cleaning 7185 clauses out of 14377 with flag 67094/106976 5.06/4.49 c Got one! Elapsed wall clock time (in seconds):4.394 5.06/4.49 o 164 5.16/4.54 c cleaning 6140 clauses out of 12279 with flag 2980/112064 5.25/4.65 c Got one! Elapsed wall clock time (in seconds):4.549 5.25/4.65 o 156 5.36/4.72 c cleaning 5845 clauses out of 11706 with flag 6262/117631 5.56/4.92 c cleaning 5923 clauses out of 11858 with flag 25711/123628 5.56/4.97 c Got one! Elapsed wall clock time (in seconds):4.87 5.56/4.97 o 147 5.76/5.11 c cleaning 5789 clauses out of 11580 with flag 14125/129273 5.96/5.33 c cleaning 5890 clauses out of 11791 with flag 33325/135273 6.16/5.53 c Got one! Elapsed wall clock time (in seconds):5.43 6.16/5.53 o 142 6.36/5.74 c cleaning 8361 clauses out of 16730 with flag 17874/146102 6.56/5.98 c cleaning 7178 clauses out of 14370 with flag 40445/152103 6.86/6.24 c cleaning 7095 clauses out of 14192 with flag 66636/159103 7.15/6.54 c cleaning 7548 clauses out of 15097 with flag 96644/167103 7.26/6.70 c Got one! Elapsed wall clock time (in seconds):6.596 7.26/6.70 o 118 7.36/6.74 c cleaning 6470 clauses out of 12945 with flag 3879/172499 7.56/6.95 c cleaning 6238 clauses out of 12479 with flag 25450/178503 7.85/7.22 c cleaning 6613 clauses out of 13235 with flag 52797/185498 8.15/7.55 c cleaning 7310 clauses out of 14622 with flag 88157/193498 8.55/7.93 c cleaning 8156 clauses out of 16312 with flag 132218/202498 8.55/7.96 c Got one! Elapsed wall clock time (in seconds):7.855 8.55/7.96 o 114 8.75/8.15 c cleaning 7005 clauses out of 14013 with flag 18597/208355 8.95/8.37 c cleaning 6502 clauses out of 13016 with flag 43542/214363 9.25/8.63 c cleaning 6751 clauses out of 13506 with flag 72511/221355 9.56/8.96 c cleaning 7374 clauses out of 14756 with flag 106394/229356 9.95/9.33 c cleaning 8189 clauses out of 16382 with flag 146427/238356 10.35/9.74 c cleaning 9092 clauses out of 18192 with flag 190131/248355 10.86/10.21 c cleaning 10046 clauses out of 20100 with flag 232282/259355 11.36/10.79 c cleaning 11023 clauses out of 22055 with flag 282413/271356 11.96/11.39 c cleaning 12007 clauses out of 24031 with flag 338965/284355 12.66/12.10 c cleaning 13007 clauses out of 26024 with flag 404013/298355 12.96/12.35 c Got one! Elapsed wall clock time (in seconds):12.253 12.96/12.35 o 105 13.27/12.62 c cleaning 11960 clauses out of 23926 with flag 19775/309265 13.47/12.88 c cleaning 8975 clauses out of 17966 with flag 44956/315265 13.57/12.98 c Got one! Elapsed wall clock time (in seconds):12.885 13.57/12.98 o 81 13.87/13.11 c cleaning 7377 clauses out of 14766 with flag 12238/321040 14.11/13.37 c cleaning 6687 clauses out of 13386 with flag 35674/327037 14.69/13.66 c cleaning 6843 clauses out of 13700 with flag 63955/334038 15.24/13.98 c cleaning 7424 clauses out of 14855 with flag 93283/342037 15.84/14.33 c cleaning 8215 clauses out of 16430 with flag 123722/351037 15.84/14.38 c Got one! Elapsed wall clock time (in seconds):14.275 15.84/14.38 o 80 16.03/14.53 c cleaning 6811 clauses out of 13641 with flag 15507/356463 16.13/14.63 c Got one! Elapsed wall clock time (in seconds):14.534 16.13/14.63 o 70 16.23/14.72 c cleaning 5997 clauses out of 12004 with flag 7613/361638 16.43/14.93 c cleaning 5996 clauses out of 12006 with flag 29290/367638 16.63/15.17 c cleaning 6499 clauses out of 13009 with flag 52880/374637 16.73/15.23 c Got one! Elapsed wall clock time (in seconds):15.134 16.73/15.23 o 68 16.85/15.35 c cleaning 5875 clauses out of 11757 with flag 11105/379884 17.05/15.56 c cleaning 5941 clauses out of 11883 with flag 33486/385886 17.35/15.82 c cleaning 6468 clauses out of 12939 with flag 59952/392884 17.65/16.14 c cleaning 7230 clauses out of 14470 with flag 91262/400885 18.05/16.51 c cleaning 8115 clauses out of 16237 with flag 126628/409884 18.45/16.94 c cleaning 9055 clauses out of 18121 with flag 164797/419885 18.95/17.44 c cleaning 10029 clauses out of 20063 with flag 207870/430884 19.55/18.01 c cleaning 11008 clauses out of 22031 with flag 258304/442885 19.65/18.19 c Got one! Elapsed wall clock time (in seconds):18.092 19.65/18.19 o 58 19.75/18.25 c cleaning 8232 clauses out of 16472 with flag 3872/448339 19.85/18.31 c starts : 534 19.85/18.31 c conflicts : 450233 19.85/18.31 c decisions : 702158 19.85/18.31 c propagations : 11164825 19.85/18.31 c inspects : 241003983 19.85/18.31 c shortcuts : 0 19.85/18.31 c learnt literals : 38 19.85/18.31 c learnt binary clauses : 6 19.85/18.31 c learnt ternary clauses : 722 19.85/18.31 c learnt constraints : 450194 19.85/18.31 c ignored constraints : 0 19.85/18.31 c root simplifications : 0 19.85/18.31 c removed literals (reason simplification) : 0 19.85/18.31 c reason swapping (by a shorter reason) : 0 19.85/18.31 c Calls to reduceDB : 57 19.85/18.31 c Number of update (reduction) of LBD : 103319 19.85/18.31 c Imported unit clauses : 0 19.85/18.31 c number of reductions to clauses (during analyze) : 0 19.85/18.31 c number of learned constraints concerned by reduction : 0 19.85/18.31 c number of learning phase by resolution : 0 19.85/18.31 c number of learning phase by cutting planes : 0 19.85/18.31 c speed (assignments/second) : 614904.7199427218 19.85/18.31 c non guided choices 3511 19.85/18.31 c learnt constraints type 19.85/18.31 s OPTIMUM FOUND 19.85/18.31 c Found 103 solution(s) 19.85/18.31 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 19.85/18.32 c objective function=58 19.85/18.32 c Total wall clock time (in seconds): 18.215
OK 58
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090593-1466065007/watcher-4090593-1466065007 -o /tmp/evaluation-result-4090593-1466065007/solver-4090593-1466065007 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466062134-7230 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090593-1466065007.wbo pid=8929 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.07 2.10 1.97 3/194 8932 /proc/meminfo: memFree=30697120/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 8549666 98570240 978 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 24065 978 744 9 0 16771 0 [pid=8932/tid=8933] ppid=8929 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 8549667 98570240 978 33554432000 1073741824 1073778376 140734369896672 140354068287016 213193147776 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 2.07 2.10 1.97 3/194 8932 /proc/meminfo: memFree=30697120/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 4487 0 1 0 10 0 0 0 20 0 18 0 8549666 9787879424 6117 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2389619 6117 2157 9 0 2380296 0 [pid=8932/tid=8933] ppid=8929 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2381 0 1 0 7 0 0 0 20 0 18 0 8549667 9787879424 6117 33554432000 1073741824 1073778376 140734369896672 140354068291928 213196530957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200279 s] /proc/loadavg: 2.07 2.10 1.97 3/194 8932 /proc/meminfo: memFree=30697120/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 6692 0 1 0 26 1 0 0 20 0 19 0 8549666 9856040960 8769 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 8769 2232 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=0.17 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2407 0 1 0 17 0 0 0 20 0 19 0 8549667 9856040960 8769 33554432000 1073741824 1073778376 140734369896672 140354068292224 140353910951431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9625040 [startup+0.300274 s] /proc/loadavg: 2.07 2.10 1.97 3/194 8932 /proc/meminfo: memFree=30697120/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 8027 0 1 0 54 2 0 0 20 0 19 0 8549666 9856040960 8894 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 8894 2244 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2408 0 1 0 27 0 0 0 20 0 19 0 8549667 9856040960 8894 33554432000 1073741824 1073778376 140734369896672 140354068292224 140353910990727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 9625040 [startup+0.700167 s] /proc/loadavg: 2.07 2.10 1.97 3/194 8932 /proc/meminfo: memFree=30697120/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=1.08 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 8994 0 1 0 106 2 0 0 20 0 19 0 8549666 9856040960 9416 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 9416 2253 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2409 0 1 0 67 0 0 0 20 0 19 0 8549667 9856040960 9416 33554432000 1073741824 1073778376 140734369896672 140354068292224 213196530861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 2.14 2.12 1.98 3/213 8951 /proc/meminfo: memFree=30662548/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=2.08 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 10889 0 1 0 206 2 0 0 20 0 19 0 8549666 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 10987 2261 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2413 0 1 0 146 1 0 0 20 0 19 0 8549667 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140354068291768 140353911340600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8935] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8935/stat : 8935 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549667 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140354029783592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8936] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8936/stat : 8936 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353910860200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8937] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8937/stat : 8937 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353909807400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8938] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8938/stat : 8938 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353908754600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8939] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8939/stat : 8939 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353907702824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8940] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8940/stat : 8940 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353906650024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8941] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8941/stat : 8941 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353905597224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8942] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8942/stat : 8942 (java) S 8929 8932 7213 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353904544424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8943] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8943/stat : 8943 (java) S 8929 8932 7213 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353422215656 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8944] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8944/stat : 8944 (java) S 8929 8932 7213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353421161720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8945] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8945/stat : 8945 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353420108808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8946] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8946/stat : 8946 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353419057296 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8947] ppid=8929 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/8932/task/8947/stat : 8947 (java) R 8929 8932 7213 0 -1 4202560 4148 0 0 0 31 0 0 0 20 0 19 0 8549671 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353418005432 140354074252086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8948] ppid=8929 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/8932/task/8948/stat : 8948 (java) S 8929 8932 7213 0 -1 4202560 3055 0 0 0 27 0 0 0 20 0 19 0 8549671 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353416952632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8949] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8949/stat : 8949 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353415900024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8950] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8950/stat : 8950 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353414847432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8951] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8951/stat : 8951 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549682 9856040960 10987 33554432000 1073741824 1073778376 140734369896672 140353413792936 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 9625040 [startup+3.10076 s] /proc/loadavg: 2.14 2.12 1.98 3/213 8951 /proc/meminfo: memFree=30655908/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=3.75 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 11495 0 1 0 372 3 0 0 20 0 19 0 8549666 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 13536 2263 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2419 0 1 0 306 1 0 0 20 0 19 0 8549667 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140354068283696 140353911383147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8935] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8935/stat : 8935 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549667 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140354029783592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8936] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8936/stat : 8936 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353910860200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8937] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8937/stat : 8937 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353909807400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8938] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8938/stat : 8938 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353908754600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8939] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8939/stat : 8939 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353907702824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8940] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8940/stat : 8940 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353906650024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8941] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8941/stat : 8941 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353905597224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8942] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8942/stat : 8942 (java) S 8929 8932 7213 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353904544424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8943] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8943/stat : 8943 (java) S 8929 8932 7213 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353422215656 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8944] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8944/stat : 8944 (java) S 8929 8932 7213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353421161720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8945] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8945/stat : 8945 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353420108808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8946] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8946/stat : 8946 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353419057296 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8947] ppid=8929 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/8932/task/8947/stat : 8947 (java) S 8929 8932 7213 0 -1 4202560 4377 0 0 0 33 0 0 0 20 0 19 0 8549671 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353418005432 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8948] ppid=8929 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/8932/task/8948/stat : 8948 (java) S 8929 8932 7213 0 -1 4202560 3426 0 0 0 31 0 0 0 20 0 19 0 8549671 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353416952632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8949] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8949/stat : 8949 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353415900024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8950] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8950/stat : 8950 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353414847432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8951] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8951/stat : 8951 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549682 9856040960 13536 33554432000 1073741824 1073778376 140734369896672 140353413792936 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.75 Current children cumulated vsize (KiB) 9625040 [startup+6.30078 s] /proc/loadavg: 2.13 2.12 1.98 3/213 8951 /proc/meminfo: memFree=30637488/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=6.95 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 11507 0 1 0 692 3 0 0 20 0 19 0 8549666 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 18090 2264 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=6.26 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2430 0 1 0 625 1 0 0 20 0 19 0 8549667 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140354068283072 140353911351292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8935] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8935/stat : 8935 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549667 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140354029783592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8936] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8936/stat : 8936 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353910860200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8937] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8937/stat : 8937 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353909807400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8938] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8938/stat : 8938 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353908754600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8939] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8939/stat : 8939 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353907702824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8940] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8940/stat : 8940 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353906650024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8941] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8941/stat : 8941 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353905597224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8942] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8942/stat : 8942 (java) S 8929 8932 7213 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353904544424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8943] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8943/stat : 8943 (java) S 8929 8932 7213 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353422215656 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8944] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8944/stat : 8944 (java) S 8929 8932 7213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353421161720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8945] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8945/stat : 8945 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353420108808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8946] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8946/stat : 8946 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353419057296 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8947] ppid=8929 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/8932/task/8947/stat : 8947 (java) S 8929 8932 7213 0 -1 4202560 4377 0 0 0 33 0 0 0 20 0 19 0 8549671 9856040960 18090 33554432000 1073741824 1073778376 140734369896672 140353418005432 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8948] ppid=8929 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 ################ # More data... # ################ [pid=8932/tid=8944] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8944/stat : 8944 (java) S 8929 8932 7213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36162 33554432000 1073741824 1073778376 140734369896672 140353421161720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8945] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8945/stat : 8945 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36162 33554432000 1073741824 1073778376 140734369896672 140353420108808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8946] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8946/stat : 8946 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36162 33554432000 1073741824 1073778376 140734369896672 140353419057296 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8947] ppid=8929 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8932/task/8947/stat : 8947 (java) S 8929 8932 7213 0 -1 4202560 4414 0 0 0 36 0 0 0 20 0 19 0 8549671 9856040960 36162 33554432000 1073741824 1073778376 140734369896672 140353418005432 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8948] ppid=8929 vsize=9625040 CPUtime=1.17 cores=1,3,5,7 /proc/8932/task/8948/stat : 8948 (java) S 8929 8932 7213 0 -1 4202560 17670 0 0 0 114 3 0 0 20 0 19 0 8549671 9856040960 36162 33554432000 1073741824 1073778376 140734369896672 140353416952632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8949] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8949/stat : 8949 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36162 33554432000 1073741824 1073778376 140734369896672 140353415900024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8950] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8950/stat : 8950 (java) S 8929 8932 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36162 33554432000 1073741824 1073778376 140734369896672 140353414847432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8951] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8951/stat : 8951 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549682 9856040960 36162 33554432000 1073741824 1073778376 140734369896672 140353413792936 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 19.16 Current children cumulated vsize (KiB) 9625040 [startup+18.0008 s] /proc/loadavg: 2.11 2.11 1.98 3/213 8951 /proc/meminfo: memFree=30559012/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=19.55 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 25819 0 1 0 1948 7 0 0 20 0 19 0 8549666 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 36674 2265 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=17.93 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2460 0 1 0 1791 2 0 0 20 0 19 0 8549667 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140354068291992 140353911851208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8935] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8935/stat : 8935 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549667 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140354029783592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8936] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8936/stat : 8936 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353910860200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8937] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8937/stat : 8937 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353909807400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8938] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8938/stat : 8938 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353908754600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8939] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8939/stat : 8939 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353907702824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8940] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8940/stat : 8940 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353906650024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8941] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8941/stat : 8941 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353905597224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8942] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8942/stat : 8942 (java) S 8929 8932 7213 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353904544424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8943] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8943/stat : 8943 (java) S 8929 8932 7213 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353422215656 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8944] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8944/stat : 8944 (java) S 8929 8932 7213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353421161720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8945] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8945/stat : 8945 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353420108808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8946] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8946/stat : 8946 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353419057296 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8947] ppid=8929 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8932/task/8947/stat : 8947 (java) S 8929 8932 7213 0 -1 4202560 4414 0 0 0 36 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353418005432 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8948] ppid=8929 vsize=9625040 CPUtime=1.17 cores=1,3,5,7 /proc/8932/task/8948/stat : 8948 (java) S 8929 8932 7213 0 -1 4202560 17670 0 0 0 114 3 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353416952632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8949] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8949/stat : 8949 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353415900024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8950] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8950/stat : 8950 (java) S 8929 8932 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353414847432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8951] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8951/stat : 8951 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549682 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353413792936 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 19.55 Current children cumulated vsize (KiB) 9625040 [startup+18.2008 s] /proc/loadavg: 2.11 2.11 1.98 3/213 8951 /proc/meminfo: memFree=30559012/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=19.75 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 25819 0 1 0 1968 7 0 0 20 0 19 0 8549666 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 36674 2265 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=18.13 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2460 0 1 0 1811 2 0 0 20 0 19 0 8549667 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140354068283072 140353911351226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8935] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8935/stat : 8935 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549667 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140354029783592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8936] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8936/stat : 8936 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353910860200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8937] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8937/stat : 8937 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353909807400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8938] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8938/stat : 8938 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353908754600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8939] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8939/stat : 8939 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353907702824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8940] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8940/stat : 8940 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353906650024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8941] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8941/stat : 8941 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353905597224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8942] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8942/stat : 8942 (java) S 8929 8932 7213 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353904544424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8943] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8943/stat : 8943 (java) S 8929 8932 7213 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353422215656 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8944] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8944/stat : 8944 (java) S 8929 8932 7213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353421161720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8945] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8945/stat : 8945 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353420108808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8946] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8946/stat : 8946 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353419057296 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8947] ppid=8929 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8932/task/8947/stat : 8947 (java) S 8929 8932 7213 0 -1 4202560 4414 0 0 0 36 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353418005432 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8948] ppid=8929 vsize=9625040 CPUtime=1.17 cores=1,3,5,7 /proc/8932/task/8948/stat : 8948 (java) S 8929 8932 7213 0 -1 4202560 17670 0 0 0 114 3 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353416952632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8949] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8949/stat : 8949 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353415900024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8950] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8950/stat : 8950 (java) S 8929 8932 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353414847432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8951] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8951/stat : 8951 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549682 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353413792936 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 19.75 Current children cumulated vsize (KiB) 9625040 [startup+18.3008 s] /proc/loadavg: 2.11 2.11 1.98 3/213 8951 /proc/meminfo: memFree=30559012/32872528 swapFree=876280/941688 [pid=8932] ppid=8929 vsize=9625040 CPUtime=19.85 cores=1,3,5,7 /proc/8932/stat : 8932 (java) S 8929 8932 7213 0 -1 4202496 25819 0 1 0 1978 7 0 0 20 0 19 0 8549666 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140734369887808 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8932/statm: 2406260 36674 2265 9 0 2396937 0 [pid=8932/tid=8933] ppid=8929 vsize=9625040 CPUtime=18.23 cores=1,3,5,7 /proc/8932/task/8933/stat : 8933 (java) R 8929 8932 7213 0 -1 4202560 2460 0 1 0 1821 2 0 0 20 0 19 0 8549667 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140354068283072 140353911383231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8935] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8935/stat : 8935 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549667 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140354029783592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8936] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8936/stat : 8936 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353910860200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8937] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8937/stat : 8937 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353909807400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8938] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8938/stat : 8938 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353908754600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8939] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8939/stat : 8939 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353907702824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8940] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8940/stat : 8940 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353906650024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8941] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8941/stat : 8941 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353905597224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8932/tid=8942] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8942/stat : 8942 (java) S 8929 8932 7213 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8549668 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353904544424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8943] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8943/stat : 8943 (java) S 8929 8932 7213 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353422215656 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8944] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8944/stat : 8944 (java) S 8929 8932 7213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353421161720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8945] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8945/stat : 8945 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549669 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353420108808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8946] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8946/stat : 8946 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353419057296 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8947] ppid=8929 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8932/task/8947/stat : 8947 (java) S 8929 8932 7213 0 -1 4202560 4414 0 0 0 36 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353418005432 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8932/tid=8948] ppid=8929 vsize=9625040 CPUtime=1.17 cores=1,3,5,7 /proc/8932/task/8948/stat : 8948 (java) S 8929 8932 7213 0 -1 4202560 17670 0 0 0 114 3 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353416952632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8949] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8949/stat : 8949 (java) S 8929 8932 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353415900024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8932/tid=8950] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8950/stat : 8950 (java) S 8929 8932 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8549671 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353414847432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8932/tid=8951] ppid=8929 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8932/task/8951/stat : 8951 (java) S 8929 8932 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8549682 9856040960 36674 33554432000 1073741824 1073778376 140734369896672 140353413792936 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 19.85 Current children cumulated vsize (KiB) 9625040 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8932 and gives # childrusage.ru_utime.tv_sec=19 # childrusage.ru_utime.tv_usec=767994 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=80987 # CPU time returned by wait4() is 19.849 # while last known CPU time is 19.85 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 18.333 CPU time (s): 19.85 CPU user time (s): 19.78 CPU system time (s): 0.07 CPU usage (%): 108.275 Max. virtual memory (cumulated for all children) (KiB): 9625780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.768 system time used= 0.080987 maximum resident set size= 148796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25837 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= 696 involuntary context switches= 61 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.050992 second user time and 0.077988 second system time The end
Begin job on node113 at 2016-06-16 10:16:47 IDJOB=4090593 IDBENCH=78771 IDSOLVER=2551 FILE ID=node113/4090593-1466065007 RUNJOBID= node113-1466062134-7230 PBS_JOBID= 19904023 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090593-1466065007/watcher-4090593-1466065007 -o /tmp/evaluation-result-4090593-1466065007/solver-4090593-1466065007 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466062134-7230 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090593-1466065007.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8b066002eb3185cd3fd0fbc9dbe06f59 RANDOM SEED=1275676198 node113.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.799 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.59 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.799 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.799 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.799 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.799 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.799 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.54 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.799 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.54 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.799 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30697432 kB Buffers: 6496 kB Cached: 39740 kB SwapCached: 2172 kB Active: 512144 kB Inactive: 23004 kB Active(anon): 489932 kB Inactive(anon): 1596 kB Active(file): 22212 kB Inactive(file): 21408 kB Unevictable: 941688 kB Mlocked: 876280 kB SwapTotal: 67108856 kB SwapFree: 67098712 kB Dirty: 620 kB Writeback: 0 kB AnonPages: 1479272 kB Mapped: 15352 kB Shmem: 0 kB Slab: 565144 kB SReclaimable: 8700 kB SUnreclaim: 556444 kB KernelStack: 1760 kB PageTables: 7388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1588884 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 577536 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 node113 at 2016-06-16 10:17:06