Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | ? (TO) | 1800.25 | 1794.56 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_1_15.opb |
MD5SUM | 0df66f3e832b73f1cdf8165c8cc1c11b |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non 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 | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.2.0.v20100526 0.09/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.15 c java.vm.version 11.2-b01 0.09/0.15 c java.vm.vendor Sun Microsystems Inc. 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.18-164.el5 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.25/0.20 c Pseudo Boolean Optimization 0.25/0.20 c --- Begin Solver configuration --- 0.25/0.20 c Stops conflict analysis at the first Unique Implication Point 0.25/0.20 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.25/0.20 c Learn all clauses as in MiniSAT 0.25/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.20 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.25/0.20 c Expensive reason simplification 0.25/0.20 c Armin Biere (Picosat) restarts strategy 0.25/0.20 c Glucose learned constraints deletion strategy 0.25/0.20 c timeout=2147483s 0.25/0.20 c DB Simplification allowed=false 0.25/0.20 c --- End Solver configuration --- 0.25/0.20 c solving HOME/instance-2658229-1276680407.opb 0.25/0.20 c reading problem ... 2.81/2.08 c ... done. Wall clock time 1.877s. 2.81/2.08 c #vars 3238 2.81/2.08 c #constraints 6379 2.81/2.08 c constraints type 2.81/2.08 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3038 2.81/2.08 c org.sat4j.minisat.constraints.card.MinWatchCard => 203 2.81/2.08 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100 2.81/2.08 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3038 7.70/6.37 c cleaning 2514 clauses out of 5028 with flag 5028/5028 13.16/11.55 c cleaning 4249 clauses out of 8497 with flag 11011/11011 18.48/16.81 c cleaning 5625 clauses out of 11250 with flag 18013/18013 24.38/22.67 c cleaning 6813 clauses out of 13626 with flag 26014/26014 33.70/31.81 c cleaning 7903 clauses out of 15806 with flag 35007/35007 45.41/43.56 c cleaning 8955 clauses out of 17909 with flag 45013/45013 57.63/55.71 c cleaning 9477 clauses out of 18956 with flag 55015/55015 67.15/65.24 c cleaning 9743 clauses out of 19485 with flag 65021/65021 79.19/77.29 c cleaning 9876 clauses out of 19753 with flag 75032/75032 91.41/89.45 c cleaning 9924 clauses out of 19847 with flag 85002/85002 104.94/102.97 c cleaning 9979 clauses out of 19958 with flag 95037/95037 115.53/113.42 c cleaning 9973 clauses out of 19949 with flag 105007/105007 125.82/123.61 c cleaning 9984 clauses out of 19970 with flag 115001/115001 136.05/133.84 c cleaning 9994 clauses out of 19992 with flag 125007/125007 145.18/142.90 c cleaning 9993 clauses out of 19991 with flag 135000/135000 153.30/151.00 c cleaning 9997 clauses out of 19998 with flag 145000/145000 161.31/159.05 c cleaning 9999 clauses out of 20001 with flag 155000/155000 170.02/167.78 c cleaning 10000 clauses out of 20004 with flag 165002/165002 178.83/176.52 c cleaning 10000 clauses out of 20004 with flag 175002/175002 186.84/184.51 c cleaning 9999 clauses out of 20002 with flag 185000/185000 195.46/193.10 c cleaning 10000 clauses out of 20005 with flag 195002/195002 203.89/201.50 c cleaning 10004 clauses out of 20011 with flag 205008/205008 212.80/210.45 c cleaning 9998 clauses out of 19999 with flag 215000/215000 221.22/218.84 c cleaning 10005 clauses out of 20022 with flag 225021/225021 229.04/226.63 c cleaning 9996 clauses out of 19996 with flag 235000/235000 234.28/231.82 c cleaning 9998 clauses out of 20004 with flag 245004/245004 239.90/237.42 c cleaning 9997 clauses out of 20014 with flag 255012/255012 247.73/245.30 c cleaning 10008 clauses out of 20020 with flag 265015/265015 255.64/253.12 c cleaning 10008 clauses out of 20019 with flag 275022/275022 263.25/260.71 c cleaning 10004 clauses out of 20012 with flag 285023/285023 271.26/268.73 c cleaning 9991 clauses out of 19985 with flag 295000/295000 278.58/276.01 c cleaning 9996 clauses out of 19996 with flag 305002/305002 285.79/283.29 c cleaning 10002 clauses out of 20008 with flag 315010/315010 293.61/291.04 c cleaning 10003 clauses out of 20009 with flag 325013/325013 302.33/299.80 c cleaning 10001 clauses out of 20006 with flag 335013/335013 309.24/306.68 c cleaning 9995 clauses out of 19993 with flag 345001/345001 316.66/314.04 c cleaning 10002 clauses out of 20008 with flag 355011/355011 323.97/321.33 c cleaning 10001 clauses out of 20005 with flag 365010/365010 333.11/330.45 c cleaning 9997 clauses out of 19998 with flag 375004/375004 340.11/337.40 c cleaning 10003 clauses out of 20008 with flag 385011/385011 349.02/346.31 c cleaning 9999 clauses out of 19998 with flag 395004/395004 358.43/355.74 c cleaning 9996 clauses out of 19996 with flag 405001/405001 367.64/364.98 c cleaning 10003 clauses out of 20010 with flag 415011/415011 375.95/373.23 c cleaning 10006 clauses out of 20015 with flag 425019/425019 382.17/379.44 c cleaning 9995 clauses out of 19993 with flag 435003/435003 389.89/387.15 c cleaning 9998 clauses out of 20000 with flag 445005/445005 397.30/394.52 c cleaning 10002 clauses out of 20007 with flag 455010/455010 406.11/403.31 c cleaning 10005 clauses out of 20014 with flag 465019/465019 411.43/408.67 c cleaning 9996 clauses out of 19998 with flag 475008/475008 418.44/415.67 c cleaning 10010 clauses out of 20023 with flag 485029/485029 426.96/424.13 c cleaning 10003 clauses out of 20007 with flag 495023/495023 432.87/430.07 c cleaning 9990 clauses out of 19983 with flag 505002/505002 439.68/436.86 c cleaning 9993 clauses out of 19992 with flag 515001/515001 446.50/443.62 c cleaning 9997 clauses out of 20001 with flag 525003/525003 452.20/449.34 c cleaning 10000 clauses out of 20003 with flag 535002/535002 458.40/455.58 c cleaning 10000 clauses out of 20004 with flag 545003/545003 464.61/461.75 c cleaning 10000 clauses out of 20005 with flag 555004/555004 470.71/467.85 c cleaning 10013 clauses out of 20028 with flag 565027/565027 477.84/474.91 c cleaning 9997 clauses out of 19995 with flag 575007/575007 483.85/480.90 c cleaning 9994 clauses out of 19993 with flag 585002/585002 493.46/490.52 c cleaning 10002 clauses out of 20007 with flag 595010/595010 501.88/498.91 c cleaning 10002 clauses out of 20010 with flag 605015/605015 510.62/507.67 c cleaning 9999 clauses out of 20004 with flag 615011/615011 518.14/515.17 c cleaning 10002 clauses out of 20010 with flag 625016/625016 526.57/523.56 c cleaning 9999 clauses out of 20002 with flag 635010/635010 534.39/531.37 c cleaning 9996 clauses out of 19996 with flag 645003/645003 543.10/540.02 c cleaning 10010 clauses out of 20024 with flag 655027/655027 551.92/548.86 c cleaning 9995 clauses out of 19990 with flag 665003/665003 558.12/555.06 c cleaning 9998 clauses out of 20002 with flag 675010/675010 564.53/561.50 c cleaning 9994 clauses out of 19994 with flag 685000/685000 570.15/567.03 c cleaning 9998 clauses out of 20002 with flag 695002/695002 576.46/573.33 c cleaning 9999 clauses out of 20003 with flag 705001/705001 582.59/579.48 c cleaning 10020 clauses out of 20043 with flag 715040/715040 589.59/586.49 c cleaning 9998 clauses out of 19999 with flag 725016/725016 596.31/593.17 c cleaning 9999 clauses out of 20002 with flag 735017/735017 603.15/599.97 c cleaning 9993 clauses out of 19991 with flag 745005/745005 609.95/606.77 c cleaning 9998 clauses out of 20001 with flag 755008/755008 616.67/613.46 c cleaning 9995 clauses out of 19998 with flag 765003/765003 623.78/620.54 c cleaning 9999 clauses out of 20002 with flag 775002/775002 630.79/627.54 c cleaning 9993 clauses out of 20001 with flag 785000/785000 637.40/634.15 c cleaning 10011 clauses out of 20024 with flag 795016/795016 642.91/639.69 c cleaning 9999 clauses out of 20006 with flag 805009/805009 649.62/646.30 c cleaning 9997 clauses out of 20003 with flag 815005/815005 655.94/652.69 c cleaning 9996 clauses out of 20002 with flag 825001/825001 662.15/658.85 c cleaning 9991 clauses out of 20005 with flag 835000/835000 668.55/665.24 c cleaning 10010 clauses out of 20034 with flag 845020/845020 674.67/671.33 c cleaning 10000 clauses out of 20012 with flag 855008/855008 681.48/678.18 c cleaning 9995 clauses out of 20006 with flag 865002/865002 689.70/686.33 c cleaning 9998 clauses out of 20010 with flag 875001/875001 696.40/693.08 c cleaning 10005 clauses out of 20020 with flag 885009/885009 706.50/703.13 c cleaning 10002 clauses out of 20013 with flag 895007/895007 715.02/711.70 c cleaning 10011 clauses out of 20028 with flag 905024/905024 721.84/718.47 c cleaning 9997 clauses out of 20001 with flag 915008/915008 730.05/726.63 c cleaning 9995 clauses out of 19999 with flag 925003/925003 740.36/736.96 c cleaning 10020 clauses out of 20050 with flag 935049/935049 749.07/745.67 c cleaning 9991 clauses out of 19991 with flag 945010/945010 756.08/752.69 c cleaning 9998 clauses out of 20007 with flag 955017/955017 762.60/759.13 c cleaning 9996 clauses out of 20004 with flag 965012/965012 770.12/766.61 c cleaning 9992 clauses out of 19997 with flag 975001/975001 776.02/772.50 c cleaning 10007 clauses out of 20026 with flag 985022/985022 783.63/780.17 c cleaning 9996 clauses out of 20003 with flag 995006/995006 790.64/787.16 c cleaning 10003 clauses out of 20017 with flag 1005016/1005016 797.26/793.75 c cleaning 10001 clauses out of 20009 with flag 1015011/1015011 804.57/801.00 c cleaning 9992 clauses out of 19997 with flag 1025000/1025000 812.59/809.06 c cleaning 10004 clauses out of 20015 with flag 1035010/1035010 819.72/816.12 c cleaning 10000 clauses out of 20008 with flag 1045007/1045007 825.93/822.39 c cleaning 9997 clauses out of 20011 with flag 1055010/1055010 831.73/828.20 c cleaning 9999 clauses out of 20007 with flag 1065003/1065003 839.13/835.54 c cleaning 9999 clauses out of 20008 with flag 1075003/1075003 847.05/843.41 c cleaning 9998 clauses out of 20006 with flag 1085000/1085000 854.38/850.76 c cleaning 10019 clauses out of 20046 with flag 1095038/1095038 860.59/856.92 c cleaning 9989 clauses out of 19991 with flag 1105002/1105002 866.89/863.21 c cleaning 9999 clauses out of 20007 with flag 1115007/1115007 873.61/869.97 c cleaning 9982 clauses out of 20001 with flag 1125000/1125000 881.03/877.35 c cleaning 10013 clauses out of 20036 with flag 1135017/1135017 888.05/884.31 c cleaning 10003 clauses out of 20015 with flag 1145009/1145009 894.86/891.12 c cleaning 10005 clauses out of 20020 with flag 1155017/1155017 902.07/898.39 c cleaning 9997 clauses out of 19999 with flag 1165001/1165001 907.89/904.15 c cleaning 9997 clauses out of 20001 with flag 1175000/1175000 914.30/910.51 c cleaning 9999 clauses out of 20010 with flag 1185006/1185006 922.92/919.12 c cleaning 9992 clauses out of 20005 with flag 1195000/1195000 930.33/926.59 c cleaning 9994 clauses out of 20013 with flag 1205000/1205000 937.14/933.36 c cleaning 10002 clauses out of 20019 with flag 1215000/1215000 942.96/939.13 c cleaning 10008 clauses out of 20026 with flag 1225009/1225009 949.28/945.46 c cleaning 9993 clauses out of 20009 with flag 1235000/1235000 956.68/952.83 c cleaning 10004 clauses out of 20020 with flag 1245004/1245004 964.40/960.51 c cleaning 10002 clauses out of 20014 with flag 1255002/1255002 971.21/967.37 c cleaning 10001 clauses out of 20015 with flag 1265005/1265005 979.13/975.20 c cleaning 9993 clauses out of 20009 with flag 1275000/1275000 986.26/982.31 c cleaning 10011 clauses out of 20027 with flag 1285011/1285011 992.76/988.82 c cleaning 10006 clauses out of 20021 with flag 1295016/1295016 999.17/995.25 c cleaning 10004 clauses out of 20016 with flag 1305017/1305017 1005.08/1001.17 c cleaning 10002 clauses out of 20011 with flag 1315016/1315016 1011.99/1008.03 c cleaning 9989 clauses out of 19993 with flag 1325000/1325000 1019.91/1015.96 c cleaning 9999 clauses out of 20008 with flag 1335004/1335004 1028.74/1024.72 c cleaning 9999 clauses out of 20007 with flag 1345002/1345002 1039.66/1035.62 c cleaning 9998 clauses out of 20009 with flag 1355003/1355003 1049.88/1045.81 c cleaning 10002 clauses out of 20013 with flag 1365005/1365005 1057.09/1053.03 c cleaning 10000 clauses out of 20010 with flag 1375004/1375004 1064.21/1060.15 c cleaning 10003 clauses out of 20015 with flag 1385009/1385009 1072.64/1068.58 c cleaning 10009 clauses out of 20025 with flag 1395022/1395022 1080.76/1076.67 c cleaning 9998 clauses out of 20003 with flag 1405009/1405009 1088.89/1084.79 c cleaning 10003 clauses out of 20014 with flag 1415018/1415018 1094.70/1090.50 c cleaning 9996 clauses out of 20004 with flag 1425011/1425011 1100.91/1096.76 c cleaning 10004 clauses out of 20017 with flag 1435020/1435020 1107.31/1103.15 c cleaning 9995 clauses out of 20002 with flag 1445009/1445009 1112.84/1108.66 c cleaning 10002 clauses out of 20015 with flag 1455017/1455017 1119.35/1115.11 c cleaning 9994 clauses out of 19999 with flag 1465003/1465003 1125.36/1121.10 c cleaning 9999 clauses out of 20009 with flag 1475007/1475007 1131.07/1126.88 c cleaning 9996 clauses out of 20003 with flag 1485000/1485000 1136.89/1132.67 c cleaning 9997 clauses out of 20008 with flag 1495001/1495001 1143.82/1139.53 c cleaning 10000 clauses out of 20011 with flag 1505001/1505001 1150.43/1146.18 c cleaning 10008 clauses out of 20027 with flag 1515017/1515017 1156.13/1151.85 c cleaning 9996 clauses out of 20003 with flag 1525001/1525001 1163.54/1159.25 c cleaning 10000 clauses out of 20007 with flag 1535001/1535001 1172.16/1167.89 c cleaning 10002 clauses out of 20013 with flag 1545007/1545007 1181.39/1177.08 c cleaning 10000 clauses out of 20007 with flag 1555003/1555003 1188.69/1184.32 c cleaning 9997 clauses out of 20005 with flag 1565001/1565001 1194.51/1190.15 c cleaning 10003 clauses out of 20013 with flag 1575006/1575006 1200.32/1195.96 c cleaning 9999 clauses out of 20007 with flag 1585003/1585003 1206.53/1202.20 c cleaning 10001 clauses out of 20013 with flag 1595008/1595008 1212.84/1208.45 c cleaning 10007 clauses out of 20024 with flag 1605020/1605020 1218.24/1213.83 c cleaning 9993 clauses out of 19998 with flag 1615001/1615001 1225.95/1221.59 c cleaning 10014 clauses out of 20037 with flag 1625033/1625033 1234.17/1229.75 c cleaning 9997 clauses out of 20003 with flag 1635013/1635013 1240.79/1236.34 c cleaning 9994 clauses out of 19993 with flag 1645000/1645000 1246.40/1241.96 c cleaning 9994 clauses out of 19999 with flag 1655000/1655000 1252.41/1247.97 c cleaning 9998 clauses out of 20006 with flag 1665001/1665001 1258.32/1253.88 c cleaning 9990 clauses out of 20007 with flag 1675000/1675000 1264.34/1259.82 c cleaning 10006 clauses out of 20021 with flag 1685004/1685004 1270.06/1265.58 c cleaning 10014 clauses out of 20035 with flag 1695024/1695024 1275.16/1270.66 c cleaning 9994 clauses out of 19997 with flag 1705000/1705000 1281.27/1276.75 c cleaning 9991 clauses out of 20005 with flag 1715002/1715002 1287.99/1283.47 c cleaning 9967 clauses out of 20013 with flag 1725001/1725001 1295.50/1290.97 c cleaning 10009 clauses out of 20045 with flag 1735000/1735000 1302.41/1297.88 c cleaning 10014 clauses out of 20040 with flag 1745004/1745004 1308.81/1304.28 c cleaning 9990 clauses out of 20024 with flag 1755002/1755002 1315.23/1310.62 c cleaning 10009 clauses out of 20032 with flag 1765000/1765000 1321.94/1317.33 c cleaning 10008 clauses out of 20024 with flag 1775001/1775001 1331.28/1326.66 c cleaning 10035 clauses out of 20073 with flag 1785058/1785058 1336.79/1332.14 c cleaning 9986 clauses out of 19983 with flag 1795003/1795003 1342.60/1337.90 c cleaning 10002 clauses out of 20011 with flag 1805017/1805017 1347.81/1343.16 c cleaning 9998 clauses out of 20005 with flag 1815013/1815013 1352.82/1348.14 c cleaning 9997 clauses out of 20004 with flag 1825010/1825010 1358.23/1353.56 c cleaning 9989 clauses out of 20000 with flag 1835003/1835003 1365.06/1360.33 c cleaning 10001 clauses out of 20011 with flag 1845003/1845003 1371.17/1366.45 c cleaning 10004 clauses out of 20023 with flag 1855016/1855016 1377.59/1372.87 c cleaning 10007 clauses out of 20023 with flag 1865020/1865020 1383.11/1378.33 c cleaning 9985 clauses out of 19996 with flag 1875000/1875000 1388.72/1383.95 c cleaning 10003 clauses out of 20015 with flag 1885004/1885004 1395.02/1390.23 c cleaning 10005 clauses out of 20018 with flag 1895010/1895010 1401.86/1397.04 c cleaning 10000 clauses out of 20012 with flag 1905009/1905009 1407.67/1402.88 c cleaning 9984 clauses out of 20005 with flag 1915002/1915002 1414.28/1409.47 c cleaning 9999 clauses out of 20022 with flag 1925003/1925003 1420.41/1415.59 c cleaning 10008 clauses out of 20024 with flag 1935004/1935004 1425.82/1420.96 c cleaning 9999 clauses out of 20014 with flag 1945002/1945002 1431.72/1426.90 c cleaning 9995 clauses out of 20020 with flag 1955007/1955007 1437.43/1432.56 c cleaning 10002 clauses out of 20019 with flag 1965001/1965001 1442.66/1437.73 c cleaning 10002 clauses out of 20016 with flag 1975000/1975000 1447.86/1443.00 c cleaning 10003 clauses out of 20015 with flag 1985001/1985001 1454.48/1449.51 c cleaning 10001 clauses out of 20011 with flag 1995000/1995000 1462.80/1457.84 c cleaning 9994 clauses out of 20017 with flag 2005007/2005007 1469.13/1464.15 c cleaning 10014 clauses out of 20035 with flag 2015019/2015019 1476.44/1471.42 c cleaning 9994 clauses out of 20002 with flag 2025000/2025000 1483.65/1478.69 c cleaning 10007 clauses out of 20022 with flag 2035014/2035014 1491.75/1486.70 c cleaning 9991 clauses out of 20004 with flag 2045003/2045003 1499.87/1494.83 c cleaning 9988 clauses out of 20014 with flag 2055004/2055004 1507.69/1502.63 c cleaning 10006 clauses out of 20022 with flag 2065000/2065000 1516.70/1511.66 c cleaning 9996 clauses out of 20016 with flag 2075000/2075000 1523.43/1518.31 c cleaning 10006 clauses out of 20021 with flag 2085001/2085001 1531.34/1526.25 c cleaning 10017 clauses out of 20043 with flag 2095029/2095029 1540.56/1535.40 c cleaning 9997 clauses out of 20001 with flag 2105004/2105004 1547.28/1542.11 c cleaning 9999 clauses out of 20011 with flag 2115011/2115011 1554.08/1548.93 c cleaning 9998 clauses out of 20005 with flag 2125004/2125004 1559.99/1554.86 c cleaning 9998 clauses out of 20007 with flag 2135004/2135004 1566.10/1560.91 c cleaning 9997 clauses out of 20006 with flag 2145001/2145001 1572.41/1567.24 c cleaning 9985 clauses out of 20008 with flag 2155000/2155000 1578.31/1573.18 c cleaning 10009 clauses out of 20027 with flag 2165004/2165004 1584.02/1578.80 c cleaning 10002 clauses out of 20015 with flag 2175001/2175001 1590.34/1585.15 c cleaning 10001 clauses out of 20013 with flag 2185001/2185001 1597.74/1592.56 c cleaning 10005 clauses out of 20024 with flag 2195013/2195013 1603.25/1598.10 c cleaning 9998 clauses out of 20010 with flag 2205004/2205004 1608.86/1603.63 c cleaning 10008 clauses out of 20027 with flag 2215019/2215019 1614.48/1609.30 c cleaning 9994 clauses out of 20001 with flag 2225001/2225001 1620.00/1614.80 c cleaning 9998 clauses out of 20007 with flag 2235001/2235001 1627.20/1621.97 c cleaning 9999 clauses out of 20010 with flag 2245002/2245002 1633.62/1628.38 c cleaning 10003 clauses out of 20017 with flag 2255008/2255008 1639.54/1634.23 c cleaning 9991 clauses out of 20006 with flag 2265000/2265000 1645.25/1639.91 c cleaning 10005 clauses out of 20021 with flag 2275006/2275006 1652.66/1647.34 c cleaning 10001 clauses out of 20013 with flag 2285003/2285003 1658.87/1653.57 c cleaning 10003 clauses out of 20017 with flag 2295008/2295008 1665.68/1660.38 c cleaning 10005 clauses out of 20021 with flag 2305015/2305015 1672.40/1667.09 c cleaning 9995 clauses out of 20001 with flag 2315000/2315000 1677.99/1672.61 c cleaning 9999 clauses out of 20008 with flag 2325002/2325002 1683.00/1677.63 c cleaning 9997 clauses out of 20007 with flag 2335000/2335000 1688.32/1682.95 c cleaning 10000 clauses out of 20011 with flag 2345001/2345001 1692.82/1687.42 c cleaning 10001 clauses out of 20011 with flag 2355001/2355001 1697.73/1692.32 c cleaning 9998 clauses out of 20010 with flag 2365001/2365001 1701.94/1696.58 c cleaning 9997 clauses out of 20011 with flag 2375000/2375000 1706.05/1700.64 c cleaning 10002 clauses out of 20014 with flag 2385000/2385000 1710.05/1704.64 c cleaning 9997 clauses out of 20013 with flag 2395001/2395001 1715.16/1709.73 c cleaning 10000 clauses out of 20028 with flag 2405013/2405013 1720.16/1714.74 c cleaning 10002 clauses out of 20016 with flag 2415001/2415001 1725.07/1719.61 c cleaning 10002 clauses out of 20015 with flag 2425002/2425002 1730.09/1724.61 c cleaning 10001 clauses out of 20011 with flag 2435000/2435000 1735.11/1729.65 c cleaning 10005 clauses out of 20017 with flag 2445007/2445007 1740.23/1734.75 c cleaning 10014 clauses out of 20038 with flag 2455033/2455033 1744.94/1739.41 c cleaning 9993 clauses out of 19997 with flag 2465006/2465006 1749.86/1744.31 c cleaning 9997 clauses out of 20003 with flag 2475005/2475005 1755.26/1749.78 c cleaning 9996 clauses out of 20004 with flag 2485003/2485003 1761.56/1756.06 c cleaning 9992 clauses out of 20005 with flag 2495000/2495000 1766.58/1761.05 c cleaning 9999 clauses out of 20013 with flag 2505000/2505000 1772.59/1767.01 c cleaning 10005 clauses out of 20026 with flag 2515012/2515012 1779.81/1774.24 c cleaning 10003 clauses out of 20015 with flag 2525006/2525006 1784.91/1779.35 c cleaning 9998 clauses out of 20009 with flag 2535003/2535003 1790.02/1784.49 c cleaning 9998 clauses out of 20009 with flag 2545001/2545001 1795.34/1789.72 c cleaning 10000 clauses out of 20013 with flag 2555003/2555003 1800.04/1794.41 c starts : 230 1800.04/1794.41 c conflicts : 2564786 1800.04/1794.41 c decisions : 8756473 1800.04/1794.41 c propagations : 50273768 1800.04/1794.41 c inspects : 3027828698 1800.04/1794.41 c learnt literals : 0 1800.04/1794.41 c learnt binary clauses : 0 1800.04/1794.41 c learnt ternary clauses : 984 1800.04/1794.41 c learnt clauses : 2564786 1800.04/1794.41 c ignored clauses : 0 1800.04/1794.41 c root simplifications : 0 1800.04/1794.41 c removed literals (reason simplification) : 83323283 1800.04/1794.41 c reason swapping (by a shorter reason) : 0 1800.04/1794.41 c Calls to reduceDB : 257 1800.04/1794.41 c number of reductions to clauses (during analyze) : 0 1800.04/1794.41 c number of learned constraints concerned by reduction : 0 1800.04/1794.41 c number of learning phase by resolution : 0 1800.04/1794.41 c number of learning phase by cutting planes : 0 1800.04/1794.41 c speed (assignments/second) : 28049.36418029695 1800.04/1794.42 c non guided choices 3096 1800.04/1794.47 c learnt constraints type 1800.04/1794.47 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 19935 1800.04/1794.47 c constraints type 1800.04/1794.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3038 1800.04/1794.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 203 1800.04/1794.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100 1800.04/1794.47 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3038 1800.04/1794.47 s UNKNOWN 1800.04/1794.47 c Total wall clock time (in seconds): 1794.263
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658229-1276680407/watcher-2658229-1276680407 -o /tmp/evaluation-result-2658229-1276680407/solver-2658229-1276680407 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658229-1276680407.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15388 /proc/meminfo: memFree=1748788/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=248 CPUtime=0 /proc/15388/stat : 15388 (java) R 15386 15388 14607 0 -1 4194304 280 0 0 0 0 0 0 0 19 0 1 0 9328791 253952 26 1992294400 134512640 134550932 4292493872 18446744073709551615 1160848 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15388/statm: 62 28 21 10 0 23 0 [startup+0.084958 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15388 /proc/meminfo: memFree=1748788/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1521796 CPUtime=0.06 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 3806 0 1 0 5 1 0 0 18 0 7 0 9328791 1558319104 3247 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 380449 3247 1044 10 0 377759 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1521796 [startup+0.101958 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15388 /proc/meminfo: memFree=1748788/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1524184 CPUtime=0.09 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 3965 0 1 0 7 2 0 0 18 0 12 0 9328791 1560764416 3404 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 381046 3404 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1524184 [startup+0.301184 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15388 /proc/meminfo: memFree=1748788/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1526948 CPUtime=0.39 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 5478 0 1 0 36 3 0 0 18 0 12 0 9328791 1563594752 4915 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 381737 4915 1363 10 0 379039 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 1526948 [startup+0.701194 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15388 /proc/meminfo: memFree=1748788/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1528544 CPUtime=1.1 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 6916 0 1 0 106 4 0 0 18 0 12 0 9328791 1565229056 6240 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 382136 6240 1408 10 0 379438 0 Current children cumulated CPU time (s) 1.1 Current children cumulated vsize (KiB) 1528544 [startup+1.50121 s] /proc/loadavg: 0.92 0.98 0.99 2/118 15400 /proc/meminfo: memFree=1726188/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1528812 CPUtime=2.26 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 8563 0 1 0 221 5 0 0 18 0 12 0 9328791 1565503488 7476 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 382203 7476 1409 10 0 379505 0 [pid=15388/tid=15390] ppid=15386 vsize=1528812 CPUtime=1.46 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 5710 0 1 0 143 3 0 0 19 0 12 0 9328793 1565503488 7476 1992294400 134512640 134550932 4292493872 18446744073709551615 4109651969 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1528812 CPUtime=0 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 9328794 1565503488 7476 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1528812 CPUtime=0 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 9328794 1565503488 7476 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1528812 CPUtime=0 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 9328796 1565503488 7476 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1528812 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 12 0 9328796 1565503488 7476 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1528812 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 9328796 1565503488 7476 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1528812 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 9328801 1565503488 7476 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1528812 CPUtime=0.38 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 736 0 0 0 38 0 0 0 24 0 12 0 9328801 1565503488 7477 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1528812 CPUtime=0.39 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1052 0 0 0 39 0 0 0 22 0 12 0 9328801 1565503488 7477 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1528812 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 9328801 1565503488 7477 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1528812 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9328801 1565503488 7477 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 1528812 [startup+3.10025 s] /proc/loadavg: 0.92 0.98 0.99 3/119 15401 /proc/meminfo: memFree=1719856/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1531824 CPUtime=4.38 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 22572 0 1 0 427 11 0 0 18 0 13 0 9328791 1568587776 21154 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 382956 21155 1425 10 0 380258 0 [pid=15388/tid=15390] ppid=15386 vsize=1531824 CPUtime=2.8 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 18614 0 1 0 271 9 0 0 25 0 13 0 9328793 1568587776 21156 1992294400 134512640 134550932 4292493872 18446744073709551615 4109903179 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 9328794 1568587776 21156 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 9328794 1568587776 21157 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 9328796 1568587776 21157 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 9328796 1568587776 21158 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9328796 1568587776 21159 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1568587776 21159 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1531824 CPUtime=0.74 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 1633 0 0 0 74 0 0 0 15 0 13 0 9328801 1568587776 21160 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1531824 CPUtime=0.81 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1258 0 0 0 81 0 0 0 15 0 13 0 9328801 1568587776 21160 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1568587776 21160 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9328801 1568587776 21161 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15401] ppid=15386 vsize=1531824 CPUtime=0 /proc/15388/task/15401/stat : 15401 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 13 0 9329001 1568587776 21161 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.38 Current children cumulated vsize (KiB) 1531824 [startup+6.30133 s] /proc/loadavg: 1.09 1.02 1.01 2/119 15401 /proc/meminfo: memFree=1606396/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1531412 CPUtime=7.7 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 38810 0 1 0 752 18 0 0 18 0 13 0 9328791 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 382853 37056 1438 10 0 380155 0 [pid=15388/tid=15390] ppid=15386 vsize=1531412 CPUtime=5.93 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 32059 0 1 0 579 14 0 0 25 0 13 0 9328793 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4109980351 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1531412 CPUtime=0.04 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 1308 0 0 0 4 0 0 0 18 0 13 0 9328794 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1531412 CPUtime=0.03 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 1436 0 0 0 3 0 0 0 18 0 13 0 9328794 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1531412 CPUtime=0 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 13 0 9328796 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1531412 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9328796 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1531412 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9328796 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1531412 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1531412 CPUtime=0.76 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 1634 0 0 0 76 0 0 0 16 0 13 0 9328801 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1531412 CPUtime=0.87 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1295 0 0 0 87 0 0 0 15 0 13 0 9328801 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1531412 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1531412 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9328801 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15401] ppid=15386 vsize=1531412 CPUtime=0 /proc/15388/task/15401/stat : 15401 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 13 0 9329001 1568165888 37056 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 1531412 [startup+12.7017 s] /proc/loadavg: 1.08 1.02 1.00 2/119 15401 /proc/meminfo: memFree=1580108/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1533460 CPUtime=14.36 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 46376 0 1 0 1415 21 0 0 18 0 13 0 9328791 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 383365 44078 1443 10 0 380667 0 [pid=15388/tid=15390] ppid=15386 vsize=1533460 CPUtime=12.14 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 34463 0 1 0 1199 15 0 0 25 0 13 0 9328793 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4109765830 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1533460 CPUtime=0.07 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 2519 0 0 0 6 1 0 0 15 0 13 0 9328794 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1533460 CPUtime=0.08 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 2438 0 0 0 7 1 0 0 16 0 13 0 9328794 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1533460 CPUtime=0.07 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 1857 0 0 0 7 0 0 0 15 0 13 0 9328796 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1533460 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9328796 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1533460 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9328796 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1533460 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1533460 CPUtime=1.01 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 2731 0 0 0 100 1 0 0 16 0 13 0 9328801 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1533460 CPUtime=0.93 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1303 0 0 0 93 0 0 0 16 0 13 0 9328801 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1533460 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1533460 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9328801 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15401] ppid=15386 vsize=1533460 CPUtime=0 /proc/15388/task/15401/stat : 15401 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 13 0 9329001 1570263040 44078 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.36 Current children cumulated vsize (KiB) 1533460 [startup+25.5025 s] /proc/loadavg: 1.06 1.01 1.00 3/119 15401 /proc/meminfo: memFree=1565600/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1532436 CPUtime=27.38 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 50417 0 1 0 2715 23 0 0 18 0 13 0 9328791 1569214464 46934 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 383109 46934 1443 10 0 380411 0 [pid=15388/tid=15390] ppid=15386 vsize=1532436 CPUtime=24.76 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 34712 0 1 0 2461 15 0 0 25 0 13 0 9328793 1569214464 46934 1992294400 134512640 134550932 4292493872 18446744073709551615 4109893948 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1532436 CPUtime=0.13 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 4472 0 0 0 11 2 0 0 15 0 13 0 9328794 1569214464 46934 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1532436 CPUtime=0.12 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 4221 0 0 0 11 1 0 0 16 0 13 0 9328794 1569214464 46934 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1532436 CPUtime=0.17 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 1902 0 0 0 17 0 0 0 16 0 13 0 9328796 1569214464 46934 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1532436 CPUtime=0 ################ # More data... # ################ [pid=15388] ppid=15386 vsize=1532436 CPUtime=1667.69 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 58650 0 1 0 166695 74 0 0 18 0 13 0 9328791 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 383109 52742 1443 10 0 380411 0 [pid=15388/tid=15390] ppid=15386 vsize=1532436 CPUtime=1642.1 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 35454 0 1 0 164189 21 0 0 25 0 13 0 9328793 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4109893986 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1532436 CPUtime=5.7 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 8089 0 0 0 549 21 0 0 16 0 13 0 9328794 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1532436 CPUtime=5.67 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 7470 0 0 0 546 21 0 0 15 0 13 0 9328794 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1532436 CPUtime=11.78 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 2422 0 0 0 1172 6 0 0 15 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1532436 CPUtime=1.02 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 2731 0 0 0 101 1 0 0 16 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1532436 CPUtime=1.35 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1323 0 0 0 135 0 0 0 15 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15401] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15401/stat : 15401 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 13 0 9329001 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1667.69 Current children cumulated vsize (KiB) 1532436 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 15450 /proc/meminfo: memFree=1539064/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1532436 CPUtime=1727.78 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 58684 0 1 0 172702 76 0 0 18 0 13 0 9328791 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 383109 52742 1443 10 0 380411 0 [pid=15388/tid=15390] ppid=15386 vsize=1532436 CPUtime=1701.25 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 35480 0 1 0 170103 22 0 0 25 0 13 0 9328793 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4109903358 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1532436 CPUtime=5.89 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 8089 0 0 0 568 21 0 0 16 0 13 0 9328794 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1532436 CPUtime=5.83 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 7470 0 0 0 561 22 0 0 15 0 13 0 9328794 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1532436 CPUtime=12.37 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 2426 0 0 0 1231 6 0 0 15 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1532436 CPUtime=1.02 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 2731 0 0 0 101 1 0 0 16 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1532436 CPUtime=1.35 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1323 0 0 0 135 0 0 0 15 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15401] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15401/stat : 15401 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 13 0 9329001 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1727.78 Current children cumulated vsize (KiB) 1532436 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 15452 /proc/meminfo: memFree=1538816/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1532436 CPUtime=1787.92 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 58724 0 1 0 178714 78 0 0 18 0 13 0 9328791 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 383109 52742 1443 10 0 380411 0 [pid=15388/tid=15390] ppid=15386 vsize=1532436 CPUtime=1760.33 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 35512 0 1 0 176011 22 0 0 25 0 13 0 9328793 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4109766032 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1532436 CPUtime=6.15 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 8089 0 0 0 593 22 0 0 15 0 13 0 9328794 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1532436 CPUtime=6.07 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 7470 0 0 0 584 23 0 0 15 0 13 0 9328794 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1532436 CPUtime=12.94 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 2430 0 0 0 1287 7 0 0 15 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1532436 CPUtime=1.02 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 2731 0 0 0 101 1 0 0 16 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1532436 CPUtime=1.35 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1323 0 0 0 135 0 0 0 15 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15401] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15401/stat : 15401 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 13 0 9329001 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1787.92 Current children cumulated vsize (KiB) 1532436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.4 s] /proc/loadavg: 1.00 1.00 1.00 2/119 15452 /proc/meminfo: memFree=1538816/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1532436 CPUtime=1800.04 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 58728 0 1 0 179926 78 0 0 18 0 13 0 9328791 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 383109 52742 1443 10 0 380411 0 [pid=15388/tid=15390] ppid=15386 vsize=1532436 CPUtime=1772.29 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 35516 0 1 0 177207 22 0 0 25 0 13 0 9328793 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4109894424 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1532436 CPUtime=6.17 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 8089 0 0 0 595 22 0 0 16 0 13 0 9328794 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1532436 CPUtime=6.1 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 7470 0 0 0 587 23 0 0 15 0 13 0 9328794 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1532436 CPUtime=13.05 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 2430 0 0 0 1298 7 0 0 15 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9328796 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1532436 CPUtime=1.02 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 2731 0 0 0 101 1 0 0 16 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1532436 CPUtime=1.35 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1323 0 0 0 135 0 0 0 15 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 9328801 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15401] ppid=15386 vsize=1532436 CPUtime=0 /proc/15388/task/15401/stat : 15401 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 13 0 9329001 1569214464 52742 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1532436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.52 s] /proc/loadavg: 1.00 1.00 1.00 2/119 15452 /proc/meminfo: memFree=1538816/2059040 swapFree=4144492/4192956 [pid=15388] ppid=15386 vsize=1533084 CPUtime=1800.2 /proc/15388/stat : 15388 (java) S 15386 15388 14607 0 -1 4202496 58750 0 1 0 179942 78 0 0 18 0 14 0 9328791 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15388/statm: 383271 52764 1446 10 0 380573 0 [pid=15388/tid=15390] ppid=15386 vsize=1533084 CPUtime=1772.4 /proc/15388/task/15390/stat : 15390 (java) R 15386 15388 14607 0 -1 4202560 35516 0 1 0 177218 22 0 0 25 0 14 0 9328793 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4159756188 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15388/tid=15391] ppid=15386 vsize=1533084 CPUtime=6.17 /proc/15388/task/15391/stat : 15391 (java) S 15386 15388 14607 0 -1 4202560 8089 0 0 0 595 22 0 0 16 0 14 0 9328794 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15392] ppid=15386 vsize=1533084 CPUtime=6.1 /proc/15388/task/15392/stat : 15392 (java) S 15386 15388 14607 0 -1 4202560 7470 0 0 0 587 23 0 0 15 0 14 0 9328794 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15393] ppid=15386 vsize=1533084 CPUtime=13.05 /proc/15388/task/15393/stat : 15393 (java) S 15386 15388 14607 0 -1 4202560 2430 0 0 0 1298 7 0 0 15 0 14 0 9328796 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 0 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15394] ppid=15386 vsize=1533084 CPUtime=0 /proc/15388/task/15394/stat : 15394 (java) S 15386 15388 14607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 14 0 9328796 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15395] ppid=15386 vsize=1533084 CPUtime=0 /proc/15388/task/15395/stat : 15395 (java) S 15386 15388 14607 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 9328796 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15396] ppid=15386 vsize=1533084 CPUtime=0 /proc/15388/task/15396/stat : 15396 (java) S 15386 15388 14607 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 14 0 9328801 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15397] ppid=15386 vsize=1533084 CPUtime=1.02 /proc/15388/task/15397/stat : 15397 (java) S 15386 15388 14607 0 -1 4202560 2731 0 0 0 101 1 0 0 16 0 14 0 9328801 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 [pid=15388/tid=15398] ppid=15386 vsize=1533084 CPUtime=1.38 /proc/15388/task/15398/stat : 15398 (java) S 15386 15388 14607 0 -1 4202560 1325 0 0 0 138 0 0 0 15 0 14 0 9328801 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15399] ppid=15386 vsize=1533084 CPUtime=0 /proc/15388/task/15399/stat : 15399 (java) S 15386 15388 14607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 9328801 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15400] ppid=15386 vsize=1533084 CPUtime=0 /proc/15388/task/15400/stat : 15400 (java) S 15386 15388 14607 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 14 0 9328801 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 0 0 0 0 [pid=15388/tid=15401] ppid=15386 vsize=1533084 CPUtime=0 /proc/15388/task/15401/stat : 15401 (java) S 15386 15388 14607 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 14 0 9329001 1569878016 52764 1992294400 134512640 134550932 4292493872 18446744073709551615 4294960144 0 4 0 16800975 18446604435773934400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 1533084 Child status: 143 Real time (s): 1794.56 CPU time (s): 1800.25 CPU user time (s): 1799.43 CPU system time (s): 0.812876 CPU usage (%): 100.317 Max. virtual memory (cumulated for all children) (KiB): 1534152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.812876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58751 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= 45890 involuntary context switches= 28796 runsolver used 3.61445 second user time and 9.69053 second system time The end
Begin job on node049 at 2010-06-16 11:26:47 IDJOB=2658229 IDBENCH=48348 IDSOLVER=1164 FILE ID=node049/2658229-1276680407 PBS_JOBID= 11172529 Free space on /tmp= 62524 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_1_15.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658229-1276680407/watcher-2658229-1276680407 -o /tmp/evaluation-result-2658229-1276680407/solver-2658229-1276680407 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658229-1276680407.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0df66f3e832b73f1cdf8165c8cc1c11b RANDOM SEED=649454956 node049.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1749184 kB Buffers: 104684 kB Cached: 109120 kB SwapCached: 5920 kB Active: 100712 kB Inactive: 130040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1749184 kB SwapTotal: 4192956 kB SwapFree: 4144492 kB Dirty: 404 kB Writeback: 0 kB AnonPages: 14160 kB Mapped: 12988 kB Slab: 57008 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184708 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62524 MiB End job on node049 at 2010-06-16 11:56:44