Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.22 | 1787.21 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 1a5510d564851e49e3b50f1a87922ca2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4722 |
Best CPU time to get the best result obtained on this benchmark | 74.2227 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4722 |
Optimality of the best value was proved | YES |
Number of variables | 1989 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 1989 |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.19 c no version file found!!! 0.08/0.19 c sun.arch.data.model 32 0.08/0.19 c java.version 1.6.0 0.08/0.19 c os.name Linux 0.08/0.19 c os.version 2.6.9-22.EL.rootsmp 0.08/0.19 c os.arch i386 0.08/0.19 c Free memory 1651659224 0.08/0.19 c Max memory 1654456320 0.08/0.19 c Total memory 1654456320 0.08/0.19 c Number of processors 2 0.13/0.25 --- Begin Solver configuration --- 0.13/0.25 c Stops conflict analysis at the first Unique Implication Point 0.13/0.25 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.13/0.25 c Learn all clauses as in MiniSAT 0.13/0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.25 c VSIDS like heuristics from MiniSAT using a heap 0.13/0.25 c No reason simplification 0.13/0.25 c --- End Solver configuration --- 0.13/0.25 c solving /tmp/evaluation/351924-1176617526/instance-351924-1176617526.opb 0.13/0.25 c reading problem ... 1.24/0.91 c ... done. Wall clock time 0.656s. 1.24/0.91 c CPU time (experimental) 0.55s. 1.24/0.91 c #vars 1989 1.24/0.91 c #constraints 193 667.71/663.15 c cleaning 390982 clauses out of 782000 for limit 7.852365907276986E-7 672.63/668.03 c cleaning 195751 clauses out of 391518 for limit 2.586493762258954E-6 832.04/826.70 c cleaning 190109 clauses out of 380268 for limit 3.919495826656401E-6 833.44/828.19 c cleaning 95325 clauses out of 190658 for limit 1.2879124136043645E-5 834.24/828.98 c cleaning 47908 clauses out of 95833 for limit 4.225539496483013E-5 834.65/829.39 c cleaning 24178 clauses out of 48427 for limit 1.381766291961436E-4 834.94/829.67 c cleaning 12364 clauses out of 24748 for limit 4.4545457903160995E-4 835.14/829.84 c cleaning 6409 clauses out of 12884 for limit 0.0014110704781287791 835.24/829.99 c cleaning 3456 clauses out of 6975 for limit 0.0042984422569517485 835.44/830.12 c cleaning 1978 clauses out of 4019 for limit 0.012302494790069571 835.54/830.23 c cleaning 1234 clauses out of 2541 for limit 0.03208946067019617 835.64/830.32 c cleaning 860 clauses out of 1806 for limit 0.07438248994920128 835.75/830.41 c cleaning 685 clauses out of 1446 for limit 0.15320609820726838 939.10/932.80 c cleaning 116365 clauses out of 232761 for limit 0.006099099282846497 941.90/935.56 c cleaning 58441 clauses out of 116897 for limit 0.020047625939079473 942.40/936.01 c cleaning 29468 clauses out of 58955 for limit 0.06548880227102352 942.70/936.31 c cleaning 14968 clauses out of 29987 for limit 0.2123296083674265 942.90/936.51 c cleaning 7732 clauses out of 15519 for limit 0.6766058248123196 943.00/936.65 c cleaning 4115 clauses out of 8287 for limit 2.089575240031267 943.10/936.77 c cleaning 2307 clauses out of 4673 for limit 6.117161832884592 943.20/936.88 c cleaning 1396 clauses out of 2866 for limit 16.448467919234304 943.30/936.98 c cleaning 957 clauses out of 1969 for limit 39.443668238000775 943.40/937.07 c cleaning 725 clauses out of 1512 for limit 84.70852298562806 943.50/937.17 c cleaning 614 clauses out of 1289 for limit 164.1915843753279 943.60/937.28 c cleaning 555 clauses out of 1173 for limit 296.95638133745217 943.70/937.38 c cleaning 528 clauses out of 1118 for limit 513.8126092629212 943.90/937.51 c cleaning 521 clauses out of 1091 for limit 869.1849735643677 944.00/937.63 c cleaning 505 clauses out of 1069 for limit 1461.4387896953176 944.09/937.74 c cleaning 500 clauses out of 1064 for limit 2421.4337678181155 944.19/937.83 c cleaning 501 clauses out of 1065 for limit 3993.512181306082 944.29/937.91 c cleaning 494 clauses out of 1063 for limit 6591.628638977301 944.29/937.99 c cleaning 500 clauses out of 1069 for limit 10809.464468259272 944.39/938.06 c cleaning 492 clauses out of 1070 for limit 17827.42034328132 944.49/938.14 c cleaning 488 clauses out of 1078 for limit 29181.620713910397 944.60/938.22 c cleaning 517 clauses out of 1090 for limit 47594.586535940216 944.60/938.29 c cleaning 501 clauses out of 1072 for limit 79727.95894367018 944.70/938.36 c cleaning 504 clauses out of 1071 for limit 131604.83581869528 944.79/938.44 c cleaning 503 clauses out of 1067 for limit 217847.60321291286 944.89/938.51 c cleaning 497 clauses out of 1064 for limit 360272.7915080887 944.89/938.59 c cleaning 502 clauses out of 1067 for limit 592467.538448781 944.99/938.66 c cleaning 498 clauses out of 1066 for limit 978953.7484833386 945.09/938.73 c cleaning 499 clauses out of 1069 for limit 1611506.5384363155 945.09/938.80 c cleaning 532 clauses out of 1068 for limit 2654760.7489804677 945.19/938.86 c cleaning 514 clauses out of 1037 for limit 4513446.334420522 945.29/938.92 c cleaning 510 clauses out of 1022 for limit 7544970.026606871 945.29/938.98 c cleaning 505 clauses out of 1014 for limit 1.2565951240068208E7 945.39/939.04 c cleaning 502 clauses out of 1007 for limit 2.082527370833489E7 945.49/939.10 c cleaning 465 clauses out of 1005 for limit 3.441200789693575E7 945.49/939.16 c cleaning 482 clauses out of 1042 for limit 5.484452345477868E7 945.59/939.22 c cleaning 485 clauses out of 1058 for limit 8.890008617790626E7 945.59/939.28 c cleaning 535 clauses out of 1074 for limit 1.4456859725192225E8 945.70/939.36 c cleaning 517 clauses out of 1038 for limit 2.4643493276004237E8 945.80/939.44 c cleaning 503 clauses out of 1022 for limit 4.131798433634047E8 945.89/939.51 c cleaning 479 clauses out of 1019 for limit 6.833948874455074E8 945.89/939.57 c cleaning 487 clauses out of 1039 for limit 1.104210155736044E9 945.99/939.62 c cleaning 491 clauses out of 1053 for limit 1.7985781467613919E9 945.99/939.70 c cleaning 531 clauses out of 1062 for limit 2.94095956693434E9 946.09/939.78 c cleaning 514 clauses out of 1030 for limit 4.995715766577123E9 946.19/939.86 c cleaning 502 clauses out of 1016 for limit 8.35212767953133E9 946.29/939.93 c cleaning 474 clauses out of 1014 for limit 1.3800943081989658E10 946.39/940.00 c cleaning 487 clauses out of 1041 for limit 2.2191486221020565E10 946.39/940.06 c cleaning 489 clauses out of 1054 for limit 3.614534669067785E10 946.49/940.12 c cleaning 529 clauses out of 1065 for limit 5.899283735771557E10 946.49/940.17 c cleaning 514 clauses out of 1035 for limit 1.0000688911064462E11 946.59/940.26 c cleaning 509 clauses out of 1021 for limit 1.6718619459806522E11 946.69/940.33 c cleaning 469 clauses out of 1012 for limit 2.7816438841409955E11 946.80/940.40 c cleaning 486 clauses out of 1046 for limit 4.4515348694160925E11 946.80/940.49 c cleaning 526 clauses out of 1058 for limit 7.243403187763987E11 946.90/940.58 c cleaning 510 clauses out of 1031 for limit 1.2245909273633062E12 946.99/940.66 c cleaning 506 clauses out of 1021 for limit 2.0392940295685376E12 947.09/940.72 c cleaning 473 clauses out of 1016 for limit 3.383002203613346E12 947.09/940.78 c cleaning 487 clauses out of 1043 for limit 5.434599784233509E12 947.19/940.86 c cleaning 524 clauses out of 1055 for limit 8.851579845067363E12 1059.76/1052.27 c cleaning 130738 clauses out of 261532 for limit 9135.996958024476 1063.16/1055.67 c cleaning 65632 clauses out of 131295 for limit 30041.595385051653 1064.06/1056.52 c cleaning 33044 clauses out of 66162 for limit 98216.38162917033 1064.36/1056.87 c cleaning 16774 clauses out of 33617 for limit 318460.06277394225 1064.56/1057.05 c cleaning 8655 clauses out of 17344 for limit 1018955.1401139392 1064.78/1057.20 c cleaning 4568 clauses out of 9188 for limit 3168872.1524767615 1064.88/1057.34 c cleaning 2541 clauses out of 5120 for limit 9378030.278040709 1064.98/1057.41 c cleaning 1516 clauses out of 3080 for limit 2.573482822905538E7 1064.98/1057.48 c cleaning 995 clauses out of 2063 for limit 6.329860479997786E7 1065.08/1057.55 c cleaning 754 clauses out of 1569 for limit 1.3739180234335434E8 1065.18/1057.63 c cleaning 652 clauses out of 1314 for limit 2.702774260706695E8 1065.28/1057.70 c cleaning 572 clauses out of 1162 for limit 5.0402827307421726E8 1065.28/1057.78 c cleaning 517 clauses out of 1091 for limit 8.861896526174982E8 1065.38/1057.86 c cleaning 532 clauses out of 1073 for limit 1.484475651472861E9 1065.48/1057.94 c cleaning 518 clauses out of 1042 for limit 2.5234545115332417E9 1065.58/1058.01 c cleaning 491 clauses out of 1023 for limit 4.234566338760954E9 1065.58/1058.09 c cleaning 489 clauses out of 1032 for limit 6.922464931754203E9 1065.68/1058.17 c cleaning 518 clauses out of 1043 for limit 1.129567114768675E10 1065.78/1058.23 c cleaning 510 clauses out of 1025 for limit 1.8955199963017967E10 1065.88/1058.30 c cleaning 474 clauses out of 1015 for limit 3.156763747123967E10 1065.88/1058.37 c cleaning 488 clauses out of 1041 for limit 5.075902602455119E10 1065.98/1058.44 c cleaning 488 clauses out of 1054 for limit 8.27587262150734E10 1066.08/1058.51 c cleaning 528 clauses out of 1066 for limit 1.3494384819493137E11 1066.08/1058.59 c cleaning 512 clauses out of 1038 for limit 2.2854347627709216E11 1066.18/1058.66 c cleaning 483 clauses out of 1025 for limit 3.812972669103761E11 1066.29/1058.73 c cleaning 518 clauses out of 1042 for limit 6.185513025194471E11 1066.39/1058.81 c cleaning 508 clauses out of 1024 for limit 1.0380048317445531E12 1066.49/1058.90 c cleaning 474 clauses out of 1016 for limit 1.7252876390287327E12 1066.49/1058.96 c cleaning 483 clauses out of 1042 for limit 2.774235895926314E12 1066.59/1059.04 c cleaning 497 clauses out of 1059 for limit 4.501642814152722E12 1066.69/1059.11 c cleaning 495 clauses out of 1062 for limit 7.402840001405095E12 1066.69/1059.18 c cleaning 526 clauses out of 1067 for limit 1.2151065092145977E13 1066.79/1059.27 c cleaning 515 clauses out of 1042 for limit 2.0540047641823625E13 1066.89/1059.37 c cleaning 485 clauses out of 1026 for limit 3.436712321881532E13 1066.99/1059.48 c cleaning 514 clauses out of 1042 for limit 5.5861580694455836E13 1067.09/1059.58 c cleaning 511 clauses out of 1027 for limit 9.33752701283786E13 1067.19/1059.69 c cleaning 503 clauses out of 1017 for limit 1.5565811276844394E14 1067.29/1059.77 c cleaning 472 clauses out of 1014 for limit 2.574605220915836E14 1067.39/1059.85 c cleaning 480 clauses out of 1042 for limit 4.1317759998925794E14 1067.49/1059.93 c cleaning 495 clauses out of 1061 for limit 6.685139573091421E14 1067.49/1059.99 c cleaning 524 clauses out of 1067 for limit 1.0973668641610465E15 1067.59/1060.06 c cleaning 516 clauses out of 1043 for limit 1.851347057695007E15 1067.69/1060.12 c cleaning 497 clauses out of 1027 for limit 3.10068459833975E15 1067.69/1060.19 c cleaning 506 clauses out of 1030 for limit 5.098550179472853E-5 1067.79/1060.26 c cleaning 500 clauses out of 1023 for limit 8.457259648355221E-5 1067.89/1060.33 c cleaning 502 clauses out of 1023 for limit 1.3947152552092125E-4 1067.99/1060.40 c cleaning 491 clauses out of 1021 for limit 2.3045775654960353E-4 1067.99/1060.48 c cleaning 510 clauses out of 1033 for limit 3.767698764251488E-4 1068.09/1060.56 c cleaning 500 clauses out of 1023 for limit 6.274176727997076E-4 1068.19/1060.64 c cleaning 484 clauses out of 1021 for limit 0.0010346500965606128 1068.29/1060.72 c cleaning 494 clauses out of 1036 for limit 0.0016798900761409606 1068.39/1060.80 c cleaning 494 clauses out of 1042 for limit 0.0027544112783594063 1068.39/1060.88 c cleaning 503 clauses out of 1048 for limit 0.004516386611620983 1259.12/1250.20 c cleaning 137235 clauses out of 274545 for limit 1.9622978862955688E-6 1262.52/1253.61 c cleaning 68882 clauses out of 137810 for limit 6.446940011023091E-6 1263.92/1255.04 c cleaning 34683 clauses out of 69429 for limit 2.1124374127157666E-5 1264.62/1255.73 c cleaning 17589 clauses out of 35246 for limit 6.86231754689478E-5 1264.82/1255.97 c cleaning 9051 clauses out of 18156 for limit 2.1947337834839363E-4 1265.02/1256.11 c cleaning 4732 clauses out of 9605 for limit 6.841645077931302E-4 1265.12/1256.24 c cleaning 2609 clauses out of 5374 for limit 0.0020186017552186178 1265.22/1256.38 c cleaning 1557 clauses out of 3265 for limit 0.005479248659348329 1265.32/1256.49 c cleaning 1032 clauses out of 2207 for limit 0.013354364864014747 1265.52/1256.61 c cleaning 772 clauses out of 1676 for limit 0.029029660403742386 1265.62/1256.71 c cleaning 630 clauses out of 1403 for limit 0.05713203240820742 1265.72/1256.80 c cleaning 565 clauses out of 1273 for limit 0.1038400355789869 1265.82/1256.91 c cleaning 528 clauses out of 1208 for limit 0.1804605117630159 1265.92/1257.01 c cleaning 514 clauses out of 1180 for limit 0.30466530404310177 1265.92/1257.08 c cleaning 497 clauses out of 1166 for limit 0.5084664971179083 1266.02/1257.18 c cleaning 508 clauses out of 1170 for limit 0.8364990074331493 1266.12/1257.27 c cleaning 509 clauses out of 1161 for limit 1.3888023644353686 1266.22/1257.37 c cleaning 506 clauses out of 1153 for limit 2.3085206219554917 1266.32/1257.45 c cleaning 509 clauses out of 1148 for limit 3.8274680709153333 1266.42/1257.54 c cleaning 498 clauses out of 1137 for limit 6.360333135320992 1266.52/1257.62 c cleaning 501 clauses out of 1139 for limit 10.47062222923442 1266.62/1257.71 c cleaning 493 clauses out of 1139 for limit 17.284741532321576 1266.62/1257.79 c cleaning 500 clauses out of 1145 for limit 28.327125218684586 1266.71/1257.86 c cleaning 494 clauses out of 1145 for limit 46.71521902062512 1266.81/1257.95 c cleaning 505 clauses out of 1151 for limit 76.63804885265758 1266.91/1258.04 c cleaning 499 clauses out of 1146 for limit 126.93781907479443 1267.01/1258.15 c cleaning 498 clauses out of 1147 for limit 209.15493642143707 1267.11/1258.23 c cleaning 501 clauses out of 1149 for limit 344.3240796826837 1274.31/1265.37 c cleaning 11492 clauses out of 23148 for limit 1.0216187752392827E11 1274.61/1265.62 c cleaning 5993 clauses out of 12157 for limit 3.2111923574795734E11 1274.71/1265.79 c cleaning 3238 clauses out of 6663 for limit 9.652599791869259E11 1274.91/1265.93 c cleaning 1955 clauses out of 3926 for limit 2.7042959452733555E12 1275.02/1266.05 c cleaning 1229 clauses out of 2471 for limit 7.08577983151276E12 1275.12/1266.14 c cleaning 864 clauses out of 1741 for limit 1.6568492799844574E13 1275.21/1266.23 c cleaning 616 clauses out of 1378 for limit 3.4555959450281516E13 1275.21/1266.29 c cleaning 629 clauses out of 1261 for limit 6.221261577313808E13 1275.31/1266.37 c cleaning 492 clauses out of 1132 for limit 1.1428862523643373E14 1275.41/1266.45 c cleaning 494 clauses out of 1141 for limit 1.8717773596010234E14 1275.51/1266.53 c cleaning 494 clauses out of 1147 for limit 3.070664042413343E14 1275.61/1266.61 c cleaning 502 clauses out of 1152 for limit 5.0369149471356725E14 1275.61/1266.69 c cleaning 570 clauses out of 1150 for limit 8.32099274220833E14 1275.71/1266.77 c cleaning 540 clauses out of 1080 for limit 1.4611846966254265E15 1275.81/1266.83 c cleaning 513 clauses out of 1040 for limit 2.5023693861625282E-5 1275.91/1266.90 c cleaning 499 clauses out of 1028 for limit 4.1790930560133654E-5 1275.91/1266.96 c cleaning 508 clauses out of 1029 for limit 6.885185866811516E-5 1276.01/1267.03 c cleaning 502 clauses out of 1020 for limit 1.1443325379470082E-4 1276.12/1267.11 c cleaning 497 clauses out of 1018 for limit 1.8908650196125513E-4 1276.12/1267.19 c cleaning 494 clauses out of 1022 for limit 3.1091939115702316E-4 1276.22/1267.27 c cleaning 501 clauses out of 1027 for limit 5.097410814923658E-4 1276.31/1267.37 c cleaning 436 clauses out of 1026 for limit 8.414505640121884E-4 1515.34/1504.76 c cleaning 150512 clauses out of 301091 for limit 106831.86169740061 1522.83/1512.25 c cleaning 75527 clauses out of 151079 for limit 351115.7865055017 1524.83/1514.25 c cleaning 37955 clauses out of 76051 for limit 1149134.607158213 1525.33/1514.77 c cleaning 19230 clauses out of 38597 for limit 3737770.9285122748 1525.73/1515.14 c cleaning 9851 clauses out of 19866 for limit 1.1964021253636116E7 1525.93/1515.36 c cleaning 5185 clauses out of 10515 for limit 3.727642177058841E7 1526.13/1515.54 c cleaning 2835 clauses out of 5830 for limit 1.1087428348554532E8 1526.23/1515.67 c cleaning 1669 clauses out of 3495 for limit 3.0500579295273226E8 1526.33/1515.77 c cleaning 1160 clauses out of 2326 for limit 7.557905277543117E8 1526.43/1515.88 c cleaning 758 clauses out of 1666 for limit 1.7401714733223004E9 1526.53/1515.97 c cleaning 696 clauses out of 1412 for limit 3.3995879362508397E9 1526.63/1516.06 c cleaning 591 clauses out of 1213 for limit 6.506576300367728E9 1526.73/1516.15 c cleaning 546 clauses out of 1121 for limit 1.1599228140511162E10 1526.83/1516.24 c cleaning 469 clauses out of 1075 for limit 1.994720843728812E10 1526.93/1516.30 c cleaning 485 clauses out of 1106 for limit 3.1973586205342266E10 1526.93/1516.37 c cleaning 485 clauses out of 1122 for limit 5.202882510737695E10 1527.03/1516.43 c cleaning 502 clauses out of 1136 for limit 8.466032273747809E10 1527.13/1516.50 c cleaning 497 clauses out of 1135 for limit 1.3987908680220206E11 1527.13/1516.58 c cleaning 501 clauses out of 1137 for limit 2.300432848829201E11 1527.23/1516.65 c cleaning 567 clauses out of 1136 for limit 3.797061057706433E11 1527.33/1516.72 c cleaning 533 clauses out of 1069 for limit 6.654326314069764E11 1527.33/1516.79 c cleaning 518 clauses out of 1036 for limit 1.1323428202586592E12 1527.43/1516.86 c cleaning 508 clauses out of 1018 for limit 1.9004033843386821E12 1527.53/1516.93 c cleaning 438 clauses out of 1010 for limit 3.158843328327029E12 1527.63/1517.00 c cleaning 468 clauses out of 1072 for limit 4.908067894795282E12 1527.63/1517.07 c cleaning 480 clauses out of 1105 for limit 7.860197670572163E12 1527.73/1517.13 c cleaning 562 clauses out of 1124 for limit 1.2730656788700812E13 1527.73/1517.20 c cleaning 527 clauses out of 1063 for limit 2.2221545233297918E13 1527.83/1517.27 c cleaning 450 clauses out of 1035 for limit 3.760006064700754E13 1527.93/1517.33 c cleaning 477 clauses out of 1085 for limit 5.9150040188842336E13 1527.93/1517.39 c cleaning 485 clauses out of 1108 for limit 9.552145054701866E13 1528.03/1517.46 c cleaning 559 clauses out of 1123 for limit 1.5542354126984928E14 1528.13/1517.52 c cleaning 532 clauses out of 1064 for limit 2.705271238606925E14 1528.13/1517.59 c cleaning 449 clauses out of 1035 for limit 4.6001449428717544E14 1528.23/1517.66 c cleaning 468 clauses out of 1083 for limit 7.228293203103559E14 1528.33/1517.72 c cleaning 555 clauses out of 1117 for limit 1.15807304900653E15 1528.33/1517.79 c cleaning 459 clauses out of 1060 for limit 2.0084920914973772E15 1528.43/1517.85 c cleaning 549 clauses out of 1101 for limit 3.188926865715484E-5 1528.53/1517.91 c cleaning 514 clauses out of 1052 for limit 5.503918893948706E-5 1528.53/1517.98 c cleaning 513 clauses out of 1039 for limit 9.199465955072918E-5 1528.63/1518.04 c cleaning 496 clauses out of 1025 for limit 1.5362987384599493E-4 1528.73/1518.10 c cleaning 507 clauses out of 1030 for limit 2.523787083822624E-4 1528.73/1518.17 c cleaning 501 clauses out of 1022 for limit 4.1904476309574776E-4 1528.83/1518.24 c cleaning 454 clauses out of 1021 for limit 6.917377202347408E-4 1528.93/1518.31 c cleaning 469 clauses out of 1067 for limit 0.0010915877868013777 1528.93/1518.38 c cleaning 483 clauses out of 1098 for limit 0.001749349697537604 1529.03/1518.46 c cleaning 495 clauses out of 1117 for limit 0.002841519964936852 1529.13/1518.54 c cleaning 494 clauses out of 1120 for limit 0.004664152327716292 1529.23/1518.61 c cleaning 497 clauses out of 1126 for limit 0.007650824587250653 1529.23/1518.69 c cleaning 498 clauses out of 1129 for limit 0.01258370650425508 1529.33/1518.77 c cleaning 492 clauses out of 1131 for limit 0.02071551833411736 1529.43/1518.86 c cleaning 498 clauses out of 1139 for limit 0.03392271255235513 1529.53/1518.93 c cleaning 500 clauses out of 1141 for limit 0.055845031341602965 1529.63/1519.02 c cleaning 500 clauses out of 1141 for limit 0.09209592749693789 1529.63/1519.10 c cleaning 499 clauses out of 1141 for limit 0.15187850481521062 1529.73/1519.17 c cleaning 503 clauses out of 1143 for limit 0.25027998820270736 1529.83/1519.25 c cleaning 501 clauses out of 1139 for limit 0.4137804879230605 1529.93/1519.32 c cleaning 496 clauses out of 1139 for limit 0.6830624415900582 1529.93/1519.40 c cleaning 510 clauses out of 1142 for limit 1.1223786620613962 1530.03/1519.49 c cleaning 494 clauses out of 1132 for limit 1.867303733920473 1530.13/1519.58 c cleaning 500 clauses out of 1139 for limit 3.06357182807587 1530.23/1519.66 c cleaning 504 clauses out of 1139 for limit 5.052239781803992 1530.33/1519.74 c cleaning 497 clauses out of 1134 for limit 8.360187137611689 1530.43/1519.82 c cleaning 506 clauses out of 1137 for limit 13.750689510270961 1530.53/1519.91 c cleaning 506 clauses out of 1133 for limit 22.80236752164861 1530.53/1519.99 c cleaning 498 clauses out of 1126 for limit 37.80009016820443 1530.63/1520.07 c cleaning 497 clauses out of 1128 for limit 62.22687817825809 1530.73/1520.15 c cleaning 499 clauses out of 1130 for limit 102.33637875204239 1530.83/1520.23 c cleaning 502 clauses out of 1131 for limit 168.61716015213943 1530.93/1520.31 c cleaning 497 clauses out of 1130 for limit 278.59693286482894 1530.93/1520.39 c cleaning 496 clauses out of 1132 for limit 458.17324261953655 1531.03/1520.48 c cleaning 497 clauses out of 1138 for limit 753.1106654893447 1531.13/1520.56 c cleaning 498 clauses out of 1141 for limit 1238.7147321679308 1531.23/1520.63 c cleaning 501 clauses out of 1143 for limit 2039.2318414102385 1531.33/1520.71 c cleaning 503 clauses out of 1140 for limit 3365.075760630783 1531.33/1520.79 c cleaning 499 clauses out of 1137 for limit 5564.102475998353 1531.43/1520.87 c cleaning 499 clauses out of 1138 for limit 9167.886110861607 1531.53/1520.93 c cleaning 487 clauses out of 1139 for limit 15105.796668145133 1531.63/1521.01 c cleaning 498 clauses out of 1152 for limit 24630.36039653301 1531.63/1521.09 c cleaning 494 clauses out of 1154 for limit 40548.36282131565 1531.73/1521.18 c cleaning 496 clauses out of 1161 for limit 66533.0314531527 1531.83/1521.28 c cleaning 510 clauses out of 1166 for limit 109360.72477692718 1531.93/1521.37 c cleaning 501 clauses out of 1156 for limit 181910.59030442822 1532.03/1521.46 c cleaning 498 clauses out of 1154 for limit 300214.30598989414 1532.13/1521.55 c cleaning 510 clauses out of 1156 for limit 494236.98928899586 1532.23/1521.64 c cleaning 504 clauses out of 1145 for limit 822070.3186964106 1532.33/1521.74 c cleaning 506 clauses out of 1141 for limit 1360456.6170017156 1532.43/1521.82 c cleaning 563 clauses out of 1135 for limit 2255435.268224907 1532.53/1521.90 c cleaning 532 clauses out of 1074 for limit 3938645.17608285 1532.53/1521.98 c cleaning 515 clauses out of 1041 for limit 6694556.0960847465 1741.93/1729.36 c cleaning 224753 clauses out of 449526 for limit 0.19328770640757273 1755.32/1742.78 c cleaning 112617 clauses out of 225273 for limit 0.6360712890203579 1756.62/1744.03 c cleaning 56569 clauses out of 113156 for limit 2.0883016687131217 1757.22/1744.67 c cleaning 28504 clauses out of 57090 for limit 6.846525055448296 1757.52/1744.96 c cleaning 14497 clauses out of 29083 for limit 22.097512753941977 1757.72/1745.19 c cleaning 7492 clauses out of 15087 for limit 70.31858208468206 1757.92/1745.34 c cleaning 4009 clauses out of 8094 for limit 215.9390420839025 1758.02/1745.47 c cleaning 2254 clauses out of 4585 for limit 628.6528916571173 1758.12/1745.58 c cleaning 1370 clauses out of 2831 for limit 1679.0602303532619 1758.22/1745.67 c cleaning 936 clauses out of 1960 for limit 3995.502883628336 1758.32/1745.76 c cleaning 718 clauses out of 1524 for limit 8474.194735745188 1758.42/1745.86 c cleaning 608 clauses out of 1307 for limit 16311.662162347551 1758.52/1745.95 c cleaning 553 clauses out of 1198 for limit 29318.27153307786 1758.62/1746.04 c cleaning 531 clauses out of 1146 for limit 50594.22665223441 1758.72/1746.12 c cleaning 521 clauses out of 1115 for limit 85756.41143515817 1758.82/1746.20 c cleaning 492 clauses out of 1093 for limit 144126.1149208383 1758.82/1746.27 c cleaning 507 clauses out of 1102 for limit 235978.07069849092 1758.92/1746.35 c cleaning 504 clauses out of 1095 for limit 391647.184195419 1759.02/1746.42 c cleaning 499 clauses out of 1091 for limit 648246.6245604969 1759.02/1746.49 c cleaning 503 clauses out of 1094 for limit 1068249.2663138672 1759.12/1746.56 c cleaning 510 clauses out of 1089 for limit 1766236.7176512498 1759.22/1746.63 c cleaning 535 clauses out of 1081 for limit 2940194.1237489334 1759.22/1746.70 c cleaning 522 clauses out of 1044 for limit 5010580.732140537 1759.32/1746.76 c cleaning 512 clauses out of 1024 for limit 8441381.274050595 1759.43/1746.83 c cleaning 468 clauses out of 1009 for limit 1.4085577538937341E7 1759.52/1746.91 c cleaning 472 clauses out of 1041 for limit 2.2514949771208245E7 1759.52/1746.99 c cleaning 533 clauses out of 1069 for limit 3.61576247892773E7 1759.62/1747.06 c cleaning 517 clauses out of 1036 for limit 6.152813206826967E7 1759.72/1747.13 c cleaning 468 clauses out of 1020 for limit 1.03162940605341E8 1759.72/1747.19 c cleaning 481 clauses out of 1051 for limit 1.6494628703019503E8 1759.82/1747.26 c cleaning 536 clauses out of 1072 for limit 2.672239536285825E8 1759.92/1747.33 c cleaning 513 clauses out of 1034 for limit 4.559702367709421E8 1759.92/1747.39 c cleaning 506 clauses out of 1023 for limit 7.61563832660321E8 1760.02/1747.46 c cleaning 501 clauses out of 1015 for limit 1.2632891489124885E9 1760.12/1747.52 c cleaning 470 clauses out of 1014 for limit 2.085387375198064E9 1760.12/1747.57 c cleaning 479 clauses out of 1044 for limit 3.3402585425969462E9 1760.22/1747.63 c cleaning 530 clauses out of 1065 for limit 5.399914224254704E9 1760.32/1747.70 c cleaning 517 clauses out of 1036 for limit 9.163620864800798E9 1760.32/1747.76 c cleaning 490 clauses out of 1018 for limit 1.5363864385333199E10 1760.42/1747.82 c cleaning 513 clauses out of 1028 for limit 2.5090598182143974E10 1760.42/1747.88 c cleaning 464 clauses out of 1015 for limit 4.1907714330521935E10 1760.52/1747.95 c cleaning 525 clauses out of 1051 for limit 6.674414714883367E10 1760.62/1748.01 c cleaning 514 clauses out of 1028 for limit 1.1275808719474936E11 1760.62/1748.06 c cleaning 460 clauses out of 1012 for limit 1.8851554397338687E11 1760.72/1748.13 c cleaning 483 clauses out of 1052 for limit 2.9906653933882477E11 1760.82/1748.22 c cleaning 490 clauses out of 1069 for limit 4.8535750217764856E11 1760.82/1748.30 c cleaning 496 clauses out of 1080 for limit 7.930600908119226E11 1760.92/1748.37 c cleaning 499 clauses out of 1084 for limit 1.3030361237122642E12 1761.02/1748.43 c cleaning 491 clauses out of 1085 for limit 2.146900349677567E12 1761.12/1748.51 c cleaning 545 clauses out of 1093 for limit 3.511097084490895E12 1761.12/1748.57 c cleaning 524 clauses out of 1049 for limit 6.039179118822973E12 1761.22/1748.64 c cleaning 469 clauses out of 1025 for limit 1.0192610315402018E13 1761.32/1748.70 c cleaning 481 clauses out of 1056 for limit 1.6315532577593707E13 1761.32/1748.76 c cleaning 501 clauses out of 1075 for limit 2.643093920210107E13 1761.42/1748.82 c cleaning 536 clauses out of 1073 for limit 4.36257306074071E13 1761.42/1748.88 c cleaning 517 clauses out of 1037 for limit 7.444226280560786E13 1761.52/1748.95 c cleaning 508 clauses out of 1020 for limit 1.2481133757543388E14 1761.62/1749.00 c cleaning 464 clauses out of 1012 for limit 2.0745771193319084E14 1761.62/1749.06 c cleaning 481 clauses out of 1048 for limit 3.3037311680925325E14 1761.72/1749.13 c cleaning 487 clauses out of 1069 for limit 5.351964062767625E14 1761.72/1749.20 c cleaning 492 clauses out of 1081 for limit 8.719399474253544E14 1761.82/1749.26 c cleaning 493 clauses out of 1088 for limit 1.4272654368529635E15 1761.92/1749.33 c cleaning 543 clauses out of 1095 for limit 2.3387048273779625E-5 1761.92/1749.40 c cleaning 515 clauses out of 1052 for limit 4.014483511136241E-5 1762.02/1749.46 c cleaning 514 clauses out of 1037 for limit 6.716183429574077E-5 1762.12/1749.51 c cleaning 502 clauses out of 1023 for limit 1.1227461088439957E-4 1762.12/1749.58 c cleaning 504 clauses out of 1022 for limit 1.855225458336777E-4 1762.22/1749.64 c cleaning 496 clauses out of 1018 for limit 3.07153663823588E-4 1762.32/1749.70 c cleaning 501 clauses out of 1021 for limit 5.045440758522962E-4 1762.32/1749.76 c cleaning 465 clauses out of 1020 for limit 8.328764235418687E-4 1762.42/1749.82 c cleaning 477 clauses out of 1056 for limit 0.0013280279668757742 1762.42/1749.89 c cleaning 489 clauses out of 1078 for limit 0.0021432545456358913 1762.52/1749.95 c cleaning 502 clauses out of 1090 for limit 0.003499100490861522 1762.62/1750.02 c cleaning 499 clauses out of 1088 for limit 0.0057810923195628855 1762.62/1750.08 c cleaning 496 clauses out of 1089 for limit 0.009525039983315768 1800.00/1787.01 c starts : 24 1800.00/1787.01 c conflicts : 2799204 1800.00/1787.01 c decisions : 3302320 1800.00/1787.01 c propagations : 31126769 1800.00/1787.01 c inspects : 1701586530 1800.00/1787.01 c learnt literals : 0 1800.00/1787.01 c learnt binary clauses : 10 1800.00/1787.01 c learnt ternary clauses : 0 1800.00/1787.01 c learnt clauses : 2799205 1800.00/1787.01 c root simplifications : 0 1800.00/1787.01 c removed literals (reason simplification) : 0 1800.00/1787.01 c reason swapping (by a shorter reason) : 0 1800.00/1787.01 c Calls to reduceDB : 341 1800.00/1787.01 c speed (decisions/second) : 1848.9604387802751 1800.00/1787.01 c non guided choices 39 1800.00/1787.01 s UNKNOWN 1800.00/1787.01 c Total wall clock time (ms): 1786.763
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-351924-1176617526 -o ROOT/results/node54/solver-351924-1176617526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351924-1176617526/sat4jPseudoResolution.jar /tmp/evaluation/351924-1176617526/instance-351924-1176617526.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.02 1.00 2/66 21197 /proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1800 CPUtime=0 /proc/21197/stat : 21197 (java) R 21195 21197 20268 0 -1 0 136 0 0 0 0 0 0 0 18 0 1 0 109127057 1843200 108 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21197/statm: 450 115 85 9 0 92 0 [startup+0.0736721 s] /proc/loadavg: 1.02 1.02 1.00 2/66 21197 /proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1777708 CPUtime=0.06 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 3752 0 1 0 4 2 0 0 18 0 7 0 109127057 1820372992 3494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 444427 3494 1082 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.101675 s] /proc/loadavg: 1.02 1.02 1.00 2/66 21197 /proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1780108 CPUtime=0.08 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 3981 0 1 0 6 2 0 0 18 0 12 0 109127057 1822830592 3722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 445027 3722 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301698 s] /proc/loadavg: 1.02 1.02 1.00 2/66 21197 /proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1781412 CPUtime=0.25 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 4980 0 1 0 22 3 0 0 18 0 12 0 109127057 1824165888 4718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 445353 4718 1262 9 0 442965 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1781412 [startup+0.701752 s] /proc/loadavg: 1.02 1.02 1.00 2/66 21197 /proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1784548 CPUtime=0.89 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 7040 0 1 0 85 4 0 0 18 0 12 0 109127057 1827377152 6494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446137 6494 1302 9 0 443749 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 1784548 [startup+1.50285 s] /proc/loadavg: 1.17 1.05 1.01 2/79 21210 /proc/meminfo: memFree=1137024/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1785616 CPUtime=2.13 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 10539 0 1 0 208 5 0 0 18 0 13 0 109127057 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446404 8908 1314 9 0 444016 0 [pid=21197/tid=21199] ppid=21195 vsize=1785616 CPUtime=1.01 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 7115 0 1 0 97 4 0 0 19 0 13 0 109127058 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109689867 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21202] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 109127062 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109127062 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109127062 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1785616 CPUtime=0.53 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1168 0 0 0 53 0 0 0 15 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1785616 CPUtime=0.57 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1530 0 0 0 57 0 0 0 16 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.13 Current children cumulated vsize (KiB) 1785616 [startup+3.10206 s] /proc/loadavg: 1.17 1.05 1.01 2/79 21210 /proc/meminfo: memFree=1128384/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1785616 CPUtime=3.8 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 13463 0 1 0 373 7 0 0 18 0 13 0 109127057 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446404 11804 1316 9 0 444016 0 [pid=21197/tid=21199] ppid=21195 vsize=1785616 CPUtime=2.59 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 10003 0 1 0 253 6 0 0 25 0 13 0 109127058 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109699010 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21202] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 109127062 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109127062 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109127062 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1785616 CPUtime=0.56 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1172 0 0 0 56 0 0 0 16 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1785616 CPUtime=0.62 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1562 0 0 0 62 0 0 0 16 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1785616 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 1785616 [startup+6.30245 s] /proc/loadavg: 1.17 1.05 1.01 2/79 21210 /proc/meminfo: memFree=1107648/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1785296 CPUtime=7 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 18101 0 1 0 691 9 0 0 18 0 13 0 109127057 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446324 16296 1316 9 0 443936 0 [pid=21197/tid=21199] ppid=21195 vsize=1785296 CPUtime=5.79 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 14641 0 1 0 571 8 0 0 25 0 13 0 109127058 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109797279 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21202] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 109127062 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109127062 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109127062 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1785296 CPUtime=0.56 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1172 0 0 0 56 0 0 0 16 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1785296 CPUtime=0.62 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1562 0 0 0 62 0 0 0 16 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7 Current children cumulated vsize (KiB) 1785296 [startup+12.7023 s] /proc/loadavg: 1.15 1.05 1.01 2/79 21210 /proc/meminfo: memFree=1071680/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1785296 CPUtime=13.42 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 27095 0 1 0 1330 12 0 0 18 0 13 0 109127057 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446324 25290 1316 9 0 443936 0 [pid=21197/tid=21199] ppid=21195 vsize=1785296 CPUtime=12.16 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 23632 0 1 0 1205 11 0 0 25 0 13 0 109127058 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109636959 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21202] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 109127062 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109127062 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109127062 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1785296 CPUtime=0.61 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1174 0 0 0 61 0 0 0 17 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1785296 CPUtime=0.63 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1563 0 0 0 63 0 0 0 17 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.42 Current children cumulated vsize (KiB) 1785296 [startup+25.5019 s] /proc/loadavg: 1.12 1.05 1.01 2/79 21210 /proc/meminfo: memFree=1021760/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1785296 CPUtime=26.22 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 38862 0 1 0 2602 20 0 0 18 0 13 0 109127057 1828143104 37057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446324 37057 1316 9 0 443936 0 [pid=21197/tid=21199] ppid=21195 vsize=1785296 CPUtime=24.95 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 35399 0 1 0 2477 18 0 0 25 0 13 0 109127058 1828143104 37057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109691671 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828143104 37057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1785296 CPUtime=0 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828143104 37057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12476 0 2 0 481 19 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1613.79 Current children cumulated vsize (KiB) 1787864 [startup+1662.3 s] /proc/loadavg: 1.05 1.11 1.06 2/79 21210 /proc/meminfo: memFree=707840/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1787864 CPUtime=1674.54 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 617603 0 3 0 167138 316 0 0 18 0 13 0 109127057 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446966 216708 1331 9 0 444578 0 [pid=21197/tid=21199] ppid=21195 vsize=1787864 CPUtime=1643.79 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 37792 0 1 0 164357 22 0 0 25 0 13 0 109127058 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109691690 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1787864 CPUtime=12.1 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 291992 0 0 0 1072 138 0 0 16 0 13 0 109127059 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1787864 CPUtime=12.14 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 271773 0 0 0 1081 133 0 0 17 0 13 0 109127059 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12476 0 2 0 481 19 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1674.54 Current children cumulated vsize (KiB) 1787864 [startup+1722.3 s] /proc/loadavg: 1.02 1.08 1.06 2/79 21210 /proc/meminfo: memFree=655424/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1787864 CPUtime=1734.93 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 635130 0 3 0 173168 325 0 0 18 0 13 0 109127057 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446966 229826 1331 9 0 444578 0 [pid=21197/tid=21199] ppid=21195 vsize=1787864 CPUtime=1703.36 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 37794 0 1 0 170314 22 0 0 25 0 13 0 109127058 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109860469 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1787864 CPUtime=12.53 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 299640 0 0 0 1110 143 0 0 16 0 13 0 109127059 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1787864 CPUtime=12.56 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 281650 0 0 0 1117 139 0 0 17 0 13 0 109127059 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12476 0 2 0 481 19 0 0 16 0 13 0 109127062 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1734.93 Current children cumulated vsize (KiB) 1787864 [startup+1782.3 s] /proc/loadavg: 1.00 1.07 1.05 2/79 21210 /proc/meminfo: memFree=618496/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1787864 CPUtime=1795.3 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 649182 0 3 0 179198 332 0 0 18 0 13 0 109127057 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446966 239042 1331 9 0 444578 0 [pid=21197/tid=21199] ppid=21195 vsize=1787864 CPUtime=1762.76 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 37797 0 1 0 176254 22 0 0 25 0 13 0 109127058 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109752354 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1787864 CPUtime=12.91 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 306853 0 0 0 1145 146 0 0 17 0 13 0 109127059 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1787864 CPUtime=12.95 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 288416 0 0 0 1153 142 0 0 16 0 13 0 109127059 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5.19 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12546 0 2 0 500 19 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.3 Current children cumulated vsize (KiB) 1787864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787 s] /proc/loadavg: 1.00 1.06 1.05 2/79 21210 /proc/meminfo: memFree=618496/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=1787864 CPUtime=1800 /proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 649182 0 3 0 179668 332 0 0 18 0 13 0 109127057 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21197/statm: 446966 239042 1331 9 0 444578 0 [pid=21197/tid=21199] ppid=21195 vsize=1787864 CPUtime=1767.47 /proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 37797 0 1 0 176725 22 0 0 25 0 13 0 109127058 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109742685 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21200] ppid=21195 vsize=1787864 CPUtime=12.91 /proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 306853 0 0 0 1145 146 0 0 17 0 13 0 109127059 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21201] ppid=21195 vsize=1787864 CPUtime=12.95 /proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 288416 0 0 0 1153 142 0 0 16 0 13 0 109127059 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5.19 /proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12546 0 2 0 500 19 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71 /proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72 /proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0 /proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1787864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.2 s] /proc/loadavg: 1.00 1.06 1.05 2/79 21210 /proc/meminfo: memFree=618496/2055920 swapFree=4191892/4192956 [pid=21197] ppid=21195 vsize=0 CPUtime=1800.2 /proc/21197/stat : 21197 (java) Z 21195 21197 20268 0 -1 1036 649203 0 3 0 179674 346 0 0 15 0 2 0 109127057 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21197/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.21 CPU time (s): 1800.22 CPU user time (s): 1796.75 CPU system time (s): 3.46947 CPU usage (%): 100.728 Max. virtual memory (cumulated for all children) (KiB): 1791868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.75 system time used= 3.46947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 649203 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37582 involuntary context switches= 22436 runsolver used 2.17467 second user time and 4.48932 second system time The end
Begin job on node54 on Sun Apr 15 06:12:06 UTC 2007 IDJOB= 351924 IDBENCH= 1852 IDSOLVER= 159 FILE ID= node54/351924-1176617526 PBS_JOBID= 4557043 Free space on /tmp= 66561 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351924-1176617526/sat4jPseudoResolution.jar /tmp/evaluation/351924-1176617526/instance-351924-1176617526.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-351924-1176617526 -o ROOT/results/node54/solver-351924-1176617526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351924-1176617526/sat4jPseudoResolution.jar /tmp/evaluation/351924-1176617526/instance-351924-1176617526.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2 RANDOM SEED= 399698461 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1164928 kB Buffers: 105796 kB Cached: 615492 kB SwapCached: 396 kB Active: 366192 kB Inactive: 397988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1164928 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 3676 kB Writeback: 0 kB Mapped: 48308 kB Slab: 112664 kB Committed_AS: 1312900 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node54 on Sun Apr 15 06:41:55 UTC 2007