Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 217 | 1800.24 | 1775.82 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb |
MD5SUM | 7db364152f2aec17f16cb8adef9dc3c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 184 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 184 |
Optimality of the best value was proved | NO |
Number of variables | 470 |
Total number of constraints | 469 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 469 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 470 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 470 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 470 |
Number of bits of the biggest sum of numbers | 9 |
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.15 c no version file found!!! 0.08/0.15 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.21/0.20 --- Begin Solver configuration --- 0.21/0.20 c Stops conflict analysis at the first Unique Implication Point 0.21/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.21/0.20 c Learn all clauses as in MiniSAT 0.21/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.21/0.20 c No reason simplification 0.21/0.20 c --- End Solver configuration --- 0.21/0.20 c solving /tmp/evaluation/352210-1176626121/instance-352210-1176626121.opb 0.21/0.20 c reading problem ... 0.62/0.54 c ... done. Wall clock time 0.344s. 0.62/0.54 c CPU time (experimental) 0.44s. 0.62/0.54 c #vars 470 0.62/0.54 c #constraints 469 0.78/0.63 c SATISFIABLE 0.78/0.63 c OPTIMIZING... 0.78/0.63 c Got one! Elapsed wall clock time (in seconds):0.436 0.78/0.64 o 226 1.15/0.81 c Got one! Elapsed wall clock time (in seconds):0.614 1.15/0.81 o 225 2.60/2.19 c Got one! Elapsed wall clock time (in seconds):1.991 2.60/2.19 o 224 3.92/3.39 c Got one! Elapsed wall clock time (in seconds):3.195 3.92/3.39 o 223 8.35/7.61 c Got one! Elapsed wall clock time (in seconds):7.412 8.35/7.61 o 222 12.62/11.78 c Got one! Elapsed wall clock time (in seconds):11.582 12.62/11.78 o 221 19.65/18.62 c Got one! Elapsed wall clock time (in seconds):18.425 19.65/18.62 o 220 20.78/19.75 c Got one! Elapsed wall clock time (in seconds):19.546 20.78/19.75 o 219 70.63/68.94 c Got one! Elapsed wall clock time (in seconds):68.739 70.63/68.94 o 218 672.73/663.65 c cleaning 615202 clauses out of 1230423 for limit 3.493221154465969E8 696.39/687.19 c cleaning 313603 clauses out of 627221 for limit 1.1220216059367574E-6 706.03/696.67 c cleaning 163303 clauses out of 326618 for limit 0.9594774174860702 711.67/702.21 c cleaning 83903 clauses out of 167816 for limit 168.64714842924403 714.53/705.05 c cleaning 43949 clauses out of 87913 for limit 17611.906174292188 716.69/707.19 c cleaning 23974 clauses out of 47964 for limit 1766001.8953608484 719.34/709.76 c cleaning 14236 clauses out of 28490 for limit 2.68236018116104E8 721.08/711.42 c cleaning 9116 clauses out of 18253 for limit 2.288167818374701E10 721.28/711.65 c cleaning 4809 clauses out of 9637 for limit 7.14720361939379E10 722.72/713.09 c cleaning 4658 clauses out of 9330 for limit 6.673726074688083E12 722.92/713.24 c cleaning 2575 clauses out of 5171 for limit 1.983795305179568E13 724.26/714.54 c cleaning 3292 clauses out of 6596 for limit 8.50820303279661E14 724.36/714.68 c cleaning 1901 clauses out of 3803 for limit 2.4311600007669195E15 725.70/715.95 c cleaning 2946 clauses out of 5902 for limit 8.570136874072736E-4 725.91/716.13 c cleaning 1721 clauses out of 3457 for limit 0.0024153383806454183 727.14/717.34 c cleaning 2602 clauses out of 5235 for limit 0.05285880897974236 728.58/718.72 c cleaning 3310 clauses out of 6634 for limit 2.284231940588796 728.68/718.89 c cleaning 1903 clauses out of 3823 for limit 6.530294155624696 730.02/720.14 c cleaning 2702 clauses out of 5421 for limit 152.92671372701008 730.22/720.31 c cleaning 1599 clauses out of 3219 for limit 424.71507237073877 731.46/721.59 c cleaning 2806 clauses out of 5622 for limit 13330.422938334566 732.90/722.99 c cleaning 3393 clauses out of 6813 for limit 599984.3766863246 734.24/724.29 c cleaning 3453 clauses out of 6921 for limit 1.9612601412337635E7 735.78/725.73 c cleaning 3717 clauses out of 7468 for limit 9.943673098015952E8 735.88/725.90 c cleaning 2117 clauses out of 4251 for limit 2.880818714088023E9 737.13/727.02 c cleaning 2808 clauses out of 5634 for limit 7.210765978080344E10 737.23/727.19 c cleaning 1662 clauses out of 3325 for limit 2.0129267404087253E11 738.46/728.36 c cleaning 2572 clauses out of 5164 for limit 4.303869616177024E12 738.66/728.51 c cleaning 1537 clauses out of 3091 for limit 1.184589039183028E13 739.90/729.72 c cleaning 2521 clauses out of 5054 for limit 2.403381348000217E14 740.00/729.87 c cleaning 1510 clauses out of 3033 for limit 6.604522144676276E14 741.14/730.99 c cleaning 2500 clauses out of 5023 for limit 1.3229451604109295E-4 741.34/731.15 c cleaning 1504 clauses out of 3023 for limit 3.6251231099647234E-4 742.48/732.29 c cleaning 2500 clauses out of 5020 for limit 0.007249080303103105 742.68/732.47 c cleaning 1501 clauses out of 3020 for limit 0.01987172516087399 743.92/733.67 c cleaning 2492 clauses out of 5019 for limit 0.3966582836032277 744.12/733.84 c cleaning 1504 clauses out of 3027 for limit 1.0846189551328846 745.36/735.10 c cleaning 2747 clauses out of 5523 for limit 32.520833194506274 745.56/735.26 c cleaning 1631 clauses out of 3276 for limit 90.41671014553448 746.80/736.44 c cleaning 2562 clauses out of 5144 for limit 1908.3073869871894 746.90/736.60 c cleaning 1531 clauses out of 3082 for limit 5252.57840692892 747.10/736.75 c cleaning 1017 clauses out of 2051 for limit 13016.53543527708 748.54/738.12 c cleaning 2759 clauses out of 5535 for limit 435593.04313177057 748.73/738.30 c cleaning 1625 clauses out of 3275 for limit 1212854.2968195495 750.07/739.67 c cleaning 3066 clauses out of 6150 for limit 5.827037362546456E7 751.93/741.48 c cleaning 3784 clauses out of 7584 for limit 4.2631201941263657E9 752.12/741.64 c cleaning 2141 clauses out of 4302 for limit 1.24188221079673E10 752.22/741.79 c cleaning 1329 clauses out of 2659 for limit 3.3068868740801243E10 753.46/742.95 c cleaning 2407 clauses out of 4830 for limit 6.039232561624216E11 753.66/743.12 c cleaning 1461 clauses out of 2923 for limit 1.6457200352920962E12 755.00/744.44 c cleaning 2723 clauses out of 5463 for limit 4.822088525518767E13 755.10/744.60 c cleaning 1621 clauses out of 3242 for limit 1.3426978070121205E14 755.31/744.75 c cleaning 1059 clauses out of 2118 for limit 3.379229485890954E14 756.54/745.92 c cleaning 2280 clauses out of 4560 for limit 5.212001355254904E15 756.64/746.08 c cleaning 1383 clauses out of 2779 for limit 1.408971443525625E16 757.98/747.33 c cleaning 2690 clauses out of 5397 for limit 0.003973012465243423 758.08/747.48 c cleaning 1593 clauses out of 3206 for limit 0.011018696041972021 759.32/748.65 c cleaning 2550 clauses out of 5114 for limit 0.22938167413192637 759.52/748.80 c cleaning 1525 clauses out of 3064 for limit 0.6313738170649201 760.75/750.03 c cleaning 2510 clauses out of 5038 for limit 12.725470922015012 760.96/750.21 c cleaning 1503 clauses out of 3028 for limit 34.916607601288064 762.10/751.40 c cleaning 2504 clauses out of 5026 for limit 698.5397905961781 762.29/751.55 c cleaning 1503 clauses out of 3021 for limit 1914.6274622921487 762.39/751.69 c cleaning 996 clauses out of 2018 for limit 4726.827290391121 763.63/752.86 c cleaning 2255 clauses out of 4524 for limit 70085.55753421837 763.83/753.04 c cleaning 1375 clauses out of 2768 for limit 188714.99861928954 763.92/753.20 c cleaning 937 clauses out of 1893 for limit 455069.55048352416 765.16/754.36 c cleaning 2217 clauses out of 4456 for limit 6413194.595631143 765.37/754.51 c cleaning 1365 clauses out of 2739 for limit 1.7206140101704005E7 765.46/754.67 c cleaning 933 clauses out of 1873 for limit 4.14532976639261E7 766.94/756.07 c cleaning 2712 clauses out of 5441 for limit 1.2887112841313403E9 767.14/756.22 c cleaning 1614 clauses out of 3228 for limit 3.578674562930718E9 767.24/756.36 c cleaning 1056 clauses out of 2114 for limit 9.01169815011934E9 768.47/757.54 c cleaning 2279 clauses out of 4559 for limit 1.387611045039997E11 768.57/757.68 c cleaning 1386 clauses out of 2780 for limit 3.7527396111253424E11 769.92/758.90 c cleaning 2438 clauses out of 4893 for limit 7.066017501737044E12 770.02/759.06 c cleaning 1467 clauses out of 2956 for limit 1.930793791284392E13 770.21/759.20 c cleaning 994 clauses out of 1988 for limit 4.729827679716556E13 771.35/760.35 c cleaning 2247 clauses out of 4494 for limit 6.940964761694861E14 771.45/760.49 c cleaning 1373 clauses out of 2747 for limit 1.8726220601736882E15 771.64/760.63 c cleaning 929 clauses out of 1875 for limit 4.528954122369778E15 772.87/761.86 c cleaning 2712 clauses out of 5445 for limit 0.0014056259964269195 773.07/762.02 c cleaning 1608 clauses out of 3233 for limit 0.003904072257849173 773.17/762.16 c cleaning 1050 clauses out of 2125 for limit 0.00979536231211588 774.41/763.39 c cleaning 2528 clauses out of 5075 for limit 0.2243832779632859 774.61/763.57 c cleaning 1514 clauses out of 3047 for limit 0.6163252600289482 774.81/763.73 c cleaning 1010 clauses out of 2033 for limit 1.5233543259813793 776.05/764.96 c cleaning 2500 clauses out of 5023 for limit 33.730457112530814 776.25/765.12 c cleaning 1501 clauses out of 3024 for limit 92.48983759671484 776.35/765.26 c cleaning 1004 clauses out of 2023 for limit 228.00050448080398 777.68/766.54 c cleaning 2503 clauses out of 5019 for limit 5027.610112442937 777.78/766.69 c cleaning 1500 clauses out of 3015 for limit 13788.367355123975 779.02/767.81 c cleaning 2496 clauses out of 5016 for limit 275212.626484841 779.11/767.99 c cleaning 1499 clauses out of 3019 for limit 753328.0612198998 780.55/769.39 c cleaning 3010 clauses out of 6020 for limit 3.408425061292138E7 780.75/769.55 c cleaning 1746 clauses out of 3510 for limit 9.640487851865259E7 780.85/769.69 c cleaning 1125 clauses out of 2265 for limit 2.4662001543884617E8 782.08/770.87 c cleaning 2310 clauses out of 4640 for limit 3.993647741970651E9 782.29/771.02 c cleaning 1415 clauses out of 2830 for limit 1.079834471956128E10 782.39/771.16 c cleaning 957 clauses out of 1914 for limit 2.6304076857380188E10 783.52/772.25 c cleaning 2228 clauses out of 4457 for limit 3.7472578083452454E11 783.71/772.43 c cleaning 1365 clauses out of 2730 for limit 1.0099129916678306E12 785.15/773.82 c cleaning 2932 clauses out of 5865 for limit 4.2411298826562766E13 785.25/773.96 c cleaning 1709 clauses out of 3432 for limit 1.1940532231104845E14 785.35/774.09 c cleaning 1101 clauses out of 2225 for limit 3.043447816477732E14 786.58/775.27 c cleaning 2558 clauses out of 5122 for limit 7.218290784476977E-5 786.79/775.45 c cleaning 1528 clauses out of 3064 for limit 1.9899450019108527E-4 788.02/776.63 c cleaning 2510 clauses out of 5036 for limit 0.00401638486762091 788.22/776.80 c cleaning 1501 clauses out of 3026 for limit 0.011023208116151675 789.57/778.15 c cleaning 2754 clauses out of 5526 for limit 0.3305579890701762 789.77/778.32 c cleaning 1631 clauses out of 3272 for limit 0.9206639339118227 791.00/779.59 c cleaning 2561 clauses out of 5140 for limit 19.422628513666645 791.20/779.77 c cleaning 1528 clauses out of 3079 for limit 53.470878675354626 792.64/781.19 c cleaning 2764 clauses out of 5551 for limit 1622.5678947211181 792.84/781.38 c cleaning 1635 clauses out of 3288 for limit 4522.022258465749 794.08/782.54 c cleaning 2566 clauses out of 5153 for limit 95718.43101420521 794.28/782.70 c cleaning 1532 clauses out of 3086 for limit 263318.3755205214 794.38/782.86 c cleaning 1017 clauses out of 2057 for limit 653434.739100809 795.62/784.01 c cleaning 2255 clauses out of 4537 for limit 9798405.437419625 795.72/784.18 c cleaning 1391 clauses out of 2783 for limit 2.6369468567280844E7 796.85/785.27 c cleaning 2195 clauses out of 4391 for limit 3.358551072770067E8 797.06/785.45 c cleaning 1348 clauses out of 2697 for limit 9.026613479885454E8 797.25/785.61 c cleaning 914 clauses out of 1848 for limit 2.1703271391896567E9 798.19/786.50 c cleaning 1704 clauses out of 3435 for limit 1.4256547764337963E10 798.28/786.66 c cleaning 1104 clauses out of 2230 for limit 3.617908900297823E10 798.48/786.88 c cleaning 814 clauses out of 1628 for limit 8.189040143753532E10 799.51/787.89 c cleaning 1903 clauses out of 3813 for limit 7.026214526139884E11 799.71/788.04 c cleaning 1192 clauses out of 2409 for limit 1.8321996091328928E12 801.05/789.30 c cleaning 2359 clauses out of 4718 for limit 3.1065430075370023E13 801.15/789.48 c cleaning 1429 clauses out of 2858 for limit 8.448788875321984E13 802.39/790.61 c cleaning 2453 clauses out of 4929 for limit 1.6251336134634715E15 802.48/790.77 c cleaning 1488 clauses out of 2977 for limit 4.4418046603006915E15 803.83/792.05 c cleaning 2735 clauses out of 5488 for limit 0.0013168514056736283 804.02/792.21 c cleaning 1618 clauses out of 3254 for limit 0.0036662639169347854 804.12/792.36 c cleaning 1059 clauses out of 2135 for limit 0.009205868543316413 805.36/793.59 c cleaning 2280 clauses out of 4577 for limit 0.14259603730672388 805.56/793.75 c cleaning 1388 clauses out of 2798 for limit 0.38506235078830764 806.90/795.08 c cleaning 2692 clauses out of 5408 for limit 10.877276228738971 807.11/795.25 c cleaning 1596 clauses out of 3217 for limit 30.18534739583253 808.45/796.51 c cleaning 2801 clauses out of 5620 for limit 944.3293938298694 808.55/796.68 c cleaning 1653 clauses out of 3320 for limit 2638.8344106456284 808.75/796.85 c cleaning 1076 clauses out of 2167 for limit 6667.2570316350475 809.99/798.03 c cleaning 2288 clauses out of 4591 for limit 104397.48243392554 810.09/798.19 c cleaning 1393 clauses out of 2803 for limit 281987.66262277635 811.33/799.38 c cleaning 2445 clauses out of 4909 for limit 5336012.897857645 811.52/799.53 c cleaning 1473 clauses out of 2965 for limit 1.4583964679423597E7 811.63/799.68 c cleaning 988 clauses out of 1992 for limit 3.579866691065719E7 812.87/800.89 c cleaning 2237 clauses out of 4503 for limit 5.2482067910340375E8 813.06/801.05 c cleaning 1383 clauses out of 2766 for limit 1.4090181812938166E9 814.30/802.29 c cleaning 2692 clauses out of 5384 for limit 3.964106643443495E10 814.50/802.44 c cleaning 1583 clauses out of 3191 for limit 1.1019070247368538E11 814.60/802.55 c cleaning 1042 clauses out of 2108 for limit 2.7507874633934143E11 814.70/802.68 c cleaning 768 clauses out of 1566 for limit 6.106491715233043E11 815.84/803.78 c cleaning 2139 clauses out of 4299 for limit 7.386552784652424E12 816.04/803.91 c cleaning 1324 clauses out of 2660 for limit 1.9687179505434027E13 816.14/804.06 c cleaning 914 clauses out of 1836 for limit 4.703794586266602E13 817.28/805.16 c cleaning 2211 clauses out of 4422 for limit 6.478783919890568E14 817.38/805.29 c cleaning 1347 clauses out of 2711 for limit 1.742764092632589E15 817.57/805.41 c cleaning 923 clauses out of 1863 for limit 4.178078939904709E15 817.67/805.52 c cleaning 715 clauses out of 1441 for limit 8.916941430799879E15 818.80/806.67 c cleaning 2352 clauses out of 4725 for limit 0.0014862458889340388 819.00/806.83 c cleaning 1429 clauses out of 2874 for limit 0.0040336305179923225 819.10/806.97 c cleaning 965 clauses out of 1945 for limit 0.009829222345904252 820.13/807.96 c cleaning 1979 clauses out of 3979 for limit 0.0965529697222347 820.33/808.13 c cleaning 1241 clauses out of 2500 for limit 0.2534285003004105 820.43/808.29 c cleaning 872 clauses out of 1760 for limit 0.5942554771441851 821.67/809.47 c cleaning 2436 clauses out of 4887 for limit 11.696504878953155 821.87/809.62 c cleaning 1466 clauses out of 2951 for limit 31.94369296338315 821.97/809.78 c cleaning 981 clauses out of 1985 for limit 78.31585763874416 823.31/811.02 c cleaning 2493 clauses out of 5005 for limit 1700.9351085259607 823.41/811.19 c cleaning 1500 clauses out of 3012 for limit 4661.146431819616 823.61/811.32 c cleaning 995 clauses out of 2011 for limit 11501.567137350792 824.75/812.45 c cleaning 2246 clauses out of 4516 for limit 169905.0804709363 824.95/812.61 c cleaning 1373 clauses out of 2770 for limit 456810.85620116664 825.05/812.77 c cleaning 938 clauses out of 1897 for limit 1100030.5376069196 826.18/813.84 c cleaning 1980 clauses out of 3960 for limit 1.0610765592434147E7 826.39/814.03 c cleaning 1229 clauses out of 2479 for limit 2.7924586751232784E7 827.43/815.09 c cleaning 2125 clauses out of 4250 for limit 3.276496237611653E8 827.62/815.25 c cleaning 1313 clauses out of 2626 for limit 8.753752848429986E8 827.82/815.41 c cleaning 898 clauses out of 1812 for limit 2.0900283847549021E9 829.07/816.63 c cleaning 2448 clauses out of 4914 for limit 4.2162108505105354E10 829.17/816.78 c cleaning 1483 clauses out of 2966 for limit 1.1519727715075111E11 830.40/817.98 c cleaning 2481 clauses out of 4984 for limit 2.2764653689395493E12 830.60/818.15 c cleaning 1501 clauses out of 3003 for limit 6.23074010403402E12 831.64/819.18 c cleaning 2251 clauses out of 4502 for limit 8.360356559226219E13 831.84/819.36 c cleaning 1370 clauses out of 2750 for limit 2.254856830373394E14 833.18/820.61 c cleaning 2689 clauses out of 5380 for limit 6.30545580814591E15 833.28/820.75 c cleaning 1592 clauses out of 3191 for limit 1.7531853977291063E-4 833.38/820.87 c cleaning 1046 clauses out of 2099 for limit 4.3953968983541944E-4 834.51/822.00 c cleaning 2267 clauses out of 4553 for limit 0.006722086469568226 834.71/822.18 c cleaning 1386 clauses out of 2786 for limit 0.018116592674269585 835.85/823.28 c cleaning 2195 clauses out of 4402 for limit 0.23110638239181994 836.05/823.43 c cleaning 1344 clauses out of 2705 for limit 0.6189870621630793 836.15/823.58 c cleaning 926 clauses out of 1862 for limit 1.4844294547340353 837.39/824.71 c cleaning 2207 clauses out of 4435 for limit 20.653911558020216 837.59/824.90 c cleaning 1350 clauses out of 2728 for limit 55.37419913775198 837.69/825.07 c cleaning 928 clauses out of 1878 for limit 132.65148716609156 839.02/826.35 c cleaning 2467 clauses out of 4950 for limit 2753.275107603953 839.22/826.54 c cleaning 1485 clauses out of 2985 for limit 7544.585460847554 840.46/827.73 c cleaning 2737 clauses out of 5498 for limit 223641.83901878863 840.56/827.89 c cleaning 1621 clauses out of 3261 for limit 621817.411482394 840.76/828.05 c cleaning 1070 clauses out of 2140 for limit 1562628.6801860053 841.80/829.08 c cleaning 2035 clauses out of 4071 for limit 1.654010627907527E7 842.00/829.25 c cleaning 1257 clauses out of 2536 for limit 4.378708517529882E7 843.14/830.39 c cleaning 2382 clauses out of 4778 for limit 7.702041193418732E8 843.34/830.56 c cleaning 1436 clauses out of 2896 for limit 2.0956044498223956E9 844.48/831.68 c cleaning 2480 clauses out of 4960 for limit 4.058984585734359E10 844.67/831.84 c cleaning 1490 clauses out of 2980 for limit 1.1141372675258725E11 844.77/831.98 c cleaning 995 clauses out of 1990 for limit 2.751425615219317E11 846.01/833.13 c cleaning 2247 clauses out of 4495 for limit 4.040846615247999E12 846.11/833.28 c cleaning 1371 clauses out of 2748 for limit 1.090036950938184E13 846.31/833.44 c cleaning 929 clauses out of 1878 for limit 2.633011521493458E13 847.45/834.55 c cleaning 2213 clauses out of 4448 for limit 3.684175126671997E14 847.65/834.71 c cleaning 1354 clauses out of 2735 for limit 9.881061470043735E14 847.75/834.86 c cleaning 930 clauses out of 1881 for limit 2.369343473999065E15 848.89/835.93 c cleaning 2218 clauses out of 4451 for limit 3.321623722504846E-4 848.99/836.10 c cleaning 1356 clauses out of 2733 for limit 8.921220693663742E-4 850.32/837.35 c cleaning 2676 clauses out of 5377 for limit 0.02480681308851933 850.52/837.51 c cleaning 1594 clauses out of 3202 for limit 0.06876700057932975 850.62/837.65 c cleaning 1042 clauses out of 2107 for limit 0.17217030518088214 851.66/838.67 c cleaning 2018 clauses out of 4065 for limit 1.795136829077415 851.86/838.87 c cleaning 1261 clauses out of 2548 for limit 4.727690984448175 852.06/839.05 c cleaning 881 clauses out of 1787 for limit 11.116801223386325 853.40/840.31 c cleaning 2188 clauses out of 4405 for limit 149.4566271995115 853.50/840.49 c cleaning 1346 clauses out of 2717 for limit 399.60171054444606 854.74/841.68 c cleaning 2427 clauses out of 4872 for limit 7400.063019612625 854.94/841.86 c cleaning 1465 clauses out of 2945 for limit 20188.929233752293 856.19/843.04 c cleaning 2480 clauses out of 4979 for limit 395742.9218074446 856.39/843.23 c cleaning 1493 clauses out of 3000 for limit 1084237.5057041503 856.49/843.36 c cleaning 1003 clauses out of 2006 for limit 2671382.812927813 857.72/844.50 c cleaning 2252 clauses out of 4504 for limit 3.950885059034907E7 857.82/844.65 c cleaning 1376 clauses out of 2752 for limit 1.0663511323524824E8 857.93/844.79 c cleaning 926 clauses out of 1876 for limit 2.5797149291093093E8 859.06/845.86 c cleaning 1963 clauses out of 3949 for limit 2.4627380906243777E9 859.26/846.03 c cleaning 1243 clauses out of 2486 for limit 6.451491419744735E9 859.36/846.17 c cleaning 872 clauses out of 1744 for limit 1.5181167306511484E10 860.49/847.23 c cleaning 2179 clauses out of 4372 for limit 2.0089202795747546E11 860.59/847.39 c cleaning 1346 clauses out of 2692 for limit 5.375132518907543E11 860.79/847.55 c cleaning 915 clauses out of 1846 for limit 1.2926722377326975E12 861.83/848.58 c cleaning 1967 clauses out of 3934 for limit 1.2238399341204598E13 862.03/848.74 c cleaning 1232 clauses out of 2464 for limit 3.2127033339974695E13 862.13/848.88 c cleaning 866 clauses out of 1733 for limit 7.540552422435534E13 863.47/850.13 c cleaning 2423 clauses out of 4867 for limit 1.4688839182541302E15 863.57/850.30 c cleaning 1461 clauses out of 2943 for limit 4.0020262733614935E15 863.77/850.45 c cleaning 977 clauses out of 1982 for limit 9.799917833779712E15 864.80/851.44 c cleaning 1994 clauses out of 4005 for limit 9.755710096219223E-4 865.00/851.61 c cleaning 1249 clauses out of 2512 for limit 0.0025676283979868984 865.10/851.74 c cleaning 874 clauses out of 1762 for limit 0.00603069377533355 866.13/852.78 c cleaning 2186 clauses out of 4389 for limit 0.08039579250253583 866.33/852.97 c cleaning 1341 clauses out of 2702 for limit 0.21514682034299903 866.53/853.16 c cleaning 921 clauses out of 1861 for limit 0.515145357830395 867.67/854.29 c cleaning 2211 clauses out of 4440 for limit 7.162826021422507 867.87/854.43 c cleaning 1356 clauses out of 2730 for limit 19.230701400158782 867.97/854.57 c cleaning 922 clauses out of 1873 for limit 46.17866456157293 869.21/855.80 c cleaning 2465 clauses out of 4953 for limit 957.2534460066386 869.40/855.94 c cleaning 1484 clauses out of 2988 for limit 2616.800175735293 869.50/856.07 c cleaning 993 clauses out of 2002 for limit 6427.971517759121 870.84/857.33 c cleaning 2749 clauses out of 5511 for limit 211095.80967110422 870.94/857.46 c cleaning 1625 clauses out of 3261 for limit 587733.7088643946 871.04/857.58 c cleaning 1062 clauses out of 2135 for limit 1478954.7774745405 872.48/858.91 c cleaning 3281 clauses out of 6574 for limit 1.1797020744680783E8 872.59/859.04 c cleaning 1891 clauses out of 3792 for limit 3.3694195347343194E8 872.69/859.15 c cleaning 1200 clauses out of 2401 for limit 8.775808646803403E8 872.78/859.25 c cleaning 851 clauses out of 1702 for limit 2.0436670747762473E9 872.88/859.35 c cleaning 675 clauses out of 1350 for limit 4.2448007622173357E9 874.23/860.68 c cleaning 3080 clauses out of 6175 for limit 2.2770306384770938E11 874.43/860.80 c cleaning 1791 clauses out of 3595 for limit 6.450046246340499E11 874.53/860.92 c cleaning 1152 clauses out of 2304 for limit 1.6597211774919226E12 874.63/861.03 c cleaning 826 clauses out of 1652 for limit 3.817362951577515E12 876.08/862.47 c cleaning 3157 clauses out of 6327 for limit 2.448076199495415E14 876.27/862.60 c cleaning 1827 clauses out of 3669 for limit 6.954988714025772E14 876.37/862.73 c cleaning 1163 clauses out of 2343 for limit 1.7978864177960672E15 876.47/862.83 c cleaning 833 clauses out of 1679 for limit 4.133378910134966E-5 876.57/862.94 c cleaning 667 clauses out of 1346 for limit 8.50289355831527E-5 878.01/864.36 c cleaning 3085 clauses out of 6180 for limit 0.004548546052525203 878.11/864.50 c cleaning 1787 clauses out of 3595 for limit 0.012894902523913988 878.31/864.61 c cleaning 1148 clauses out of 2308 for limit 0.033123562575180954 878.41/864.71 c cleaning 823 clauses out of 1659 for limit 0.07591853771912511 878.51/864.83 c cleaning 661 clauses out of 1337 for limit 0.15550817047984913 878.61/864.92 c cleaning 581 clauses out of 1175 for limit 0.2915198473683394 879.84/866.14 c cleaning 2790 clauses out of 5594 for limit 9.110503988068999 879.94/866.28 c cleaning 1650 clauses out of 3305 for limit 25.455627053444466 880.14/866.40 c cleaning 1073 clauses out of 2154 for limit 64.34739052135048 880.24/866.53 c cleaning 785 clauses out of 1582 for limit 144.6307233412209 880.34/866.64 c cleaning 639 clauses out of 1296 for limit 290.8596057451554 881.48/867.77 c cleaning 2321 clauses out of 4657 for limit 4428.220832986856 881.68/867.91 c cleaning 1411 clauses out of 2837 for limit 11999.594539594054 881.78/868.04 c cleaning 956 clauses out of 1925 for limit 29135.10240388239 881.88/868.15 c cleaning 730 clauses out of 1471 for limit 63002.75206284238 883.12/869.35 c cleaning 2862 clauses out of 5739 for limit 2397870.998578536 883.23/869.47 c cleaning 1683 clauses out of 3377 for limit 6720272.230805817 883.33/869.60 c cleaning 1091 clauses out of 2195 for limit 1.7067652856233124E7 883.53/869.71 c cleaning 796 clauses out of 1604 for limit 3.85176558672965E7 883.63/869.81 c cleaning 654 clauses out of 1309 for limit 7.791390381158733E7 884.86/871.08 c cleaning 2826 clauses out of 5653 for limit 2.6789553326293244E9 885.06/871.21 c cleaning 1664 clauses out of 3328 for limit 7.511930117889883E9 885.16/871.32 c cleaning 1074 clauses out of 2163 for limit 1.9041436664380775E10 885.26/871.44 c cleaning 785 clauses out of 1589 for limit 4.274528546525441E10 885.36/871.55 c cleaning 640 clauses out of 1305 for limit 8.591955243800555E10 886.50/872.67 c cleaning 2332 clauses out of 4664 for limit 1.3138825972098022E12 886.70/872.81 c cleaning 1416 clauses out of 2833 for limit 3.570745736534027E12 886.80/872.93 c cleaning 955 clauses out of 1917 for limit 8.702404678869935E12 886.90/873.05 c cleaning 719 clauses out of 1461 for limit 1.8811895048325535E13 887.00/873.16 c cleaning 616 clauses out of 1242 for limit 3.6493629136249766E13 888.04/874.16 c cleaning 2063 clauses out of 4126 for limit 3.6441868405430244E14 888.14/874.30 c cleaning 1273 clauses out of 2563 for limit 9.674691824244251E14 888.34/874.42 c cleaning 889 clauses out of 1790 for limit 2.2844865327364925E15 888.44/874.54 c cleaning 691 clauses out of 1401 for limit 4.813482363358682E15 889.57/875.62 c Got one! Elapsed wall clock time (in seconds):875.416 889.57/875.62 o 217 1205.56/1187.37 c cleaning 287330 clauses out of 574677 for limit 291.6709000979778 1345.36/1325.31 c cleaning 262665 clauses out of 525347 for limit 827318.7697617064 1800.01/1775.61 c starts : 127 1800.01/1775.61 c conflicts : 3220088 1800.01/1775.61 c decisions : 4354024 1800.01/1775.61 c propagations : 70424474 1800.01/1775.61 c inspects : 1520549767 1800.01/1775.61 c learnt literals : 0 1800.01/1775.61 c learnt binary clauses : 0 1800.01/1775.61 c learnt ternary clauses : 0 1800.01/1775.61 c learnt clauses : 3220088 1800.01/1775.61 c root simplifications : 0 1800.01/1775.61 c removed literals (reason simplification) : 0 1800.01/1775.61 c reason swapping (by a shorter reason) : 0 1800.01/1775.61 c Calls to reduceDB : 310 1800.01/1775.61 c speed (decisions/second) : 4837.879700350894 1800.01/1775.61 c non guided choices 37 1800.01/1775.61 s SATISFIABLE 1800.01/1775.62 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 1800.01/1775.62 v -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 1800.01/1775.62 v 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 1800.01/1775.62 v -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 1800.01/1775.62 v -x117 -x118 -x119 x120 x121 -x122 x123 -x124 x125 x126 x127 -x128 -x129 -x130 -x131 x132 x133 -x134 x135 -x136 -x137 -x138 1800.01/1775.62 v -x139 x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 x149 x150 -x151 x152 -x153 x154 x155 x156 -x157 x158 -x159 x160 x161 1800.01/1775.62 v x162 -x163 -x164 x165 x166 -x167 x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 x178 x179 x180 -x181 -x182 -x183 1800.01/1775.62 v -x184 x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 -x194 -x195 -x196 x197 x198 -x199 x200 -x201 x202 -x203 -x204 x205 1800.01/1775.62 v x206 -x207 x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 x221 -x222 x223 x224 -x225 x226 -x227 1800.01/1775.62 v x228 x229 -x230 -x231 x232 x233 -x234 x235 x236 x237 -x238 x239 -x240 x241 -x242 -x243 x244 -x245 -x246 x247 -x248 -x249 -x250 1800.01/1775.62 v -x251 x252 -x253 x254 x255 x256 -x257 -x258 x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 x272 -x273 1800.01/1775.62 v x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 x291 -x292 x293 -x294 -x295 1800.01/1775.62 v x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 x304 -x305 -x306 x307 -x308 -x309 x310 x311 -x312 x313 x314 x315 -x316 x317 x318 1800.01/1775.62 v x319 x320 -x321 -x322 -x323 x324 x325 -x326 x327 x328 -x329 -x330 x331 -x332 x333 x334 x335 x336 x337 -x338 x339 x340 -x341 1800.01/1775.62 v -x342 -x343 x344 x345 x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 x355 -x356 -x357 x358 -x359 -x360 x361 x362 -x363 1800.01/1775.62 v x364 -x365 x366 -x367 -x368 -x369 x370 -x371 x372 -x373 -x374 x375 x376 x377 x378 x379 -x380 x381 -x382 x383 -x384 -x385 x386 1800.01/1775.62 v -x387 x388 x389 x390 -x391 -x392 x393 -x394 -x395 x396 -x397 -x398 x399 -x400 x401 x402 x403 -x404 -x405 x406 -x407 x408 x409 1800.01/1775.62 v -x410 x411 x412 -x413 -x414 -x415 -x416 x417 -x418 x419 x420 x421 -x422 x423 -x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 1800.01/1775.62 v x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 x443 -x444 -x445 -x446 -x447 x448 x449 x450 -x451 x452 x453 -x454 1800.01/1775.62 v x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 x466 x467 x468 -x469 x470 1800.01/1775.62 c objective function=217 1800.01/1775.62 c Total wall clock time (ms): 1775.417
OK 217
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-352210-1176626121 -o ROOT/results/node2/solver-352210-1176626121 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352210-1176626121/sat4jPseudoResolution.jar /tmp/evaluation/352210-1176626121/instance-352210-1176626121.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 1.00 1.00 2/77 6029 /proc/meminfo: memFree=1732328/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=272 CPUtime=0 /proc/6029/stat : 6029 (java) D 6027 6029 5183 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 138649911 278528 37 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10535716 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/6029/statm: 68 37 28 9 0 6 0 [startup+0.0192191 s] /proc/loadavg: 0.99 1.00 1.00 2/77 6029 /proc/meminfo: memFree=1732328/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=12916 CPUtime=0 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 905 0 1 0 0 0 0 0 18 0 2 0 138649911 13225984 661 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 3229 661 331 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12916 [startup+0.102232 s] /proc/loadavg: 0.99 1.00 1.00 2/77 6029 /proc/meminfo: memFree=1732328/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1780108 CPUtime=0.08 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 3978 0 1 0 6 2 0 0 18 0 12 0 138649911 1822830592 3719 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 445027 3719 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.312251 s] /proc/loadavg: 0.99 1.00 1.00 2/77 6029 /proc/meminfo: memFree=1732328/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1782420 CPUtime=0.34 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 5148 0 1 0 31 3 0 0 18 0 12 0 138649911 1825198080 4886 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 445605 4886 1264 9 0 443217 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782420 [startup+0.702294 s] /proc/loadavg: 0.99 1.00 1.00 2/77 6029 /proc/meminfo: memFree=1732328/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784392 CPUtime=0.96 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 7273 0 1 0 92 4 0 0 18 0 13 0 138649911 1827217408 6378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446098 6378 1309 9 0 443710 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 1784392 [startup+1.50239 s] /proc/loadavg: 0.99 1.00 1.00 4/90 6044 /proc/meminfo: memFree=1699648/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784504 CPUtime=1.97 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 21069 0 1 0 186 11 0 0 18 0 13 0 138649911 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446126 19718 1315 9 0 443738 0 [pid=6029/tid=6031] ppid=6027 vsize=1784504 CPUtime=1.21 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 18233 0 1 0 112 9 0 0 20 0 13 0 138649912 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109569167 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 138649913 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 138649913 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 138649916 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 138649916 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 138649916 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784504 CPUtime=0.33 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1288 0 0 0 33 0 0 0 16 0 13 0 138649920 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784504 CPUtime=0.39 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 821 0 0 0 39 0 0 0 15 0 13 0 138649920 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6044] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6044/stat : 6044 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 138649995 1827332096 19718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.97 Current children cumulated vsize (KiB) 1784504 [startup+3.10153 s] /proc/loadavg: 0.99 1.00 1.00 3/90 6044 /proc/meminfo: memFree=1602176/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784504 CPUtime=3.68 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 42399 0 1 0 347 21 0 0 18 0 13 0 138649911 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446126 40970 1326 9 0 443738 0 [pid=6029/tid=6031] ppid=6027 vsize=1784504 CPUtime=2.79 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 37731 0 1 0 261 18 0 0 22 0 13 0 138649912 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109587633 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 973 0 0 0 0 0 0 0 16 0 13 0 138649913 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784504 CPUtime=0.01 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 758 0 0 0 1 0 0 0 16 0 13 0 138649913 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 8 0 0 0 0 0 0 0 15 0 13 0 138649916 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138649916 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784504 CPUtime=0.39 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1348 0 0 0 39 0 0 0 16 0 13 0 138649920 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784504 CPUtime=0.43 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 857 0 0 0 43 0 0 0 16 0 13 0 138649920 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784504 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827332096 40970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.68 Current children cumulated vsize (KiB) 1784504 [startup+6.30287 s] /proc/loadavg: 0.99 1.00 1.00 2/90 6046 /proc/meminfo: memFree=1550768/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784452 CPUtime=7 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 50631 0 1 0 675 25 0 0 18 0 13 0 138649911 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446113 49048 1326 9 0 443725 0 [pid=6029/tid=6031] ppid=6027 vsize=1784452 CPUtime=5.89 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 37736 0 1 0 571 18 0 0 21 0 13 0 138649912 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553315 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784452 CPUtime=0.08 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 4882 0 0 0 6 2 0 0 17 0 13 0 138649913 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784452 CPUtime=0.08 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 5065 0 0 0 6 2 0 0 17 0 13 0 138649913 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784452 CPUtime=0.44 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1351 0 0 0 44 0 0 0 16 0 13 0 138649920 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784452 CPUtime=0.45 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 859 0 0 0 45 0 0 0 16 0 13 0 138649920 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6046] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6046/stat : 6046 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 138650255 1827278848 49048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7 Current children cumulated vsize (KiB) 1784452 [startup+12.7015 s] /proc/loadavg: 0.99 1.00 1.00 2/90 6048 /proc/meminfo: memFree=1504808/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784452 CPUtime=13.65 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 66157 0 1 0 1331 34 0 0 18 0 13 0 138649911 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446113 60282 1327 9 0 443725 0 [pid=6029/tid=6031] ppid=6027 vsize=1784452 CPUtime=12.03 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 37743 0 1 0 1185 18 0 0 21 0 13 0 138649912 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109604741 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784452 CPUtime=0.32 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 12769 0 0 0 26 6 0 0 17 0 13 0 138649913 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784452 CPUtime=0.33 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 12687 0 0 0 27 6 0 0 16 0 13 0 138649913 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784452 CPUtime=0.44 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1351 0 0 0 44 0 0 0 16 0 13 0 138649920 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784452 CPUtime=0.46 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 861 0 0 0 46 0 0 0 17 0 13 0 138649920 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6048] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6048/stat : 6048 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 138651090 1827278848 60282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.65 Current children cumulated vsize (KiB) 1784452 [startup+25.5029 s] /proc/loadavg: 0.99 1.00 1.00 2/90 6050 /proc/meminfo: memFree=1441752/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784452 CPUtime=26.68 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 83576 0 1 0 2626 42 0 0 18 0 13 0 138649911 1827278848 73649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446113 73649 1327 9 0 443725 0 [pid=6029/tid=6031] ppid=6027 vsize=1784452 CPUtime=24.62 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 37757 0 1 0 2444 18 0 0 25 0 13 0 138649912 1827278848 73649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109569908 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784452 CPUtime=0.52 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 21346 0 0 0 42 10 0 0 16 0 13 0 138649913 1827278848 73649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784452 CPUtime=0.53 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 21447 0 0 0 43 10 0 0 16 0 13 0 138649913 1827278848 73649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 21 0 0 0 0 0 0 0 17 0 13 0 138649916 1827278848 73649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=6029/tid=6034] ppid=6027 vsize=1784452 CPUtime=4.26 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 648 0 0 0 402 24 0 0 16 0 13 0 138649916 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784452 CPUtime=0.59 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1383 0 0 0 58 1 0 0 16 0 13 0 138649920 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784452 CPUtime=0.57 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 1056 0 0 0 57 0 0 0 16 0 13 0 138649920 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6052] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6052/stat : 6052 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 138737474 1827278848 250788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1565.55 Current children cumulated vsize (KiB) 1784452 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.02 2/90 6250 /proc/meminfo: memFree=681288/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784452 CPUtime=1625.78 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 702234 0 1 0 162206 372 0 0 18 0 13 0 138649911 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446113 262750 1332 9 0 443725 0 [pid=6029/tid=6031] ppid=6027 vsize=1784452 CPUtime=1573.08 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 38354 0 1 0 157275 33 0 0 25 0 13 0 138649912 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109582671 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784452 CPUtime=23.63 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 328916 0 0 0 2207 156 0 0 16 0 13 0 138649913 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784452 CPUtime=23.59 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 331140 0 0 0 2204 155 0 0 16 0 13 0 138649913 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784452 CPUtime=4.26 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 648 0 0 0 402 24 0 0 16 0 13 0 138649916 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784452 CPUtime=0.59 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1383 0 0 0 58 1 0 0 16 0 13 0 138649920 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784452 CPUtime=0.57 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 1056 0 0 0 57 0 0 0 16 0 13 0 138649920 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6052] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6052/stat : 6052 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 138737474 1827278848 262750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1625.78 Current children cumulated vsize (KiB) 1784452 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.02 2/90 6250 /proc/meminfo: memFree=661064/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784452 CPUtime=1685.99 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 708700 0 1 0 168224 375 0 0 18 0 13 0 138649911 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446113 267810 1332 9 0 443725 0 [pid=6029/tid=6031] ppid=6027 vsize=1784452 CPUtime=1631.06 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 38360 0 1 0 163073 33 0 0 25 0 13 0 138649912 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109592121 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784452 CPUtime=23.87 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 332009 0 0 0 2230 157 0 0 16 0 13 0 138649913 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784452 CPUtime=23.83 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 334243 0 0 0 2227 156 0 0 16 0 13 0 138649913 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784452 CPUtime=6 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 912 0 0 0 576 24 0 0 16 0 13 0 138649916 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784452 CPUtime=0.59 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1383 0 0 0 58 1 0 0 16 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784452 CPUtime=0.57 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 1056 0 0 0 57 0 0 0 16 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6052] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6052/stat : 6052 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 138737474 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1685.99 Current children cumulated vsize (KiB) 1784452 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.01 2/90 6250 /proc/meminfo: memFree=661064/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784452 CPUtime=1746.26 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 708707 0 1 0 174250 376 0 0 18 0 13 0 138649911 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446113 267810 1332 9 0 443725 0 [pid=6029/tid=6031] ppid=6027 vsize=1784452 CPUtime=1690.76 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 38367 0 1 0 169042 34 0 0 25 0 13 0 138649912 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109592062 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784452 CPUtime=24.16 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 332009 0 0 0 2259 157 0 0 16 0 13 0 138649913 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784452 CPUtime=24.11 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 334243 0 0 0 2255 156 0 0 17 0 13 0 138649913 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784452 CPUtime=6 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 912 0 0 0 576 24 0 0 16 0 13 0 138649916 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784452 CPUtime=0.59 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1383 0 0 0 58 1 0 0 16 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784452 CPUtime=0.57 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 1056 0 0 0 57 0 0 0 16 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6052] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6052/stat : 6052 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 138737474 1827278848 267810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1746.26 Current children cumulated vsize (KiB) 1784452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1775.6 s] /proc/loadavg: 1.00 1.01 1.00 2/90 6250 /proc/meminfo: memFree=630344/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=1784452 CPUtime=1800.01 /proc/6029/stat : 6029 (java) S 6027 6029 5183 0 -1 0 718310 0 1 0 179622 379 0 0 18 0 13 0 138649911 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6029/statm: 446113 275504 1332 9 0 443725 0 [pid=6029/tid=6031] ppid=6027 vsize=1784452 CPUtime=1743.56 /proc/6029/task/6031/stat : 6031 (java) R 6027 6029 5183 0 -1 64 38377 0 1 0 174322 34 0 0 25 0 13 0 138649912 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109565465 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6032] ppid=6027 vsize=1784452 CPUtime=24.64 /proc/6029/task/6032/stat : 6032 (java) S 6027 6029 5183 0 -1 64 335175 0 0 0 2306 158 0 0 16 0 13 0 138649913 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6033] ppid=6027 vsize=1784452 CPUtime=24.59 /proc/6029/task/6033/stat : 6033 (java) S 6027 6029 5183 0 -1 64 340670 0 0 0 2300 159 0 0 16 0 13 0 138649913 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6034] ppid=6027 vsize=1784452 CPUtime=6 /proc/6029/task/6034/stat : 6034 (java) S 6027 6029 5183 0 -1 64 912 0 0 0 576 24 0 0 16 0 13 0 138649916 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6035] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6035/stat : 6035 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6036] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6036/stat : 6036 (java) S 6027 6029 5183 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 138649916 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6037] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6037/stat : 6037 (java) S 6027 6029 5183 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 138649920 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6038] ppid=6027 vsize=1784452 CPUtime=0.59 /proc/6029/task/6038/stat : 6038 (java) S 6027 6029 5183 0 -1 64 1383 0 0 0 58 1 0 0 16 0 13 0 138649920 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6039] ppid=6027 vsize=1784452 CPUtime=0.57 /proc/6029/task/6039/stat : 6039 (java) S 6027 6029 5183 0 -1 64 1056 0 0 0 57 0 0 0 16 0 13 0 138649920 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6040] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6040/stat : 6040 (java) S 6027 6029 5183 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 138649920 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6029/tid=6041] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6041/stat : 6041 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 138649920 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6029/tid=6052] ppid=6027 vsize=1784452 CPUtime=0 /proc/6029/task/6052/stat : 6052 (java) S 6027 6029 5183 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 138737474 1827278848 275504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1784452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1775.8 s] /proc/loadavg: 1.00 1.01 1.00 2/90 6250 /proc/meminfo: memFree=630344/2055920 swapFree=4147160/4192956 [pid=6029] ppid=6027 vsize=0 CPUtime=1800.22 /proc/6029/stat : 6029 (java) Z 6027 6029 5183 0 -1 1036 718329 0 1 0 179628 394 0 0 16 0 2 0 138649911 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6029/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1775.82 CPU time (s): 1800.24 CPU user time (s): 1796.28 CPU system time (s): 3.9624 CPU usage (%): 101.376 Max. virtual memory (cumulated for all children) (KiB): 1784692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.28 system time used= 3.9624 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 718329 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= 43411 involuntary context switches= 37910 runsolver used 1.78373 second user time and 4.80127 second system time The end
Begin job on node2 on Sun Apr 15 08:35:21 UTC 2007 IDJOB= 352210 IDBENCH= 1958 IDSOLVER= 159 FILE ID= node2/352210-1176626121 PBS_JOBID= 4556845 Free space on /tmp= 66557 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352210-1176626121/sat4jPseudoResolution.jar /tmp/evaluation/352210-1176626121/instance-352210-1176626121.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-352210-1176626121 -o ROOT/results/node2/solver-352210-1176626121 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352210-1176626121/sat4jPseudoResolution.jar /tmp/evaluation/352210-1176626121/instance-352210-1176626121.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7 RANDOM SEED= 393363542 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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 : 5914.62 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.234 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: 1732544 kB Buffers: 63088 kB Cached: 187224 kB SwapCached: 14480 kB Active: 108476 kB Inactive: 166760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1732544 kB SwapTotal: 4192956 kB SwapFree: 4147160 kB Dirty: 3700 kB Writeback: 0 kB Mapped: 30848 kB Slab: 33368 kB Committed_AS: 5813692 kB PageTables: 1864 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= 66557 MiB End job on node2 on Sun Apr 15 09:04:59 UTC 2007