Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 26 | 1800.57 | 1795.94 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
| MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 47.4058 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 5499 |
| Total number of constraints | 19319 |
| Number of constraints which are clauses | 19312 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 613 |
| Number of terms in the objective function | 613 |
| 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 | 613 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 643 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.01/0.07 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.01/0.07 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.01/0.08 c no version file found!!! 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 1599470296 0.01/0.08 c Max memory 1607860224 0.01/0.08 c Total memory 1607860224 0.01/0.08 c Number of processors 8 0.09/0.10 --- Begin Solver configuration --- 0.09/0.10 c Stops conflict analysis at the first Unique Implication Point 0.09/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.09/0.10 c Learn all clauses as in MiniSAT 0.09/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.09/0.10 c No reason simplification 0.09/0.10 c --- End Solver configuration --- 0.09/0.10 c solving HOME/instance-3736074-1338713637.opb 0.09/0.10 c reading problem ... 0.98/0.50 c ... done. Wall clock time 0.402s. 0.98/0.50 c CPU time (experimental) 0.47s. 0.98/0.50 c #vars 5499 0.98/0.50 c #constraints 19314 0.98/0.56 c SATISFIABLE 0.98/0.56 c OPTIMIZING... 0.98/0.56 c Got one! Elapsed wall clock time (in seconds):0.458 0.98/0.56 o 27 0.98/0.59 c Got one! Elapsed wall clock time (in seconds):0.488 0.98/0.59 o 26 883.06/880.20 c cleaning 707238 clauses out of 1414508 for limit 2.9496808878948474E8 907.18/904.31 c cleaning 353876 clauses out of 707769 for limit 9.712035936523135E8 909.98/907.14 c cleaning 177200 clauses out of 354407 for limit 3.243684295606594E9 911.39/908.59 c cleaning 88830 clauses out of 177690 for limit 1.0489313578067905E10 911.98/909.11 c cleaning 44655 clauses out of 89360 for limit 3.439717556768148E10 912.28/909.42 c cleaning 22581 clauses out of 45205 for limit 1.1213349450836246E11 912.59/909.74 c cleaning 11542 clauses out of 23125 for limit 3.6185159192110034E11 912.88/910.00 c cleaning 6024 clauses out of 12082 for limit 1.141023982903209E12 913.08/910.26 c cleaning 3258 clauses out of 6558 for limit 3.466714515532603E12 913.28/910.48 c cleaning 1892 clauses out of 3801 for limit 9.873747580790273E12 913.59/910.74 c cleaning 1190 clauses out of 2408 for limit 2.5677029655241133E13 913.78/910.97 c cleaning 858 clauses out of 1718 for limit 5.935181341481998E13 914.08/911.25 c cleaning 678 clauses out of 1360 for limit 1.2364430874599831E14 914.38/911.51 c cleaning 590 clauses out of 1182 for limit 2.3461266337403806E14 914.58/911.74 c cleaning 533 clauses out of 1092 for limit 4.187956624252886E14 914.88/912.01 c cleaning 518 clauses out of 1060 for limit 7.122120984382379E14 915.18/912.30 c cleaning 520 clauses out of 1041 for limit 1.1947742603706152E15 915.38/912.58 c cleaning 511 clauses out of 1022 for limit 2.0089822068225098E15 915.68/912.82 c cleaning 505 clauses out of 1010 for limit 3.3490913038079775E15 915.89/913.06 c cleaning 485 clauses out of 1005 for limit 5.550577700828182E15 916.18/913.32 c cleaning 497 clauses out of 1020 for limit 9.019032742670782E-5 916.48/913.61 c cleaning 505 clauses out of 1023 for limit 1.4829973966787926E-4 916.68/913.89 c cleaning 504 clauses out of 1020 for limit 2.4577672966710415E-4 916.89/914.08 c cleaning 377 clauses out of 1014 for limit 4.069020158186532E-4 917.18/914.30 c cleaning 549 clauses out of 1137 for limit 5.984435888137589E-4 917.38/914.58 c cleaning 520 clauses out of 1088 for limit 0.0010313609290245134 917.68/914.88 c cleaning 480 clauses out of 1068 for limit 0.0017327033087213303 917.88/915.05 c cleaning 410 clauses out of 1088 for limit 0.0028049327229650338 918.09/915.21 c cleaning 567 clauses out of 1178 for limit 0.004272301965639268 918.28/915.43 c cleaning 522 clauses out of 1111 for limit 0.0074704894968967645 918.48/915.61 c cleaning 479 clauses out of 1089 for limit 0.012568722151751355 918.68/915.83 c cleaning 465 clauses out of 1110 for limit 0.020335362269663454 918.88/916.01 c cleaning 553 clauses out of 1145 for limit 0.03251062306256234 919.09/916.26 c cleaning 507 clauses out of 1092 for limit 0.05621652910615119 919.28/916.46 c cleaning 521 clauses out of 1085 for limit 0.09330669686042906 919.48/916.64 c cleaning 450 clauses out of 1064 for limit 0.15691223649843739 919.68/916.85 c cleaning 489 clauses out of 1114 for limit 0.2471548497005852 919.88/917.06 c cleaning 531 clauses out of 1125 for limit 0.4036060727002156 920.08/917.27 c cleaning 523 clauses out of 1094 for limit 0.6844611135778943 920.29/917.40 c cleaning 463 clauses out of 1071 for limit 1.1530085232440201 920.48/917.61 c cleaning 533 clauses out of 1108 for limit 1.8379687165704852 920.68/917.81 c cleaning 433 clauses out of 1075 for limit 3.12410267189785 920.78/917.98 c cleaning 468 clauses out of 1142 for limit 4.849796833632379 921.08/918.21 c cleaning 562 clauses out of 1174 for limit 7.779961353169271 921.29/918.44 c cleaning 504 clauses out of 1112 for limit 13.54554976953873 921.48/918.65 c cleaning 542 clauses out of 1111 for limit 22.425740219014298 921.78/918.91 c cleaning 490 clauses out of 1066 for limit 38.42872653467475 921.98/919.14 c cleaning 493 clauses out of 1076 for limit 62.785132232357796 922.18/919.35 c cleaning 498 clauses out of 1083 for limit 102.87184169008894 922.39/919.58 c cleaning 523 clauses out of 1086 for limit 169.35013419872215 922.68/919.83 c cleaning 515 clauses out of 1062 for limit 285.30686971538256 922.88/920.01 c cleaning 496 clauses out of 1047 for limit 477.2500152553602 923.08/920.21 c cleaning 476 clauses out of 1051 for limit 784.0536909470734 923.28/920.40 c cleaning 509 clauses out of 1078 for limit 1264.4136659815256 923.49/920.62 c cleaning 446 clauses out of 1066 for limit 2102.340655974133 923.59/920.79 c cleaning 531 clauses out of 1120 for limit 3299.8800830335604 923.78/920.96 c cleaning 501 clauses out of 1089 for limit 5596.856705068706 923.88/921.08 c cleaning 482 clauses out of 1088 for limit 9238.448864871243 924.08/921.26 c cleaning 485 clauses out of 1106 for limit 14987.483387356975 924.28/921.41 c cleaning 529 clauses out of 1121 for limit 24385.637640965073 924.48/921.61 c cleaning 511 clauses out of 1092 for limit 41283.16423770699 924.59/921.76 c cleaning 509 clauses out of 1081 for limit 68774.24141095816 924.78/921.95 c cleaning 476 clauses out of 1074 for limit 114385.80473561256 924.98/922.16 c cleaning 451 clauses out of 1096 for limit 184481.4581232142 925.18/922.35 c cleaning 439 clauses out of 1145 for limit 291214.95712724334 925.28/922.48 c cleaning 552 clauses out of 1206 for limit 455961.04774669016 925.50/922.65 c cleaning 449 clauses out of 1154 for limit 785823.7112002068 925.70/922.84 c cleaning 551 clauses out of 1205 for limit 1241080.0024013757 925.90/923.02 c cleaning 495 clauses out of 1154 for limit 2137159.339662065 926.00/923.18 c cleaning 467 clauses out of 1159 for limit 3509256.9025534615 926.20/923.32 c cleaning 593 clauses out of 1192 for limit 5627017.041087113 926.40/923.51 c cleaning 543 clauses out of 1102 for limit 1.0067747470828405E7 926.60/923.71 c cleaning 508 clauses out of 1056 for limit 1.7274374935910594E7 926.80/923.96 c cleaning 494 clauses out of 1048 for limit 2.870521897395714E7 927.00/924.19 c cleaning 503 clauses out of 1057 for limit 4.707676178076904E7 927.30/924.40 c cleaning 466 clauses out of 1051 for limit 7.784508636612773E7 927.50/924.63 c cleaning 518 clauses out of 1085 for limit 1.2435408882561065E8 927.70/924.87 c cleaning 533 clauses out of 1067 for limit 2.0853611355988994E8 927.90/925.09 c cleaning 438 clauses out of 1034 for limit 3.5487960666037434E8 928.10/925.25 c cleaning 431 clauses out of 1096 for limit 5.52137080750462E8 928.30/925.43 c cleaning 438 clauses out of 1165 for limit 8.566184627203709E8 928.40/925.59 c cleaning 509 clauses out of 1227 for limit 1.3412961566614254E9 928.60/925.73 c cleaning 528 clauses out of 1218 for limit 2.228321453865121E9 928.70/925.86 c cleaning 593 clauses out of 1190 for limit 3.7612660634505754E9 928.90/926.00 c cleaning 502 clauses out of 1097 for limit 6.728686221553503E9 929.00/926.11 c cleaning 447 clauses out of 1095 for limit 1.1116771313595942E10 929.10/926.26 c cleaning 564 clauses out of 1154 for limit 1.7500479160278374E10 929.30/926.48 c cleaning 451 clauses out of 1084 for limit 3.0540439510723183E10 929.60/926.70 c cleaning 565 clauses out of 1133 for limit 4.8187072455439255E10 929.80/926.93 c cleaning 509 clauses out of 1068 for limit 8.430339921785104E10 930.00/927.17 c cleaning 510 clauses out of 1059 for limit 1.4020912075163785E11 930.30/927.43 c cleaning 501 clauses out of 1049 for limit 2.3342782572039505E11 930.50/927.67 c cleaning 524 clauses out of 1048 for limit 3.853210342730776E11 930.80/927.91 c cleaning 472 clauses out of 1024 for limit 6.503391968930366E11 931.00/928.13 c cleaning 526 clauses out of 1052 for limit 1.043950806629107E12 931.20/928.34 c cleaning 494 clauses out of 1026 for limit 1.7652421962135186E12 931.40/928.51 c cleaning 435 clauses out of 1032 for limit 2.8941954120634175E12 931.60/928.71 c cleaning 515 clauses out of 1097 for limit 4.490108209885868E12 931.80/928.92 c cleaning 503 clauses out of 1082 for limit 7.507443306924832E12 932.00/929.13 c cleaning 539 clauses out of 1079 for limit 1.2415201264941293E13 932.20/929.36 c cleaning 428 clauses out of 1040 for limit 2.124211505286665E13 932.40/929.55 c cleaning 555 clauses out of 1112 for limit 3.2762889405708676E13 932.60/929.76 c cleaning 490 clauses out of 1057 for limit 5.6841807927048375E13 932.80/929.95 c cleaning 491 clauses out of 1067 for limit 9.286120986165762E13 933.00/930.11 c cleaning 496 clauses out of 1076 for limit 1.518596423658915E14 933.10/930.28 c cleaning 484 clauses out of 1080 for limit 2.4950932173388706E14 933.30/930.48 c cleaning 509 clauses out of 1096 for limit 4.0546732693704156E14 933.50/930.65 c cleaning 478 clauses out of 1087 for limit 6.742062295917625E14 933.70/930.83 c cleaning 473 clauses out of 1109 for limit 1.0897996045627022E15 933.90/931.00 c cleaning 479 clauses out of 1136 for limit 1.754509595621234E15 934.00/931.16 c cleaning 570 clauses out of 1157 for limit 2.840904320089167E15 934.20/931.34 c cleaning 484 clauses out of 1087 for limit 4.98673521904436E-5 934.40/931.56 c cleaning 520 clauses out of 1103 for limit 8.104500021134276E-5 934.60/931.76 c cleaning 521 clauses out of 1083 for limit 1.361222661423741E-4 934.80/931.97 c cleaning 520 clauses out of 1063 for limit 2.2893635368111912E-4 935.10/932.25 c cleaning 509 clauses out of 1042 for limit 3.847704242911661E-4 935.30/932.46 c cleaning 496 clauses out of 1033 for limit 6.400663071269525E-4 935.50/932.69 c cleaning 495 clauses out of 1037 for limit 0.0010514833952764665 935.70/932.87 c cleaning 500 clauses out of 1042 for limit 0.0017257160698094087 935.90/933.09 c cleaning 500 clauses out of 1042 for limit 0.0028459366612812397 936.20/933.32 c cleaning 497 clauses out of 1042 for limit 0.004693330277047913 936.40/933.58 c cleaning 416 clauses out of 1045 for limit 0.007717709596072713 936.70/933.81 c cleaning 539 clauses out of 1129 for limit 0.011780579877565246 936.90/934.04 c cleaning 525 clauses out of 1091 for limit 0.02012455372802222 937.20/934.32 c cleaning 511 clauses out of 1065 for limit 0.03396430846463287 937.50/934.60 c cleaning 507 clauses out of 1059 for limit 0.05661152708410432 937.70/934.89 c cleaning 484 clauses out of 1047 for limit 0.09395880326421877 938.00/935.14 c cleaning 508 clauses out of 1065 for limit 0.1526368732846677 938.30/935.44 c cleaning 508 clauses out of 1055 for limit 0.25359662689871104 938.50/935.66 c cleaning 493 clauses out of 1047 for limit 0.42141029158317644 938.80/935.90 c cleaning 496 clauses out of 1054 for limit 0.6903464492852683 939.00/936.14 c cleaning 501 clauses out of 1058 for limit 1.1341693995714162 939.20/936.38 c cleaning 466 clauses out of 1057 for limit 1.8721666000094483 939.50/936.63 c cleaning 513 clauses out of 1092 for limit 2.9914878326067242 939.70/936.89 c cleaning 474 clauses out of 1078 for limit 4.9924358542965175 940.00/937.10 c cleaning 515 clauses out of 1104 for limit 8.039296900945137 940.20/937.37 c cleaning 516 clauses out of 1089 for limit 13.440491440388238 940.50/937.60 c cleaning 515 clauses out of 1073 for limit 22.495683514942126 940.70/937.86 c cleaning 505 clauses out of 1060 for limit 37.62859136251368 940.90/938.06 c cleaning 501 clauses out of 1054 for limit 62.34542507113653 941.20/938.32 c cleaning 502 clauses out of 1055 for limit 102.92423603856427 941.40/938.50 c cleaning 505 clauses out of 1052 for limit 170.0496518637766 941.60/938.75 c cleaning 498 clauses out of 1046 for limit 281.7611931367234 941.90/939.01 c cleaning 502 clauses out of 1050 for limit 463.8189342956169 942.10/939.30 c cleaning 502 clauses out of 1045 for limit 766.2559044002021 942.40/939.59 c cleaning 499 clauses out of 1043 for limit 1266.0816169487484 942.70/939.88 c cleaning 482 clauses out of 1044 for limit 2085.938019142552 943.00/940.19 c cleaning 472 clauses out of 1062 for limit 3381.6859157794265 943.40/940.51 c cleaning 461 clauses out of 1095 for limit 5435.908178649745 943.60/940.73 c cleaning 541 clauses out of 1129 for limit 8651.185365475312 943.80/940.90 c cleaning 515 clauses out of 1088 for limit 14804.595680946055 944.10/941.20 c cleaning 525 clauses out of 1086 for limit 24779.93491296919 944.30/941.50 c cleaning 450 clauses out of 1048 for limit 41799.96690025179 944.60/941.74 c cleaning 446 clauses out of 1098 for limit 65794.67824163038 944.80/941.94 c cleaning 520 clauses out of 1152 for limit 103418.09066839017 945.00/942.17 c cleaning 542 clauses out of 1132 for limit 173563.52212934993 945.30/942.44 c cleaning 502 clauses out of 1090 for limit 297258.49223412754 945.50/942.68 c cleaning 524 clauses out of 1088 for limit 491120.15812853887 945.70/942.87 c cleaning 514 clauses out of 1065 for limit 828242.3754242574 946.00/943.11 c cleaning 522 clauses out of 1050 for limit 1384009.6890924987 946.20/943.33 c cleaning 397 clauses out of 1028 for limit 2331262.62953127 946.40/943.53 c cleaning 565 clauses out of 1131 for limit 3494440.0860683867 946.60/943.76 c cleaning 510 clauses out of 1066 for limit 6114189.37364565 946.80/943.94 c cleaning 528 clauses out of 1057 for limit 1.0179149716604829E7 947.00/944.17 c cleaning 514 clauses out of 1028 for limit 1.7243076301096782E7 947.20/944.39 c cleaning 501 clauses out of 1014 for limit 2.8828748979892075E7 947.40/944.57 c cleaning 502 clauses out of 1015 for limit 4.759075776793762E7 947.60/944.79 c cleaning 498 clauses out of 1011 for limit 7.863653524409173E7 947.90/945.00 c cleaning 498 clauses out of 1013 for limit 1.2942613055840108E8 948.10/945.23 c cleaning 501 clauses out of 1017 for limit 2.1302735264716294E8 948.30/945.46 c cleaning 507 clauses out of 1014 for limit 3.516456356696351E8 948.50/945.68 c cleaning 504 clauses out of 1008 for limit 5.839464914003072E8 948.80/945.92 c cleaning 491 clauses out of 1003 for limit 9.66838704306119E8 949.00/946.15 c cleaning 475 clauses out of 1012 for limit 1.5802665057934277E9 949.20/946.33 c cleaning 510 clauses out of 1038 for limit 2.5433369041413507E9 949.40/946.54 c cleaning 506 clauses out of 1027 for limit 4.234987941981951E9 949.60/946.75 c cleaning 497 clauses out of 1022 for limit 7.02525551753019E9 949.80/946.90 c cleaning 497 clauses out of 1025 for limit 1.1551677137582846E10 950.01/947.13 c cleaning 503 clauses out of 1030 for limit 1.8995756477863255E10 950.21/947.37 c cleaning 512 clauses out of 1024 for limit 3.1415661811434177E10 950.51/947.60 c cleaning 488 clauses out of 1012 for limit 5.242296060873609E10 950.71/947.83 c cleaning 511 clauses out of 1024 for limit 8.543936011987534E10 950.91/948.06 c cleaning 505 clauses out of 1013 for limit 1.424309547323211E11 951.21/948.30 c cleaning 488 clauses out of 1009 for limit 2.3605492361079257E11 951.41/948.56 c cleaning 509 clauses out of 1020 for limit 3.8470287598505237E11 951.71/948.82 c cleaning 495 clauses out of 1011 for limit 6.400742208426799E11 951.91/949.06 c cleaning 501 clauses out of 1016 for limit 1.0503732932700199E12 952.21/949.31 c cleaning 501 clauses out of 1015 for limit 1.7339126839999358E12 952.41/949.56 c cleaning 505 clauses out of 1014 for limit 2.862273948938787E12 952.61/949.79 c cleaning 501 clauses out of 1009 for limit 4.743663495597489E12 952.91/950.02 c cleaning 496 clauses out of 1009 for limit 7.83076646665598E12 953.11/950.24 c cleaning 494 clauses out of 1014 for limit 1.2863166241264977E13 953.31/950.44 c cleaning 498 clauses out of 1018 for limit 2.1087491613394367E13 953.51/950.66 c cleaning 510 clauses out of 1020 for limit 3.470790628365553E13 953.71/950.85 c cleaning 504 clauses out of 1010 for limit 5.780469328161289E13 953.91/951.04 c cleaning 490 clauses out of 1008 for limit 9.570813496342611E13 954.11/951.27 c cleaning 491 clauses out of 1019 for limit 1.5628798799309528E14 954.31/951.49 c cleaning 503 clauses out of 1026 for limit 2.5546963465752212E14 954.61/951.71 c cleaning 510 clauses out of 1022 for limit 4.225295889085239E14 954.81/951.93 c cleaning 490 clauses out of 1012 for limit 7.036932698455011E14 955.01/952.13 c cleaning 509 clauses out of 1022 for limit 1.1491293076919648E15 955.21/952.36 c cleaning 482 clauses out of 1013 for limit 1.9119046902150948E15 955.41/952.58 c cleaning 499 clauses out of 1031 for limit 3.097939311399434E15 955.71/952.82 c cleaning 508 clauses out of 1033 for limit 5.104129072485597E-5 955.91/953.04 c cleaning 497 clauses out of 1024 for limit 8.48288126743517E-5 956.11/953.26 c cleaning 503 clauses out of 1027 for limit 1.3948541162865747E-4 956.31/953.48 c cleaning 501 clauses out of 1024 for limit 2.3070402011990979E-4 956.61/953.70 c cleaning 506 clauses out of 1025 for limit 3.8085193298712135E-4 956.81/953.92 c cleaning 485 clauses out of 1018 for limit 6.31762184624856E-4 957.01/954.15 c cleaning 504 clauses out of 1032 for limit 0.0010266988669382787 957.31/954.40 c cleaning 498 clauses out of 1028 for limit 0.0016997519668162583 957.51/954.64 c cleaning 489 clauses out of 1030 for limit 0.002797675433715363 957.71/954.86 c cleaning 503 clauses out of 1041 for limit 0.0045649887494869194 958.01/955.10 c cleaning 500 clauses out of 1038 for limit 0.007550035167592679 958.21/955.35 c cleaning 502 clauses out of 1038 for limit 0.012451018016994986 958.41/955.58 c cleaning 499 clauses out of 1036 for limit 0.020573034134900407 958.71/955.81 c cleaning 504 clauses out of 1039 for limit 0.03389748405205238 958.91/956.05 c cleaning 494 clauses out of 1033 for limit 0.056113783805546505 959.11/956.26 c cleaning 496 clauses out of 1039 for limit 0.09200474279087832 959.41/956.51 c cleaning 514 clauses out of 1043 for limit 0.151146237841676 959.61/956.74 c cleaning 503 clauses out of 1029 for limit 0.2526516636819591 959.91/957.01 c cleaning 487 clauses out of 1026 for limit 0.4178746860918843 960.11/957.26 c cleaning 508 clauses out of 1040 for limit 0.6805350277118986 960.41/957.52 c cleaning 503 clauses out of 1031 for limit 1.1309581455410576 960.61/957.75 c cleaning 503 clauses out of 1028 for limit 1.8705441814359014 960.81/957.99 c cleaning 502 clauses out of 1027 for limit 3.0939661086412444 961.11/958.21 c cleaning 501 clauses out of 1024 for limit 5.112195036261472 961.31/958.43 c cleaning 477 clauses out of 1022 for limit 8.438744741823552 961.61/958.70 c cleaning 511 clauses out of 1046 for limit 13.610919344025682 961.81/958.94 c cleaning 497 clauses out of 1034 for limit 22.68401790679959 962.01/959.18 c cleaning 499 clauses out of 1037 for limit 37.30075744142969 962.21/959.37 c cleaning 495 clauses out of 1038 for limit 61.454677043324864 962.41/959.57 c cleaning 508 clauses out of 1043 for limit 100.86114006213553 962.71/959.81 c cleaning 500 clauses out of 1035 for limit 167.61918258949632 962.91/960.06 c cleaning 501 clauses out of 1035 for limit 276.4264557831505 963.11/960.28 c cleaning 503 clauses out of 1036 for limit 456.33639835223664 963.41/960.51 c cleaning 503 clauses out of 1031 for limit 754.6977652286434 963.61/960.70 c cleaning 486 clauses out of 1028 for limit 1248.2296706177012 963.81/960.92 c cleaning 510 clauses out of 1043 for limit 2030.924162861979 964.01/961.14 c cleaning 494 clauses out of 1032 for limit 3381.5802083852222 964.21/961.32 c cleaning 500 clauses out of 1038 for limit 5544.443009557615 964.41/961.56 c cleaning 498 clauses out of 1038 for limit 9143.528245076388 964.61/961.77 c cleaning 508 clauses out of 1041 for limit 15050.496725277613 964.81/961.96 c cleaning 498 clauses out of 1032 for limit 25011.701733145685 965.01/962.15 c cleaning 497 clauses out of 1034 for limit 41167.859490122224 965.21/962.33 c cleaning 500 clauses out of 1037 for limit 67694.90076815741 965.41/962.54 c cleaning 504 clauses out of 1040 for limit 111650.53164282195 965.61/962.76 c cleaning 498 clauses out of 1033 for limit 184818.80797268703 965.81/962.96 c cleaning 500 clauses out of 1035 for limit 304201.9709667507 966.01/963.17 c cleaning 503 clauses out of 1035 for limit 501669.74553577736 966.21/963.39 c cleaning 495 clauses out of 1032 for limit 829725.5240854594 966.51/963.62 c cleaning 502 clauses out of 1039 for limit 1361831.923116201 966.71/963.84 c cleaning 517 clauses out of 1035 for limit 2250015.8197012623 966.91/964.08 c cleaning 484 clauses out of 1018 for limit 3772541.5388145894 967.21/964.30 c cleaning 517 clauses out of 1035 for limit 6125363.374298643 967.41/964.50 c cleaning 487 clauses out of 1020 for limit 1.0270626735878197E7 967.61/964.71 c cleaning 490 clauses out of 1030 for limit 1.672292510477392E7 967.71/964.88 c cleaning 499 clauses out of 1042 for limit 2.7315343169641525E7 967.91/965.08 c cleaning 519 clauses out of 1043 for limit 4.500346556167509E7 968.21/965.30 c cleaning 481 clauses out of 1022 for limit 7.559032884324543E7 968.40/965.53 c cleaning 521 clauses out of 1042 for limit 1.22388274047575E8 968.61/965.77 c cleaning 510 clauses out of 1020 for limit 2.059817448680372E8 968.80/965.99 c cleaning 464 clauses out of 1010 for limit 3.4305473474542063E8 969.10/966.22 c cleaning 517 clauses out of 1046 for limit 5.462720670582398E8 969.30/966.42 c cleaning 466 clauses out of 1029 for limit 9.15758989850318E8 969.50/966.64 c cleaning 505 clauses out of 1063 for limit 1.4619051229501798E9 969.71/966.85 c cleaning 509 clauses out of 1058 for limit 2.4222706770716887E9 969.90/967.05 c cleaning 480 clauses out of 1049 for limit 4.028920875886325E9 970.10/967.26 c cleaning 534 clauses out of 1069 for limit 6.519922122929188E9 970.40/967.51 c cleaning 517 clauses out of 1035 for limit 1.1105436949282143E10 970.60/967.76 c cleaning 498 clauses out of 1020 for limit 1.862090306731666E10 970.81/968.00 c cleaning 494 clauses out of 1020 for limit 3.0646974205775135E10 971.10/968.22 c cleaning 513 clauses out of 1026 for limit 5.0245399172579315E10 971.30/968.40 c cleaning 506 clauses out of 1013 for limit 8.392475908528516E10 971.50/968.61 c cleaning 489 clauses out of 1007 for limit 1.392278013901167E11 971.70/968.80 c cleaning 470 clauses out of 1018 for limit 2.2712427008323007E11 971.91/969.07 c cleaning 511 clauses out of 1050 for limit 3.6387057251985474E11 972.20/969.31 c cleaning 519 clauses out of 1038 for limit 6.064014832332562E11 972.40/969.57 c cleaning 490 clauses out of 1018 for limit 1.0186645801803177E12 972.70/969.83 c cleaning 495 clauses out of 1028 for limit 1.6635725897246282E12 972.90/970.08 c cleaning 516 clauses out of 1033 for limit 2.730174689441855E12 973.11/970.28 c cleaning 467 clauses out of 1017 for limit 4.573257883968894E12 973.30/970.46 c cleaning 511 clauses out of 1051 for limit 7.305237291536636E12 973.50/970.67 c cleaning 501 clauses out of 1039 for limit 1.2174268370026682E13 973.70/970.88 c cleaning 489 clauses out of 1038 for limit 2.0096339187802168E13 974.00/971.12 c cleaning 522 clauses out of 1049 for limit 3.2794023572694312E13 974.21/971.34 c cleaning 513 clauses out of 1027 for limit 5.52402500917708E13 974.40/971.55 c cleaning 507 clauses out of 1015 for limit 9.226785750493406E13 974.60/971.74 c cleaning 493 clauses out of 1007 for limit 1.532175040057185E14 974.80/971.95 c cleaning 507 clauses out of 1014 for limit 2.5093184842667028E14 975.00/972.16 c cleaning 499 clauses out of 1007 for limit 4.1669679219199075E14 975.21/972.36 c cleaning 481 clauses out of 1008 for limit 6.865070201481236E14 975.40/972.54 c cleaning 489 clauses out of 1027 for limit 1.1111967388649118E15 975.60/972.73 c cleaning 495 clauses out of 1038 for limit 1.8130923908192895E15 975.80/972.93 c cleaning 494 clauses out of 1043 for limit 2.975698097755761E15 976.00/973.15 c cleaning 499 clauses out of 1049 for limit 4.879255660154868E15 976.20/973.37 c cleaning 519 clauses out of 1051 for limit 8.039272421191828E-5 976.41/973.57 c cleaning 509 clauses out of 1031 for limit 1.350150468710638E-4 976.60/973.80 c cleaning 506 clauses out of 1022 for limit 2.2461865790890286E-4 976.90/974.03 c cleaning 488 clauses out of 1016 for limit 3.7261377223098347E-4 977.10/974.24 c cleaning 495 clauses out of 1028 for limit 6.073169232608337E-4 1800.05/1795.91 c starts : 26 1800.05/1795.91 c conflicts : 2980771 1800.05/1795.91 c decisions : 9739776 1800.05/1795.91 c propagations : 2671256333 1800.05/1795.91 c inspects : 12336640080 1800.05/1795.91 c learnt literals : 0 1800.05/1795.91 c learnt binary clauses : 0 1800.05/1795.91 c learnt ternary clauses : 1 1800.05/1795.91 c learnt clauses : 2980771 1800.05/1795.91 c root simplifications : 0 1800.05/1795.91 c removed literals (reason simplification) : 0 1800.05/1795.91 c reason swapping (by a shorter reason) : 0 1800.05/1795.91 c Calls to reduceDB : 301 1800.05/1795.91 c speed (decisions/second) : 5425.110036461588 1800.05/1795.91 c non guided choices 0 1800.05/1795.91 s SATISFIABLE 1800.05/1795.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 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 x1461 -x1462 x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 x1503 -x1504 -x1505 x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 x1564 x1565 x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 x2133 x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 x2293 x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 x3725 -x3726 x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3824 x3825 x3826 x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 -x4520 -x4521 -x4522 -x4523 x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 -x4606 -x4607 -x4608 x4609 x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 x5134 x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 x5216 x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 x5312 x5313 x5314 x5315 -x5316 x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 x5332 -x5333 -x5334 -x5335 -x5336 x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 x5410 -x5411 x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 -x5433 -x5434 x5435 -x5436 x5437 -x5438 x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 x5452 -x5453 x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 x5473 -x5474 x5475 -x5476 x5477 -x5478 x5479 -x5480 x5481 -x5482 x5483 -x5484 x5485 -x5486 x5487 -x5488 -x5489 -x5490 x5491 -x5492 x5493 -x5494 -x5495 x5496 x5497 x5498 x5499 1800.05/1795.93 c objective function=26 1800.05/1795.93 c Total wall clock time (ms): 1795.833
OK 26
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736074-1338713637/watcher-3736074-1338713637 -o /tmp/evaluation-result-3736074-1338713637/solver-3736074-1338713637 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736074-1338713637.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.39 1.73 3/173 7888 /proc/meminfo: memFree=29718984/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/7888/stat : 7888 (java) D 7886 7888 7854 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 337489193 9515008 185 33554432000 1073741824 1073778376 140737283944896 140737283936120 214537235895 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/7888/statm: 2323 185 142 9 0 71 0 [startup+0.0360349 s] /proc/loadavg: 0.93 1.39 1.73 3/173 7888 /proc/meminfo: memFree=29718984/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=2490788 CPUtime=0.01 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 3819 0 1 0 1 0 0 0 20 0 11 0 337489193 2550566912 5028 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 622697 5028 1632 9 0 613398 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2490788 [startup+0.100203 s] /proc/loadavg: 0.93 1.39 1.73 3/173 7888 /proc/meminfo: memFree=29718984/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=2957856 CPUtime=0.09 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 4937 0 1 0 8 1 0 0 20 0 18 0 337489193 3028844544 6632 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 739464 6632 2127 9 0 729885 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2957856 [startup+0.300158 s] /proc/loadavg: 0.93 1.39 1.73 3/173 7888 /proc/meminfo: memFree=29718984/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=2957856 CPUtime=0.47 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 6258 0 1 0 45 2 0 0 20 0 18 0 337489193 3028844544 9495 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 739464 9495 2239 9 0 729885 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 2957856 [startup+0.700174 s] /proc/loadavg: 0.93 1.39 1.73 3/173 7888 /proc/meminfo: memFree=29718984/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=3024420 CPUtime=1.5 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 12016 0 1 0 146 4 0 0 20 0 19 0 337489193 3097006080 22003 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 756105 22003 2276 9 0 746526 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 3024420 [startup+1.50053 s] /proc/loadavg: 0.93 1.39 1.73 3/212 7936 /proc/meminfo: memFree=29359080/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=3024420 CPUtime=2.32 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 12018 0 1 0 228 4 0 0 20 0 19 0 337489193 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 756105 22516 2277 9 0 746526 0 [pid=7888/tid=7890] ppid=7886 vsize=3024420 CPUtime=1.46 cores=1,3,5,7 /proc/7888/task/7890/stat : 7890 (java) R 7886 7888 7854 0 -1 4202560 3080 0 1 0 144 2 0 0 20 0 19 0 337489194 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739869774168 139739731155546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7891] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7891/stat : 7891 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739853200424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7892] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7892/stat : 7892 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739852147624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7893] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7893/stat : 7893 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739851094824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7894] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7894/stat : 7894 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739850042024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7895] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7895/stat : 7895 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739730537000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7896] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7896/stat : 7896 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739729484200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7897] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7897/stat : 7897 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739728431400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7898] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7898/stat : 7898 (java) S 7886 7888 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739727378600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7899] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7899/stat : 7899 (java) S 7886 7888 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337489196 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739715181544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7900] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7900/stat : 7900 (java) S 7886 7888 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739109779192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7901] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7901/stat : 7901 (java) S 7886 7888 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739108726280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7902] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7902/stat : 7902 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739107674768 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7903] ppid=7886 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/7888/task/7903/stat : 7903 (java) R 7886 7888 7854 0 -1 4202560 3787 0 0 0 41 1 0 0 20 0 19 0 337489199 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739106621880 139739875617270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7904] ppid=7886 vsize=3024420 CPUtime=0.4 cores=1,3,5,7 /proc/7888/task/7904/stat : 7904 (java) S 7886 7888 7854 0 -1 4202560 3950 0 0 0 40 0 0 0 20 0 19 0 337489199 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739105569080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7905] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7905/stat : 7905 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739104516472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7906] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7906/stat : 7906 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739103463880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7936] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7936/stat : 7936 (java) S 7886 7888 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337489253 3097006080 22516 33554432000 1073741824 1073778376 140737069680544 139739101332904 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 3024420 [startup+3.10053 s] /proc/loadavg: 0.93 1.39 1.73 3/213 7939 /proc/meminfo: memFree=29222420/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=3024420 CPUtime=3.95 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 12023 0 1 0 391 4 0 0 20 0 19 0 337489193 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 756105 22519 2279 9 0 746526 0 [pid=7888/tid=7890] ppid=7886 vsize=3024420 CPUtime=3.07 cores=1,3,5,7 /proc/7888/task/7890/stat : 7890 (java) R 7886 7888 7854 0 -1 4202560 3082 0 1 0 304 3 0 0 20 0 19 0 337489194 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739869774200 139739731341653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7891] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7891/stat : 7891 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739853200424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7892] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7892/stat : 7892 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739852147624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7893] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7893/stat : 7893 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739851094824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7894] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7894/stat : 7894 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739850042024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7895] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7895/stat : 7895 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739730537000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7896] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7896/stat : 7896 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739729484200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7897] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7897/stat : 7897 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739728431400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7898] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7898/stat : 7898 (java) S 7886 7888 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739727378600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7899] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7899/stat : 7899 (java) S 7886 7888 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337489196 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739715181544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7900] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7900/stat : 7900 (java) S 7886 7888 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739109779192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7901] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7901/stat : 7901 (java) S 7886 7888 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739108726280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7902] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7902/stat : 7902 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739107674768 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7903] ppid=7886 vsize=3024420 CPUtime=0.45 cores=1,3,5,7 /proc/7888/task/7903/stat : 7903 (java) S 7886 7888 7854 0 -1 4202560 3789 0 0 0 44 1 0 0 20 0 19 0 337489199 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739106621880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7904] ppid=7886 vsize=3024420 CPUtime=0.4 cores=1,3,5,7 /proc/7888/task/7904/stat : 7904 (java) S 7886 7888 7854 0 -1 4202560 3950 0 0 0 40 0 0 0 20 0 19 0 337489199 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739105569080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7905] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7905/stat : 7905 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739104516472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7906] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7906/stat : 7906 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739103463880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7936] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7936/stat : 7936 (java) S 7886 7888 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337489253 3097006080 22519 33554432000 1073741824 1073778376 140737069680544 139739101332904 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 3024420 [startup+6.30056 s] /proc/loadavg: 1.01 1.40 1.74 3/213 7939 /proc/meminfo: memFree=29222388/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=3024420 CPUtime=7.22 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 12140 0 1 0 718 4 0 0 20 0 19 0 337489193 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 756105 23529 2279 9 0 746526 0 [pid=7888/tid=7890] ppid=7886 vsize=3024420 CPUtime=6.27 cores=1,3,5,7 /proc/7888/task/7890/stat : 7890 (java) R 7886 7888 7854 0 -1 4202560 3086 0 1 0 624 3 0 0 20 0 19 0 337489194 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739869774288 139739731341653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7891] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7891/stat : 7891 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739853200424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7892] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7892/stat : 7892 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739852147624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7893] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7893/stat : 7893 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739851094824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7894] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7894/stat : 7894 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739850042024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7895] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7895/stat : 7895 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739730537000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7896] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7896/stat : 7896 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739729484200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7897] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7897/stat : 7897 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739728431400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7898] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7898/stat : 7898 (java) S 7886 7888 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337489195 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739727378600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7899] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7899/stat : 7899 (java) S 7886 7888 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337489196 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739715181544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7900] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7900/stat : 7900 (java) S 7886 7888 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739109779192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7901] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7901/stat : 7901 (java) S 7886 7888 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739108726280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7902] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7902/stat : 7902 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739107674768 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7903] ppid=7886 vsize=3024420 CPUtime=0.49 cores=1,3,5,7 /proc/7888/task/7903/stat : 7903 (java) S 7886 7888 7854 0 -1 4202560 3902 0 0 0 48 1 0 0 20 0 19 0 337489199 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739106621880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7904] ppid=7886 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/7888/task/7904/stat : 7904 (java) S 7886 7888 7854 0 -1 4202560 3950 0 0 0 42 0 0 0 20 0 19 0 337489199 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739105569080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7905] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7905/stat : 7905 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739104516472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7906] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7906/stat : 7906 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739103463880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7936] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7936/stat : 7936 (java) S 7886 7888 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337489253 3097006080 23529 33554432000 1073741824 1073778376 140737069680544 139739101332904 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.22 Current children cumulated vsize (KiB) 3024420 [startup+12.7006 s] ################ # More data... # ################ [pid=7888/tid=7896] ppid=7886 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/7888/task/7896/stat : 7896 (java) S 7886 7888 7854 0 -1 4202560 240 0 0 0 23 14 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739729484200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7897] ppid=7886 vsize=3024420 CPUtime=0.39 cores=1,3,5,7 /proc/7888/task/7897/stat : 7897 (java) S 7886 7888 7854 0 -1 4202560 193 0 0 0 27 12 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739728431400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7898] ppid=7886 vsize=3024420 CPUtime=0.35 cores=1,3,5,7 /proc/7888/task/7898/stat : 7898 (java) S 7886 7888 7854 0 -1 4202560 217 0 0 0 23 12 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739727378600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7899] ppid=7886 vsize=3024420 CPUtime=2.1 cores=1,3,5,7 /proc/7888/task/7899/stat : 7899 (java) S 7886 7888 7854 0 -1 4202560 221 0 0 0 203 7 0 0 20 0 19 0 337489196 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739715181544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7900] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7900/stat : 7900 (java) S 7886 7888 7854 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739109779192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7901] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7901/stat : 7901 (java) S 7886 7888 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739108726280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7902] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7902/stat : 7902 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739107674768 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7903] ppid=7886 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/7888/task/7903/stat : 7903 (java) S 7886 7888 7854 0 -1 4202560 3911 0 0 0 54 1 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739106621880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7904] ppid=7886 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/7888/task/7904/stat : 7904 (java) S 7886 7888 7854 0 -1 4202560 3957 0 0 0 48 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739105569080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7905] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7905/stat : 7905 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739104516472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7906] ppid=7886 vsize=3024420 CPUtime=0.57 cores=1,3,5,7 /proc/7888/task/7906/stat : 7906 (java) S 7886 7888 7854 0 -1 4202560 99 0 0 0 27 30 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739103463880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7936] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7936/stat : 7936 (java) S 7886 7888 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337489253 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739101332904 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1726.44 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.92 3/213 7977 /proc/meminfo: memFree=27077068/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=3024420 CPUtime=1786.45 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 14688 0 1 0 178492 153 0 0 20 0 19 0 337489193 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 756105 421484 2307 9 0 746526 0 [pid=7888/tid=7890] ppid=7886 vsize=3024420 CPUtime=1779.37 cores=1,3,5,7 /proc/7888/task/7890/stat : 7890 (java) R 7886 7888 7854 0 -1 4202560 3269 0 1 0 177903 34 0 0 20 0 19 0 337489194 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739869773104 139739731045572 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7891] ppid=7886 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/7888/task/7891/stat : 7891 (java) S 7886 7888 7854 0 -1 4202560 175 0 0 0 36 11 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739853200424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7892] ppid=7886 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/7888/task/7892/stat : 7892 (java) S 7886 7888 7854 0 -1 4202560 224 0 0 0 29 13 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739852147624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7893] ppid=7886 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/7888/task/7893/stat : 7893 (java) S 7886 7888 7854 0 -1 4202560 219 0 0 0 28 14 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739851094824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7894] ppid=7886 vsize=3024420 CPUtime=0.66 cores=1,3,5,7 /proc/7888/task/7894/stat : 7894 (java) S 7886 7888 7854 0 -1 4202560 536 0 0 0 48 18 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739850042024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7895] ppid=7886 vsize=3024420 CPUtime=0.45 cores=1,3,5,7 /proc/7888/task/7895/stat : 7895 (java) S 7886 7888 7854 0 -1 4202560 235 0 0 0 32 13 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739730537000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7896] ppid=7886 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/7888/task/7896/stat : 7896 (java) S 7886 7888 7854 0 -1 4202560 240 0 0 0 23 14 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739729484200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7897] ppid=7886 vsize=3024420 CPUtime=0.39 cores=1,3,5,7 /proc/7888/task/7897/stat : 7897 (java) S 7886 7888 7854 0 -1 4202560 193 0 0 0 27 12 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739728431400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7898] ppid=7886 vsize=3024420 CPUtime=0.35 cores=1,3,5,7 /proc/7888/task/7898/stat : 7898 (java) S 7886 7888 7854 0 -1 4202560 217 0 0 0 23 12 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739727378600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7899] ppid=7886 vsize=3024420 CPUtime=2.1 cores=1,3,5,7 /proc/7888/task/7899/stat : 7899 (java) S 7886 7888 7854 0 -1 4202560 221 0 0 0 203 7 0 0 20 0 19 0 337489196 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739715181544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7900] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7900/stat : 7900 (java) S 7886 7888 7854 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739109779192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7901] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7901/stat : 7901 (java) S 7886 7888 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739108726280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7902] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7902/stat : 7902 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739107674768 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7903] ppid=7886 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/7888/task/7903/stat : 7903 (java) S 7886 7888 7854 0 -1 4202560 3911 0 0 0 54 1 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739106621880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7904] ppid=7886 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/7888/task/7904/stat : 7904 (java) S 7886 7888 7854 0 -1 4202560 3957 0 0 0 48 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739105569080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7905] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7905/stat : 7905 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739104516472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7906] ppid=7886 vsize=3024420 CPUtime=0.58 cores=1,3,5,7 /proc/7888/task/7906/stat : 7906 (java) S 7886 7888 7854 0 -1 4202560 103 0 0 0 28 30 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739103463880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7936] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7936/stat : 7936 (java) S 7886 7888 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337489253 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739101332904 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.92 3/213 7977 /proc/meminfo: memFree=27077196/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 14688 0 1 0 179852 153 0 0 20 0 19 0 337489193 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 756105 421484 2307 9 0 746526 0 [pid=7888/tid=7890] ppid=7886 vsize=3024420 CPUtime=1792.98 cores=1,3,5,7 /proc/7888/task/7890/stat : 7890 (java) R 7886 7888 7854 0 -1 4202560 3269 0 1 0 179264 34 0 0 20 0 19 0 337489194 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739869773104 139739731341511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7891] ppid=7886 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/7888/task/7891/stat : 7891 (java) S 7886 7888 7854 0 -1 4202560 175 0 0 0 36 11 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739853200424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7892] ppid=7886 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/7888/task/7892/stat : 7892 (java) S 7886 7888 7854 0 -1 4202560 224 0 0 0 29 13 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739852147624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7893] ppid=7886 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/7888/task/7893/stat : 7893 (java) S 7886 7888 7854 0 -1 4202560 219 0 0 0 28 14 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739851094824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7894] ppid=7886 vsize=3024420 CPUtime=0.66 cores=1,3,5,7 /proc/7888/task/7894/stat : 7894 (java) S 7886 7888 7854 0 -1 4202560 536 0 0 0 48 18 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739850042024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7895] ppid=7886 vsize=3024420 CPUtime=0.45 cores=1,3,5,7 /proc/7888/task/7895/stat : 7895 (java) S 7886 7888 7854 0 -1 4202560 235 0 0 0 32 13 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739730537000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7896] ppid=7886 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/7888/task/7896/stat : 7896 (java) S 7886 7888 7854 0 -1 4202560 240 0 0 0 23 14 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739729484200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7897] ppid=7886 vsize=3024420 CPUtime=0.39 cores=1,3,5,7 /proc/7888/task/7897/stat : 7897 (java) S 7886 7888 7854 0 -1 4202560 193 0 0 0 27 12 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739728431400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7898] ppid=7886 vsize=3024420 CPUtime=0.35 cores=1,3,5,7 /proc/7888/task/7898/stat : 7898 (java) S 7886 7888 7854 0 -1 4202560 217 0 0 0 23 12 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739727378600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7899] ppid=7886 vsize=3024420 CPUtime=2.1 cores=1,3,5,7 /proc/7888/task/7899/stat : 7899 (java) S 7886 7888 7854 0 -1 4202560 221 0 0 0 203 7 0 0 20 0 19 0 337489196 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739715181544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7900] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7900/stat : 7900 (java) S 7886 7888 7854 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739109779192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7901] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7901/stat : 7901 (java) S 7886 7888 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739108726280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7902] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7902/stat : 7902 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739107674768 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7903] ppid=7886 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/7888/task/7903/stat : 7903 (java) S 7886 7888 7854 0 -1 4202560 3911 0 0 0 54 1 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739106621880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7904] ppid=7886 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/7888/task/7904/stat : 7904 (java) S 7886 7888 7854 0 -1 4202560 3957 0 0 0 48 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739105569080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7905] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7905/stat : 7905 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739104516472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7906] ppid=7886 vsize=3024420 CPUtime=0.59 cores=1,3,5,7 /proc/7888/task/7906/stat : 7906 (java) S 7886 7888 7854 0 -1 4202560 103 0 0 0 28 31 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739103463880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7936] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7936/stat : 7936 (java) S 7886 7888 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337489253 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739101332904 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.92 3/213 7977 /proc/meminfo: memFree=27077196/32873648 swapFree=7116/7116 [pid=7888] ppid=7886 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7 /proc/7888/stat : 7888 (java) S 7886 7888 7854 0 -1 4202496 14688 0 1 0 179852 153 0 0 20 0 19 0 337489193 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 140737069671680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7888/statm: 756105 421484 2307 9 0 746526 0 [pid=7888/tid=7890] ppid=7886 vsize=3024420 CPUtime=1792.98 cores=1,3,5,7 /proc/7888/task/7890/stat : 7890 (java) R 7886 7888 7854 0 -1 4202560 3269 0 1 0 179264 34 0 0 20 0 19 0 337489194 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739869773104 139739731341511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7891] ppid=7886 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/7888/task/7891/stat : 7891 (java) S 7886 7888 7854 0 -1 4202560 175 0 0 0 36 11 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739853200424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7892] ppid=7886 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/7888/task/7892/stat : 7892 (java) S 7886 7888 7854 0 -1 4202560 224 0 0 0 29 13 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739852147624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7893] ppid=7886 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/7888/task/7893/stat : 7893 (java) S 7886 7888 7854 0 -1 4202560 219 0 0 0 28 14 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739851094824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7894] ppid=7886 vsize=3024420 CPUtime=0.66 cores=1,3,5,7 /proc/7888/task/7894/stat : 7894 (java) S 7886 7888 7854 0 -1 4202560 536 0 0 0 48 18 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739850042024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7895] ppid=7886 vsize=3024420 CPUtime=0.45 cores=1,3,5,7 /proc/7888/task/7895/stat : 7895 (java) S 7886 7888 7854 0 -1 4202560 235 0 0 0 32 13 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739730537000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7896] ppid=7886 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/7888/task/7896/stat : 7896 (java) S 7886 7888 7854 0 -1 4202560 240 0 0 0 23 14 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739729484200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7897] ppid=7886 vsize=3024420 CPUtime=0.39 cores=1,3,5,7 /proc/7888/task/7897/stat : 7897 (java) S 7886 7888 7854 0 -1 4202560 193 0 0 0 27 12 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739728431400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7898] ppid=7886 vsize=3024420 CPUtime=0.35 cores=1,3,5,7 /proc/7888/task/7898/stat : 7898 (java) S 7886 7888 7854 0 -1 4202560 217 0 0 0 23 12 0 0 20 0 19 0 337489195 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739727378600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7888/tid=7899] ppid=7886 vsize=3024420 CPUtime=2.1 cores=1,3,5,7 /proc/7888/task/7899/stat : 7899 (java) S 7886 7888 7854 0 -1 4202560 221 0 0 0 203 7 0 0 20 0 19 0 337489196 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739715181544 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7900] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7900/stat : 7900 (java) S 7886 7888 7854 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739109779192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7901] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7901/stat : 7901 (java) S 7886 7888 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337489197 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739108726280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7902] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7902/stat : 7902 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739107674768 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7903] ppid=7886 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/7888/task/7903/stat : 7903 (java) S 7886 7888 7854 0 -1 4202560 3911 0 0 0 54 1 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739106621880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7888/tid=7904] ppid=7886 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/7888/task/7904/stat : 7904 (java) S 7886 7888 7854 0 -1 4202560 3957 0 0 0 48 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739105569080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7905] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7905/stat : 7905 (java) S 7886 7888 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739104516472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7888/tid=7906] ppid=7886 vsize=3024420 CPUtime=0.59 cores=1,3,5,7 /proc/7888/task/7906/stat : 7906 (java) S 7886 7888 7854 0 -1 4202560 103 0 0 0 28 31 0 0 20 0 19 0 337489199 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739103463880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7888/tid=7936] ppid=7886 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/7888/task/7936/stat : 7936 (java) S 7886 7888 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337489253 3097006080 421484 33554432000 1073741824 1073778376 140737069680544 139739101332904 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 3024420 Child status: 143 Real time (s): 1795.94 CPU time (s): 1800.57 CPU user time (s): 1798.62 CPU system time (s): 1.9507 CPU usage (%): 100.258 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.62 system time used= 1.9507 maximum resident set size= 1686052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14721 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1080 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38190 involuntary context switches= 3499 runsolver used 6.24205 second user time and 15.0907 second system time The end
Begin job on node127 at 2012-06-03 10:53:57 IDJOB=3736074 IDBENCH=25021 IDSOLVER=2319 FILE ID=node127/3736074-1338713637 RUNJOBID= node127-1338713637-7871 PBS_JOBID= 14636737 Free space on /tmp= 70484 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736074-1338713637/watcher-3736074-1338713637 -o /tmp/evaluation-result-3736074-1338713637/solver-3736074-1338713637 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736074-1338713637.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1233138243 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29719992 kB Buffers: 396468 kB Cached: 1862400 kB SwapCached: 1428 kB Active: 1022200 kB Inactive: 1247816 kB Active(anon): 5888 kB Inactive(anon): 7952 kB Active(file): 1016312 kB Inactive(file): 1239864 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104508 kB Dirty: 4708 kB Writeback: 0 kB AnonPages: 17464 kB Mapped: 10000 kB Shmem: 92 kB Slab: 745756 kB SReclaimable: 189780 kB SUnreclaim: 555976 kB KernelStack: 1376 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 108036 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70472 MiB End job on node127 at 2012-06-03 11:23:55