Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.21 | 1788.43 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
MD5SUM | d761333f7ff9a755d3cd90e52b11f227 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 480 |
Number of constraints which are cardinality constraints (but not clauses) | 608 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 120 |
Maximum length of a constraint | 225 |
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 | 227 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.22 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.22 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.22 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.29 c no version file found!!! 0.09/0.29 c sun.arch.data.model 32 0.09/0.29 c java.version 1.6.0 0.09/0.29 c os.name Linux 0.09/0.29 c os.version 2.6.9-22.EL.rootsmp 0.09/0.29 c os.arch i386 0.09/0.29 c Free memory 1651659224 0.09/0.29 c Max memory 1654456320 0.09/0.29 c Total memory 1654456320 0.09/0.29 c Number of processors 2 0.13/0.35 --- Begin Solver configuration --- 0.13/0.35 c Stops conflict analysis at the first Unique Implication Point 0.13/0.35 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.13/0.35 c Learn all clauses as in MiniSAT 0.13/0.35 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.35 c VSIDS like heuristics from MiniSAT using a heap 0.13/0.35 c No reason simplification 0.13/0.35 c --- End Solver configuration --- 0.13/0.35 c solving /tmp/evaluation/350257-1176492931/instance-350257-1176492931.opb 0.13/0.35 c reading problem ... 1.98/1.75 c ... done. Wall clock time 1.401s. 1.98/1.75 c CPU time (experimental) 1.24s. 1.98/1.75 c #vars 14400 1.98/1.75 c #constraints 1088 608.07/604.19 c cleaning 109209 clauses out of 218500 for limit 3.9936608560612035E9 609.60/605.63 c cleaning 54865 clauses out of 109792 for limit 1.3120256491981335E10 610.40/606.40 c cleaning 27696 clauses out of 55426 for limit 4.281745593606998E10 610.90/606.91 c cleaning 14075 clauses out of 28230 for limit 1.386370810032226E11 611.40/607.40 c cleaning 7289 clauses out of 14655 for limit 4.404132213257706E11 611.70/607.79 c cleaning 3892 clauses out of 7866 for limit 1.3531567735446863E12 612.00/608.07 c cleaning 2195 clauses out of 4474 for limit 3.923394375640779E12 612.31/608.36 c cleaning 1356 clauses out of 2779 for limit 1.0416583155075016E13 612.50/608.58 c cleaning 954 clauses out of 1923 for limit 2.4825067310190676E13 612.80/608.80 c cleaning 682 clauses out of 1469 for limit 5.359247452258487E13 612.90/609.00 c cleaning 591 clauses out of 1287 for limit 1.0087950581374773E14 613.10/609.16 c cleaning 526 clauses out of 1196 for limit 1.7902191576158447E14 613.31/609.34 c cleaning 511 clauses out of 1171 for limit 3.018358935402314E14 613.50/609.60 c cleaning 498 clauses out of 1159 for limit 5.0241861043086744E14 692.62/688.21 c cleaning 13513 clauses out of 27162 for limit 70175.2441614134 694.32/689.94 c cleaning 7013 clauses out of 14149 for limit 222165.09037154296 695.32/690.95 c cleaning 3738 clauses out of 7635 for limit 678287.6319044606 695.92/691.51 c cleaning 2135 clauses out of 4399 for limit 1945332.704238942 696.22/691.88 c cleaning 1313 clauses out of 2762 for limit 5099305.592415957 696.52/692.20 c cleaning 919 clauses out of 1950 for limit 1.192313608778734E7 696.82/692.45 c cleaning 711 clauses out of 1532 for limit 2.505282736514109E7 697.02/692.69 c cleaning 648 clauses out of 1319 for limit 4.789140508365997E7 697.22/692.89 c cleaning 561 clauses out of 1171 for limit 8.896135034712744E7 697.52/693.15 c cleaning 499 clauses out of 1110 for limit 1.547715634646163E8 746.92/742.11 c cleaning 13028 clauses out of 26111 for limit 0.007911172991610309 747.62/742.88 c cleaning 6751 clauses out of 13583 for limit 0.025079829072627863 748.32/743.52 c cleaning 3618 clauses out of 7333 for limit 0.07668827813962388 748.72/743.98 c cleaning 2044 clauses out of 4214 for limit 0.21985559170757946 749.22/744.41 c cleaning 1269 clauses out of 2670 for limit 0.5722379716754686 749.42/744.69 c cleaning 884 clauses out of 1901 for limit 1.3254449786133855 749.72/744.99 c cleaning 685 clauses out of 1517 for limit 2.7391393518829226 750.02/745.25 c cleaning 594 clauses out of 1333 for limit 5.145883590265001 750.32/745.55 c cleaning 522 clauses out of 1238 for limit 9.128319604571727 750.63/745.82 c cleaning 523 clauses out of 1216 for limit 15.326175492226731 750.82/746.08 c cleaning 514 clauses out of 1193 for limit 25.76219198816567 751.12/746.33 c cleaning 510 clauses out of 1179 for limit 42.989791420266926 791.40/786.23 c cleaning 14247 clauses out of 28671 for limit 2.5979751843117373E12 792.40/787.27 c cleaning 7421 clauses out of 14922 for limit 8.215569367681894E12 793.00/787.90 c cleaning 3980 clauses out of 8002 for limit 2.5290449848485004E13 793.60/788.41 c cleaning 2235 clauses out of 4522 for limit 7.380409010133023E13 794.00/788.85 c cleaning 1377 clauses out of 2786 for limit 1.9735641681040134E14 794.40/789.25 c cleaning 936 clauses out of 1910 for limit 4.752141843758894E14 794.70/789.54 c cleaning 689 clauses out of 1473 for limit 1.0151761141629382E15 794.91/789.76 c cleaning 578 clauses out of 1284 for limit 1.9205914931355142E15 795.10/789.97 c cleaning 520 clauses out of 1206 for limit 3.3721633488713155E15 795.40/790.26 c cleaning 579 clauses out of 1187 for limit 5.655820158465361E-5 795.60/790.41 c cleaning 530 clauses out of 1109 for limit 9.993213432773003E-5 795.80/790.63 c cleaning 501 clauses out of 1077 for limit 1.6935883961118793E-4 796.00/790.88 c cleaning 512 clauses out of 1076 for limit 2.795549511388298E-4 796.19/791.08 c cleaning 471 clauses out of 1064 for limit 4.662230259204408E-4 841.36/835.87 c cleaning 11690 clauses out of 23594 for limit 207462.25102319111 842.46/836.96 c cleaning 6062 clauses out of 12403 for limit 650182.5244946724 843.06/837.58 c cleaning 3299 clauses out of 6841 for limit 1944009.2752571632 843.67/838.15 c cleaning 1891 clauses out of 4042 for limit 5425971.408322802 844.17/838.67 c cleaning 1212 clauses out of 2653 for limit 1.3660338799263073E7 844.47/838.97 c cleaning 943 clauses out of 1939 for limit 3.0761518858822845E7 844.77/839.26 c cleaning 714 clauses out of 1496 for limit 6.5752137803008705E7 845.07/839.51 c cleaning 535 clauses out of 1283 for limit 1.2656254915521716E8 845.26/839.77 c cleaning 569 clauses out of 1247 for limit 2.1452938694988585E8 845.56/840.03 c cleaning 483 clauses out of 1178 for limit 3.7451036494944626E8 845.76/840.24 c cleaning 463 clauses out of 1195 for limit 6.088314997811357E8 845.97/840.47 c cleaning 602 clauses out of 1234 for limit 9.74259770919154E8 846.26/840.72 c cleaning 544 clauses out of 1130 for limit 1.751049203680216E9 846.46/840.96 c cleaning 466 clauses out of 1086 for limit 3.0047120243880754E9 846.66/841.19 c cleaning 442 clauses out of 1120 for limit 4.804747224338816E9 973.67/967.41 c cleaning 20898 clauses out of 42179 for limit 1375515.288037906 975.18/968.91 c cleaning 10771 clauses out of 21780 for limit 4388591.93392312 975.98/969.79 c cleaning 5657 clauses out of 11509 for limit 1.3696240484252397E7 976.77/970.50 c cleaning 3096 clauses out of 6355 for limit 4.102823462582327E7 977.17/970.94 c cleaning 1873 clauses out of 3756 for limit 1.1413665838153361E8 977.37/971.10 c cleaning 1136 clauses out of 2383 for limit 2.966761139161173E8 977.48/971.24 c cleaning 803 clauses out of 1749 for limit 6.679465716321284E8 977.58/971.36 c cleaning 658 clauses out of 1444 for limit 1.331530763581334E9 977.77/971.54 c cleaning 604 clauses out of 1287 for limit 2.466211110224751E9 977.87/971.68 c cleaning 592 clauses out of 1184 for limit 4.4253486606327E9 978.07/971.80 c cleaning 509 clauses out of 1090 for limit 7.911513274619552E9 978.17/971.92 c cleaning 489 clauses out of 1081 for limit 1.3155769391991236E10 978.27/972.08 c cleaning 478 clauses out of 1095 for limit 2.14826201394192E10 978.50/972.25 c cleaning 483 clauses out of 1114 for limit 3.471910563764577E10 978.70/972.42 c cleaning 559 clauses out of 1132 for limit 5.640241400107024E10 978.79/972.54 c cleaning 526 clauses out of 1073 for limit 9.812965769679054E10 1024.20/1017.58 c cleaning 17159 clauses out of 34548 for limit 18105.558388947946 1025.20/1018.57 c cleaning 8811 clauses out of 17887 for limit 57555.15008089392 1026.00/1019.35 c cleaning 4633 clauses out of 9576 for limit 177293.75869578647 1026.70/1020.03 c cleaning 2582 clauses out of 5443 for limit 514393.1035837569 1027.00/1020.38 c cleaning 1518 clauses out of 3361 for limit 1373791.567415742 1027.40/1020.72 c cleaning 1005 clauses out of 2343 for limit 3249922.1449101446 1027.70/1021.00 c cleaning 751 clauses out of 1838 for limit 6832122.201935201 1027.90/1021.23 c cleaning 793 clauses out of 1589 for limit 1.3058766188873647E7 1028.10/1021.49 c cleaning 627 clauses out of 1295 for limit 2.639840273145779E7 1067.97/1060.92 c cleaning 14510 clauses out of 29168 for limit 0.02834825474170164 1068.97/1061.92 c cleaning 7490 clauses out of 15159 for limit 0.0900435945752301 1069.77/1062.79 c cleaning 3955 clauses out of 8167 for limit 0.2750728231183611 1070.68/1063.62 c cleaning 2253 clauses out of 4717 for limit 0.789355810036588 1071.17/1064.10 c cleaning 1378 clauses out of 2961 for limit 2.0675338588137215 1071.57/1064.51 c cleaning 928 clauses out of 2084 for limit 4.84935214088922 1071.88/1064.86 c cleaning 712 clauses out of 1655 for limit 10.0601582820411 1072.17/1065.17 c cleaning 604 clauses out of 1441 for limit 19.016285740889167 1072.47/1065.48 c cleaning 546 clauses out of 1337 for limit 33.79980191520117 1072.77/1065.72 c cleaning 521 clauses out of 1291 for limit 57.7264973932992 1121.14/1113.73 c cleaning 9560 clauses out of 19272 for limit 4.2336164037379146E8 1122.04/1114.60 c cleaning 5004 clauses out of 10210 for limit 1.3152230563583803E9 1122.75/1115.33 c cleaning 2753 clauses out of 5706 for limit 3.881050335509117E9 1123.14/1115.79 c cleaning 1627 clauses out of 3453 for limit 1.0576460490072102E10 1123.54/1116.14 c cleaning 1047 clauses out of 2327 for limit 2.5907824424591927E10 1123.74/1116.40 c cleaning 795 clauses out of 1780 for limit 5.585514880924715E10 1124.04/1116.65 c cleaning 703 clauses out of 1484 for limit 1.1037499319190979E11 1124.34/1116.92 c cleaning 617 clauses out of 1281 for limit 2.1086832485730273E11 1124.54/1117.15 c cleaning 532 clauses out of 1164 for limit 3.8270433748154205E11 1124.74/1117.33 c cleaning 481 clauses out of 1132 for limit 6.489717988876892E11 1124.95/1117.54 c cleaning 497 clauses out of 1152 for limit 1.0527134493365916E12 1125.14/1117.74 c cleaning 486 clauses out of 1155 for limit 1.731556046902942E12 1125.44/1118.00 c cleaning 485 clauses out of 1168 for limit 2.82096092189055E12 1125.64/1118.26 c cleaning 496 clauses out of 1187 for limit 4.596032890328589E12 1125.94/1118.50 c cleaning 579 clauses out of 1187 for limit 7.549200636630327E12 1126.15/1118.77 c cleaning 458 clauses out of 1108 for limit 1.3337296727099672E13 1126.34/1118.98 c cleaning 564 clauses out of 1150 for limit 2.1191691374227438E13 1126.54/1119.17 c cleaning 519 clauses out of 1087 for limit 3.701044573306646E13 1126.74/1119.39 c cleaning 503 clauses out of 1067 for limit 6.211704899162058E13 1126.94/1119.55 c cleaning 471 clauses out of 1064 for limit 1.0272815633681197E14 1127.15/1119.74 c cleaning 461 clauses out of 1094 for limit 1.6493172401649653E14 1127.34/1119.94 c cleaning 557 clauses out of 1132 for limit 2.6260105650316353E14 1127.64/1120.23 c cleaning 525 clauses out of 1075 for limit 4.5602675000937056E14 1171.62/1163.88 c cleaning 13483 clauses out of 27050 for limit 59264.3499187998 1172.51/1164.72 c cleaning 6965 clauses out of 14069 for limit 188287.92755265694 1173.11/1165.37 c cleaning 3757 clauses out of 7602 for limit 573514.896943895 1173.51/1165.80 c cleaning 2105 clauses out of 4345 for limit 1654773.9466648542 1173.91/1166.11 c cleaning 1311 clauses out of 2740 for limit 4327467.147575525 1174.21/1166.40 c cleaning 894 clauses out of 1930 for limit 1.0141855819584562E7 1174.41/1166.61 c cleaning 753 clauses out of 1535 for limit 2.100814646566679E7 1174.61/1166.85 c cleaning 642 clauses out of 1284 for limit 4.1500755532199666E7 1174.82/1167.04 c cleaning 529 clauses out of 1140 for limit 7.693129429515281E7 1175.01/1167.25 c cleaning 553 clauses out of 1111 for limit 1.3018163403594144E8 1175.21/1167.47 c cleaning 467 clauses out of 1058 for limit 2.2544156817864278E8 1175.41/1167.69 c cleaning 527 clauses out of 1091 for limit 3.605377971106201E8 1175.61/1167.89 c cleaning 490 clauses out of 1066 for limit 6.097379935634259E8 1175.92/1168.16 c cleaning 491 clauses out of 1074 for limit 9.960543674927093E8 1176.11/1168.39 c cleaning 493 clauses out of 1084 for limit 1.6291026196818829E9 1176.41/1168.62 c cleaning 486 clauses out of 1091 for limit 2.669370524764836E9 1176.61/1168.88 c cleaning 487 clauses out of 1104 for limit 4.345961884537774E9 1216.37/1208.28 c cleaning 14968 clauses out of 30117 for limit 10.479501184022523 1217.47/1209.34 c cleaning 7726 clauses out of 15649 for limit 33.25995187411874 1218.37/1210.28 c cleaning 4102 clauses out of 8425 for limit 102.085299682943 1219.07/1210.99 c cleaning 2303 clauses out of 4821 for limit 293.61811726580873 1219.77/1211.67 c cleaning 1379 clauses out of 3018 for limit 773.4934361081459 1220.27/1212.19 c cleaning 925 clauses out of 2139 for limit 1799.78641957421 1220.77/1212.69 c cleaning 714 clauses out of 1714 for limit 3704.049863592582 1221.07/1212.95 c cleaning 636 clauses out of 1500 for limit 6979.949331465598 1221.37/1213.22 c cleaning 565 clauses out of 1364 for limit 12658.581607590915 1221.67/1213.50 c cleaning 532 clauses out of 1301 for limit 21930.424087413554 1221.97/1213.82 c cleaning 519 clauses out of 1268 for limit 37070.329675544264 1265.31/1256.98 c cleaning 9095 clauses out of 18251 for limit 1.0367740193898811E11 1266.21/1257.86 c cleaning 4782 clauses out of 9653 for limit 3.2230037901929816E11 1266.71/1258.36 c cleaning 2551 clauses out of 5371 for limit 9.552649805500845E11 1313.22/1304.42 c cleaning 10526 clauses out of 21320 for limit 0.2629417980530938 1314.42/1305.67 c cleaning 5502 clauses out of 11295 for limit 0.8193151628141621 1315.42/1306.64 c cleaning 2997 clauses out of 6292 for limit 2.423091916740377 1316.22/1307.47 c cleaning 1750 clauses out of 3797 for limit 6.635030387262783 1316.72/1307.99 c cleaning 1124 clauses out of 2547 for limit 16.312121792197917 1317.12/1308.39 c cleaning 807 clauses out of 1921 for limit 35.595811555361784 1317.52/1308.77 c cleaning 644 clauses out of 1614 for limit 69.86804968744133 1317.92/1309.19 c cleaning 577 clauses out of 1470 for limit 126.50879033612429 1318.32/1309.54 c cleaning 524 clauses out of 1393 for limit 220.1622264048542 1318.72/1309.93 c cleaning 519 clauses out of 1370 for limit 369.54195875834233 1319.02/1310.21 c cleaning 508 clauses out of 1350 for limit 617.8341793760483 1319.22/1310.49 c cleaning 535 clauses out of 1342 for limit 1024.9650813174605 1319.52/1310.77 c cleaning 504 clauses out of 1309 for limit 1736.388296078561 1319.82/1311.10 c cleaning 506 clauses out of 1303 for limit 2870.971915596781 1354.23/1345.29 c cleaning 8710 clauses out of 17797 for limit 5.120669162566806E9 1355.61/1346.56 c cleaning 4608 clauses out of 9588 for limit 1.5690467787087084E10 1356.31/1347.27 c cleaning 2552 clauses out of 5479 for limit 4.523597878936043E10 1357.01/1347.91 c cleaning 1538 clauses out of 3427 for limit 1.1926886181009442E11 1357.31/1348.24 c cleaning 1025 clauses out of 2389 for limit 2.8215055992767206E11 1357.81/1348.76 c cleaning 757 clauses out of 1864 for limit 5.963579939846619E11 1358.11/1349.07 c cleaning 781 clauses out of 1608 for limit 1.1411882925822322E12 1358.41/1349.32 c cleaning 506 clauses out of 1326 for limit 2.2799283724710933E12 1358.61/1349.57 c cleaning 510 clauses out of 1320 for limit 3.776997375427431E12 1358.91/1349.82 c cleaning 651 clauses out of 1310 for limit 6.276321842495119E12 1359.11/1350.02 c cleaning 426 clauses out of 1159 for limit 1.1699005692805447E13 1359.31/1350.21 c cleaning 449 clauses out of 1234 for limit 1.8138761370245477E13 1359.61/1350.51 c cleaning 633 clauses out of 1284 for limit 2.871964970903353E13 1359.81/1350.75 c cleaning 404 clauses out of 1151 for limit 5.283536666411588E13 1360.01/1350.97 c cleaning 619 clauses out of 1248 for limit 8.044070398807948E13 1360.21/1351.18 c cleaning 416 clauses out of 1128 for limit 1.466232101505559E14 1360.41/1351.34 c cleaning 590 clauses out of 1213 for limit 2.25082339850788E14 1394.30/1384.97 c cleaning 9634 clauses out of 19623 for limit 25.070357361173283 1395.89/1386.51 c cleaning 5063 clauses out of 10490 for limit 77.41780237295883 1396.99/1387.65 c cleaning 2776 clauses out of 5926 for limit 225.77510623741648 1397.89/1388.53 c cleaning 1646 clauses out of 3649 for limit 604.0671437090053 1398.19/1388.89 c cleaning 1077 clauses out of 2504 for limit 1453.1657453297419 1398.60/1389.21 c cleaning 761 clauses out of 1926 for limit 3112.5373306979327 1398.89/1389.52 c cleaning 653 clauses out of 1667 for limit 5942.376470563748 1399.19/1389.81 c cleaning 565 clauses out of 1512 for limit 10782.782237569856 1399.39/1390.07 c cleaning 546 clauses out of 1448 for limit 18586.793016555483 1399.70/1390.34 c cleaning 510 clauses out of 1401 for limit 31648.72833220525 1399.99/1390.61 c cleaning 507 clauses out of 1391 for limit 52568.20608355179 1400.29/1390.90 c cleaning 507 clauses out of 1384 for limit 87130.47540048737 1400.49/1391.19 c cleaning 500 clauses out of 1377 for limit 144420.25933038763 1400.90/1391.52 c cleaning 479 clauses out of 1378 for limit 238233.72532567696 1433.18/1423.64 c cleaning 10644 clauses out of 21398 for limit 1.2386144205010723E13 1434.37/1424.71 c cleaning 5546 clauses out of 11254 for limit 3.883812823299575E13 1434.87/1425.26 c cleaning 3014 clauses out of 6208 for limit 1.1610993472407911E14 1435.37/1425.74 c cleaning 1756 clauses out of 3694 for limit 3.217955877615222E14 1435.67/1426.00 c cleaning 1121 clauses out of 2438 for limit 8.040798183884101E14 1435.87/1426.24 c cleaning 803 clauses out of 1817 for limit 1.7792370882277145E15 1436.07/1426.46 c cleaning 736 clauses out of 1515 for limit 3.522625836853245E-5 1436.47/1426.83 c cleaning 620 clauses out of 1279 for limit 6.881204924892959E-5 1436.67/1427.05 c cleaning 554 clauses out of 1158 for limit 1.2521254758118675E-4 1437.06/1427.43 c cleaning 484 clauses out of 1104 for limit 2.1659240558743572E-4 1437.37/1427.78 c cleaning 511 clauses out of 1121 for limit 3.5212518195104517E-4 1437.86/1428.25 c cleaning 423 clauses out of 1109 for limit 5.863980616737573E-4 1438.26/1428.67 c cleaning 495 clauses out of 1187 for limit 9.044066605340226E-4 1470.15/1460.40 c cleaning 8266 clauses out of 16691 for limit 575.5538805298471 1471.44/1461.50 c cleaning 4378 clauses out of 8925 for limit 1775.0721318736712 1472.44/1462.59 c cleaning 2431 clauses out of 5047 for limit 5176.626280458201 1473.15/1463.21 c cleaning 1455 clauses out of 3118 for limit 13846.146336406782 1473.85/1463.96 c cleaning 974 clauses out of 2161 for limit 32880.4024571288 1474.25/1464.36 c cleaning 720 clauses out of 1687 for limit 69459.6668518976 1474.45/1464.59 c cleaning 690 clauses out of 1470 for limit 131852.95463504177 1474.65/1464.76 c cleaning 589 clauses out of 1277 for limit 249556.3674062672 1474.85/1464.90 c cleaning 533 clauses out of 1188 for limit 442383.58011412463 1474.95/1465.06 c cleaning 517 clauses out of 1158 for limit 750699.8041034963 1475.15/1465.25 c cleaning 508 clauses out of 1140 for limit 1256294.2899025816 1475.35/1465.41 c cleaning 508 clauses out of 1130 for limit 2085953.6643548459 1475.55/1465.61 c cleaning 557 clauses out of 1122 for limit 3464544.394334376 1475.75/1465.85 c cleaning 530 clauses out of 1066 for limit 6019663.041324325 1475.95/1466.01 c cleaning 486 clauses out of 1036 for limit 1.0214697691352507E7 1476.05/1466.16 c cleaning 484 clauses out of 1049 for limit 1.662000539658904E7 1476.15/1466.29 c cleaning 483 clauses out of 1066 for limit 2.6998512851887327E7 1476.34/1466.43 c cleaning 539 clauses out of 1083 for limit 4.382525763202278E7 1476.44/1466.54 c cleaning 515 clauses out of 1043 for limit 7.497042990828224E7 1476.54/1466.68 c cleaning 475 clauses out of 1028 for limit 1.2544029943543373E8 1476.84/1466.91 c cleaning 447 clauses out of 1053 for limit 2.019564427810832E8 1477.04/1467.10 c cleaning 541 clauses out of 1106 for limit 3.170931379200078E8 1477.25/1467.38 c cleaning 447 clauses out of 1065 for limit 5.43060543527346E8 1514.30/1504.16 c cleaning 12749 clauses out of 25619 for limit 0.01647648420057056 1515.10/1504.94 c cleaning 6618 clauses out of 13370 for limit 0.052065638621457126 1515.50/1505.35 c cleaning 3564 clauses out of 7253 for limit 0.15843653223955875 1515.80/1505.63 c cleaning 2023 clauses out of 4188 for limit 0.45205128484636165 1516.11/1505.93 c cleaning 1273 clauses out of 2664 for limit 1.1707968241109818 1516.40/1506.24 c cleaning 872 clauses out of 1891 for limit 2.720070211551733 1516.70/1506.51 c cleaning 688 clauses out of 1519 for limit 5.584313050269889 1516.90/1506.72 c cleaning 590 clauses out of 1333 for limit 10.51531510374234 1517.11/1506.96 c cleaning 549 clauses out of 1241 for limit 18.589492037814445 1517.30/1507.16 c cleaning 504 clauses out of 1192 for limit 31.916770135976098 1517.60/1507.44 c cleaning 533 clauses out of 1188 for limit 52.81224600537595 1517.80/1507.63 c cleaning 498 clauses out of 1155 for limit 89.5828718661282 1518.00/1507.84 c cleaning 507 clauses out of 1159 for limit 147.51916308682172 1563.93/1553.53 c cleaning 12959 clauses out of 26150 for limit 7.845875213609054E11 1565.33/1554.94 c cleaning 6699 clauses out of 13691 for limit 2.471347441715932E12 1619.59/1608.95 c cleaning 14405 clauses out of 28993 for limit 42.34180437806451 1681.68/1670.78 c cleaning 17162 clauses out of 34587 for limit 1.737603135419935E10 1687.00/1675.97 c cleaning 9579 clauses out of 19426 for limit 2.2905414797527585E11 1687.80/1676.71 c cleaning 5036 clauses out of 10348 for limit 7.098319184456012E11 1688.30/1677.24 c cleaning 2868 clauses out of 5811 for limit 2.0824876946973152E12 1688.60/1677.59 c cleaning 1576 clauses out of 3442 for limit 5.792203724503985E12 1688.90/1677.90 c cleaning 1016 clauses out of 2366 for limit 1.389619312767989E13 1689.20/1678.12 c cleaning 893 clauses out of 1851 for limit 2.9322065637180418E13 1689.40/1678.34 c cleaning 714 clauses out of 1457 for limit 6.1370944027916836E13 1689.60/1678.54 c cleaning 573 clauses out of 1246 for limit 1.1870355771438616E14 1689.80/1678.73 c cleaning 444 clauses out of 1171 for limit 2.078795395921607E14 1690.00/1678.94 c cleaning 467 clauses out of 1226 for limit 3.2711431236958525E14 1690.20/1679.14 c cleaning 493 clauses out of 1260 for limit 5.2542395634050344E14 1690.40/1679.37 c cleaning 482 clauses out of 1266 for limit 8.615253976771655E14 1690.70/1679.63 c cleaning 503 clauses out of 1284 for limit 1.4008532882448988E15 1690.90/1679.87 c cleaning 618 clauses out of 1281 for limit 2.3156047666267795E15 1691.20/1680.13 c cleaning 556 clauses out of 1164 for limit 4.2067914550392875E15 1691.50/1680.40 c cleaning 528 clauses out of 1107 for limit 7.287485736920667E-5 1735.23/1723.96 c cleaning 10693 clauses out of 21580 for limit 4987.1871329393325 1736.04/1724.75 c cleaning 5587 clauses out of 11389 for limit 15615.15941860137 1736.63/1725.37 c cleaning 3047 clauses out of 6299 for limit 46420.81475263438 1742.21/1730.86 c cleaning 3738 clauses out of 7752 for limit 3403091.1850408316 1742.71/1731.35 c cleaning 2240 clauses out of 4514 for limit 9637883.722213326 1743.01/1731.63 c cleaning 1268 clauses out of 2774 for limit 2.5863819896732137E7 1743.21/1731.86 c cleaning 905 clauses out of 2009 for limit 5.907158306525934E7 1743.41/1732.10 c cleaning 776 clauses out of 1601 for limit 1.218763856132191E8 1743.71/1732.31 c cleaning 527 clauses out of 1326 for limit 2.429169238590011E8 1743.91/1732.55 c cleaning 607 clauses out of 1298 for limit 4.088349166143558E8 1744.21/1732.81 c cleaning 556 clauses out of 1192 for limit 7.349144989359583E8 1744.31/1732.95 c cleaning 562 clauses out of 1138 for limit 1.2720252125184352E9 1744.61/1733.20 c cleaning 485 clauses out of 1073 for limit 2.218148466360113E9 1772.49/1760.90 c cleaning 10277 clauses out of 20588 for limit 5.665153137344899E-4 1773.09/1761.60 c cleaning 5325 clauses out of 10812 for limit 0.0017807796140010606 1773.80/1762.24 c cleaning 2913 clauses out of 5988 for limit 0.005307925509762495 1774.09/1762.53 c cleaning 1705 clauses out of 3575 for limit 0.014661771673300433 1774.29/1762.78 c cleaning 1102 clauses out of 2368 for limit 0.036430712367347524 1774.59/1763.04 c cleaning 803 clauses out of 1766 for limit 0.08055908955356836 1774.80/1763.26 c cleaning 664 clauses out of 1465 for limit 0.16046951294809852 1783.88/1772.21 c cleaning 4068 clauses out of 8299 for limit 51.30665203807868 1784.48/1772.86 c cleaning 2260 clauses out of 4732 for limit 148.54057596690583 1785.08/1773.42 c cleaning 1393 clauses out of 2973 for limit 390.28811741667494 1785.48/1773.80 c cleaning 958 clauses out of 2078 for limit 919.0127963256493 1785.78/1774.11 c cleaning 730 clauses out of 1620 for limit 1944.0524335898835 1785.98/1774.37 c cleaning 608 clauses out of 1391 for limit 3737.5435137133745 1786.19/1774.55 c cleaning 566 clauses out of 1282 for limit 6681.081008096237 1786.39/1774.75 c cleaning 527 clauses out of 1219 for limit 11622.257129764474 1786.59/1774.92 c cleaning 494 clauses out of 1189 for limit 19591.36438193733 1786.69/1775.06 c cleaning 520 clauses out of 1195 for limit 32146.560931978616 1786.89/1775.21 c cleaning 503 clauses out of 1175 for limit 53916.34507476123 1787.09/1775.50 c cleaning 509 clauses out of 1172 for limit 89142.86463119696 1787.29/1775.69 c cleaning 499 clauses out of 1163 for limit 148146.15018092896 1787.69/1776.01 c cleaning 483 clauses out of 1164 for limit 244102.92954667608 1787.99/1776.35 c cleaning 499 clauses out of 1182 for limit 396824.88045233884 1793.82/1782.16 c cleaning 3232 clauses out of 6682 for limit 2.8375663915564585E7 1794.32/1782.66 c cleaning 1869 clauses out of 3951 for limit 7.922018861275654E7 1794.75/1783.08 c cleaning 1266 clauses out of 2582 for limit 1.999136970883362E8 1795.15/1783.44 c cleaning 882 clauses out of 1815 for limit 4.685366139316338E8 1795.55/1783.81 c cleaning 687 clauses out of 1436 for limit 9.79546701249157E8 1795.85/1784.12 c cleaning 581 clauses out of 1246 for limit 1.8561535302439399E9 1796.15/1784.42 c cleaning 479 clauses out of 1168 for limit 3.27528063578227E9 1796.45/1784.77 c cleaning 485 clauses out of 1186 for limit 5.303456646129784E9 1796.95/1785.20 c cleaning 579 clauses out of 1201 for limit 8.63687415398926E9 1797.24/1785.53 c cleaning 557 clauses out of 1125 for limit 1.5251287181813293E10 1797.44/1785.71 c cleaning 440 clauses out of 1065 for limit 2.6488768345842068E10 1797.64/1785.92 c cleaning 449 clauses out of 1125 for limit 4.135373473398792E10 1797.84/1786.14 c cleaning 477 clauses out of 1177 for limit 6.525010216461515E10 1798.05/1786.38 c cleaning 582 clauses out of 1199 for limit 1.0552609102494612E11 1798.34/1786.60 c cleaning 557 clauses out of 1119 for limit 1.868417206500779E11 1800.07/1788.31 c starts : 21 1800.07/1788.31 c conflicts : 910442 1800.07/1788.31 c decisions : 1555399 1800.07/1788.31 c propagations : 107212156 1800.07/1788.31 c inspects : 1369269463 1800.07/1788.31 c learnt literals : 0 1800.07/1788.31 c learnt binary clauses : 0 1800.07/1788.31 c learnt ternary clauses : 0 1800.07/1788.31 c learnt clauses : 910443 1800.07/1788.31 c root simplifications : 0 1800.07/1788.31 c removed literals (reason simplification) : 0 1800.07/1788.31 c reason swapping (by a shorter reason) : 0 1800.07/1788.31 c Calls to reduceDB : 318 1800.07/1788.31 c speed (decisions/second) : 870.6258829956587 1800.07/1788.31 c non guided choices 12822 1800.07/1788.31 s UNKNOWN 1800.07/1788.31 c Total wall clock time (ms): 1787.962
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-350257-1176492931 -o ROOT/results/node16/solver-350257-1176492931 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350257-1176492931/sat4jPseudoResolution.jar /tmp/evaluation/350257-1176492931/instance-350257-1176492931.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.01 0.24 0.20 2/77 24730 /proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=18568 CPUtime=0 /proc/24730/stat : 24730 (runsolver) D 24728 24730 24667 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 97210791 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 231962373415 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0 /proc/24730/statm: 4642 292 257 24 0 2626 0 [startup+0.0640521 s] /proc/loadavg: 0.01 0.24 0.20 2/77 24730 /proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=18568 CPUtime=0 /proc/24730/stat : 24730 (runsolver) D 24728 24730 24667 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 97210791 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 231962373415 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0 /proc/24730/statm: 4642 292 257 24 0 2626 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18568 [startup+0.101054 s] /proc/loadavg: 0.01 0.24 0.20 2/77 24730 /proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=12056 CPUtime=0 /proc/24730/stat : 24730 (java) R 24728 24730 24667 0 -1 0 609 0 0 0 0 0 0 0 18 0 1 0 97210791 12345344 417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 7169219 0 0 4096 0 0 0 0 17 0 0 0 /proc/24730/statm: 3014 417 141 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12056 [startup+0.301009 s] /proc/loadavg: 0.01 0.24 0.20 2/77 24730 /proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1781448 CPUtime=0.13 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 4427 0 1 0 10 3 0 0 18 0 12 0 97210791 1824202752 4166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 445362 4166 1233 9 0 442974 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 1781448 [startup+0.701926 s] /proc/loadavg: 0.01 0.24 0.20 2/77 24730 /proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1785440 CPUtime=0.7 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 6848 0 1 0 67 3 0 0 18 0 12 0 97210791 1828290560 6384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446360 6384 1295 9 0 443972 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 1785440 [startup+1.50276 s] /proc/loadavg: 0.01 0.24 0.20 4/89 24742 /proc/meminfo: memFree=1737584/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1785024 CPUtime=1.78 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 21740 0 1 0 168 10 0 0 18 0 12 0 97210791 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446256 20652 1309 9 0 443868 0 [pid=24730/tid=24732] ppid=24728 vsize=1785024 CPUtime=0.99 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 18984 0 1 0 90 9 0 0 19 0 12 0 97210801 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109615104 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1785024 CPUtime=0 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 97210803 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1785024 CPUtime=0 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 97210803 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1785024 CPUtime=0 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 97210805 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1785024 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 97210805 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1785024 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 97210805 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1785024 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1785024 CPUtime=0.37 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 713 0 0 0 37 0 0 0 17 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1785024 CPUtime=0.39 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1323 0 0 0 39 0 0 0 16 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1785024 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1785024 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 1785024 [startup+3.10243 s] /proc/loadavg: 0.01 0.24 0.20 4/90 24743 /proc/meminfo: memFree=1648360/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1788472 CPUtime=3.76 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 33801 0 1 0 361 15 0 0 18 0 13 0 97210791 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 447118 31676 1322 9 0 444730 0 [pid=24730/tid=24732] ppid=24728 vsize=1788472 CPUtime=2.32 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 29045 0 1 0 219 13 0 0 18 0 13 0 97210801 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109774495 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 97210803 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 97210803 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 97210805 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 97210805 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 97210805 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1788472 CPUtime=0.68 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2287 0 0 0 68 0 0 0 16 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1788472 CPUtime=0.73 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1746 0 0 0 73 0 0 0 16 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24743] ppid=24728 vsize=1788472 CPUtime=0 /proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.76 Current children cumulated vsize (KiB) 1788472 [startup+6.30177 s] /proc/loadavg: 0.08 0.26 0.20 2/90 24743 /proc/meminfo: memFree=1621480/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1786820 CPUtime=6.97 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 40383 0 1 0 678 19 0 0 18 0 13 0 97210791 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446705 37663 1322 9 0 444317 0 [pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=5.49 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 35625 0 1 0 532 17 0 0 25 0 13 0 97210801 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109722322 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 97210803 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 97210803 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 97210805 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 97210805 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.69 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2287 0 0 0 69 0 0 0 16 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.75 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1748 0 0 0 75 0 0 0 16 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.97 Current children cumulated vsize (KiB) 1786820 [startup+12.7024 s] /proc/loadavg: 0.16 0.27 0.20 2/90 24743 /proc/meminfo: memFree=1560552/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1786820 CPUtime=13.45 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 55449 0 1 0 1318 27 0 0 18 0 13 0 97210791 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446705 51402 1331 9 0 444317 0 [pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=11.79 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37684 0 1 0 1161 18 0 0 25 0 13 0 97210801 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109702723 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=0.07 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 5536 0 0 0 5 2 0 0 16 0 13 0 97210803 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=0.07 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 7466 0 0 0 3 4 0 0 16 0 13 0 97210803 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.7 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2287 0 0 0 70 0 0 0 15 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.76 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1748 0 0 0 76 0 0 0 17 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.45 Current children cumulated vsize (KiB) 1786820 [startup+25.5018 s] /proc/loadavg: 0.34 0.30 0.22 2/90 24743 /proc/meminfo: memFree=1560552/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1786820 CPUtime=26.24 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 55450 0 1 0 2597 27 0 0 18 0 13 0 97210791 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446705 51403 1331 9 0 444317 0 [pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=24.6 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37685 0 1 0 2441 19 0 0 25 0 13 0 97210801 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109759191 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=0.07 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 5536 0 0 0 5 2 0 0 16 0 13 0 97210803 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=0.07 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 7466 0 0 0 3 4 0 0 16 0 13 0 97210803 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=2.79 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13625 0 0 0 253 26 0 0 16 0 13 0 97210805 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1612.99 Current children cumulated vsize (KiB) 1786820 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.84 2/90 24941 /proc/meminfo: memFree=1337000/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1786820 CPUtime=1673.28 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 483791 0 1 0 167029 299 0 0 18 0 13 0 97210791 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446705 106474 1335 9 0 444317 0 [pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=1647.81 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37808 0 1 0 164749 32 0 0 25 0 13 0 97210801 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109776408 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=10.4 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 212697 0 0 0 922 118 0 0 16 0 13 0 97210803 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=10.4 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 214844 0 0 0 920 120 0 0 16 0 13 0 97210803 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=2.98 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13669 0 0 0 272 26 0 0 16 0 13 0 97210805 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1673.28 Current children cumulated vsize (KiB) 1786820 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.85 2/90 24941 /proc/meminfo: memFree=1313768/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1786820 CPUtime=1733.63 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 499295 0 1 0 173052 311 0 0 18 0 13 0 97210791 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446705 112301 1335 9 0 444317 0 [pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=1707.37 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37812 0 1 0 170704 33 0 0 25 0 13 0 97210801 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109759281 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=10.74 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 220630 0 0 0 951 123 0 0 16 0 13 0 97210803 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=10.74 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 222411 0 0 0 949 125 0 0 16 0 13 0 97210803 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=3.08 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13669 0 0 0 282 26 0 0 16 0 13 0 97210805 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1733.63 Current children cumulated vsize (KiB) 1786820 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.85 2/90 24941 /proc/meminfo: memFree=1348200/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1786820 CPUtime=1794.02 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 499302 0 1 0 179090 312 0 0 18 0 13 0 97210791 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446705 103678 1335 9 0 444317 0 [pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=1766.85 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37819 0 1 0 176652 33 0 0 25 0 13 0 97210801 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109759181 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=11.13 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 220630 0 0 0 990 123 0 0 16 0 13 0 97210803 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=11.13 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 222411 0 0 0 988 125 0 0 17 0 13 0 97210803 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=3.2 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13669 0 0 0 293 27 0 0 16 0 13 0 97210805 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1794.02 Current children cumulated vsize (KiB) 1786820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.3 s] /proc/loadavg: 1.00 1.00 0.85 2/90 24941 /proc/meminfo: memFree=1349480/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=1786820 CPUtime=1800.07 /proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 499304 0 1 0 179695 312 0 0 18 0 13 0 97210791 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 446705 103358 1335 9 0 444317 0 [pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=1772.79 /proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37821 0 1 0 177246 33 0 0 25 0 13 0 97210801 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109779800 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=11.19 /proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 220630 0 0 0 996 123 0 0 16 0 13 0 97210803 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=11.19 /proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 222411 0 0 0 994 125 0 0 16 0 13 0 97210803 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=3.2 /proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13669 0 0 0 293 27 0 0 16 0 13 0 97210805 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77 /proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86 /proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0 /proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1786820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1788.41 s] /proc/loadavg: 1.00 1.00 0.85 2/90 24941 /proc/meminfo: memFree=1349480/2055920 swapFree=4192812/4192956 [pid=24730] ppid=24728 vsize=0 CPUtime=1800.18 /proc/24730/stat : 24730 (java) Z 24728 24730 24667 0 -1 1036 499324 0 1 0 179701 317 0 0 15 0 2 0 97210791 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24730/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1788.43 CPU time (s): 1800.21 CPU user time (s): 1797.02 CPU system time (s): 3.18951 CPU usage (%): 100.659 Max. virtual memory (cumulated for all children) (KiB): 1788616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.02 system time used= 3.18952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 499324 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37907 involuntary context switches= 48990 runsolver used 1.59476 second user time and 5.02224 second system time The end
Begin job on node16 on Fri Apr 13 19:35:32 UTC 2007 IDJOB= 350257 IDBENCH= 1153 IDSOLVER= 159 FILE ID= node16/350257-1176492931 PBS_JOBID= 4556677 Free space on /tmp= 66516 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350257-1176492931/sat4jPseudoResolution.jar /tmp/evaluation/350257-1176492931/instance-350257-1176492931.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-350257-1176492931 -o ROOT/results/node16/solver-350257-1176492931 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350257-1176492931/sat4jPseudoResolution.jar /tmp/evaluation/350257-1176492931/instance-350257-1176492931.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227 RANDOM SEED= 236158655 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1762536 kB Buffers: 39668 kB Cached: 137668 kB SwapCached: 144 kB Active: 176364 kB Inactive: 56076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1762536 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 5132 kB Writeback: 0 kB Mapped: 73868 kB Slab: 46464 kB Committed_AS: 2575632 kB PageTables: 1836 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= 66516 MiB End job on node16 on Fri Apr 13 20:05:22 UTC 2007