Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2012-05-28 | OPTIMUM | 32.1121 | 30.1517 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo |
| MD5SUM | 935e196b2e49c7ace79e7b55afc624f4 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.680895 |
| 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 | 5034 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 5033 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1139 |
| 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.06/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.10 c See www.sat4j.org for details. 0.06/0.11 c version 2.3.2.v20120528 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 501472288 0.06/0.11 c Max memory 7480803328 0.06/0.11 c Total memory 504102912 0.06/0.11 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization by upper bound 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose 2 learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c solving HOME/instance-3718441-1338254146.wbo 0.06/0.13 c reading problem ... 0.06/0.18 c ... done. Wall clock time 0.054s. 0.06/0.18 c declared #vars 169 0.06/0.18 c internal #vars 270 0.06/0.19 c #constraints 101 0.06/0.19 c constraints type 0.06/0.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.06/0.19 c ignored satisfied constraints => 1 0.06/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.06/0.19 c 102 constraints processed. 0.06/0.19 c objective function length is 101 literals 0.21/0.23 c SATISFIABLE 0.21/0.23 c OPTIMIZING... 0.21/0.23 c Got one! Elapsed wall clock time (in seconds):0.101 0.21/0.23 o 568 0.21/0.26 c Got one! Elapsed wall clock time (in seconds):0.13 0.21/0.26 o 555 0.21/0.27 c Got one! Elapsed wall clock time (in seconds):0.142 0.21/0.27 o 521 0.21/0.28 c Got one! Elapsed wall clock time (in seconds):0.15 0.21/0.28 o 456 0.21/0.29 c Got one! Elapsed wall clock time (in seconds):0.159 0.21/0.29 o 400 0.46/0.30 c Got one! Elapsed wall clock time (in seconds):0.17 0.46/0.30 o 377 0.46/0.33 c Got one! Elapsed wall clock time (in seconds):0.194 0.46/0.33 o 374 0.46/0.35 c Got one! Elapsed wall clock time (in seconds):0.214 0.46/0.35 o 368 0.46/0.35 c Got one! Elapsed wall clock time (in seconds):0.222 0.46/0.35 o 364 0.46/0.36 c Got one! Elapsed wall clock time (in seconds):0.224 0.46/0.36 o 362 0.46/0.38 c Got one! Elapsed wall clock time (in seconds):0.25 0.46/0.38 o 361 0.66/0.40 c Got one! Elapsed wall clock time (in seconds):0.266 0.66/0.40 o 358 0.66/0.41 c Got one! Elapsed wall clock time (in seconds):0.276 0.66/0.41 o 350 0.66/0.42 c Got one! Elapsed wall clock time (in seconds):0.289 0.66/0.42 o 333 0.66/0.43 c Got one! Elapsed wall clock time (in seconds):0.295 0.66/0.43 o 324 0.66/0.49 c Got one! Elapsed wall clock time (in seconds):0.354 0.66/0.49 o 322 0.79/0.55 c Got one! Elapsed wall clock time (in seconds):0.416 0.79/0.55 o 304 0.90/0.60 c Got one! Elapsed wall clock time (in seconds):0.472 0.90/0.60 o 303 0.90/0.63 c Got one! Elapsed wall clock time (in seconds):0.497 0.90/0.63 o 288 0.90/0.67 c Got one! Elapsed wall clock time (in seconds):0.542 0.90/0.67 o 286 0.90/0.69 c Got one! Elapsed wall clock time (in seconds):0.562 0.90/0.69 o 276 1.05/0.76 c cleaning 6278 clauses out of 12569 with flag 4081/12569 1.05/0.79 c Got one! Elapsed wall clock time (in seconds):0.66 1.05/0.79 o 273 1.19/0.80 c Got one! Elapsed wall clock time (in seconds):0.673 1.19/0.80 o 264 1.19/0.82 c Got one! Elapsed wall clock time (in seconds):0.687 1.19/0.82 o 247 1.19/0.87 c Got one! Elapsed wall clock time (in seconds):0.737 1.19/0.87 o 246 1.19/0.89 c Got one! Elapsed wall clock time (in seconds):0.762 1.19/0.89 o 245 1.33/0.95 c Got one! Elapsed wall clock time (in seconds):0.82 1.33/0.95 o 237 1.44/1.06 c Got one! Elapsed wall clock time (in seconds):0.93 1.44/1.06 o 235 1.57/1.11 c cleaning 7944 clauses out of 15899 with flag 3972/22177 1.57/1.16 c Got one! Elapsed wall clock time (in seconds):1.029 1.57/1.16 o 230 1.76/1.24 c Got one! Elapsed wall clock time (in seconds):1.106 1.76/1.24 o 225 1.86/1.32 c cleaning 6706 clauses out of 13429 with flag 10390/27651 1.86/1.35 c Got one! Elapsed wall clock time (in seconds):1.219 1.86/1.35 o 223 1.98/1.48 c Got one! Elapsed wall clock time (in seconds):1.347 1.98/1.48 o 222 1.98/1.49 c Got one! Elapsed wall clock time (in seconds):1.362 1.98/1.49 o 197 2.08/1.50 c Got one! Elapsed wall clock time (in seconds):1.365 2.08/1.50 o 196 2.08/1.54 c Got one! Elapsed wall clock time (in seconds):1.405 2.08/1.54 o 195 2.08/1.58 c cleaning 6833 clauses out of 13683 with flag 4544/34611 2.18/1.62 c Got one! Elapsed wall clock time (in seconds):1.487 2.18/1.62 o 194 2.18/1.68 c Got one! Elapsed wall clock time (in seconds):1.548 2.18/1.68 o 187 2.28/1.77 c Got one! Elapsed wall clock time (in seconds):1.639 2.28/1.77 o 184 2.41/1.86 c cleaning 6957 clauses out of 13935 with flag 11111/41696 2.53/1.95 c Got one! Elapsed wall clock time (in seconds):1.821 2.53/1.95 o 183 2.65/2.08 c cleaning 6290 clauses out of 12587 with flag 16237/47305 2.76/2.16 c Got one! Elapsed wall clock time (in seconds):2.03 2.76/2.16 o 178 2.76/2.17 c Got one! Elapsed wall clock time (in seconds):2.04 2.76/2.17 o 176 2.76/2.19 c Got one! Elapsed wall clock time (in seconds):2.059 2.76/2.19 o 172 2.86/2.27 c Got one! Elapsed wall clock time (in seconds):2.136 2.86/2.27 o 170 2.95/2.31 c cleaning 6427 clauses out of 12866 with flag 4472/53874 2.95/2.33 c Got one! Elapsed wall clock time (in seconds):2.199 2.95/2.33 o 169 3.05/2.46 c Got one! Elapsed wall clock time (in seconds):2.333 3.05/2.46 o 167 3.15/2.51 c cleaning 5980 clauses out of 11968 with flag 4858/59403 3.15/2.59 c Got one! Elapsed wall clock time (in seconds):2.462 3.15/2.59 o 158 3.26/2.69 c cleaning 5782 clauses out of 11576 with flag 14029/64991 3.36/2.74 c Got one! Elapsed wall clock time (in seconds):2.61 3.36/2.74 o 126 3.46/2.87 c cleaning 5581 clauses out of 11184 with flag 18631/70381 3.66/3.03 c Got one! Elapsed wall clock time (in seconds):2.896 3.66/3.03 o 125 3.66/3.05 c Got one! Elapsed wall clock time (in seconds):2.92 3.66/3.05 o 121 3.80/3.13 c cleaning 5980 clauses out of 11960 with flag 4656/76738 3.80/3.16 c Got one! Elapsed wall clock time (in seconds):3.029 3.80/3.16 o 120 3.80/3.19 c Got one! Elapsed wall clock time (in seconds):3.06 3.80/3.19 o 114 4.27/3.35 c Got one! Elapsed wall clock time (in seconds):3.221 4.27/3.35 o 109 4.46/3.42 c cleaning 6316 clauses out of 12638 with flag 4406/83396 4.46/3.46 c Got one! Elapsed wall clock time (in seconds):3.327 4.46/3.46 o 108 4.61/3.57 c Got one! Elapsed wall clock time (in seconds):3.435 4.61/3.57 o 107 4.72/3.66 c cleaning 6063 clauses out of 12146 with flag 11013/89220 5.27/3.90 c cleaning 6042 clauses out of 12083 with flag 41346/95220 5.27/3.92 c Got one! Elapsed wall clock time (in seconds):3.79 5.27/3.92 o 106 5.65/4.11 c cleaning 5593 clauses out of 11199 with flag 29279/100378 5.65/4.14 c Got one! Elapsed wall clock time (in seconds):4.008 5.65/4.14 o 105 5.86/4.32 c cleaning 5587 clauses out of 11190 with flag 28466/105962 6.05/4.53 c cleaning 5794 clauses out of 11601 with flag 58852/111960 6.15/4.60 c Got one! Elapsed wall clock time (in seconds):4.465 6.15/4.60 o 103 6.15/4.62 c Got one! Elapsed wall clock time (in seconds):4.492 6.15/4.62 o 100 6.15/4.67 c Got one! Elapsed wall clock time (in seconds):4.538 6.15/4.67 o 96 6.26/4.72 c Got one! Elapsed wall clock time (in seconds):4.589 6.26/4.72 o 93 6.36/4.80 c cleaning 6573 clauses out of 13145 with flag 9838/119298 6.36/4.82 c Got one! Elapsed wall clock time (in seconds):4.692 6.36/4.82 o 92 6.46/4.91 c Got one! Elapsed wall clock time (in seconds):4.781 6.46/4.91 o 88 6.56/5.04 c cleaning 6173 clauses out of 12353 with flag 17341/125079 6.56/5.06 c Got one! Elapsed wall clock time (in seconds):4.932 6.56/5.06 o 83 6.76/5.25 c cleaning 5836 clauses out of 11704 with flag 30045/130603 6.76/5.29 c Got one! Elapsed wall clock time (in seconds):5.156 6.76/5.29 o 82 6.97/5.47 c cleaning 5824 clauses out of 11661 with flag 28902/136396 7.17/5.63 c Got one! Elapsed wall clock time (in seconds):5.5 7.17/5.63 o 81 7.17/5.67 c cleaning 5797 clauses out of 11616 with flag 5322/142175 7.37/5.89 c cleaning 5894 clauses out of 11819 with flag 36177/148175 7.67/6.14 c cleaning 6455 clauses out of 12924 with flag 70661/155174 7.67/6.17 c Got one! Elapsed wall clock time (in seconds):6.044 7.67/6.17 o 80 7.87/6.36 c cleaning 6134 clauses out of 12290 with flag 30200/160995 8.18/6.61 c cleaning 6069 clauses out of 12156 with flag 66377/166995 8.27/6.80 c Got one! Elapsed wall clock time (in seconds):6.664 8.27/6.80 o 79 8.37/6.82 c Got one! Elapsed wall clock time (in seconds):6.69 8.37/6.82 o 68 8.47/6.91 c Got one! Elapsed wall clock time (in seconds):6.783 8.47/6.91 o 58 8.47/6.95 c Got one! Elapsed wall clock time (in seconds):6.824 8.47/6.95 o 54 8.58/7.09 c cleaning 9526 clauses out of 19051 with flag 15723/179959 8.68/7.19 c Got one! Elapsed wall clock time (in seconds):7.062 8.68/7.19 o 49 8.78/7.26 c cleaning 7288 clauses out of 14579 with flag 7993/185013 8.88/7.39 c Got one! Elapsed wall clock time (in seconds):7.26 8.88/7.39 o 48 8.98/7.44 c cleaning 6189 clauses out of 12385 with flag 6368/190107 9.20/7.68 c cleaning 6091 clauses out of 12198 with flag 44173/196109 9.30/7.77 c Got one! Elapsed wall clock time (in seconds):7.637 9.30/7.77 o 47 9.39/7.89 c cleaning 5749 clauses out of 11524 with flag 18831/201526 9.69/8.11 c cleaning 5884 clauses out of 11775 with flag 51205/207526 9.79/8.22 c Got one! Elapsed wall clock time (in seconds):8.093 9.79/8.22 o 45 9.89/8.31 c cleaning 5544 clauses out of 11106 with flag 12071/212741 10.09/8.53 c cleaning 5767 clauses out of 11562 with flag 46207/218741 10.30/8.79 c cleaning 6392 clauses out of 12796 with flag 85804/225742 10.60/9.06 c Got one! Elapsed wall clock time (in seconds):8.925 10.60/9.06 o 38 10.90/9.33 c cleaning 9376 clauses out of 18758 with flag 30864/238096 11.20/9.61 c cleaning 7680 clauses out of 15382 with flag 67590/244096 11.42/9.88 c cleaning 7337 clauses out of 14704 with flag 107387/251098 11.71/10.19 c cleaning 7676 clauses out of 15365 with flag 151781/259096 11.82/10.22 c Got one! Elapsed wall clock time (in seconds):10.087 11.82/10.22 o 37 11.82/10.25 c Got one! Elapsed wall clock time (in seconds):10.119 11.82/10.25 o 35 11.92/10.34 c Got one! Elapsed wall clock time (in seconds):10.207 11.92/10.34 o 34 11.92/10.38 c Got one! Elapsed wall clock time (in seconds):10.246 11.92/10.38 o 28 12.02/10.43 c cleaning 7122 clauses out of 14263 with flag 6548/265670 12.22/10.62 c cleaning 6567 clauses out of 13141 with flag 33980/271670 12.22/10.67 c Got one! Elapsed wall clock time (in seconds):10.536 12.22/10.67 o 25 12.42/10.82 c cleaning 5924 clauses out of 11848 with flag 25266/276944 12.52/11.00 c cleaning 5954 clauses out of 11923 with flag 54240/282943 12.63/11.04 c Got one! Elapsed wall clock time (in seconds):10.911 12.63/11.04 o 24 12.72/11.13 c Got one! Elapsed wall clock time (in seconds):10.997 12.72/11.13 o 23 12.82/11.22 c cleaning 5930 clauses out of 11866 with flag 13948/288840 13.02/11.47 c cleaning 5960 clauses out of 11936 with flag 54108/294840 13.24/11.68 c Got one! Elapsed wall clock time (in seconds):11.552 13.24/11.68 o 21 13.54/11.90 c cleaning 8506 clauses out of 17020 with flag 31232/305884 13.78/12.17 c cleaning 7252 clauses out of 14513 with flag 69313/311883 14.07/12.44 c cleaning 7127 clauses out of 14262 with flag 111551/318884 14.07/12.47 c Got one! Elapsed wall clock time (in seconds):12.334 14.07/12.47 o 20 14.28/12.68 c cleaning 6372 clauses out of 12750 with flag 35809/324499 14.60/12.93 c cleaning 6175 clauses out of 12377 with flag 75595/330498 14.91/13.21 c cleaning 6584 clauses out of 13200 with flag 119224/337496 15.22/13.56 c cleaning 7289 clauses out of 14617 with flag 170665/345497 15.52/13.88 c cleaning 8155 clauses out of 16327 with flag 219788/354496 15.73/14.00 c Got one! Elapsed wall clock time (in seconds):13.871 15.73/14.00 o 19 15.73/14.09 c cleaning 6956 clauses out of 13926 with flag 14064/360250 16.04/14.35 c cleaning 6474 clauses out of 12970 with flag 55104/366250 16.35/14.65 c cleaning 6746 clauses out of 13496 with flag 99597/373250 16.65/14.99 c cleaning 7355 clauses out of 14750 with flag 150122/381250 17.06/15.37 c cleaning 8190 clauses out of 16395 with flag 208114/390250 17.06/15.40 c Got one! Elapsed wall clock time (in seconds):15.271 17.06/15.40 o 18 17.16/15.45 c Got one! Elapsed wall clock time (in seconds):15.319 17.16/15.45 o 17 17.26/15.55 c Got one! Elapsed wall clock time (in seconds):15.416 17.26/15.55 o 13 17.36/15.65 c cleaning 7649 clauses out of 15325 with flag 14512/397370 17.57/15.85 c cleaning 6837 clauses out of 13676 with flag 47582/403370 17.57/15.89 c Got one! Elapsed wall clock time (in seconds):15.756 17.57/15.89 o 12 17.77/16.07 c cleaning 6381 clauses out of 12779 with flag 31761/409310 17.97/16.27 c cleaning 6192 clauses out of 12397 with flag 61763/415309 18.18/16.50 c cleaning 6603 clauses out of 13207 with flag 100087/422311 18.28/16.57 c Got one! Elapsed wall clock time (in seconds):16.437 18.28/16.57 o 11 18.48/16.70 c cleaning 5820 clauses out of 11653 with flag 21652/427360 18.48/16.78 c Got one! Elapsed wall clock time (in seconds):16.65 18.48/16.78 o 10 18.69/16.96 c cleaning 5900 clauses out of 11816 with flag 28205/433343 18.99/17.20 c cleaning 5946 clauses out of 11916 with flag 69435/439343 19.19/17.50 c cleaning 6467 clauses out of 12971 with flag 117277/446344 19.50/17.78 c cleaning 7251 clauses out of 14503 with flag 167090/454343 19.80/18.09 c cleaning 8119 clauses out of 16251 with flag 223214/463343 19.91/18.16 c Got one! Elapsed wall clock time (in seconds):18.031 19.91/18.16 o 9 20.11/18.34 c cleaning 6942 clauses out of 13914 with flag 30756/469125 20.32/18.59 c cleaning 6474 clauses out of 12973 with flag 72795/475126 20.62/18.88 c cleaning 6740 clauses out of 13498 with flag 118456/482125 21.03/19.21 c cleaning 7363 clauses out of 14759 with flag 172258/490126 21.33/19.54 c cleaning 8194 clauses out of 16396 with flag 229071/499126 21.73/19.90 c cleaning 9100 clauses out of 18202 with flag 287934/509127 22.14/20.31 c cleaning 10046 clauses out of 20101 with flag 354001/520127 22.34/20.54 c Got one! Elapsed wall clock time (in seconds):20.412 22.34/20.54 o 8 22.54/20.79 c cleaning 10624 clauses out of 21267 with flag 36836/531339 22.84/21.07 c cleaning 8308 clauses out of 16644 with flag 79558/537340 23.14/21.38 c cleaning 7658 clauses out of 15336 with flag 128361/544340 23.54/21.76 c cleaning 7832 clauses out of 15679 with flag 183677/552341 23.94/22.11 c cleaning 8419 clauses out of 16847 with flag 241090/561341 24.26/22.49 c cleaning 9207 clauses out of 18424 with flag 303105/571339 24.57/22.71 c Got one! Elapsed wall clock time (in seconds):22.578 24.57/22.71 o 7 24.77/22.97 c cleaning 9862 clauses out of 19732 with flag 37637/581854 25.07/23.26 c cleaning 7923 clauses out of 15869 with flag 81413/587853 25.37/23.58 c cleaning 7471 clauses out of 14947 with flag 130160/594854 25.79/23.97 c cleaning 7734 clauses out of 15477 with flag 186209/602855 26.19/24.36 c cleaning 8362 clauses out of 16743 with flag 245047/611855 26.69/24.80 c cleaning 9187 clauses out of 18380 with flag 311454/621854 27.11/25.28 c cleaning 10079 clauses out of 20194 with flag 380168/632855 27.60/25.78 c cleaning 11051 clauses out of 22113 with flag 455326/644854 28.21/26.33 c cleaning 12026 clauses out of 24062 with flag 537096/657854 28.81/26.95 c cleaning 13015 clauses out of 26033 with flag 630487/671853 29.03/27.14 c Got one! Elapsed wall clock time (in seconds):27.012 29.03/27.14 o 6 29.13/27.20 c cleaning 9178 clauses out of 18364 with flag 7691/677201 29.34/27.50 c cleaning 7578 clauses out of 15186 with flag 53860/683201 29.63/27.77 c cleaning 7300 clauses out of 14608 with flag 99254/690201 29.73/27.83 c Got one! Elapsed wall clock time (in seconds):27.695 29.73/27.83 o 5 29.95/28.00 c cleaning 6313 clauses out of 12643 with flag 28705/695537 30.15/28.25 c cleaning 6158 clauses out of 12328 with flag 68507/701535 30.46/28.51 c cleaning 6574 clauses out of 13170 with flag 111213/708535 30.75/28.80 c cleaning 7293 clauses out of 14596 with flag 154859/716535 31.06/29.13 c cleaning 8150 clauses out of 16305 with flag 207878/725537 31.48/29.53 c cleaning 9073 clauses out of 18151 with flag 272379/735535 31.68/29.74 c Got one! Elapsed wall clock time (in seconds):29.608 31.68/29.74 o 3 31.88/29.97 c cleaning 9852 clauses out of 19707 with flag 33243/746165 31.98/30.05 c Got one! Elapsed wall clock time (in seconds):29.914 31.98/30.05 o 2 32.08/30.14 c starts : 266 32.08/30.14 c conflicts : 750307 32.08/30.14 c decisions : 1043367 32.08/30.14 c propagations : 14982403 32.08/30.14 c inspects : 250249859 32.08/30.14 c shortcuts : 0 32.08/30.14 c learnt literals : 26 32.08/30.14 c learnt binary clauses : 57 32.08/30.14 c learnt ternary clauses : 804 32.08/30.14 c learnt constraints : 750280 32.08/30.14 c ignored constraints : 0 32.08/30.14 c root simplifications : 0 32.08/30.14 c removed literals (reason simplification) : 0 32.08/30.14 c reason swapping (by a shorter reason) : 0 32.08/30.14 c Calls to reduceDB : 102 32.08/30.14 c Number of update (reduction) of LBD : 179139 32.08/30.14 c number of reductions to clauses (during analyze) : 0 32.08/30.14 c number of learned constraints concerned by reduction : 0 32.08/30.14 c number of learning phase by resolution : 0 32.08/30.14 c number of learning phase by cutting planes : 0 32.08/30.14 c speed (assignments/second) : 500197.0754181551 32.08/30.14 c non guided choices 5045 32.08/30.14 c learnt constraints type 32.08/30.14 c constraints type 32.08/30.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 32.08/30.14 c ignored satisfied constraints => 1 32.08/30.14 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 32.08/30.14 c 102 constraints processed. 32.08/30.14 s OPTIMUM FOUND 32.08/30.14 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 32.08/30.14 c objective function=2 32.08/30.14 c Total wall clock time (in seconds): 30.012
OK 2
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3718441-1338254146/watcher-3718441-1338254146 -o /tmp/evaluation-result-3718441-1338254146/solver-3718441-1338254146 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718441-1338254146.wbo 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.00 2.01 2.00 3/195 16825 /proc/meminfo: memFree=30848032/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/16825/stat : 16825 (java) D 16823 16825 14287 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 291540181 2560000 45 33554432000 1073741824 1073778376 140737234613040 140737234610168 214360485159 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/16825/statm: 625 45 37 9 0 29 0 [startup+0.03582 s] /proc/loadavg: 2.00 2.01 2.00 3/195 16825 /proc/meminfo: memFree=30848032/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9014776 CPUtime=0.01 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 2230 0 1 0 0 1 0 0 20 0 10 0 291540181 9231130624 2930 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2253694 2930 1080 9 0 2244803 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9014776 [startup+0.100283 s] /proc/loadavg: 2.00 2.01 2.00 3/195 16825 /proc/meminfo: memFree=30848032/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9558416 CPUtime=0.06 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 3358 0 1 0 5 1 0 0 20 0 18 0 291540181 9787817984 4566 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2389604 4567 1773 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558416 [startup+0.30023 s] /proc/loadavg: 2.00 2.01 2.00 3/195 16825 /proc/meminfo: memFree=30848032/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 6567 0 1 0 44 2 0 0 20 0 19 0 291540181 9855979520 7879 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2406245 7879 2233 9 0 2396937 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9624980 [startup+0.700194 s] /proc/loadavg: 2.00 2.01 2.00 3/195 16825 /proc/meminfo: memFree=30848032/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9624980 CPUtime=1.05 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 7479 0 1 0 103 2 0 0 20 0 19 0 291540181 9855979520 8938 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2406245 8938 2242 9 0 2396937 0 Current children cumulated CPU time (s) 1.05 Current children cumulated vsize (KiB) 9624980 [startup+1.50074 s] /proc/loadavg: 2.00 2.01 2.00 3/214 16844 /proc/meminfo: memFree=30813720/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9624980 CPUtime=2.08 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 10993 0 1 0 205 3 0 0 20 0 19 0 291540181 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2406245 13139 2272 9 0 2396937 0 [pid=16825/tid=16827] ppid=16823 vsize=9624980 CPUtime=1.41 cores=1,3,5,7 /proc/16825/task/16827/stat : 16827 (java) R 16823 16825 14287 0 -1 4202560 2463 0 1 0 140 1 0 0 20 0 19 0 291540183 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125221208512 140125070068645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16828] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16828/stat : 16828 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125193669544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16829] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16829/stat : 16829 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125192617000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16830] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16830/stat : 16830 (java) S 16823 16825 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125191563944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16831] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16831/stat : 16831 (java) S 16823 16825 14287 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125190511400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16832] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16832/stat : 16832 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125189458344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16833] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16833/stat : 16833 (java) S 16823 16825 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125188405800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16834] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16834/stat : 16834 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125058672808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16835] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16835/stat : 16835 (java) S 16823 16825 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140125057620264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16836] ppid=16823 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/16825/task/16836/stat : 16836 (java) S 16823 16825 14287 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 291540185 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124574673768 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16837] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16837/stat : 16837 (java) S 16823 16825 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124573620088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16838] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16838/stat : 16838 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124572566920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16839] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16839/stat : 16839 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124571515664 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16840] ppid=16823 vsize=9624980 CPUtime=0.22 cores=1,3,5,7 /proc/16825/task/16840/stat : 16840 (java) S 16823 16825 14287 0 -1 4202560 2099 0 0 0 22 0 0 0 20 0 19 0 291540189 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124570462520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16841] ppid=16823 vsize=9624980 CPUtime=0.37 cores=1,3,5,7 /proc/16825/task/16841/stat : 16841 (java) S 16823 16825 14287 0 -1 4202560 5183 0 0 0 35 2 0 0 20 0 19 0 291540189 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124569409976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16842] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16842/stat : 16842 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124568357112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16843] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16843/stat : 16843 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124567304776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16844] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16844/stat : 16844 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540200 9855979520 13139 33554432000 1073741824 1073778376 140734104767280 140124566251048 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 9624980 [startup+3.10063 s] /proc/loadavg: 2.08 2.02 2.01 3/214 16844 /proc/meminfo: memFree=30803796/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9624980 CPUtime=3.8 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 11042 0 1 0 376 4 0 0 20 0 19 0 291540181 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2406245 13181 2273 9 0 2396937 0 [pid=16825/tid=16827] ppid=16823 vsize=9624980 CPUtime=2.92 cores=1,3,5,7 /proc/16825/task/16827/stat : 16827 (java) R 16823 16825 14287 0 -1 4202560 2470 0 1 0 291 1 0 0 20 0 19 0 291540183 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125221216776 140125070072303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16828] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16828/stat : 16828 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125193669544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16829] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16829/stat : 16829 (java) S 16823 16825 14287 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125192617000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16830] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16830/stat : 16830 (java) S 16823 16825 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125191563944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16831] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16831/stat : 16831 (java) S 16823 16825 14287 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125190511400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16832] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16832/stat : 16832 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125189458344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16833] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16833/stat : 16833 (java) S 16823 16825 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125188405800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16834] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16834/stat : 16834 (java) S 16823 16825 14287 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125058672808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16835] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16835/stat : 16835 (java) S 16823 16825 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140125057620264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16836] ppid=16823 vsize=9624980 CPUtime=0.08 cores=1,3,5,7 /proc/16825/task/16836/stat : 16836 (java) S 16823 16825 14287 0 -1 4202560 31 0 0 0 8 0 0 0 20 0 19 0 291540185 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124574673768 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16837] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16837/stat : 16837 (java) S 16823 16825 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124573620088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16838] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16838/stat : 16838 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124572566920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16839] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16839/stat : 16839 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124571515664 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16840] ppid=16823 vsize=9624980 CPUtime=0.25 cores=1,3,5,7 /proc/16825/task/16840/stat : 16840 (java) S 16823 16825 14287 0 -1 4202560 2099 0 0 0 25 0 0 0 20 0 19 0 291540189 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124570462520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16841] ppid=16823 vsize=9624980 CPUtime=0.45 cores=1,3,5,7 /proc/16825/task/16841/stat : 16841 (java) S 16823 16825 14287 0 -1 4202560 5217 0 0 0 43 2 0 0 20 0 19 0 291540189 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124569409976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16842] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16842/stat : 16842 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124568357112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16843] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16843/stat : 16843 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124567304776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16844] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16844/stat : 16844 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540200 9855979520 13181 33554432000 1073741824 1073778376 140734104767280 140124566251048 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 9624980 [startup+6.30076 s] /proc/loadavg: 2.08 2.02 2.01 3/214 16844 /proc/meminfo: memFree=30792644/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9624980 CPUtime=7.87 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 19341 0 1 0 781 6 0 0 20 0 19 0 291540181 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2406245 15781 2274 9 0 2396937 0 [pid=16825/tid=16827] ppid=16823 vsize=9624980 CPUtime=5.95 cores=1,3,5,7 /proc/16825/task/16827/stat : 16827 (java) R 16823 16825 14287 0 -1 4202560 2484 0 1 0 594 1 0 0 20 0 19 0 291540183 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125221208512 140125070124239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16828] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16828/stat : 16828 (java) S 16823 16825 14287 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125193669544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16829] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16829/stat : 16829 (java) S 16823 16825 14287 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125192617000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16830] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16830/stat : 16830 (java) S 16823 16825 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125191563944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16831] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16831/stat : 16831 (java) S 16823 16825 14287 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125190511400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16832] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16832/stat : 16832 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125189458344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16833] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16833/stat : 16833 (java) S 16823 16825 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125188405800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16834] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16834/stat : 16834 (java) S 16823 16825 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125058672808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16835] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16835/stat : 16835 (java) S 16823 16825 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291540184 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140125057620264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16836] ppid=16823 vsize=9624980 CPUtime=0.23 cores=1,3,5,7 /proc/16825/task/16836/stat : 16836 (java) S 16823 16825 14287 0 -1 4202560 64 0 0 0 23 0 0 0 20 0 19 0 291540185 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124574673768 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16837] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16837/stat : 16837 (java) S 16823 16825 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124573620088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16838] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16838/stat : 16838 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124572566920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16839] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16839/stat : 16839 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124571515664 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16840] ppid=16823 vsize=9624980 CPUtime=0.7 cores=1,3,5,7 /proc/16825/task/16840/stat : 16840 (java) S 16823 16825 14287 0 -1 4202560 6818 0 0 0 69 1 0 0 20 0 19 0 291540189 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124570462520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16841] ppid=16823 vsize=9624980 CPUtime=0.83 cores=1,3,5,7 /proc/16825/task/16841/stat : 16841 (java) S 16823 16825 14287 0 -1 4202560 8748 0 0 0 81 2 0 0 20 0 19 0 291540189 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124569409976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16842] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16842/stat : 16842 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124568357112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16843] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16843/stat : 16843 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124567304776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16844] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16844/stat : 16844 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540200 9855979520 15781 33554432000 1073741824 1073778376 140734104767280 140124566251048 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.87 Current children cumulated vsize (KiB) 9624980 [startup+12.7006 s] ################ # More data... # ################ /proc/16825/task/16828/stat : 16828 (java) S 16823 16825 14287 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 291540184 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140125193669544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16829] ppid=16823 vsize=9624980 CPUtime=0.04 cores=1,3,5,7 /proc/16825/task/16829/stat : 16829 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291540184 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140125192617000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16830] ppid=16823 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/16825/task/16830/stat : 16830 (java) S 16823 16825 14287 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 291540184 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140125191563944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16831] ppid=16823 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/16825/task/16831/stat : 16831 (java) S 16823 16825 14287 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 291540184 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140125190511400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16832] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16832/stat : 16832 (java) S 16823 16825 14287 0 -1 4202560 9 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140125189458344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16833] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16833/stat : 16833 (java) S 16823 16825 14287 0 -1 4202560 9 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140125188405800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16834] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16834/stat : 16834 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140125058672808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16835] ppid=16823 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/16825/task/16835/stat : 16835 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 5 0 0 0 20 0 19 0 291540184 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140125057620264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16836] ppid=16823 vsize=9624980 CPUtime=1.05 cores=1,3,5,7 /proc/16825/task/16836/stat : 16836 (java) S 16823 16825 14287 0 -1 4202560 65 0 0 0 105 0 0 0 20 0 19 0 291540185 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124574673768 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16837] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16837/stat : 16837 (java) S 16823 16825 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124573620088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16838] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16838/stat : 16838 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124572566920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16839] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16839/stat : 16839 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124571515664 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16840] ppid=16823 vsize=9624980 CPUtime=0.73 cores=1,3,5,7 /proc/16825/task/16840/stat : 16840 (java) S 16823 16825 14287 0 -1 4202560 6820 0 0 0 72 1 0 0 20 0 19 0 291540189 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124570462520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16841] ppid=16823 vsize=9624980 CPUtime=0.87 cores=1,3,5,7 /proc/16825/task/16841/stat : 16841 (java) S 16823 16825 14287 0 -1 4202560 8748 0 0 0 85 2 0 0 20 0 19 0 291540189 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124569409976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16842] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16842/stat : 16842 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124568357112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16843] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16843/stat : 16843 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124567304776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16844] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16844/stat : 16844 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540200 9855979520 17371 33554432000 1073741824 1073778376 140734104767280 140124566251048 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 30.65 Current children cumulated vsize (KiB) 9624980 [startup+29.5007 s] /proc/loadavg: 2.05 2.02 2.00 3/214 16844 /proc/meminfo: memFree=30779404/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9624980 CPUtime=31.48 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 19479 0 1 0 3140 8 0 0 20 0 19 0 291540181 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2406245 17373 2276 9 0 2396937 0 [pid=16825/tid=16827] ppid=16823 vsize=9624980 CPUtime=28.05 cores=1,3,5,7 /proc/16825/task/16827/stat : 16827 (java) R 16823 16825 14287 0 -1 4202560 2560 0 1 0 2804 1 0 0 20 0 19 0 291540183 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125221216664 140125070068376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16828] ppid=16823 vsize=9624980 CPUtime=0.04 cores=1,3,5,7 /proc/16825/task/16828/stat : 16828 (java) S 16823 16825 14287 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125193669544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16829] ppid=16823 vsize=9624980 CPUtime=0.04 cores=1,3,5,7 /proc/16825/task/16829/stat : 16829 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125192617000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16830] ppid=16823 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/16825/task/16830/stat : 16830 (java) S 16823 16825 14287 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125191563944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16831] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16831/stat : 16831 (java) S 16823 16825 14287 0 -1 4202560 14 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125190511400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16832] ppid=16823 vsize=9624980 CPUtime=0.08 cores=1,3,5,7 /proc/16825/task/16832/stat : 16832 (java) S 16823 16825 14287 0 -1 4202560 9 0 0 0 8 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125189458344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16833] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16833/stat : 16833 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125188405800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16834] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16834/stat : 16834 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125058672808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16835] ppid=16823 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/16825/task/16835/stat : 16835 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 6 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125057620264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16836] ppid=16823 vsize=9624980 CPUtime=1.07 cores=1,3,5,7 /proc/16825/task/16836/stat : 16836 (java) S 16823 16825 14287 0 -1 4202560 65 0 0 0 107 0 0 0 20 0 19 0 291540185 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124574673768 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16837] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16837/stat : 16837 (java) S 16823 16825 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124573620088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16838] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16838/stat : 16838 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124572566920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16839] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16839/stat : 16839 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124571515664 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16840] ppid=16823 vsize=9624980 CPUtime=0.73 cores=1,3,5,7 /proc/16825/task/16840/stat : 16840 (java) S 16823 16825 14287 0 -1 4202560 6820 0 0 0 72 1 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124570462520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16841] ppid=16823 vsize=9624980 CPUtime=0.87 cores=1,3,5,7 /proc/16825/task/16841/stat : 16841 (java) S 16823 16825 14287 0 -1 4202560 8748 0 0 0 85 2 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124569409976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16842] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16842/stat : 16842 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124568357112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16843] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16843/stat : 16843 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124567304776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16844] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16844/stat : 16844 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540200 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124566251048 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 31.48 Current children cumulated vsize (KiB) 9624980 [startup+29.9007 s] /proc/loadavg: 2.05 2.02 2.00 3/214 16844 /proc/meminfo: memFree=30779404/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9624980 CPUtime=31.88 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 19480 0 1 0 3180 8 0 0 20 0 19 0 291540181 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2406245 17373 2276 9 0 2396937 0 [pid=16825/tid=16827] ppid=16823 vsize=9624980 CPUtime=28.44 cores=1,3,5,7 /proc/16825/task/16827/stat : 16827 (java) R 16823 16825 14287 0 -1 4202560 2561 0 1 0 2843 1 0 0 20 0 19 0 291540183 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125221208512 140125070132198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16828] ppid=16823 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/16825/task/16828/stat : 16828 (java) S 16823 16825 14287 0 -1 4202560 15 0 0 0 5 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125193669544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16829] ppid=16823 vsize=9624980 CPUtime=0.04 cores=1,3,5,7 /proc/16825/task/16829/stat : 16829 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125192617000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16830] ppid=16823 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/16825/task/16830/stat : 16830 (java) S 16823 16825 14287 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125191563944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16831] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16831/stat : 16831 (java) S 16823 16825 14287 0 -1 4202560 14 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125190511400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16832] ppid=16823 vsize=9624980 CPUtime=0.08 cores=1,3,5,7 /proc/16825/task/16832/stat : 16832 (java) S 16823 16825 14287 0 -1 4202560 9 0 0 0 8 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125189458344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16833] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16833/stat : 16833 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125188405800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16834] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16834/stat : 16834 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125058672808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16835] ppid=16823 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/16825/task/16835/stat : 16835 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 6 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125057620264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16836] ppid=16823 vsize=9624980 CPUtime=1.08 cores=1,3,5,7 /proc/16825/task/16836/stat : 16836 (java) S 16823 16825 14287 0 -1 4202560 65 0 0 0 108 0 0 0 20 0 19 0 291540185 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124574673768 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16837] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16837/stat : 16837 (java) S 16823 16825 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124573620088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16838] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16838/stat : 16838 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124572566920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16839] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16839/stat : 16839 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124571515664 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16840] ppid=16823 vsize=9624980 CPUtime=0.73 cores=1,3,5,7 /proc/16825/task/16840/stat : 16840 (java) S 16823 16825 14287 0 -1 4202560 6820 0 0 0 72 1 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124570462520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16841] ppid=16823 vsize=9624980 CPUtime=0.87 cores=1,3,5,7 /proc/16825/task/16841/stat : 16841 (java) S 16823 16825 14287 0 -1 4202560 8748 0 0 0 85 2 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124569409976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16842] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16842/stat : 16842 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124568357112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16843] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16843/stat : 16843 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124567304776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16844] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16844/stat : 16844 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540200 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124566251048 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 9624980 [startup+30.1008 s] /proc/loadavg: 2.05 2.02 2.00 3/214 16844 /proc/meminfo: memFree=30779404/32873844 swapFree=7632/7632 [pid=16825] ppid=16823 vsize=9624980 CPUtime=32.08 cores=1,3,5,7 /proc/16825/stat : 16825 (java) S 16823 16825 14287 0 -1 4202496 19481 0 1 0 3200 8 0 0 20 0 19 0 291540181 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140734104758416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16825/statm: 2406245 17373 2276 9 0 2396937 0 [pid=16825/tid=16827] ppid=16823 vsize=9624980 CPUtime=28.63 cores=1,3,5,7 /proc/16825/task/16827/stat : 16827 (java) R 16823 16825 14287 0 -1 4202560 2562 0 1 0 2862 1 0 0 20 0 19 0 291540183 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125221216664 140125070100483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16828] ppid=16823 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/16825/task/16828/stat : 16828 (java) S 16823 16825 14287 0 -1 4202560 15 0 0 0 5 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125193669544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16829] ppid=16823 vsize=9624980 CPUtime=0.04 cores=1,3,5,7 /proc/16825/task/16829/stat : 16829 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125192617000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16830] ppid=16823 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/16825/task/16830/stat : 16830 (java) S 16823 16825 14287 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125191563944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16831] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16831/stat : 16831 (java) S 16823 16825 14287 0 -1 4202560 14 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125190511400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16832] ppid=16823 vsize=9624980 CPUtime=0.08 cores=1,3,5,7 /proc/16825/task/16832/stat : 16832 (java) S 16823 16825 14287 0 -1 4202560 9 0 0 0 8 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125189458344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16833] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16833/stat : 16833 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125188405800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16834] ppid=16823 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/16825/task/16834/stat : 16834 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125058672808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16825/tid=16835] ppid=16823 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/16825/task/16835/stat : 16835 (java) S 16823 16825 14287 0 -1 4202560 11 0 0 0 6 0 0 0 20 0 19 0 291540184 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140125057620264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16836] ppid=16823 vsize=9624980 CPUtime=1.09 cores=1,3,5,7 /proc/16825/task/16836/stat : 16836 (java) S 16823 16825 14287 0 -1 4202560 65 0 0 0 109 0 0 0 20 0 19 0 291540185 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124574673768 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16837] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16837/stat : 16837 (java) S 16823 16825 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124573620088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16838] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16838/stat : 16838 (java) S 16823 16825 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291540186 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124572566920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16839] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16839/stat : 16839 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124571515664 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16840] ppid=16823 vsize=9624980 CPUtime=0.73 cores=1,3,5,7 /proc/16825/task/16840/stat : 16840 (java) S 16823 16825 14287 0 -1 4202560 6820 0 0 0 72 1 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124570462520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16825/tid=16841] ppid=16823 vsize=9624980 CPUtime=0.87 cores=1,3,5,7 /proc/16825/task/16841/stat : 16841 (java) S 16823 16825 14287 0 -1 4202560 8748 0 0 0 85 2 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124569409976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16842] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16842/stat : 16842 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124568357112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16825/tid=16843] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16843/stat : 16843 (java) S 16823 16825 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291540189 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124567304776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16825/tid=16844] ppid=16823 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/16825/task/16844/stat : 16844 (java) S 16823 16825 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291540200 9855979520 17373 33554432000 1073741824 1073778376 140734104767280 140124566251048 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 32.08 Current children cumulated vsize (KiB) 9624980 Child status: 30 Real time (s): 30.1517 CPU time (s): 32.1121 CPU user time (s): 31.9461 CPU system time (s): 0.165974 CPU usage (%): 106.502 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.9461 system time used= 0.165974 maximum resident set size= 74028 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19493 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= 3545 involuntary context switches= 3086 runsolver used 0.131979 second user time and 0.335948 second system time The end
Begin job on node130 at 2012-05-29 03:15:46 IDJOB=3718441 IDBENCH=79197 IDSOLVER=2301 FILE ID=node130/3718441-1338254146 RUNJOBID= node130-1338248781-16336 PBS_JOBID= 14624629 Free space on /tmp= 71472 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718441-1338254146/watcher-3718441-1338254146 -o /tmp/evaluation-result-3718441-1338254146/solver-3718441-1338254146 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718441-1338254146.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 935e196b2e49c7ace79e7b55afc624f4 RANDOM SEED=1274776246 node130.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.875 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.75 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.875 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 : 5331.91 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.875 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 : 5331.91 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.875 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 : 5331.86 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.875 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 : 5331.91 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.875 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 : 5331.92 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.875 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 : 5331.91 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.875 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 : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30848784 kB Buffers: 303248 kB Cached: 127156 kB SwapCached: 4176 kB Active: 1134632 kB Inactive: 37260 kB Active(anon): 732692 kB Inactive(anon): 9116 kB Active(file): 401940 kB Inactive(file): 28144 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67099920 kB Dirty: 460 kB Writeback: 0 kB AnonPages: 762676 kB Mapped: 17488 kB Shmem: 8 kB Slab: 693020 kB SReclaimable: 134612 kB SUnreclaim: 558408 kB KernelStack: 1600 kB PageTables: 5728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1244184 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 733184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71472 MiB End job on node130 at 2012-05-29 03:16:16