Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.14 | 1793.13 |
Name | normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc950.opb |
MD5SUM | 7e2bd053dd82d4aa23f42a2d48accca0 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.18036 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 112784 |
Total number of constraints | 360419 |
Number of constraints which are clauses | 360419 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5 |
Number of bits of the biggest sum of numbers | 3 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.11/0.23 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.11/0.23 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.11/0.23 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.11/0.24 c no version file found!!! 0.11/0.24 c sun.arch.data.model 32 0.11/0.24 c java.version 1.6.0 0.11/0.24 c os.name Linux 0.11/0.24 c os.version 2.6.9-22.EL.rootsmp 0.11/0.24 c os.arch i386 0.11/0.24 c Free memory 1651659224 0.11/0.24 c Max memory 1654456320 0.11/0.24 c Total memory 1654456320 0.11/0.24 c Number of processors 2 0.11/0.30 --- Begin Solver configuration --- 0.11/0.30 c Stops conflict analysis at the first Unique Implication Point 0.11/0.30 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.11/0.30 c Learn all clauses as in MiniSAT 0.11/0.30 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.30 c VSIDS like heuristics from MiniSAT using a heap 0.11/0.30 c No reason simplification 0.11/0.30 c --- End Solver configuration --- 0.11/0.30 c solving /tmp/evaluation/419526-1177408924/instance-419526-1177408924.opb 0.11/0.30 c reading problem ... 9.26/7.70 c ... done. Wall clock time 7.409s. 9.26/7.71 c CPU time (experimental) 6.29s. 9.26/7.71 c #vars 112784 9.26/7.71 c #constraints 357258 1419.81/1413.22 c cleaning 318910 clauses out of 638454 for limit 4.289198497579188E11 1422.13/1415.57 c cleaning 159701 clauses out of 320040 for limit 1.4054627367893066E12 1423.55/1416.96 c cleaning 79975 clauses out of 160841 for limit 4.621167850587184E12 1424.25/1417.64 c cleaning 40076 clauses out of 81364 for limit 1.5034987806239324E13 1424.95/1418.30 c cleaning 20284 clauses out of 41789 for limit 4.832410189704273E13 1425.25/1418.67 c cleaning 10328 clauses out of 22004 for limit 1.5119781290485403E14 1425.55/1418.93 c cleaning 5969 clauses out of 12176 for limit 4.506074761528877E-6 1425.73/1419.16 c cleaning 3313 clauses out of 6707 for limit 1.3490579731680272E-5 1425.93/1419.37 c cleaning 1384 clauses out of 3894 for limit 3.831941401786515E-5 1426.13/1419.53 c cleaning 1262 clauses out of 3010 for limit 8.175309400011668E-5 1426.23/1419.69 c cleaning 1002 clauses out of 2250 for limit 1.8072285792887561E-4 1426.43/1419.84 c cleaning 281 clauses out of 1746 for limit 3.832994782132592E-4 1426.53/1419.98 c cleaning 230 clauses out of 1965 for limit 5.616629798167914E-4 1426.73/1420.15 c cleaning 349 clauses out of 2235 for limit 8.143605255420437E-4 1426.92/1420.30 c cleaning 417 clauses out of 2386 for limit 0.0012579972423929708 1427.02/1420.48 c cleaning 471 clauses out of 2469 for limit 0.0020048640366687044 1427.22/1420.64 c cleaning 464 clauses out of 2498 for limit 0.0032679053430240404 1427.42/1420.84 c cleaning 648 clauses out of 2534 for limit 0.005312649677126622 1427.52/1420.99 c cleaning 544 clauses out of 2387 for limit 0.009310130515479815 1427.73/1421.15 c cleaning 488 clauses out of 2342 for limit 0.015633012413911497 1427.83/1421.29 c cleaning 492 clauses out of 2354 for limit 0.025649505221174117 1428.02/1421.44 c cleaning 454 clauses out of 2362 for limit 0.04215619883307601 1428.12/1421.58 c cleaning 555 clauses out of 2408 for limit 0.06819314842206031 1428.32/1421.73 c cleaning 525 clauses out of 2355 for limit 0.11522088949215033 1428.42/1421.86 c cleaning 472 clauses out of 2328 for limit 0.19183419436962973 1428.62/1422.01 c cleaning 499 clauses out of 2357 for limit 0.3127806045969906 1428.72/1422.19 c cleaning 502 clauses out of 2357 for limit 0.5153012429610973 1428.93/1422.39 c cleaning 509 clauses out of 2356 for limit 0.85101239419001 1429.12/1422.58 c cleaning 509 clauses out of 2347 for limit 1.4088150055794626 1429.32/1422.73 c cleaning 504 clauses out of 2338 for limit 2.332267919246823 1429.52/1422.90 c cleaning 491 clauses out of 2333 for limit 3.850610420621647 1429.62/1423.07 c cleaning 532 clauses out of 2342 for limit 6.32576882887126 1429.82/1423.24 c cleaning 505 clauses out of 2310 for limit 10.576552140018682 1429.93/1423.39 c cleaning 504 clauses out of 2305 for limit 17.47998484976519 1430.12/1423.54 c cleaning 503 clauses out of 2301 for limit 28.876945283432693 1430.32/1423.70 c cleaning 436 clauses out of 2298 for limit 47.68411550312341 1430.52/1423.95 c cleaning 539 clauses out of 2363 for limit 76.5509232259679 1430.72/1424.19 c cleaning 518 clauses out of 2323 for limit 128.28808426937007 1430.92/1424.35 c cleaning 489 clauses out of 2305 for limit 213.2163413777896 1431.12/1424.58 c cleaning 504 clauses out of 2317 for limit 350.15133109427956 1431.32/1424.77 c cleaning 512 clauses out of 2312 for limit 578.1164949322522 1431.62/1425.01 c cleaning 511 clauses out of 2302 for limit 959.450960451768 1431.82/1425.28 c cleaning 503 clauses out of 2289 for limit 1588.0682827782296 1432.02/1425.43 c cleaning 506 clauses out of 2286 for limit 2622.373971532904 1432.22/1425.60 c cleaning 461 clauses out of 2281 for limit 4338.46367157095 1432.32/1425.78 c cleaning 480 clauses out of 2320 for limit 7034.433892170457 1432.62/1426.02 c cleaning 488 clauses out of 2340 for limit 11501.571063236042 1432.72/1426.17 c cleaning 505 clauses out of 2351 for limit 18860.003570148685 1432.92/1426.34 c cleaning 481 clauses out of 2346 for limit 31168.957656530492 1433.12/1426.52 c cleaning 484 clauses out of 2365 for limit 50988.8278876425 1433.32/1426.72 c cleaning 519 clauses out of 2382 for limit 83570.84922787767 1433.52/1426.93 c cleaning 681 clauses out of 2366 for limit 139168.59878424017 1433.72/1427.12 c cleaning 440 clauses out of 2181 for limit 247980.86422382764 1433.82/1427.26 c cleaning 1089 clauses out of 2241 for limit 398004.39263412385 1434.02/1427.43 c cleaning 728 clauses out of 1653 for limit 890732.4351283606 1434.22/1427.69 c cleaning 624 clauses out of 1424 for limit 1703458.2993487802 1434.42/1427.89 c cleaning 581 clauses out of 1300 for limit 3077188.0024349126 1434.62/1428.08 c cleaning 539 clauses out of 1219 for limit 5411897.520360665 1434.82/1428.29 c cleaning 578 clauses out of 1180 for limit 9219919.93149189 1435.02/1428.47 c cleaning 464 clauses out of 1102 for limit 1.6281088961256966E7 1435.22/1428.62 c cleaning 523 clauses out of 1138 for limit 2.600031854475778E7 1435.32/1428.79 c cleaning 452 clauses out of 1115 for limit 4.3762482537495404E7 1435.62/1429.00 c cleaning 537 clauses out of 1163 for limit 6.91915389347563E7 1435.72/1429.19 c cleaning 557 clauses out of 1126 for limit 1.1785559407721001E8 1436.02/1429.42 c cleaning 471 clauses out of 1070 for limit 2.047364709080791E8 1436.22/1429.64 c cleaning 485 clauses out of 1098 for limit 3.2869872976548594E8 1436.42/1429.83 c cleaning 414 clauses out of 1114 for limit 5.348174560090562E8 1436.62/1430.07 c cleaning 550 clauses out of 1200 for limit 8.187765684631779E8 1436.72/1430.17 c cleaning 502 clauses out of 1149 for limit 1.4087956378800068E9 1436.82/1430.29 c cleaning 479 clauses out of 1147 for limit 2.32734354884615E9 1437.02/1430.40 c cleaning 473 clauses out of 1169 for limit 3.7696393439599776E9 1437.02/1430.49 c cleaning 587 clauses out of 1195 for limit 6.075300759369801E9 1437.22/1430.65 c cleaning 476 clauses out of 1108 for limit 1.0805672844059643E10 1437.32/1430.78 c cleaning 551 clauses out of 1132 for limit 1.7442190887995735E10 1437.42/1430.90 c cleaning 516 clauses out of 1081 for limit 3.012157350648032E10 1437.62/1431.07 c cleaning 417 clauses out of 1065 for limit 5.042078793693655E10 1437.72/1431.19 c cleaning 523 clauses out of 1149 for limit 7.714887652802043E10 1437.92/1431.31 c cleaning 508 clauses out of 1126 for limit 1.2982763063640204E11 1438.02/1431.44 c cleaning 556 clauses out of 1117 for limit 2.1561239509692804E11 1438.14/1431.54 c cleaning 526 clauses out of 1061 for limit 3.743410034016351E11 1438.24/1431.64 c cleaning 511 clauses out of 1036 for limit 6.328684234707805E11 1438.34/1431.75 c cleaning 442 clauses out of 1025 for limit 1.054885212592842E12 1438.44/1431.85 c cleaning 524 clauses out of 1083 for limit 1.6464801537158013E12 1438.54/1431.96 c cleaning 458 clauses out of 1059 for limit 2.776801809830742E12 1438.64/1432.07 c cleaning 478 clauses out of 1101 for limit 4.40462979123654E12 1438.74/1432.19 c cleaning 501 clauses out of 1123 for limit 7.121522677653824E12 1438.93/1432.31 c cleaning 542 clauses out of 1122 for limit 1.175481092511844E13 1439.03/1432.45 c cleaning 533 clauses out of 1079 for limit 2.0137633633045652E13 1439.13/1432.56 c cleaning 463 clauses out of 1046 for limit 3.4257375066465785E13 1439.23/1432.67 c cleaning 486 clauses out of 1083 for limit 5.456487912700195E13 1439.33/1432.77 c cleaning 487 clauses out of 1097 for limit 8.883639235572338E13 1439.94/1433.32 c cleaning 549 clauses out of 1111 for limit 1.448017734746886E14 1440.43/1433.81 c cleaning 456 clauses out of 1062 for limit 2.4981545924344253E14 1441.13/1434.59 c cleaning 469 clauses out of 1105 for limit 3.955513983114336E14 1441.93/1435.38 c cleaning 555 clauses out of 1137 for limit 6.345927939963562E14 1442.63/1436.00 c cleaning 533 clauses out of 1081 for limit 1.0996419067447391E15 1443.43/1436.86 c cleaning 517 clauses out of 1049 for limit 1.870647193648313E-5 1444.33/1437.79 c cleaning 495 clauses out of 1031 for limit 3.135668078864941E-5 1444.83/1438.26 c cleaning 515 clauses out of 1036 for limit 5.1461789234457804E-5 1445.73/1439.16 c cleaning 499 clauses out of 1021 for limit 8.611420213358619E-5 1446.54/1439.90 c cleaning 502 clauses out of 1024 for limit 1.418814042268681E-4 1447.23/1440.66 c cleaning 495 clauses out of 1021 for limit 2.3443425381162647E-4 1447.73/1441.17 c cleaning 484 clauses out of 1026 for limit 3.8472936546503074E-4 1448.33/1441.76 c cleaning 471 clauses out of 1041 for limit 6.247026420712744E-4 1448.83/1442.28 c cleaning 450 clauses out of 1070 for limit 0.0010022964255587202 1449.83/1443.21 c cleaning 479 clauses out of 1121 for limit 0.0015793004002242197 1450.33/1443.74 c cleaning 493 clauses out of 1141 for limit 0.00255626626590997 1451.23/1444.65 c cleaning 492 clauses out of 1150 for limit 0.004191011026542706 1452.03/1445.40 c cleaning 499 clauses out of 1156 for limit 0.006861920358429639 1452.33/1445.74 c cleaning 498 clauses out of 1157 for limit 0.011306443981449265 1453.13/1446.56 c cleaning 497 clauses out of 1159 for limit 0.01861366293900765 1453.83/1447.21 c cleaning 499 clauses out of 1162 for limit 0.03061716962294034 1454.53/1447.96 c cleaning 502 clauses out of 1163 for limit 0.05044839345923169 1455.33/1448.74 c cleaning 498 clauses out of 1161 for limit 0.08333946776691145 1456.13/1449.59 c cleaning 493 clauses out of 1163 for limit 0.1372015806034579 1456.93/1450.37 c cleaning 499 clauses out of 1170 for limit 0.2249100461052916 1457.63/1451.04 c cleaning 501 clauses out of 1171 for limit 0.3705900103567039 1458.23/1451.67 c cleaning 501 clauses out of 1171 for limit 0.6117642679908194 1459.13/1452.58 c cleaning 495 clauses out of 1170 for limit 1.0097434098305347 1459.93/1453.40 c cleaning 507 clauses out of 1175 for limit 1.658115998063533 1460.63/1454.01 c cleaning 502 clauses out of 1167 for limit 2.7504470927882276 1461.23/1454.66 c cleaning 498 clauses out of 1166 for limit 4.544289592632587 1461.93/1455.35 c cleaning 498 clauses out of 1168 for limit 7.4813090284256285 1462.73/1456.14 c cleaning 500 clauses out of 1169 for limit 12.31479824841956 1463.42/1456.83 c cleaning 498 clauses out of 1169 for limit 20.308749755879557 1464.03/1457.48 c cleaning 493 clauses out of 1171 for limit 33.43464307664616 1464.82/1458.24 c cleaning 511 clauses out of 1179 for limit 54.81888275887815 1465.52/1458.93 c cleaning 489 clauses out of 1167 for limit 91.24193866860169 1466.12/1459.58 c cleaning 503 clauses out of 1178 for limit 149.06509355898496 1466.82/1460.25 c cleaning 502 clauses out of 1176 for limit 246.49284900678842 1467.52/1460.95 c cleaning 500 clauses out of 1173 for limit 407.13178504481004 1467.72/1461.10 c cleaning 520 clauses out of 1174 for limit 671.5143894848284 1467.92/1461.35 c cleaning 508 clauses out of 1154 for limit 1126.6097318976856 1468.72/1462.12 c cleaning 502 clauses out of 1146 for limit 1870.9000071229918 1469.22/1462.69 c cleaning 485 clauses out of 1144 for limit 3090.758389970774 1470.02/1463.41 c cleaning 498 clauses out of 1158 for limit 5030.415950898409 1470.72/1464.10 c cleaning 498 clauses out of 1161 for limit 8282.67528503842 1470.92/1464.34 c cleaning 494 clauses out of 1163 for limit 13635.74991756375 1471.62/1465.01 c cleaning 506 clauses out of 1169 for limit 22371.758274504224 1472.42/1465.83 c cleaning 501 clauses out of 1163 for limit 37084.36112866675 1473.30/1466.69 c cleaning 491 clauses out of 1162 for limit 61209.70342963907 1474.30/1467.69 c cleaning 492 clauses out of 1170 for limit 100152.52818730877 1474.80/1468.19 c cleaning 499 clauses out of 1179 for limit 164068.18443657988 1475.70/1469.02 c cleaning 510 clauses out of 1180 for limit 270341.0878486989 1476.60/1469.91 c cleaning 498 clauses out of 1170 for limit 449639.12046711677 1477.20/1470.56 c cleaning 505 clauses out of 1173 for limit 740358.9623006793 1477.80/1471.12 c cleaning 505 clauses out of 1166 for limit 1225825.5331762054 1478.30/1471.60 c cleaning 499 clauses out of 1162 for limit 2030539.6969439113 1478.80/1472.14 c cleaning 580 clauses out of 1163 for limit 3345752.296099341 1479.50/1472.89 c cleaning 540 clauses out of 1083 for limit 5925171.562374636 1479.90/1473.27 c cleaning 435 clauses out of 1042 for limit 1.0145723974503795E7 1480.60/1473.93 c cleaning 467 clauses out of 1107 for limit 1.5749219205981847E7 1481.30/1474.62 c cleaning 484 clauses out of 1140 for limit 2.5220731829308573E7 1481.90/1475.24 c cleaning 494 clauses out of 1156 for limit 4.101668794244394E7 1482.49/1475.88 c cleaning 502 clauses out of 1162 for limit 6.72927352791208E7 1483.09/1476.45 c cleaning 493 clauses out of 1161 for limit 1.1118148968919468E8 1483.59/1476.99 c cleaning 566 clauses out of 1168 for limit 1.8225428703402084E8 1484.19/1477.56 c cleaning 550 clauses out of 1102 for limit 3.1856267387126565E8 1485.00/1478.33 c cleaning 484 clauses out of 1052 for limit 5.503216894238569E8 1485.49/1478.86 c cleaning 439 clauses out of 1069 for limit 8.940155301049432E8 1486.10/1479.50 c cleaning 455 clauses out of 1130 for limit 1.3947623378589568E9 1486.89/1480.26 c cleaning 559 clauses out of 1174 for limit 2.2117291079705853E9 1487.59/1480.93 c cleaning 472 clauses out of 1115 for limit 3.8404405811600437E9 1487.89/1481.22 c cleaning 485 clauses out of 1142 for limit 6.17747773602787E9 1488.59/1481.92 c cleaning 569 clauses out of 1157 for limit 1.0055410869984222E10 1489.40/1482.72 c cleaning 531 clauses out of 1088 for limit 1.7634379038978115E10 1490.09/1483.46 c cleaning 437 clauses out of 1058 for limit 2.993600191011726E10 1490.69/1484.04 c cleaning 466 clauses out of 1121 for limit 4.659397260269943E10 1491.49/1484.82 c cleaning 516 clauses out of 1156 for limit 7.458782054743318E10 1491.79/1485.13 c cleaning 484 clauses out of 1138 for limit 1.2470111961477988E11 1492.49/1485.82 c cleaning 469 clauses out of 1155 for limit 2.028247873760055E11 1493.09/1486.45 c cleaning 493 clauses out of 1186 for limit 3.257423398029414E11 1493.69/1487.09 c cleaning 500 clauses out of 1193 for limit 5.3404068457976184E11 1494.49/1487.83 c cleaning 497 clauses out of 1194 for limit 8.80847770842101E11 1495.19/1488.57 c cleaning 584 clauses out of 1196 for limit 1.4487564482942944E12 1495.79/1489.17 c cleaning 550 clauses out of 1111 for limit 2.5694127681826147E12 1496.49/1489.86 c cleaning 523 clauses out of 1061 for limit 4.436989898507928E12 1497.09/1490.41 c cleaning 515 clauses out of 1039 for limit 7.479605204042416E12 1497.39/1490.76 c cleaning 395 clauses out of 1024 for limit 1.2515556151337316E13 1497.89/1491.25 c cleaning 450 clauses out of 1129 for limit 1.8720267695461098E13 1498.49/1491.89 c cleaning 468 clauses out of 1178 for limit 2.9558478918036656E13 1499.19/1492.51 c cleaning 507 clauses out of 1211 for limit 4.746501555736099E13 1499.69/1493.03 c cleaning 487 clauses out of 1203 for limit 7.871790343023906E13 1499.99/1493.32 c cleaning 500 clauses out of 1217 for limit 1.284514368101609E14 1500.19/1493.53 c cleaning 528 clauses out of 1216 for limit 2.1179580068305822E14 1500.39/1493.79 c cleaning 599 clauses out of 1198 for limit 3.580924023235412E14 1501.19/1494.57 c cleaning 536 clauses out of 1089 for limit 6.43183380878292E14 1502.09/1495.42 c cleaning 520 clauses out of 1054 for limit 1.0970147876882208E-5 1502.89/1496.26 c cleaning 499 clauses out of 1034 for limit 1.844116870908875E-5 1503.59/1496.99 c cleaning 501 clauses out of 1035 for limit 3.0382570686056457E-5 1504.29/1497.63 c cleaning 504 clauses out of 1034 for limit 5.0153380941787194E-5 1505.09/1498.45 c cleaning 497 clauses out of 1031 for limit 8.303333609820375E-5 1505.39/1498.77 c cleaning 489 clauses out of 1033 for limit 1.365312939770207E-4 1505.69/1499.04 c cleaning 482 clauses out of 1043 for limit 2.2277661185696225E-4 1506.19/1499.59 c cleaning 472 clauses out of 1061 for limit 3.611556439203218E-4 1507.09/1500.43 c cleaning 451 clauses out of 1089 for limit 5.802802604365207E-4 1507.79/1501.12 c cleaning 479 clauses out of 1139 for limit 9.158668749548938E-4 1508.49/1501.85 c cleaning 484 clauses out of 1159 for limit 0.0014828390521024663 1509.19/1502.51 c cleaning 497 clauses out of 1176 for limit 0.0024124622602372816 1509.88/1503.29 c cleaning 494 clauses out of 1178 for limit 0.003967746659090131 1510.68/1504.03 c cleaning 498 clauses out of 1185 for limit 0.006511203568958693 1511.58/1504.90 c cleaning 501 clauses out of 1187 for limit 0.01071975332776283 1512.28/1505.63 c cleaning 491 clauses out of 1186 for limit 0.01769321312445537 1512.98/1506.39 c cleaning 490 clauses out of 1194 for limit 0.028953991750523954 1513.78/1507.18 c cleaning 499 clauses out of 1204 for limit 0.047352419365485954 1514.48/1507.84 c cleaning 523 clauses out of 1205 for limit 0.07802566885421441 1515.18/1508.59 c cleaning 506 clauses out of 1183 for limit 0.13119890225266684 1515.98/1509.33 c cleaning 507 clauses out of 1176 for limit 0.21743477303866243 1516.89/1510.22 c cleaning 501 clauses out of 1170 for limit 0.3607786741319808 1517.28/1510.62 c cleaning 503 clauses out of 1170 for limit 0.5955678656167982 1517.78/1511.15 c cleaning 491 clauses out of 1166 for limit 0.9845549126631106 1517.98/1511.36 c cleaning 505 clauses out of 1174 for limit 1.6109860222790688 1518.48/1511.85 c cleaning 502 clauses out of 1169 for limit 2.6680947300527436 1519.18/1512.56 c cleaning 498 clauses out of 1168 for limit 4.408220523643788 1519.68/1513.06 c cleaning 488 clauses out of 1170 for limit 7.257318449526418 1519.88/1513.20 c cleaning 490 clauses out of 1182 for limit 11.846783517982447 1520.08/1513.41 c cleaning 512 clauses out of 1191 for limit 19.369907320678198 1520.48/1513.87 c cleaning 510 clauses out of 1180 for limit 32.27362108047328 1520.98/1514.35 c cleaning 501 clauses out of 1170 for limit 53.67842051828464 1521.48/1514.82 c cleaning 498 clauses out of 1168 for limit 88.58580223063194 1521.78/1515.15 c cleaning 505 clauses out of 1172 for limit 145.88285837681437 1522.28/1515.60 c cleaning 491 clauses out of 1167 for limit 241.61111345892496 1522.58/1515.96 c cleaning 495 clauses out of 1175 for limit 395.3404674627618 1522.88/1516.22 c cleaning 506 clauses out of 1181 for limit 649.3063336778497 1523.08/1516.40 c cleaning 506 clauses out of 1174 for limit 1076.1004553548405 1523.58/1516.92 c cleaning 503 clauses out of 1167 for limit 1783.4930909482703 1524.18/1517.54 c cleaning 501 clauses out of 1164 for limit 2948.7991589737517 1525.18/1518.57 c cleaning 504 clauses out of 1164 for limit 4867.83212857018 1525.88/1519.25 c cleaning 493 clauses out of 1159 for limit 8054.276086426416 1526.78/1520.17 c cleaning 500 clauses out of 1167 for limit 13204.728952838035 1527.78/1521.13 c cleaning 506 clauses out of 1166 for limit 21773.245626990723 1528.58/1521.90 c cleaning 502 clauses out of 1162 for limit 36102.76835849338 1529.38/1522.76 c cleaning 500 clauses out of 1158 for limit 59624.52565069902 1530.38/1523.71 c cleaning 491 clauses out of 1159 for limit 98342.32218567646 1531.28/1524.61 c cleaning 506 clauses out of 1168 for limit 160929.97336039 1531.98/1525.31 c cleaning 486 clauses out of 1162 for limit 266765.4252330548 1532.88/1526.22 c cleaning 498 clauses out of 1175 for limit 434629.47754151834 1533.67/1527.05 c cleaning 502 clauses out of 1178 for limit 715652.4340849792 1534.67/1528.01 c cleaning 500 clauses out of 1175 for limit 1182036.675632515 1535.58/1528.95 c cleaning 502 clauses out of 1176 for limit 1949628.6376364664 1536.37/1529.78 c cleaning 587 clauses out of 1174 for limit 3220675.779877179 1536.97/1530.36 c cleaning 517 clauses out of 1088 for limit 5736891.121617784 1537.57/1530.91 c cleaning 450 clauses out of 1071 for limit 9611073.9577005 1538.27/1531.61 c cleaning 552 clauses out of 1121 for limit 1.5142991006790675E7 1538.88/1532.26 c cleaning 444 clauses out of 1067 for limit 2.618422481115779E7 1539.27/1532.65 c cleaning 467 clauses out of 1123 for limit 4.102799285677019E7 1539.77/1533.18 c cleaning 494 clauses out of 1158 for limit 6.574706625742266E7 1540.27/1533.64 c cleaning 497 clauses out of 1162 for limit 1.0783647262047288E8 1541.08/1534.45 c cleaning 579 clauses out of 1165 for limit 1.7737882069382474E8 1541.77/1535.12 c cleaning 543 clauses out of 1088 for limit 3.1385113511350393E8 1542.57/1535.91 c cleaning 479 clauses out of 1044 for limit 5.388569339042249E8 1543.07/1536.47 c cleaning 446 clauses out of 1065 for limit 8.711245507257775E8 1543.67/1537.00 c cleaning 476 clauses out of 1118 for limit 1.367128802321176E9 1544.17/1537.54 c cleaning 488 clauses out of 1143 for limit 2.207473023350429E9 1544.77/1538.10 c cleaning 575 clauses out of 1154 for limit 3.6021119137163634E9 1545.27/1538.63 c cleaning 535 clauses out of 1079 for limit 6.35327205698215E9 1545.87/1539.26 c cleaning 489 clauses out of 1045 for limit 1.0829116001882837E10 1546.57/1539.97 c cleaning 440 clauses out of 1057 for limit 1.7673587233818523E10 1547.07/1540.46 c cleaning 556 clauses out of 1115 for limit 2.7574756826936375E10 1547.77/1541.10 c cleaning 451 clauses out of 1059 for limit 4.787915592562552E10 1548.27/1541.66 c cleaning 547 clauses out of 1108 for limit 7.546725825250682E10 1548.97/1542.33 c cleaning 443 clauses out of 1064 for limit 1.2999185073844888E11 1549.47/1542.82 c cleaning 464 clauses out of 1119 for limit 2.0342978115293643E11 1549.97/1543.39 c cleaning 574 clauses out of 1155 for limit 3.25026312868755E11 1614.69/1608.03 c cleaning 17917 clauses out of 36081 for limit 276942.69707033155 1615.59/1608.99 c cleaning 9241 clauses out of 18663 for limit 882080.8674529708 1616.49/1609.81 c cleaning 4875 clauses out of 9923 for limit 2738654.62124968 1616.89/1610.25 c cleaning 2693 clauses out of 5549 for limit 8084551.48376858 1617.39/1610.73 c cleaning 1587 clauses out of 3355 for limit 2.202923960247749E7 1617.69/1611.03 c cleaning 1016 clauses out of 2267 for limit 5.371083279084507E7 1618.19/1611.50 c cleaning 766 clauses out of 1753 for limit 1.1477740479433912E8 1618.59/1612.00 c cleaning 656 clauses out of 1485 for limit 2.2299684914674866E8 1619.09/1612.45 c cleaning 643 clauses out of 1330 for limit 4.1102093055326885E8 1619.69/1613.02 c cleaning 561 clauses out of 1187 for limit 7.594877041606351E8 1620.19/1613.53 c cleaning 523 clauses out of 1125 for limit 1.3202017950673425E9 1620.59/1613.94 c cleaning 450 clauses out of 1103 for limit 2.2228375657527475E9 1620.99/1614.38 c cleaning 561 clauses out of 1153 for limit 3.506790487886173E9 1621.59/1614.98 c cleaning 512 clauses out of 1091 for limit 6.1057040788630705E9 1622.08/1615.48 c cleaning 499 clauses out of 1080 for limit 1.0181860573799047E10 1800.01/1793.01 c starts : 21 1800.01/1793.01 c conflicts : 909562 1800.01/1793.01 c decisions : 1508424 1800.01/1793.01 c propagations : 697719820 1800.01/1793.01 c inspects : 3807073525 1800.01/1793.01 c learnt literals : 50 1800.01/1793.01 c learnt binary clauses : 5353 1800.01/1793.01 c learnt ternary clauses : 15891 1800.01/1793.01 c learnt clauses : 909512 1800.01/1793.01 c root simplifications : 0 1800.01/1793.01 c removed literals (reason simplification) : 0 1800.01/1793.01 c reason swapping (by a shorter reason) : 0 1800.01/1793.01 c Calls to reduceDB : 279 1800.01/1793.01 c speed (decisions/second) : 844.9333373663638 1800.01/1793.01 c non guided choices 5469 1800.01/1793.01 s UNKNOWN 1800.01/1793.01 c Total wall clock time (ms): 1792.719
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-419526-1177408924 -o ROOT/results/node59/solver-419526-1177408924 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419526-1177408924/sat4jPseudoResolution.jar /tmp/evaluation/419526-1177408924/instance-419526-1177408924.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.11 1.07 1.01 2/64 11332 /proc/meminfo: memFree=1949752/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=18528 CPUtime=0 /proc/11332/stat : 11332 (runsolver) D 11330 11332 10157 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 188802072 18972672 284 18446744073709551615 4194304 4255128 548682068864 18446744073709551615 217051622695 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/11332/statm: 4632 284 249 14 0 2626 0 [startup+0.0646219 s] /proc/loadavg: 1.11 1.07 1.01 2/64 11332 /proc/meminfo: memFree=1949752/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1775952 CPUtime=0.02 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 2947 0 1 0 0 2 0 0 18 0 4 0 188802072 1818574848 2696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 443988 2696 714 9 0 441624 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1775952 [startup+0.101627 s] /proc/loadavg: 1.11 1.07 1.01 2/64 11332 /proc/meminfo: memFree=1949752/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1777708 CPUtime=0.05 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 3636 0 1 0 3 2 0 0 18 0 7 0 188802072 1820372992 3380 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 444427 3381 1077 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.301666 s] /proc/loadavg: 1.11 1.07 1.01 2/64 11332 /proc/meminfo: memFree=1949752/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1781420 CPUtime=0.2 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 4877 0 1 0 17 3 0 0 18 0 12 0 188802072 1824174080 4617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 445355 4617 1246 9 0 442967 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 1781420 [startup+0.70174 s] /proc/loadavg: 1.11 1.07 1.01 2/64 11332 /proc/meminfo: memFree=1949752/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1782572 CPUtime=0.7 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 7347 0 1 0 65 5 0 0 18 0 12 0 188802072 1825353728 6949 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 445643 6949 1292 9 0 443255 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 1782572 [startup+1.5029 s] /proc/loadavg: 1.11 1.07 1.01 4/76 11344 /proc/meminfo: memFree=1921304/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1785192 CPUtime=1.96 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 17874 0 1 0 186 10 0 0 18 0 12 0 188802072 1828036608 15879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 446298 15880 1305 9 0 443910 0 [pid=11332/tid=11334] ppid=11330 vsize=1785192 CPUtime=1.02 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 13968 0 1 0 94 8 0 0 19 0 12 0 188802075 1828036608 15881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109524400 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1785192 CPUtime=0 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 188802078 1828036608 15881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1785192 CPUtime=0 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 188802078 1828036608 15882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1785192 CPUtime=0 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 188802081 1828036608 15883 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1785192 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 188802081 1828036608 15883 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1785192 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 188802081 1828036608 15884 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1785192 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 188802086 1828036608 15885 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1785192 CPUtime=0.39 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1005 0 0 0 39 0 0 0 17 0 12 0 188802086 1828036608 15885 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1785192 CPUtime=0.52 /proc/11332/task/11342/stat : 11342 (java) S 11330 11332 10157 0 -1 64 2184 0 0 0 52 0 0 0 16 0 12 0 188802086 1828036608 15886 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1785192 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 188802086 1828036608 15887 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1785192 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188802086 1828036608 15887 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 1785192 [startup+3.10219 s] /proc/loadavg: 1.10 1.07 1.01 2/76 11344 /proc/meminfo: memFree=1835288/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1785840 CPUtime=3.85 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 45482 0 1 0 362 23 0 0 18 0 12 0 188802072 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 446460 42685 1315 9 0 444072 0 [pid=11332/tid=11334] ppid=11330 vsize=1785840 CPUtime=2.49 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 37677 0 1 0 229 20 0 0 21 0 12 0 188802075 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109524649 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1785840 CPUtime=0.08 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 1626 0 0 0 8 0 0 0 16 0 12 0 188802078 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1785840 CPUtime=0.08 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 1456 0 0 0 8 0 0 0 17 0 12 0 188802078 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1785840 CPUtime=0 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 188802081 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1785840 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 188802081 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1785840 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 188802081 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1785840 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 188802086 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1785840 CPUtime=0.59 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1812 0 0 0 59 0 0 0 17 0 12 0 188802086 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1785840 CPUtime=0.56 /proc/11332/task/11342/stat : 11342 (java) S 11330 11332 10157 0 -1 64 2187 0 0 0 56 0 0 0 17 0 12 0 188802086 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1785840 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 188802086 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1785840 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188802086 1828700160 42685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 1785840 [startup+6.3028 s] /proc/loadavg: 1.10 1.07 1.01 2/76 11344 /proc/meminfo: memFree=1749080/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1787088 CPUtime=7.61 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 57296 0 1 0 733 28 0 0 18 0 12 0 188802072 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 446772 53855 1315 9 0 444384 0 [pid=11332/tid=11334] ppid=11330 vsize=1787088 CPUtime=5.13 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 37681 0 1 0 492 21 0 0 18 0 12 0 188802075 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109524433 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1787088 CPUtime=0.64 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 8137 0 0 0 61 3 0 0 16 0 12 0 188802078 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1787088 CPUtime=0.64 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 6751 0 0 0 62 2 0 0 16 0 12 0 188802078 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1787088 CPUtime=0 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 188802081 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1787088 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 188802081 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1787088 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 188802081 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1787088 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 188802086 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1787088 CPUtime=0.59 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1812 0 0 0 59 0 0 0 17 0 12 0 188802086 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1787088 CPUtime=0.56 /proc/11332/task/11342/stat : 11342 (java) S 11330 11332 10157 0 -1 64 2187 0 0 0 56 0 0 0 17 0 12 0 188802086 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1787088 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 188802086 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1787088 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188802086 1829978112 53855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.61 Current children cumulated vsize (KiB) 1787088 [startup+12.703 s] /proc/loadavg: 1.17 1.08 1.01 3/77 11345 /proc/meminfo: memFree=1730392/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1788052 CPUtime=14.73 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 59670 0 1 0 1444 29 0 0 18 0 13 0 188802072 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 447013 55727 1326 9 0 444625 0 [pid=11332/tid=11334] ppid=11330 vsize=1788052 CPUtime=11.1 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 37711 0 1 0 1089 21 0 0 25 0 13 0 188802075 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1788052 CPUtime=0.88 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 8905 0 0 0 85 3 0 0 18 0 13 0 188802078 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1788052 CPUtime=0.88 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 8216 0 0 0 86 2 0 0 19 0 13 0 188802078 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188802081 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 188802086 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1788052 CPUtime=0.95 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1892 0 0 0 94 1 0 0 16 0 13 0 188802086 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1788052 CPUtime=0.87 /proc/11332/task/11342/stat : 11342 (java) R 11330 11332 10157 0 -1 64 2214 0 0 0 87 0 0 0 16 0 13 0 188802086 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104995069 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 188802086 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188802086 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11345] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11345/stat : 11345 (java) S 11330 11332 10157 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188802850 1830965248 55727 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.73 Current children cumulated vsize (KiB) 1788052 [startup+25.5015 s] /proc/loadavg: 1.27 1.11 1.02 2/77 11345 /proc/meminfo: memFree=1730520/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1788052 CPUtime=27.53 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 59677 0 1 0 2723 30 0 0 18 0 13 0 188802072 1830965248 55732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 447013 55732 1326 9 0 444625 0 [pid=11332/tid=11334] ppid=11330 vsize=1788052 CPUtime=23.86 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 37713 0 1 0 2365 21 0 0 25 0 13 0 188802075 1830965248 55732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109823488 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1788052 CPUtime=0.88 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 8905 0 0 0 85 3 0 0 18 0 13 0 188802078 1830965248 55732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1788052 CPUtime=0.88 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 8216 0 0 0 86 2 0 0 19 0 13 0 188802078 1830965248 55732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1830965248 55732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1830965248 55732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1788052 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188802081 1830965248 55732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=11332/tid=11337] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 188802086 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1789332 CPUtime=1.06 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1897 0 0 0 105 1 0 0 16 0 13 0 188802086 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1789332 CPUtime=1.02 /proc/11332/task/11342/stat : 11342 (java) S 11330 11332 10157 0 -1 64 2217 0 0 0 102 0 0 0 17 0 13 0 188802086 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 188802086 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188802086 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11345] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11345/stat : 11345 (java) S 11330 11332 10157 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188802850 1832275968 390777 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1608.99 Current children cumulated vsize (KiB) 1789332 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.01 2/77 11345 /proc/meminfo: memFree=1431768/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1789332 CPUtime=1669.05 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 490315 0 3 0 166645 260 0 0 18 0 13 0 188802072 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 447333 129592 1331 9 0 444945 0 [pid=11332/tid=11334] ppid=11330 vsize=1789332 CPUtime=1654.04 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 37744 0 1 0 165382 22 0 0 25 0 13 0 188802075 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109849239 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1789332 CPUtime=6.12 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 230763 0 0 0 501 111 0 0 16 0 13 0 188802078 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1789332 CPUtime=6.1 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 216210 0 0 0 504 106 0 0 16 0 13 0 188802078 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1789332 CPUtime=0.66 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 763 0 2 0 50 16 0 0 16 0 13 0 188802081 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 188802086 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1789332 CPUtime=1.06 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1897 0 0 0 105 1 0 0 16 0 13 0 188802086 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1789332 CPUtime=1.02 /proc/11332/task/11342/stat : 11342 (java) S 11330 11332 10157 0 -1 64 2217 0 0 0 102 0 0 0 17 0 13 0 188802086 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 188802086 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188802086 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11345] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11345/stat : 11345 (java) S 11330 11332 10157 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188802850 1832275968 129592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1669.05 Current children cumulated vsize (KiB) 1789332 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.01 2/77 11345 /proc/meminfo: memFree=1432408/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1789332 CPUtime=1729.13 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 490316 0 3 0 172653 260 0 0 18 0 13 0 188802072 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 447333 129431 1331 9 0 444945 0 [pid=11332/tid=11334] ppid=11330 vsize=1789332 CPUtime=1713.91 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 37745 0 1 0 171369 22 0 0 25 0 13 0 188802075 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873729 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1789332 CPUtime=6.22 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 230763 0 0 0 511 111 0 0 17 0 13 0 188802078 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1789332 CPUtime=6.2 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 216210 0 0 0 514 106 0 0 16 0 13 0 188802078 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1789332 CPUtime=0.66 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 763 0 2 0 50 16 0 0 16 0 13 0 188802081 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1789332 CPUtime=1.06 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1897 0 0 0 105 1 0 0 16 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1789332 CPUtime=1.02 /proc/11332/task/11342/stat : 11342 (java) S 11330 11332 10157 0 -1 64 2217 0 0 0 102 0 0 0 17 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11345] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11345/stat : 11345 (java) S 11330 11332 10157 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188802850 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1729.13 Current children cumulated vsize (KiB) 1789332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11345 /proc/meminfo: memFree=1432408/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1789332 CPUtime=1789.1 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 490316 0 3 0 178650 260 0 0 18 0 13 0 188802072 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 447333 129431 1331 9 0 444945 0 [pid=11332/tid=11334] ppid=11330 vsize=1789332 CPUtime=1773.89 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 37745 0 1 0 177367 22 0 0 25 0 13 0 188802075 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109798956 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1789332 CPUtime=6.22 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 230763 0 0 0 511 111 0 0 17 0 13 0 188802078 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1789332 CPUtime=6.2 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 216210 0 0 0 514 106 0 0 16 0 13 0 188802078 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1789332 CPUtime=0.66 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 763 0 2 0 50 16 0 0 16 0 13 0 188802081 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1789332 CPUtime=1.06 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1897 0 0 0 105 1 0 0 16 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1789332 CPUtime=1.02 /proc/11332/task/11342/stat : 11342 (java) S 11330 11332 10157 0 -1 64 2217 0 0 0 102 0 0 0 17 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188802086 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11345] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11345/stat : 11345 (java) S 11330 11332 10157 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188802850 1832275968 129431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1789.1 Current children cumulated vsize (KiB) 1789332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.01 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11345 /proc/meminfo: memFree=1432920/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=1789332 CPUtime=1800.01 /proc/11332/stat : 11332 (java) S 11330 11332 10157 0 -1 0 490317 0 3 0 179741 260 0 0 18 0 13 0 188802072 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11332/statm: 447333 129271 1331 9 0 444945 0 [pid=11332/tid=11334] ppid=11330 vsize=1789332 CPUtime=1784.39 /proc/11332/task/11334/stat : 11334 (java) R 11330 11332 10157 0 -1 64 37746 0 1 0 178417 22 0 0 25 0 13 0 188802075 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109849265 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11335] ppid=11330 vsize=1789332 CPUtime=6.42 /proc/11332/task/11335/stat : 11335 (java) S 11330 11332 10157 0 -1 64 230763 0 0 0 531 111 0 0 19 0 13 0 188802078 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11336] ppid=11330 vsize=1789332 CPUtime=6.4 /proc/11332/task/11336/stat : 11336 (java) S 11330 11332 10157 0 -1 64 216210 0 0 0 534 106 0 0 16 0 13 0 188802078 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11337] ppid=11330 vsize=1789332 CPUtime=0.66 /proc/11332/task/11337/stat : 11337 (java) S 11330 11332 10157 0 -1 64 763 0 2 0 50 16 0 0 16 0 13 0 188802081 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11338] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11338/stat : 11338 (java) S 11330 11332 10157 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11339] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11339/stat : 11339 (java) S 11330 11332 10157 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188802081 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11340] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11340/stat : 11340 (java) S 11330 11332 10157 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 188802086 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11341] ppid=11330 vsize=1789332 CPUtime=1.06 /proc/11332/task/11341/stat : 11341 (java) S 11330 11332 10157 0 -1 64 1897 0 0 0 105 1 0 0 16 0 13 0 188802086 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11342] ppid=11330 vsize=1789332 CPUtime=1.02 /proc/11332/task/11342/stat : 11342 (java) S 11330 11332 10157 0 -1 64 2217 0 0 0 102 0 0 0 17 0 13 0 188802086 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11343] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11343/stat : 11343 (java) S 11330 11332 10157 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 188802086 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11332/tid=11344] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11344/stat : 11344 (java) S 11330 11332 10157 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188802086 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11332/tid=11345] ppid=11330 vsize=1789332 CPUtime=0 /proc/11332/task/11345/stat : 11345 (java) S 11330 11332 10157 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188802850 1832275968 129271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1789332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.11 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11345 /proc/meminfo: memFree=1432920/2055920 swapFree=4184616/4192956 [pid=11332] ppid=11330 vsize=0 CPUtime=1800.12 /proc/11332/stat : 11332 (java) Z 11330 11332 10157 0 -1 1036 490338 0 3 0 179745 267 0 0 16 0 2 0 188802072 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11332/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1793.13 CPU time (s): 1800.14 CPU user time (s): 1797.45 CPU system time (s): 2.68759 CPU usage (%): 100.391 Max. virtual memory (cumulated for all children) (KiB): 1791336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.45 system time used= 2.68759 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 490338 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= 37286 involuntary context switches= 38712 runsolver used 1.68274 second user time and 4.88226 second system time The end
Begin job on node59 on Tue Apr 24 10:02:05 UTC 2007 IDJOB= 419526 IDBENCH= 47780 IDSOLVER= 159 FILE ID= node59/419526-1177408924 PBS_JOBID= 4675555 Free space on /tmp= 66317 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/babic/dspam/dspam_dump_vc950.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419526-1177408924/sat4jPseudoResolution.jar /tmp/evaluation/419526-1177408924/instance-419526-1177408924.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-419526-1177408924 -o ROOT/results/node59/solver-419526-1177408924 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419526-1177408924/sat4jPseudoResolution.jar /tmp/evaluation/419526-1177408924/instance-419526-1177408924.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 7e2bd053dd82d4aa23f42a2d48accca0 RANDOM SEED= 859856048 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1950160 kB Buffers: 1576 kB Cached: 43524 kB SwapCached: 2364 kB Active: 48056 kB Inactive: 8420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1950160 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 15620 kB Writeback: 0 kB Mapped: 18160 kB Slab: 35260 kB Committed_AS: 3018180 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66317 MiB End job on node59 on Tue Apr 24 10:32:00 UTC 2007