Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 212616000480 | 1800.21 | 1782.04 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas76.opb |
| MD5SUM | 1a1687e6de95bc6822d45f4331f81d44 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 209715197291 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 143487941105 |
| Optimality of the best value was proved | NO |
| Number of variables | 240 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 239 |
| Number of terms in the objective function | 240 |
| Biggest coefficient in the objective function | 1934281311383406679529881600000 |
| Number of bits for the biggest coefficient in the objective function | 101 |
| Sum of the numbers in the objective function | 3868562622766813359059763201675 |
| Number of bits of the sum of numbers in the objective function | 102 |
| Biggest number in a constraint | 1208925819614629174706176000000000 |
| Number of bits of the biggest number in a constraint | 110 |
| Biggest sum of numbers in a constraint | 2417851639229258350907097073774043 |
| Number of bits of the biggest sum of numbers | 111 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354398-1176707653/instance-354398-1176707653.opb 0.20/0.20 c reading problem ... 0.64/0.51 c ... done. Wall clock time 0.304s. 0.64/0.51 c CPU time (experimental) 0.37s. 0.64/0.51 c #vars 240 0.64/0.51 c #constraints 13 1.45/0.99 c SATISFIABLE 1.45/0.99 c OPTIMIZING... 1.45/0.99 c Got one! Elapsed wall clock time (in seconds):0.792 1.65/1.01 o 3200000000000000480 1.85/1.10 c Got one! Elapsed wall clock time (in seconds):0.89 1.85/1.10 o 3200000000000000448 1.85/1.18 c Got one! Elapsed wall clock time (in seconds):0.976 1.85/1.18 o 3200000000000000416 2.04/1.27 c Got one! Elapsed wall clock time (in seconds):1.064 2.04/1.27 o 3200000000000000384 2.24/1.35 c Got one! Elapsed wall clock time (in seconds):1.151 2.24/1.35 o 3200000000000000352 2.43/1.40 c Got one! Elapsed wall clock time (in seconds):1.202 2.43/1.40 o 3200000000000000320 2.43/1.46 c Got one! Elapsed wall clock time (in seconds):1.255 2.43/1.46 o 3200000000000000288 2.82/1.61 c Got one! Elapsed wall clock time (in seconds):1.412 2.82/1.61 o 3200000000000000256 2.82/1.66 c Got one! Elapsed wall clock time (in seconds):1.464 2.82/1.67 o 3200000000000000224 3.03/1.73 c Got one! Elapsed wall clock time (in seconds):1.533 3.03/1.73 o 3200000000000000192 3.03/1.79 c Got one! Elapsed wall clock time (in seconds):1.592 3.03/1.79 o 3199999986892797355 3.17/1.86 c Got one! Elapsed wall clock time (in seconds):1.656 3.17/1.86 o 3199999882035197355 3.28/1.91 c Got one! Elapsed wall clock time (in seconds):1.712 3.28/1.91 o 3199992227430397355 3.28/1.97 c Got one! Elapsed wall clock time (in seconds):1.769 3.28/1.97 o 3188583720550397355 3.39/2.03 c Got one! Elapsed wall clock time (in seconds):1.828 3.39/2.03 o 1759218604441597355 3.39/2.08 c Got one! Elapsed wall clock time (in seconds):1.881 3.39/2.08 o 1752346656767997355 3.49/2.14 c Got one! Elapsed wall clock time (in seconds):1.941 3.49/2.14 o 1752239282585597355 3.65/2.29 c Got one! Elapsed wall clock time (in seconds):2.089 3.65/2.29 o 1752185595494397355 3.84/2.34 c Got one! Elapsed wall clock time (in seconds):2.142 3.84/2.34 o 1745474709094397355 4.03/2.41 c Got one! Elapsed wall clock time (in seconds):2.21 4.03/2.41 o 1738602761420797355 4.03/2.46 c Got one! Elapsed wall clock time (in seconds):2.262 4.03/2.46 o 1539316278886397355 4.13/2.52 c Got one! Elapsed wall clock time (in seconds):2.323 4.13/2.53 o 879609302220797355 4.13/2.58 c Got one! Elapsed wall clock time (in seconds):2.384 4.13/2.59 o 872737354547197355 4.24/2.64 c Got one! Elapsed wall clock time (in seconds):2.441 4.24/2.65 o 872629980364797355 4.39/2.72 c Got one! Elapsed wall clock time (in seconds):2.516 4.39/2.72 o 872603136819197355 4.39/2.78 c Got one! Elapsed wall clock time (in seconds):2.577 4.39/2.78 o 872603031961597355 4.49/2.85 c Got one! Elapsed wall clock time (in seconds):2.644 4.49/2.85 o 872601459097597355 4.59/2.92 c Got one! Elapsed wall clock time (in seconds):2.718 4.59/2.92 o 659706976665597355 4.59/2.99 c Got one! Elapsed wall clock time (in seconds):2.791 4.59/2.99 o 659680133119997355 4.69/3.05 c Got one! Elapsed wall clock time (in seconds):2.852 4.69/3.05 o 659680028262397355 4.79/3.11 c Got one! Elapsed wall clock time (in seconds):2.914 4.79/3.11 o 659678455398397355 4.91/3.21 c Got one! Elapsed wall clock time (in seconds):3.012 4.91/3.21 o 659678350540797355 5.05/3.31 c Got one! Elapsed wall clock time (in seconds):3.113 5.05/3.31 o 659653289574397355 5.05/3.39 c Got one! Elapsed wall clock time (in seconds):3.193 5.05/3.39 o 659626446028797355 5.16/3.47 c Got one! Elapsed wall clock time (in seconds):3.269 5.16/3.47 o 659626341171197355 5.26/3.57 c Got one! Elapsed wall clock time (in seconds):3.368 5.26/3.57 o 659624768307197355 5.36/3.65 c Got one! Elapsed wall clock time (in seconds):3.446 5.36/3.65 o 659624663449597355 5.47/3.73 c Got one! Elapsed wall clock time (in seconds):3.533 5.47/3.73 o 659599602483197355 5.57/3.81 c Got one! Elapsed wall clock time (in seconds):3.609 5.57/3.81 o 604731395276797355 5.57/3.89 c Got one! Elapsed wall clock time (in seconds):3.686 5.57/3.89 o 549755813887997355 5.67/3.99 c Got one! Elapsed wall clock time (in seconds):3.784 5.67/3.99 o 549728970342397355 5.79/4.06 c Got one! Elapsed wall clock time (in seconds):3.86 5.79/4.06 o 549728865484797355 5.91/4.16 c Got one! Elapsed wall clock time (in seconds):3.964 5.91/4.16 o 549727292620797355 6.02/4.23 c Got one! Elapsed wall clock time (in seconds):4.032 6.02/4.23 o 549727187763197355 6.02/4.30 c Got one! Elapsed wall clock time (in seconds):4.094 6.02/4.30 o 549727187763197323 6.13/4.38 c Got one! Elapsed wall clock time (in seconds):4.175 6.13/4.38 o 549727187763197291 6.23/4.45 c Got one! Elapsed wall clock time (in seconds):4.246 6.23/4.45 o 549727187763197259 6.32/4.53 c Got one! Elapsed wall clock time (in seconds):4.326 6.32/4.53 o 549727187763197227 6.32/4.59 c Got one! Elapsed wall clock time (in seconds):4.388 6.32/4.59 o 549727187763197195 6.42/4.66 c Got one! Elapsed wall clock time (in seconds):4.455 6.42/4.66 o 549727187763197163 6.52/4.74 c Got one! Elapsed wall clock time (in seconds):4.535 6.52/4.74 o 549727187763197131 6.62/4.82 c Got one! Elapsed wall clock time (in seconds):4.62 6.62/4.82 o 549727187763184855 6.72/4.90 c Got one! Elapsed wall clock time (in seconds):4.7 6.72/4.90 o 549727187763097355 6.72/4.98 c Got one! Elapsed wall clock time (in seconds):4.78 6.72/4.98 o 549727187737597355 6.82/5.05 c Got one! Elapsed wall clock time (in seconds):4.853 6.82/5.05 o 549727181209597355 6.92/5.13 c Got one! Elapsed wall clock time (in seconds):4.926 6.92/5.13 o 549727179571197355 7.02/5.21 c Got one! Elapsed wall clock time (in seconds):5.008 7.02/5.21 o 549702126796797355 7.02/5.28 c Got one! Elapsed wall clock time (in seconds):5.083 7.02/5.28 o 549541065523197355 7.12/5.35 c Got one! Elapsed wall clock time (in seconds):5.152 7.12/5.35 o 542883866214397355 7.22/5.42 c Got one! Elapsed wall clock time (in seconds):5.22 7.22/5.42 o 439804651110397355 7.32/5.52 c Got one! Elapsed wall clock time (in seconds):5.319 7.32/5.52 o 439777807564797355 7.42/5.61 c Got one! Elapsed wall clock time (in seconds):5.404 7.42/5.61 o 439589902745597355 7.53/5.70 c Got one! Elapsed wall clock time (in seconds):5.503 7.53/5.70 o 432932703436797355 7.53/5.79 c Got one! Elapsed wall clock time (in seconds):5.586 7.53/5.79 o 219902325555197355 7.63/5.86 c Got one! Elapsed wall clock time (in seconds):5.66 7.63/5.86 o 219875482009597355 7.73/5.96 c Got one! Elapsed wall clock time (in seconds):5.758 7.73/5.96 o 219875377151997355 7.83/6.06 c Got one! Elapsed wall clock time (in seconds):5.855 7.83/6.06 o 213030377881597355 7.93/6.15 c Got one! Elapsed wall clock time (in seconds):5.947 7.93/6.15 o 213003534335997355 8.05/6.25 c Got one! Elapsed wall clock time (in seconds):6.046 8.05/6.25 o 213003429478397355 8.16/6.35 c Got one! Elapsed wall clock time (in seconds):6.145 8.16/6.35 o 213001856614397355 8.26/6.48 c Got one! Elapsed wall clock time (in seconds):6.28 8.26/6.48 o 213001751756797355 8.36/6.60 c Got one! Elapsed wall clock time (in seconds):6.4 8.36/6.60 o 212976690790397355 8.55/6.72 c Got one! Elapsed wall clock time (in seconds):6.514 8.55/6.72 o 212949847244797355 8.65/6.83 c Got one! Elapsed wall clock time (in seconds):6.628 8.65/6.83 o 212949742387197355 8.75/6.94 c Got one! Elapsed wall clock time (in seconds):6.743 8.75/6.94 o 212948169523197355 8.85/7.06 c Got one! Elapsed wall clock time (in seconds):6.857 8.85/7.06 o 212948064665597355 8.96/7.16 c Got one! Elapsed wall clock time (in seconds):6.955 8.96/7.16 o 212923003699197355 9.06/7.27 c Got one! Elapsed wall clock time (in seconds):7.071 9.06/7.27 o 212896160153597355 9.16/7.40 c Got one! Elapsed wall clock time (in seconds):7.197 9.16/7.40 o 212894482431997355 9.38/7.52 c Got one! Elapsed wall clock time (in seconds):7.322 9.38/7.52 o 212894377574397355 9.48/7.65 c Got one! Elapsed wall clock time (in seconds):7.45 9.48/7.65 o 212869316607997355 9.58/7.76 c Got one! Elapsed wall clock time (in seconds):7.557 9.58/7.76 o 212842473062397355 9.68/7.89 c Got one! Elapsed wall clock time (in seconds):7.689 9.68/7.89 o 212842368204797355 9.88/8.01 c Got one! Elapsed wall clock time (in seconds):7.81 9.88/8.01 o 206158430207997355 9.98/8.13 c Got one! Elapsed wall clock time (in seconds):7.927 9.98/8.13 o 192414534860797355 10.08/8.22 c Got one! Elapsed wall clock time (in seconds):8.019 10.08/8.22 o 192199786495997355 10.18/8.35 c Got one! Elapsed wall clock time (in seconds):8.153 10.18/8.35 o 185542587187197355 10.28/8.47 c Got one! Elapsed wall clock time (in seconds):8.265 10.28/8.47 o 185515743641597355 10.38/8.59 c Got one! Elapsed wall clock time (in seconds):8.384 10.38/8.59 o 185515743641597323 10.58/8.70 c Got one! Elapsed wall clock time (in seconds):8.502 10.58/8.70 o 185515743641597291 10.68/8.82 c Got one! Elapsed wall clock time (in seconds):8.62 10.68/8.82 o 185515743641597259 10.78/8.92 c Got one! Elapsed wall clock time (in seconds):8.723 10.78/8.92 o 185515743641597227 10.89/9.06 c Got one! Elapsed wall clock time (in seconds):8.862 10.89/9.06 o 185515743641597195 11.09/9.21 c Got one! Elapsed wall clock time (in seconds):9.009 11.09/9.21 o 185515743641597163 11.19/9.34 c Got one! Elapsed wall clock time (in seconds):9.134 11.19/9.34 o 185515743641597131 11.29/9.48 c Got one! Elapsed wall clock time (in seconds):9.278 11.29/9.48 o 185515743641591105 11.49/9.62 c Got one! Elapsed wall clock time (in seconds):9.415 11.49/9.62 o 185515743641197355 11.59/9.73 c Got one! Elapsed wall clock time (in seconds):9.525 11.59/9.73 o 185515743628797355 11.71/9.89 c Got one! Elapsed wall clock time (in seconds):9.684 11.71/9.89 o 185515737087997355 11.91/10.04 c Got one! Elapsed wall clock time (in seconds):9.836 11.91/10.04 o 185514065919997355 12.01/10.19 c Got one! Elapsed wall clock time (in seconds):9.99 12.01/10.19 o 185513646489597355 12.21/10.34 c Got one! Elapsed wall clock time (in seconds):10.135 12.21/10.34 o 185513541631997355 12.31/10.47 c Got one! Elapsed wall clock time (in seconds):10.27 12.31/10.47 o 185488900095997355 12.51/10.63 c Got one! Elapsed wall clock time (in seconds):10.433 12.51/10.63 o 185462056550397355 12.73/10.80 c Got one! Elapsed wall clock time (in seconds):10.6 12.73/10.80 o 109951162777597355 12.83/10.92 c Got one! Elapsed wall clock time (in seconds):10.716 12.83/10.92 o 54975581388797355 12.94/11.07 c Got one! Elapsed wall clock time (in seconds):10.868 12.94/11.07 o 54948737843197355 13.13/11.22 c Got one! Elapsed wall clock time (in seconds):11.021 13.13/11.22 o 54947060121597355 13.23/11.39 c Got one! Elapsed wall clock time (in seconds):11.187 13.23/11.39 o 54946640691197355 13.43/11.54 c Got one! Elapsed wall clock time (in seconds):11.336 13.43/11.54 o 54946535833597355 13.53/11.67 c Got one! Elapsed wall clock time (in seconds):11.468 13.53/11.67 o 48103633715197355 13.73/11.81 c Got one! Elapsed wall clock time (in seconds):11.61 13.73/11.81 o 48076790169597355 13.83/11.99 c Got one! Elapsed wall clock time (in seconds):11.784 13.83/11.99 o 48075112447997355 14.03/12.13 c Got one! Elapsed wall clock time (in seconds):11.925 14.03/12.13 o 48074693017597355 14.13/12.28 c Got one! Elapsed wall clock time (in seconds):12.076 14.13/12.28 o 48074588159997355 14.33/12.45 c Got one! Elapsed wall clock time (in seconds):12.248 14.33/12.45 o 48049946623997355 14.45/12.59 c Got one! Elapsed wall clock time (in seconds):12.391 14.45/12.59 o 48043235737597355 14.65/12.74 c Got one! Elapsed wall clock time (in seconds):12.543 14.65/12.74 o 48023103078397355 14.85/12.93 c Got one! Elapsed wall clock time (in seconds):12.729 14.85/12.93 o 48023096524797355 15.06/13.13 c Got one! Elapsed wall clock time (in seconds):12.924 15.06/13.13 o 48022998220797355 15.26/13.31 c Got one! Elapsed wall clock time (in seconds):13.112 15.26/13.31 o 48021425356797355 15.36/13.48 c Got one! Elapsed wall clock time (in seconds):13.274 15.36/13.48 o 48021320499197355 15.56/13.65 c Got one! Elapsed wall clock time (in seconds):13.444 15.56/13.65 o 47996259532797355 15.76/13.80 c Got one! Elapsed wall clock time (in seconds):13.598 15.76/13.80 o 41231686041597355 15.86/13.97 c Got one! Elapsed wall clock time (in seconds):13.772 15.86/13.97 o 34359738367997355 16.08/14.16 c Got one! Elapsed wall clock time (in seconds):13.957 16.08/14.16 o 34252364185597355 16.29/14.36 c Got one! Elapsed wall clock time (in seconds):14.159 16.29/14.36 o 27487790694397355 16.48/14.56 c Got one! Elapsed wall clock time (in seconds):14.357 16.48/14.56 o 27460947148797355 16.68/14.73 c Got one! Elapsed wall clock time (in seconds):14.53 16.68/14.73 o 27460842291197355 16.78/14.89 c Got one! Elapsed wall clock time (in seconds):14.684 16.78/14.89 o 13743895347197355 16.98/15.05 c Got one! Elapsed wall clock time (in seconds):14.844 16.98/15.05 o 6871947673597355 17.18/15.22 c Got one! Elapsed wall clock time (in seconds):15.019 17.18/15.22 o 6845104127997355 17.28/15.36 c Got one! Elapsed wall clock time (in seconds):15.163 17.28/15.36 o 6845104127997323 17.48/15.52 c Got one! Elapsed wall clock time (in seconds):15.318 17.48/15.52 o 6845104127997291 17.59/15.69 c Got one! Elapsed wall clock time (in seconds):15.485 17.59/15.69 o 6845104127997259 17.80/15.84 c Got one! Elapsed wall clock time (in seconds):15.639 17.80/15.84 o 6845104127997227 18.00/16.03 c Got one! Elapsed wall clock time (in seconds):15.826 18.00/16.03 o 6845104127997195 18.20/16.22 c Got one! Elapsed wall clock time (in seconds):16.021 18.20/16.22 o 6845104127997163 18.40/16.46 c Got one! Elapsed wall clock time (in seconds):16.257 18.40/16.46 o 6845104127997131 18.60/16.64 c Got one! Elapsed wall clock time (in seconds):16.44 18.60/16.64 o 6845104127997099 18.80/16.84 c Got one! Elapsed wall clock time (in seconds):16.637 18.80/16.84 o 6845104127897355 19.00/17.01 c Got one! Elapsed wall clock time (in seconds):16.814 19.00/17.01 o 6845104102397355 19.10/17.18 c Got one! Elapsed wall clock time (in seconds):16.979 19.10/17.18 o 6845097574397355 19.30/17.40 c Got one! Elapsed wall clock time (in seconds):17.194 19.30/17.40 o 6844894412797355 19.50/17.58 c Got one! Elapsed wall clock time (in seconds):17.383 19.50/17.58 o 6843426406397355 19.71/17.77 c Got one! Elapsed wall clock time (in seconds):17.567 19.71/17.77 o 5153960755197355 19.91/17.96 c Got one! Elapsed wall clock time (in seconds):17.758 19.91/17.96 o 5127117209597355 20.11/18.12 c Got one! Elapsed wall clock time (in seconds):17.922 20.11/18.12 o 3435973836797355 20.21/18.29 c Got one! Elapsed wall clock time (in seconds):18.093 20.21/18.29 o 3409130291197355 20.51/18.50 c Got one! Elapsed wall clock time (in seconds):18.3 20.51/18.50 o 3409123737597355 20.71/18.72 c Got one! Elapsed wall clock time (in seconds):18.518 20.71/18.72 o 3409025433597355 20.91/18.93 c Got one! Elapsed wall clock time (in seconds):18.726 20.91/18.93 o 3407452569597355 21.11/19.13 c Got one! Elapsed wall clock time (in seconds):18.927 21.11/19.13 o 3006477107197355 21.31/19.35 c Got one! Elapsed wall clock time (in seconds):19.15 21.31/19.35 o 2979633561597355 21.51/19.57 c Got one! Elapsed wall clock time (in seconds):19.367 21.51/19.57 o 1717986918397355 21.73/19.75 c Got one! Elapsed wall clock time (in seconds):19.547 21.73/19.75 o 1288490188797355 21.92/19.94 c Got one! Elapsed wall clock time (in seconds):19.737 21.92/19.94 o 1181116006397355 22.12/20.14 c Got one! Elapsed wall clock time (in seconds):19.934 22.12/20.14 o 1154272460797355 22.32/20.31 c Got one! Elapsed wall clock time (in seconds):20.11 22.32/20.31 o 858993459197355 22.42/20.47 c Got one! Elapsed wall clock time (in seconds):20.267 22.42/20.47 o 858574028797355 22.62/20.65 c Got one! Elapsed wall clock time (in seconds):20.446 22.62/20.65 o 429496729597355 22.82/20.81 c Got one! Elapsed wall clock time (in seconds):20.61 22.82/20.81 o 214748364797355 22.92/20.98 c Got one! Elapsed wall clock time (in seconds):20.777 22.92/20.98 o 213909503997355 23.22/21.24 c Got one! Elapsed wall clock time (in seconds):21.037 23.22/21.24 o 107374182397355 23.53/21.50 c Got one! Elapsed wall clock time (in seconds):21.298 23.53/21.50 o 53687091197355 23.73/21.70 c Got one! Elapsed wall clock time (in seconds):21.502 23.73/21.70 o 53267660797355 23.93/21.94 c Got one! Elapsed wall clock time (in seconds):21.735 23.93/21.94 o 26843545597355 24.23/22.20 c Got one! Elapsed wall clock time (in seconds):22.001 24.23/22.20 o 26738687997355 24.43/22.42 c Got one! Elapsed wall clock time (in seconds):22.22 24.43/22.42 o 25165823997355 24.63/22.67 c Got one! Elapsed wall clock time (in seconds):22.473 24.63/22.67 o 25060966397355 24.83/22.87 c Got one! Elapsed wall clock time (in seconds):22.667 24.83/22.87 o 25054412797355 25.03/23.08 c Got one! Elapsed wall clock time (in seconds):22.883 25.03/23.08 o 20132659197355 25.33/23.32 c Got one! Elapsed wall clock time (in seconds):23.12 25.33/23.32 o 20027801597355 25.53/23.51 c Got one! Elapsed wall clock time (in seconds):23.306 25.53/23.51 o 19975372797355 25.73/23.70 c Got one! Elapsed wall clock time (in seconds):23.498 25.73/23.70 o 13421772797355 25.84/23.88 c Got one! Elapsed wall clock time (in seconds):23.677 25.84/23.88 o 6710886397355 26.04/24.03 c Got one! Elapsed wall clock time (in seconds):23.832 26.04/24.03 o 6710886397323 26.24/24.23 c Got one! Elapsed wall clock time (in seconds):24.029 26.24/24.23 o 6710886397291 26.44/24.42 c Got one! Elapsed wall clock time (in seconds):24.216 26.44/24.42 o 6710886397259 26.73/24.71 c Got one! Elapsed wall clock time (in seconds):24.511 26.73/24.71 o 6710886397227 26.93/24.98 c Got one! Elapsed wall clock time (in seconds):24.775 26.93/24.98 o 6710886397195 27.24/25.26 c Got one! Elapsed wall clock time (in seconds):25.06 27.24/25.26 o 6710886397163 27.54/25.53 c Got one! Elapsed wall clock time (in seconds):25.334 27.54/25.53 o 6710886397131 27.74/25.77 c Got one! Elapsed wall clock time (in seconds):25.565 27.74/25.77 o 6710886397099 28.04/26.02 c Got one! Elapsed wall clock time (in seconds):25.821 28.04/26.02 o 6710886297355 28.24/26.24 c Got one! Elapsed wall clock time (in seconds):26.042 28.24/26.24 o 6710860797355 28.44/26.43 c Got one! Elapsed wall clock time (in seconds):26.227 28.44/26.43 o 6710476797355 28.64/26.69 c Got one! Elapsed wall clock time (in seconds):26.486 28.64/26.69 o 6291455997355 28.94/26.97 c Got one! Elapsed wall clock time (in seconds):26.769 28.94/26.97 o 5033164797355 29.24/27.25 c Got one! Elapsed wall clock time (in seconds):27.053 29.24/27.25 o 4928307197355 29.44/27.49 c Got one! Elapsed wall clock time (in seconds):27.289 29.44/27.49 o 4921753597355 29.74/27.75 c Got one! Elapsed wall clock time (in seconds):27.552 29.74/27.75 o 4613734397355 30.04/28.03 c Got one! Elapsed wall clock time (in seconds):27.83 30.04/28.03 o 4508876797355 30.24/28.29 c Got one! Elapsed wall clock time (in seconds):28.089 30.24/28.29 o 4502323197355 30.54/28.53 c Got one! Elapsed wall clock time (in seconds):28.332 30.54/28.53 o 4500684797355 30.74/28.74 c Got one! Elapsed wall clock time (in seconds):28.539 30.74/28.74 o 3355443197355 31.04/29.06 c Got one! Elapsed wall clock time (in seconds):28.858 31.04/29.06 o 3348889597355 31.44/29.42 c Got one! Elapsed wall clock time (in seconds):29.215 31.44/29.42 o 3250585597355 31.75/29.79 c Got one! Elapsed wall clock time (in seconds):29.59 31.75/29.79 o 1677721597355 32.04/30.08 c Got one! Elapsed wall clock time (in seconds):29.884 32.04/30.09 o 1671167997355 32.34/30.35 c Got one! Elapsed wall clock time (in seconds):30.151 32.34/30.35 o 1572863997355 32.64/30.63 c Got one! Elapsed wall clock time (in seconds):30.432 32.64/30.63 o 1258291197355 32.94/30.94 c Got one! Elapsed wall clock time (in seconds):30.738 32.94/30.94 o 1153433597355 33.14/31.19 c Got one! Elapsed wall clock time (in seconds):30.99 33.14/31.19 o 838860797355 33.45/31.45 c Got one! Elapsed wall clock time (in seconds):31.244 33.45/31.45 o 734003197355 33.65/31.68 c Got one! Elapsed wall clock time (in seconds):31.481 33.65/31.68 o 419430397355 33.85/31.89 c Got one! Elapsed wall clock time (in seconds):31.692 33.85/31.89 o 416153597355 34.16/32.14 c Got one! Elapsed wall clock time (in seconds):31.943 34.16/32.14 o 314572797355 34.36/32.37 c Got one! Elapsed wall clock time (in seconds):32.173 34.36/32.37 o 313753597355 34.76/32.71 c Got one! Elapsed wall clock time (in seconds):32.508 34.76/32.71 o 308019197355 35.06/33.07 c Got one! Elapsed wall clock time (in seconds):32.865 35.06/33.07 o 306380797355 35.36/33.38 c Got one! Elapsed wall clock time (in seconds):33.174 35.36/33.38 o 305971197355 35.76/33.70 c Got one! Elapsed wall clock time (in seconds):33.5 35.76/33.70 o 305945597355 36.07/34.01 c Got one! Elapsed wall clock time (in seconds):33.813 36.07/34.01 o 305939197355 36.36/34.35 c Got one! Elapsed wall clock time (in seconds):34.146 36.36/34.35 o 305868797355 36.66/34.63 c Got one! Elapsed wall clock time (in seconds):34.425 36.66/34.63 o 305843197355 36.86/34.88 c Got one! Elapsed wall clock time (in seconds):34.68 36.86/34.88 o 305561597355 37.27/35.23 c Got one! Elapsed wall clock time (in seconds):35.034 37.27/35.24 o 305151997355 37.57/35.53 c Got one! Elapsed wall clock time (in seconds):35.333 37.57/35.53 o 305049597355 37.87/35.80 c Got one! Elapsed wall clock time (in seconds):35.6 37.87/35.80 o 301465597355 38.07/36.09 c Got one! Elapsed wall clock time (in seconds):35.885 38.07/36.09 o 301465597323 38.67/36.68 c Got one! Elapsed wall clock time (in seconds):36.48 38.67/36.68 o 301465597291 39.97/37.94 c Got one! Elapsed wall clock time (in seconds):37.734 39.97/37.94 o 301465584855 40.37/38.36 c Got one! Elapsed wall clock time (in seconds):38.163 40.37/38.36 o 301459197355 40.77/38.73 c Got one! Elapsed wall clock time (in seconds):38.524 40.77/38.73 o 299827197355 41.17/39.13 c Got one! Elapsed wall clock time (in seconds):38.933 41.17/39.13 o 294911997355 41.47/39.48 c Got one! Elapsed wall clock time (in seconds):39.276 41.47/39.48 o 293273597355 41.77/39.75 c Got one! Elapsed wall clock time (in seconds):39.552 41.77/39.75 o 292863997355 42.07/40.09 c Got one! Elapsed wall clock time (in seconds):39.892 42.07/40.09 o 288358397355 42.37/40.39 c Got one! Elapsed wall clock time (in seconds):40.185 42.37/40.39 o 288357997355 42.69/40.67 c Got one! Elapsed wall clock time (in seconds):40.471 42.69/40.67 o 275250797355 43.08/41.07 c Got one! Elapsed wall clock time (in seconds):40.864 43.08/41.07 o 268697597355 43.48/41.41 c Got one! Elapsed wall clock time (in seconds):41.213 43.48/41.41 o 268697197355 43.89/41.81 c Got one! Elapsed wall clock time (in seconds):41.604 43.89/41.81 o 267059197355 44.58/42.57 c Got one! Elapsed wall clock time (in seconds):42.365 44.58/42.57 o 261925222355 44.99/42.93 c Got one! Elapsed wall clock time (in seconds):42.73 44.99/42.93 o 255590397355 45.38/43.33 c Got one! Elapsed wall clock time (in seconds):43.134 45.38/43.34 o 255589997355 45.68/43.70 c Got one! Elapsed wall clock time (in seconds):43.496 45.68/43.70 o 255487997355 46.68/44.62 c Got one! Elapsed wall clock time (in seconds):44.419 46.68/44.62 o 249036797291 47.38/45.33 c Got one! Elapsed wall clock time (in seconds):45.129 47.38/45.33 o 244939609855 47.98/45.98 c Got one! Elapsed wall clock time (in seconds):45.778 47.98/45.98 o 244936409855 62.92/60.87 c Got one! Elapsed wall clock time (in seconds):60.669 62.92/60.87 o 244935997355 63.72/61.65 c Got one! Elapsed wall clock time (in seconds):61.445 63.72/61.65 o 242483197355 110.79/108.59 c Got one! Elapsed wall clock time (in seconds):108.388 110.79/108.59 o 242476850480 111.59/109.39 c Got one! Elapsed wall clock time (in seconds):109.193 111.59/109.39 o 236734806730 121.97/119.67 c Got one! Elapsed wall clock time (in seconds):119.467 121.97/119.67 o 236722006730 132.66/130.24 c Got one! Elapsed wall clock time (in seconds):130.043 132.66/130.24 o 236710397355 133.46/131.06 c Got one! Elapsed wall clock time (in seconds):130.86 133.46/131.06 o 236339197355 137.49/135.09 c Got one! Elapsed wall clock time (in seconds):134.89 137.49/135.09 o 236288000480 175.66/172.96 c Got one! Elapsed wall clock time (in seconds):172.758 175.66/172.96 o 236287997355 177.58/174.86 c Got one! Elapsed wall clock time (in seconds):174.662 177.58/174.86 o 235929597355 178.59/175.84 c Got one! Elapsed wall clock time (in seconds):175.637 178.59/175.84 o 235912422355 273.14/269.67 c Got one! Elapsed wall clock time (in seconds):269.473 273.14/269.67 o 235720409855 296.44/292.75 c Got one! Elapsed wall clock time (in seconds):292.549 296.44/292.75 o 235673597355 298.25/294.55 c Got one! Elapsed wall clock time (in seconds):294.345 298.25/294.55 o 235519997355 316.31/312.48 c Got one! Elapsed wall clock time (in seconds):312.281 316.31/312.48 o 235519972355 318.83/314.94 c Got one! Elapsed wall clock time (in seconds):314.738 318.83/314.94 o 234290009855 320.04/316.14 c Got one! Elapsed wall clock time (in seconds):315.935 320.04/316.14 o 232648406730 321.35/317.48 c Got one! Elapsed wall clock time (in seconds):317.28 321.35/317.48 o 229375997355 323.06/319.18 c Got one! Elapsed wall clock time (in seconds):318.975 323.06/319.18 o 229154009855 344.25/340.15 c Got one! Elapsed wall clock time (in seconds):339.949 344.25/340.15 o 229119997355 449.69/444.74 c Got one! Elapsed wall clock time (in seconds):444.534 449.69/444.74 o 228966397355 460.80/455.73 c Got one! Elapsed wall clock time (in seconds):455.525 460.80/455.73 o 228966372355 467.96/462.89 c Got one! Elapsed wall clock time (in seconds):462.69 467.96/462.89 o 228966297355 555.05/549.21 c Got one! Elapsed wall clock time (in seconds):549.005 555.05/549.21 o 228966197355 571.19/565.29 c Got one! Elapsed wall clock time (in seconds):565.087 571.19/565.29 o 228556797355 572.39/566.42 c Got one! Elapsed wall clock time (in seconds):566.216 572.39/566.42 o 227737597355 703.62/696.53 c Got one! Elapsed wall clock time (in seconds):696.327 703.62/696.53 o 227736531730 755.78/748.26 c Got one! Elapsed wall clock time (in seconds):748.057 755.78/748.26 o 225997859855 837.97/829.74 c Got one! Elapsed wall clock time (in seconds):829.534 837.97/829.74 o 225881597355 966.80/957.42 c Got one! Elapsed wall clock time (in seconds):957.221 966.80/957.42 o 225811191105 1009.15/999.43 c Got one! Elapsed wall clock time (in seconds):999.232 1009.15/999.43 o 225811097355 1086.96/1076.56 c Got one! Elapsed wall clock time (in seconds):1076.36 1086.96/1076.56 o 225810997355 1163.85/1152.74 c Got one! Elapsed wall clock time (in seconds):1152.543 1163.85/1152.74 o 225689600480 1293.36/1281.07 c Got one! Elapsed wall clock time (in seconds):1280.871 1293.36/1281.07 o 218726400480 1384.87/1371.52 c Got one! Elapsed wall clock time (in seconds):1371.317 1384.87/1371.52 o 218624000480 1453.98/1439.91 c Got one! Elapsed wall clock time (in seconds):1439.712 1453.98/1439.91 o 216268797355 1458.18/1444.17 c Got one! Elapsed wall clock time (in seconds):1443.967 1458.18/1444.17 o 212987606730 1527.95/1513.15 c Got one! Elapsed wall clock time (in seconds):1512.949 1527.95/1513.15 o 212985597355 1663.98/1647.50 c Got one! Elapsed wall clock time (in seconds):1647.298 1663.98/1647.50 o 212616000480 1800.07/1781.92 c starts : 840 1800.07/1781.92 c conflicts : 581479 1800.07/1781.92 c decisions : 673315 1800.07/1781.92 c propagations : 23716902 1800.07/1781.92 c inspects : 1448760065 1800.07/1781.92 c learnt literals : 0 1800.07/1781.92 c learnt binary clauses : 0 1800.07/1781.92 c learnt ternary clauses : 0 1800.07/1781.92 c learnt clauses : 581479 1800.07/1781.92 c root simplifications : 0 1800.07/1781.92 c removed literals (reason simplification) : 0 1800.07/1781.92 c reason swapping (by a shorter reason) : 0 1800.07/1781.92 c Calls to reduceDB : 0 1800.07/1781.92 c speed (decisions/second) : 5009.187894298298 1800.07/1781.92 c non guided choices 343 1800.07/1781.92 s SATISFIABLE 1800.07/1781.92 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 1800.07/1781.92 v -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 1800.07/1781.92 v -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 1800.07/1781.92 v -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.07/1781.92 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.07/1781.92 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.07/1781.92 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.07/1781.92 v x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.07/1781.92 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.07/1781.92 v -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 1800.07/1781.92 v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 1800.07/1781.92 c objective function=212616000480 1800.07/1781.92 c Total wall clock time (ms): 1781.718
OK 212616000480
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-354398-1176707653 -o ROOT/results/node27/solver-354398-1176707653 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354398-1176707653/sat4jPseudoResolution.jar /tmp/evaluation/354398-1176707653/instance-354398-1176707653.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 2/65 436 /proc/meminfo: memFree=1825752/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=324 CPUtime=0 /proc/436/stat : 436 (java) R 434 436 32594 0 -1 0 61 0 0 0 0 0 0 0 18 0 1 0 83461194 331776 44 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1467172 0 0 4096 0 0 0 0 17 1 0 0 /proc/436/statm: 378 46 34 9 0 8 0 [startup+0.025036 s] /proc/loadavg: 0.99 0.97 0.98 2/65 436 /proc/meminfo: memFree=1825752/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1772952 CPUtime=0.01 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 1952 0 1 0 0 1 0 0 18 0 2 0 83461194 1815502848 1702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 443238 1712 381 9 0 441252 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1772952 [startup+0.101034 s] /proc/loadavg: 0.99 0.97 0.98 2/65 436 /proc/meminfo: memFree=1825752/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1780108 CPUtime=0.08 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 3972 0 1 0 6 2 0 0 18 0 12 0 83461194 1822830592 3713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 445027 3713 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301063 s] /proc/loadavg: 0.99 0.97 0.98 2/65 436 /proc/meminfo: memFree=1825752/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1782120 CPUtime=0.34 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 5095 0 1 0 30 4 0 0 18 0 12 0 83461194 1824890880 4831 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 445530 4831 1264 9 0 443142 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782120 [startup+0.701107 s] /proc/loadavg: 0.99 0.97 0.98 2/65 436 /proc/meminfo: memFree=1825752/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1789084 CPUtime=1.05 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 8048 0 1 0 99 6 0 0 18 0 13 0 83461194 1832022016 6992 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 447271 6992 1306 9 0 444883 0 Current children cumulated CPU time (s) 1.05 Current children cumulated vsize (KiB) 1789084 [startup+1.50219 s] /proc/loadavg: 1.07 0.99 0.99 4/77 449 /proc/meminfo: memFree=1796792/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1795240 CPUtime=2.63 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 15938 0 1 0 254 9 0 0 18 0 13 0 83461194 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448810 11415 1316 9 0 446422 0 [pid=436/tid=438] ppid=434 vsize=1795240 CPUtime=1.17 /proc/436/task/438/stat : 438 (java) S 434 436 32594 0 -1 64 7379 0 1 0 113 4 0 0 18 0 13 0 83461195 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=439] ppid=434 vsize=1795240 CPUtime=0 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 83461197 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=440] ppid=434 vsize=1795240 CPUtime=0 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 83461197 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=441] ppid=434 vsize=1795240 CPUtime=0 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 83461199 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=442] ppid=434 vsize=1795240 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 83461199 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=443] ppid=434 vsize=1795240 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 83461199 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=444] ppid=434 vsize=1795240 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1795240 CPUtime=0.71 /proc/436/task/445/stat : 445 (java) R 434 436 32594 0 -1 64 3114 0 0 0 70 1 0 0 18 0 13 0 83461203 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105046435 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=446] ppid=434 vsize=1795240 CPUtime=0.72 /proc/436/task/446/stat : 446 (java) R 434 436 32594 0 -1 64 4719 0 0 0 70 2 0 0 18 0 13 0 83461203 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103315195 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=447] ppid=434 vsize=1795240 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1795240 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1838325760 11415 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 1795240 [startup+3.10235 s] /proc/loadavg: 1.07 0.99 0.99 2/78 465 /proc/meminfo: memFree=1760944/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1795932 CPUtime=4.79 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 38085 0 1 0 458 21 0 0 18 0 13 0 83461194 1839034368 30278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448983 30279 1321 9 0 446595 0 [pid=436/tid=438] ppid=434 vsize=1795932 CPUtime=2.52 /proc/436/task/438/stat : 438 (java) R 434 436 32594 0 -1 64 26020 0 1 0 238 14 0 0 25 0 13 0 83461195 1839034368 30280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109526232 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=439] ppid=434 vsize=1795932 CPUtime=0 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 83461197 1839034368 30281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=440] ppid=434 vsize=1795932 CPUtime=0 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 83461197 1839034368 30281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=441] ppid=434 vsize=1795932 CPUtime=0 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 83461199 1839034368 30282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=442] ppid=434 vsize=1795932 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 83461199 1839034368 30283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=443] ppid=434 vsize=1795932 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 83461199 1839034368 30283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=444] ppid=434 vsize=1795932 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1839034368 30284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1795932 CPUtime=1.23 /proc/436/task/445/stat : 445 (java) S 434 436 32594 0 -1 64 6019 0 0 0 120 3 0 0 16 0 13 0 83461203 1839034368 30284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=446] ppid=434 vsize=1795932 CPUtime=1.01 /proc/436/task/446/stat : 446 (java) S 434 436 32594 0 -1 64 5318 0 0 0 99 2 0 0 16 0 13 0 83461203 1839034368 30285 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=447] ppid=434 vsize=1795932 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1839034368 30286 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1795932 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1839034368 30286 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 1795932 [startup+6.30267 s] /proc/loadavg: 1.07 0.99 0.99 2/78 508 /proc/meminfo: memFree=1657688/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1795608 CPUtime=8.16 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 52567 0 1 0 788 28 0 0 18 0 13 0 83461194 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448902 44573 1331 9 0 446514 0 [pid=436/tid=438] ppid=434 vsize=1795608 CPUtime=5.59 /proc/436/task/438/stat : 438 (java) R 434 436 32594 0 -1 64 37751 0 1 0 540 19 0 0 17 0 13 0 83461195 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109551607 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=439] ppid=434 vsize=1795608 CPUtime=0.01 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 1114 0 0 0 1 0 0 0 16 0 13 0 83461197 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=440] ppid=434 vsize=1795608 CPUtime=0.01 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 1556 0 0 0 1 0 0 0 17 0 13 0 83461197 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=441] ppid=434 vsize=1795608 CPUtime=0 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 22 0 0 0 0 0 0 0 16 0 13 0 83461199 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=442] ppid=434 vsize=1795608 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83461199 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=443] ppid=434 vsize=1795608 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 83461199 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=444] ppid=434 vsize=1795608 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1795608 CPUtime=1.33 /proc/436/task/445/stat : 445 (java) S 434 436 32594 0 -1 64 6024 0 0 0 130 3 0 0 16 0 13 0 83461203 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=446] ppid=434 vsize=1795608 CPUtime=1.13 /proc/436/task/446/stat : 446 (java) S 434 436 32594 0 -1 64 5325 0 0 0 111 2 0 0 16 0 13 0 83461203 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=447] ppid=434 vsize=1795608 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1795608 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1838702592 44573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.16 Current children cumulated vsize (KiB) 1795608 [startup+12.7013 s] /proc/loadavg: 1.06 0.99 0.99 2/78 562 /proc/meminfo: memFree=1653672/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1793528 CPUtime=14.65 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 57634 0 1 0 1433 32 0 0 18 0 13 0 83461194 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448382 46750 1331 9 0 445994 0 [pid=436/tid=438] ppid=434 vsize=1793528 CPUtime=11.87 /proc/436/task/438/stat : 438 (java) R 434 436 32594 0 -1 64 37770 0 1 0 1168 19 0 0 25 0 13 0 83461195 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109551622 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=439] ppid=434 vsize=1793528 CPUtime=0.09 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 4402 0 0 0 8 1 0 0 17 0 13 0 83461197 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=440] ppid=434 vsize=1793528 CPUtime=0.08 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 3248 0 0 0 7 1 0 0 17 0 13 0 83461197 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=441] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 41 0 0 0 0 0 0 0 15 0 13 0 83461199 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=442] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=443] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=444] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1793528 CPUtime=1.36 /proc/436/task/445/stat : 445 (java) S 434 436 32594 0 -1 64 6026 0 0 0 133 3 0 0 16 0 13 0 83461203 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=446] ppid=434 vsize=1793528 CPUtime=1.16 /proc/436/task/446/stat : 446 (java) S 434 436 32594 0 -1 64 5326 0 0 0 114 2 0 0 16 0 13 0 83461203 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=447] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1836572672 46750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.65 Current children cumulated vsize (KiB) 1793528 [startup+25.5026 s] /proc/loadavg: 1.05 0.99 0.99 2/78 630 /proc/meminfo: memFree=1623240/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1793528 CPUtime=27.54 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 64925 0 1 0 2718 36 0 0 18 0 13 0 83461194 1836572672 51261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448382 51261 1331 9 0 445994 0 [pid=436/tid=438] ppid=434 vsize=1793528 CPUtime=24.57 /proc/436/task/438/stat : 438 (java) R 434 436 32594 0 -1 64 37927 0 1 0 2437 20 0 0 25 0 13 0 83461195 1836572672 51261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109517132 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=439] ppid=434 vsize=1793528 CPUtime=0.17 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 8172 0 0 0 14 3 0 0 16 0 13 0 83461197 1836572672 51261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=440] ppid=434 vsize=1793528 CPUtime=0.17 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 6594 0 0 0 13 4 0 0 16 0 13 0 83461197 1836572672 51261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=441] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 58 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 51261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=442] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 51261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=443] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 51261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=444] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1836572672 51261 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=436/tid=441] ppid=434 vsize=1793528 CPUtime=0.23 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 224 0 0 0 13 10 0 0 16 0 13 0 83461199 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=442] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=443] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=444] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1793528 CPUtime=1.41 /proc/436/task/445/stat : 445 (java) S 434 436 32594 0 -1 64 6029 0 0 0 138 3 0 0 17 0 13 0 83461203 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=446] ppid=434 vsize=1793528 CPUtime=1.17 /proc/436/task/446/stat : 446 (java) S 434 436 32594 0 -1 64 5326 0 0 0 115 2 0 0 16 0 13 0 83461203 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=447] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=730] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/730/stat : 730 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 83612509 1836572672 146607 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1557.44 Current children cumulated vsize (KiB) 1793528 [startup+1602.3 s] /proc/loadavg: 1.12 1.04 1.01 2/78 730 /proc/meminfo: memFree=1229128/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1793528 CPUtime=1618.21 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 233951 0 1 0 161689 132 0 0 18 0 13 0 83461194 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448382 149643 1331 9 0 445994 0 [pid=436/tid=438] ppid=434 vsize=1793528 CPUtime=1585.29 /proc/436/task/438/stat : 438 (java) R 434 436 32594 0 -1 64 86339 0 1 0 158487 42 0 0 25 0 13 0 83461195 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109583005 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=439] ppid=434 vsize=1793528 CPUtime=14.98 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 75403 0 0 0 1460 38 0 0 16 0 13 0 83461197 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=440] ppid=434 vsize=1793528 CPUtime=15.01 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 59809 0 0 0 1470 31 0 0 16 0 13 0 83461197 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=441] ppid=434 vsize=1793528 CPUtime=0.23 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 224 0 0 0 13 10 0 0 15 0 13 0 83461199 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=442] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=443] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=444] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1793528 CPUtime=1.41 /proc/436/task/445/stat : 445 (java) S 434 436 32594 0 -1 64 6029 0 0 0 138 3 0 0 17 0 13 0 83461203 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=446] ppid=434 vsize=1793528 CPUtime=1.17 /proc/436/task/446/stat : 446 (java) S 434 436 32594 0 -1 64 5326 0 0 0 115 2 0 0 16 0 13 0 83461203 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=447] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=730] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/730/stat : 730 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 83612509 1836572672 149643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1618.21 Current children cumulated vsize (KiB) 1793528 [startup+1662.3 s] /proc/loadavg: 1.12 1.04 1.01 2/78 731 /proc/meminfo: memFree=1216576/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1793528 CPUtime=1678.88 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 237062 0 1 0 167755 133 0 0 18 0 13 0 83461194 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448382 152666 1331 9 0 445994 0 [pid=436/tid=438] ppid=434 vsize=1793528 CPUtime=1644.53 /proc/436/task/438/stat : 438 (java) R 434 436 32594 0 -1 64 86353 0 1 0 164411 42 0 0 25 0 13 0 83461195 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109594413 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=439] ppid=434 vsize=1793528 CPUtime=15.72 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 76671 0 0 0 1533 39 0 0 16 0 13 0 83461197 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=440] ppid=434 vsize=1793528 CPUtime=15.73 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 61638 0 0 0 1541 32 0 0 16 0 13 0 83461197 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=441] ppid=434 vsize=1793528 CPUtime=0.23 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 224 0 0 0 13 10 0 0 16 0 13 0 83461199 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=442] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=443] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=444] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1793528 CPUtime=1.41 /proc/436/task/445/stat : 445 (java) S 434 436 32594 0 -1 64 6029 0 0 0 138 3 0 0 17 0 13 0 83461203 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=446] ppid=434 vsize=1793528 CPUtime=1.17 /proc/436/task/446/stat : 446 (java) S 434 436 32594 0 -1 64 5326 0 0 0 115 2 0 0 16 0 13 0 83461203 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=447] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=731] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/731/stat : 731 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 83625944 1836572672 152666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1678.88 Current children cumulated vsize (KiB) 1793528 [startup+1722.3 s] /proc/loadavg: 1.11 1.05 1.01 2/78 731 /proc/meminfo: memFree=1207360/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1793528 CPUtime=1739.63 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 239499 0 1 0 173827 136 0 0 18 0 13 0 83461194 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448382 154975 1331 9 0 445994 0 [pid=436/tid=438] ppid=434 vsize=1793528 CPUtime=1703.65 /proc/436/task/438/stat : 438 (java) R 434 436 32594 0 -1 64 86368 0 1 0 170323 42 0 0 25 0 13 0 83461195 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109547878 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=439] ppid=434 vsize=1793528 CPUtime=16.51 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 78064 0 0 0 1611 40 0 0 16 0 13 0 83461197 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=440] ppid=434 vsize=1793528 CPUtime=16.54 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 62667 0 0 0 1621 33 0 0 16 0 13 0 83461197 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=441] ppid=434 vsize=1793528 CPUtime=0.23 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 224 0 0 0 13 10 0 0 16 0 13 0 83461199 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=442] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=443] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=444] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1793528 CPUtime=1.41 /proc/436/task/445/stat : 445 (java) S 434 436 32594 0 -1 64 6029 0 0 0 138 3 0 0 17 0 13 0 83461203 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=446] ppid=434 vsize=1793528 CPUtime=1.17 /proc/436/task/446/stat : 446 (java) S 434 436 32594 0 -1 64 5326 0 0 0 115 2 0 0 16 0 13 0 83461203 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=447] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=731] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/731/stat : 731 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 83625944 1836572672 154975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1739.63 Current children cumulated vsize (KiB) 1793528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.9 s] /proc/loadavg: 1.25 1.09 1.02 2/78 731 /proc/meminfo: memFree=1195520/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=1793528 CPUtime=1800.07 /proc/436/stat : 436 (java) S 434 436 32594 0 -1 0 242659 0 1 0 179870 137 0 0 18 0 13 0 83461194 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/436/statm: 448382 157878 1331 9 0 445994 0 [pid=436/tid=438] ppid=434 vsize=1793528 CPUtime=1762.29 /proc/436/task/438/stat : 438 (java) R 434 436 32594 0 -1 64 86385 0 1 0 176187 42 0 0 25 0 13 0 83461195 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109551579 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=439] ppid=434 vsize=1793528 CPUtime=17.4 /proc/436/task/439/stat : 439 (java) S 434 436 32594 0 -1 64 79529 0 0 0 1700 40 0 0 17 0 13 0 83461197 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=440] ppid=434 vsize=1793528 CPUtime=17.46 /proc/436/task/440/stat : 440 (java) S 434 436 32594 0 -1 64 64345 0 0 0 1712 34 0 0 16 0 13 0 83461197 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=441] ppid=434 vsize=1793528 CPUtime=0.23 /proc/436/task/441/stat : 441 (java) S 434 436 32594 0 -1 64 224 0 0 0 13 10 0 0 16 0 13 0 83461199 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=442] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/442/stat : 442 (java) S 434 436 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=443] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/443/stat : 443 (java) S 434 436 32594 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 83461199 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=444] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/444/stat : 444 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83461203 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=445] ppid=434 vsize=1793528 CPUtime=1.41 /proc/436/task/445/stat : 445 (java) S 434 436 32594 0 -1 64 6029 0 0 0 138 3 0 0 17 0 13 0 83461203 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=446] ppid=434 vsize=1793528 CPUtime=1.17 /proc/436/task/446/stat : 446 (java) S 434 436 32594 0 -1 64 5326 0 0 0 115 2 0 0 16 0 13 0 83461203 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=436/tid=447] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/447/stat : 447 (java) S 434 436 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83461203 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=448] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/448/stat : 448 (java) S 434 436 32594 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 83461203 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=436/tid=731] ppid=434 vsize=1793528 CPUtime=0 /proc/436/task/731/stat : 731 (java) S 434 436 32594 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 83625944 1836572672 157878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1793528 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1782.02 s] /proc/loadavg: 1.25 1.09 1.02 2/78 731 /proc/meminfo: memFree=1195520/2055920 swapFree=4184608/4192956 [pid=436] ppid=434 vsize=0 CPUtime=1800.18 /proc/436/stat : 436 (java) Z 434 436 32594 0 -1 1036 242674 0 1 0 179873 145 0 0 16 0 2 0 83461194 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/436/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1782.04 CPU time (s): 1800.21 CPU user time (s): 1798.74 CPU system time (s): 1.47078 CPU usage (%): 101.02 Max. virtual memory (cumulated for all children) (KiB): 1797636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.74 system time used= 1.47078 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 242674 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47622 involuntary context switches= 42281 runsolver used 1.77273 second user time and 5.61415 second system time The end
Begin job on node27 on Mon Apr 16 07:14:13 UTC 2007 IDJOB= 354398 IDBENCH= 2510 IDSOLVER= 159 FILE ID= node27/354398-1176707653 PBS_JOBID= 4560071 Free space on /tmp= 66514 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354398-1176707653/sat4jPseudoResolution.jar /tmp/evaluation/354398-1176707653/instance-354398-1176707653.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-354398-1176707653 -o ROOT/results/node27/solver-354398-1176707653 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354398-1176707653/sat4jPseudoResolution.jar /tmp/evaluation/354398-1176707653/instance-354398-1176707653.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 1a1687e6de95bc6822d45f4331f81d44 RANDOM SEED= 194431170 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1826096 kB Buffers: 11788 kB Cached: 153060 kB SwapCached: 2636 kB Active: 40916 kB Inactive: 133844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826096 kB SwapTotal: 4192956 kB SwapFree: 4184608 kB Dirty: 3636 kB Writeback: 0 kB Mapped: 16492 kB Slab: 41052 kB Committed_AS: 1547596 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66514 MiB End job on node27 on Mon Apr 16 07:43:57 UTC 2007