Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong Opt. | 1068.7 | 574.849 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo |
MD5SUM | 901bd5d9c00fc087d540e6ebf4e7f98d |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 36.4595 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1837 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 93832 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 93831 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 813 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100531 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c ManyCore solver with 2 solvers running in parallel 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@18385e3 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@cf40f5 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 0.11/0.10 c solving HOME/instance-2694880-1277907369.wbo 0.11/0.10 c reading problem ... 0.50/0.34 c ... done. Wall clock time 0.239s. 0.50/0.34 c #vars 2068 0.50/0.34 c #constraints 2707 0.50/0.34 c constraints type 0.50/0.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 801 0.50/0.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1828 0.50/0.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 77 0.50/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 0.50/0.34 c constraints type 0.50/0.34 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 77 0.50/0.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 801 0.50/0.34 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1828 0.50/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.05/0.74 c And the winner is Resolution 2.83/1.35 c SATISFIABLE 2.83/1.35 c OPTIMIZING... 2.83/1.35 c Got one! Elapsed wall clock time (in seconds):1.249 2.83/1.35 o 313 3.00/1.45 c And the winner is Resolution 3.28/2.36 c Got one! Elapsed wall clock time (in seconds):2.261 3.28/2.36 o 295 3.36/2.44 c And the winner is Resolution 3.53/3.38 c Got one! Elapsed wall clock time (in seconds):3.277 3.53/3.38 o 222 3.59/3.47 c And the winner is Resolution 3.89/4.39 c Got one! Elapsed wall clock time (in seconds):4.288 3.89/4.39 o 204 4.10/4.53 c And the winner is Resolution 4.19/5.40 c Got one! Elapsed wall clock time (in seconds):5.3 4.19/5.40 o 197 4.19/5.48 c cleaning 2498 clauses out of 5000 with flag 5000/5000 4.41/5.57 c And the winner is Resolution 4.56/6.41 c Got one! Elapsed wall clock time (in seconds):6.308 4.56/6.41 o 157 4.82/6.57 c And the winner is Resolution 5.05/7.42 c Got one! Elapsed wall clock time (in seconds):7.318 5.05/7.42 o 143 5.91/7.83 c cleaning 4248 clauses out of 8504 with flag 11002/11002 6.09/7.98 c And the winner is Resolution 6.27/8.43 c Got one! Elapsed wall clock time (in seconds):8.324 6.27/8.43 o 133 7.84/9.21 c cleaning 5624 clauses out of 11254 with flag 18000/18000 9.82/10.26 c cleaning 6812 clauses out of 13630 with flag 26000/26000 12.43/11.56 c cleaning 7908 clauses out of 15820 with flag 35002/35002 15.41/13.06 c cleaning 8950 clauses out of 17911 with flag 45001/45001 16.64/13.68 c And the winner is Resolution 17.07/14.44 c Got one! Elapsed wall clock time (in seconds):14.341 17.07/14.44 o 117 18.58/15.24 c cleaning 9474 clauses out of 18960 with flag 55000/55000 22.00/16.97 c cleaning 9739 clauses out of 19487 with flag 65001/65001 24.96/18.48 c cleaning 9867 clauses out of 19747 with flag 75000/75000 27.95/19.97 c cleaning 9932 clauses out of 19880 with flag 85000/85000 30.74/21.36 c cleaning 9970 clauses out of 19948 with flag 95000/95000 33.71/22.83 c cleaning 9981 clauses out of 19978 with flag 105000/105000 36.89/24.43 c cleaning 9997 clauses out of 19999 with flag 115002/115002 39.89/25.96 c cleaning 9997 clauses out of 20000 with flag 125000/125000 42.88/27.41 c cleaning 9998 clauses out of 20004 with flag 135001/135001 45.65/28.86 c cleaning 9996 clauses out of 20005 with flag 145000/145000 48.42/30.29 c cleaning 9997 clauses out of 20012 with flag 155003/155003 51.20/31.64 c cleaning 9993 clauses out of 20014 with flag 165002/165002 51.36/31.77 c And the winner is Resolution 51.74/32.49 c Got one! Elapsed wall clock time (in seconds):32.386 51.74/32.49 o 68 53.36/33.40 c cleaning 10004 clauses out of 20019 with flag 175000/175000 54.97/34.20 c cleaning 10002 clauses out of 20015 with flag 185000/185000 58.13/35.62 c cleaning 10003 clauses out of 20014 with flag 195001/195001 60.51/36.86 c cleaning 9998 clauses out of 20010 with flag 205000/205000 62.88/38.09 c cleaning 9992 clauses out of 20012 with flag 215000/215000 65.87/39.50 c cleaning 10005 clauses out of 20021 with flag 225001/225001 68.03/40.70 c cleaning 10000 clauses out of 20015 with flag 235000/235000 70.39/41.87 c cleaning 10003 clauses out of 20016 with flag 245001/245001 72.97/43.15 c cleaning 10002 clauses out of 20015 with flag 255003/255003 75.34/44.36 c cleaning 9999 clauses out of 20010 with flag 265000/265000 77.69/45.55 c cleaning 10002 clauses out of 20012 with flag 275001/275001 79.86/46.63 c cleaning 10002 clauses out of 20011 with flag 285002/285002 82.01/47.76 c cleaning 9999 clauses out of 20010 with flag 295003/295003 84.58/49.06 c cleaning 9998 clauses out of 20012 with flag 305004/305004 86.92/50.24 c cleaning 10001 clauses out of 20010 with flag 315000/315000 88.90/51.23 c cleaning 9995 clauses out of 20010 with flag 325001/325001 90.87/52.22 c cleaning 9992 clauses out of 20014 with flag 335000/335000 92.63/53.17 c cleaning 10000 clauses out of 20023 with flag 345001/345001 94.78/54.21 c cleaning 10003 clauses out of 20023 with flag 355001/355001 96.52/55.16 c cleaning 10003 clauses out of 20019 with flag 365000/365000 98.50/56.13 c cleaning 10004 clauses out of 20018 with flag 375002/375002 100.44/57.13 c cleaning 10000 clauses out of 20013 with flag 385001/385001 102.38/58.13 c cleaning 9999 clauses out of 20012 with flag 395000/395000 104.33/59.10 c cleaning 10002 clauses out of 20014 with flag 405001/405001 106.30/60.12 c cleaning 9999 clauses out of 20011 with flag 415000/415000 108.27/61.17 c cleaning 9994 clauses out of 20013 with flag 425001/425001 110.61/62.32 c cleaning 9998 clauses out of 20019 with flag 435001/435001 112.78/63.44 c cleaning 10004 clauses out of 20022 with flag 445002/445002 114.73/64.48 c cleaning 10005 clauses out of 20018 with flag 455002/455002 116.89/65.56 c cleaning 10002 clauses out of 20011 with flag 465000/465000 119.02/66.68 c cleaning 9999 clauses out of 20011 with flag 475002/475002 121.17/67.79 c cleaning 10000 clauses out of 20011 with flag 485001/485001 123.34/68.81 c cleaning 9994 clauses out of 20011 with flag 495001/495001 125.30/69.80 c cleaning 10006 clauses out of 20017 with flag 505001/505001 127.23/70.86 c cleaning 9997 clauses out of 20010 with flag 515000/515000 129.18/71.84 c cleaning 9999 clauses out of 20013 with flag 525000/525000 131.15/72.85 c cleaning 10003 clauses out of 20017 with flag 535003/535003 133.29/73.91 c cleaning 9999 clauses out of 20011 with flag 545000/545000 135.21/74.96 c cleaning 10001 clauses out of 20012 with flag 555000/555000 137.18/75.95 c cleaning 10002 clauses out of 20013 with flag 565002/565002 138.92/76.89 c cleaning 10000 clauses out of 20011 with flag 575002/575002 140.87/77.87 c cleaning 10001 clauses out of 20011 with flag 585002/585002 143.22/79.00 c cleaning 9995 clauses out of 20008 with flag 595000/595000 145.16/80.04 c cleaning 10004 clauses out of 20013 with flag 605000/605000 147.11/81.00 c cleaning 10000 clauses out of 20009 with flag 615000/615000 149.06/82.01 c cleaning 10002 clauses out of 20009 with flag 625000/625000 151.39/83.27 c cleaning 10000 clauses out of 20008 with flag 635001/635001 153.55/84.38 c cleaning 9993 clauses out of 20007 with flag 645000/645000 155.89/85.54 c cleaning 9992 clauses out of 20014 with flag 655000/655000 158.23/86.76 c cleaning 10005 clauses out of 20023 with flag 665001/665001 160.56/88.00 c cleaning 10002 clauses out of 20017 with flag 675000/675000 163.09/89.23 c cleaning 9999 clauses out of 20015 with flag 685000/685000 165.23/90.35 c cleaning 9990 clauses out of 20017 with flag 695001/695001 167.37/91.40 c cleaning 10005 clauses out of 20026 with flag 705000/705000 169.30/92.44 c cleaning 10002 clauses out of 20022 with flag 715001/715001 171.44/93.57 c cleaning 9996 clauses out of 20019 with flag 725000/725000 173.79/94.73 c cleaning 10009 clauses out of 20023 with flag 735000/735000 176.12/95.94 c cleaning 10001 clauses out of 20014 with flag 745000/745000 178.43/97.17 c cleaning 10004 clauses out of 20016 with flag 755003/755003 180.76/98.37 c cleaning 9996 clauses out of 20009 with flag 765000/765000 182.89/99.43 c cleaning 10002 clauses out of 20017 with flag 775004/775004 184.82/100.42 c cleaning 9997 clauses out of 20011 with flag 785000/785000 186.92/101.55 c cleaning 10001 clauses out of 20015 with flag 795001/795001 188.87/102.53 c cleaning 9994 clauses out of 20015 with flag 805002/805002 191.00/103.62 c cleaning 10004 clauses out of 20019 with flag 815000/815000 193.34/104.85 c cleaning 10000 clauses out of 20015 with flag 825000/825000 195.44/105.98 c cleaning 10001 clauses out of 20015 with flag 835000/835000 197.77/107.13 c cleaning 10003 clauses out of 20016 with flag 845002/845002 199.50/108.09 c cleaning 10001 clauses out of 20011 with flag 855000/855000 201.84/109.20 c cleaning 9996 clauses out of 20011 with flag 865001/865001 203.94/110.32 c cleaning 9999 clauses out of 20015 with flag 875001/875001 206.07/111.40 c cleaning 10000 clauses out of 20015 with flag 885000/885000 208.19/112.54 c cleaning 10001 clauses out of 20015 with flag 895000/895000 210.11/113.52 c cleaning 10005 clauses out of 20015 with flag 905001/905001 212.00/114.54 c cleaning 9999 clauses out of 20009 with flag 915000/915000 214.14/115.61 c cleaning 10002 clauses out of 20011 with flag 925001/925001 215.86/116.58 c cleaning 9998 clauses out of 20008 with flag 935000/935000 218.19/117.75 c cleaning 10003 clauses out of 20012 with flag 945002/945002 220.28/118.88 c cleaning 10000 clauses out of 20009 with flag 955002/955002 222.57/120.05 c cleaning 9998 clauses out of 20008 with flag 965001/965001 224.68/121.13 c cleaning 9998 clauses out of 20009 with flag 975000/975000 226.62/122.19 c cleaning 10004 clauses out of 20012 with flag 985001/985001 229.10/123.49 c cleaning 9994 clauses out of 20010 with flag 995003/995003 231.45/124.63 c cleaning 9999 clauses out of 20013 with flag 1005000/1005000 233.58/125.73 c cleaning 10002 clauses out of 20017 with flag 1015003/1015003 235.51/126.74 c cleaning 10003 clauses out of 20014 with flag 1025002/1025002 238.01/128.01 c cleaning 9996 clauses out of 20009 with flag 1035000/1035000 239.93/129.10 c cleaning 10000 clauses out of 20013 with flag 1045000/1045000 242.06/130.19 c cleaning 10002 clauses out of 20013 with flag 1055000/1055000 244.39/131.30 c cleaning 9997 clauses out of 20013 with flag 1065002/1065002 246.48/132.40 c cleaning 10002 clauses out of 20014 with flag 1075000/1075000 248.58/133.58 c cleaning 10001 clauses out of 20012 with flag 1085000/1085000 251.12/134.82 c cleaning 10001 clauses out of 20011 with flag 1095000/1095000 253.44/136.06 c cleaning 10000 clauses out of 20010 with flag 1105000/1105000 255.75/137.22 c cleaning 10001 clauses out of 20013 with flag 1115003/1115003 257.87/138.32 c cleaning 9998 clauses out of 20010 with flag 1125001/1125001 259.99/139.44 c cleaning 10002 clauses out of 20011 with flag 1135000/1135000 262.10/140.54 c cleaning 9998 clauses out of 20011 with flag 1145002/1145002 264.40/141.72 c cleaning 9998 clauses out of 20011 with flag 1155000/1155000 266.73/142.93 c cleaning 9998 clauses out of 20016 with flag 1165003/1165003 268.63/143.98 c cleaning 10003 clauses out of 20017 with flag 1175002/1175002 270.74/145.08 c cleaning 10001 clauses out of 20013 with flag 1185001/1185001 272.65/146.09 c cleaning 10002 clauses out of 20012 with flag 1195001/1195001 274.57/147.09 c cleaning 9995 clauses out of 20009 with flag 1205000/1205000 276.69/148.14 c cleaning 10004 clauses out of 20014 with flag 1215000/1215000 278.80/149.20 c cleaning 9999 clauses out of 20010 with flag 1225000/1225000 280.68/150.26 c cleaning 9997 clauses out of 20013 with flag 1235002/1235002 282.59/151.26 c cleaning 10004 clauses out of 20017 with flag 1245003/1245003 284.51/152.28 c cleaning 9995 clauses out of 20012 with flag 1255002/1255002 286.83/153.43 c cleaning 10001 clauses out of 20016 with flag 1265001/1265001 288.51/154.39 c cleaning 10002 clauses out of 20014 with flag 1275000/1275000 290.42/155.33 c cleaning 10005 clauses out of 20015 with flag 1285003/1285003 292.34/156.37 c cleaning 9999 clauses out of 20007 with flag 1295000/1295000 294.45/157.47 c cleaning 9999 clauses out of 20009 with flag 1305001/1305001 296.51/158.55 c cleaning 9997 clauses out of 20009 with flag 1315000/1315000 298.42/159.59 c cleaning 10003 clauses out of 20014 with flag 1325002/1325002 300.76/160.71 c cleaning 9993 clauses out of 20009 with flag 1335000/1335000 302.68/161.77 c cleaning 10001 clauses out of 20018 with flag 1345002/1345002 304.75/162.81 c cleaning 10003 clauses out of 20018 with flag 1355003/1355003 306.45/163.72 c cleaning 9998 clauses out of 20013 with flag 1365001/1365001 308.54/164.80 c cleaning 10004 clauses out of 20015 with flag 1375001/1375001 310.45/165.89 c cleaning 10002 clauses out of 20012 with flag 1385002/1385002 312.53/166.98 c cleaning 9997 clauses out of 20008 with flag 1395000/1395000 314.65/168.08 c cleaning 9999 clauses out of 20011 with flag 1405000/1405000 316.75/169.12 c cleaning 9998 clauses out of 20012 with flag 1415000/1415000 318.86/170.24 c cleaning 10003 clauses out of 20014 with flag 1425000/1425000 321.35/171.52 c cleaning 10001 clauses out of 20012 with flag 1435001/1435001 323.66/172.71 c cleaning 9998 clauses out of 20011 with flag 1445001/1445001 325.95/173.94 c cleaning 10002 clauses out of 20014 with flag 1455002/1455002 328.25/175.16 c cleaning 9995 clauses out of 20011 with flag 1465001/1465001 330.34/176.25 c cleaning 10003 clauses out of 20016 with flag 1475001/1475001 332.23/177.27 c cleaning 10005 clauses out of 20017 with flag 1485005/1485005 334.33/178.33 c cleaning 9995 clauses out of 20007 with flag 1495000/1495000 336.44/179.43 c cleaning 10000 clauses out of 20013 with flag 1505001/1505001 338.49/180.57 c cleaning 10000 clauses out of 20012 with flag 1515000/1515000 340.40/181.59 c cleaning 9999 clauses out of 20012 with flag 1525000/1525000 342.52/182.67 c cleaning 10004 clauses out of 20016 with flag 1535003/1535003 344.41/183.65 c cleaning 9995 clauses out of 20009 with flag 1545000/1545000 346.48/184.72 c cleaning 10004 clauses out of 20018 with flag 1555004/1555004 348.37/185.77 c cleaning 9999 clauses out of 20010 with flag 1565000/1565000 350.27/186.78 c cleaning 9998 clauses out of 20012 with flag 1575001/1575001 352.36/187.80 c cleaning 10001 clauses out of 20016 with flag 1585003/1585003 354.23/188.81 c cleaning 9996 clauses out of 20012 with flag 1595000/1595000 356.33/189.93 c cleaning 10004 clauses out of 20019 with flag 1605003/1605003 358.23/190.96 c cleaning 10002 clauses out of 20012 with flag 1615000/1615000 360.34/192.04 c cleaning 10004 clauses out of 20011 with flag 1625001/1625001 362.79/193.31 c cleaning 9995 clauses out of 20007 with flag 1635001/1635001 364.88/194.50 c cleaning 9999 clauses out of 20012 with flag 1645001/1645001 367.16/195.67 c cleaning 9997 clauses out of 20012 with flag 1655000/1655000 369.25/196.71 c cleaning 9999 clauses out of 20016 with flag 1665001/1665001 371.28/197.80 c cleaning 9999 clauses out of 20016 with flag 1675000/1675000 373.16/198.89 c cleaning 10003 clauses out of 20019 with flag 1685002/1685002 375.23/199.98 c cleaning 10000 clauses out of 20014 with flag 1695000/1695000 377.10/200.99 c cleaning 9998 clauses out of 20014 with flag 1705000/1705000 379.13/202.04 c cleaning 10004 clauses out of 20017 with flag 1715001/1715001 381.23/203.13 c cleaning 9999 clauses out of 20012 with flag 1725000/1725000 383.51/204.30 c cleaning 9998 clauses out of 20013 with flag 1735000/1735000 385.82/205.57 c cleaning 9990 clauses out of 20015 with flag 1745000/1745000 388.49/206.91 c cleaning 10008 clauses out of 20025 with flag 1755000/1755000 390.60/208.05 c cleaning 10004 clauses out of 20018 with flag 1765001/1765001 392.87/209.20 c cleaning 10000 clauses out of 20013 with flag 1775000/1775000 395.15/210.41 c cleaning 9995 clauses out of 20013 with flag 1785000/1785000 397.22/211.53 c cleaning 10000 clauses out of 20020 with flag 1795002/1795002 399.31/212.63 c cleaning 10005 clauses out of 20019 with flag 1805001/1805001 401.20/213.65 c cleaning 10002 clauses out of 20016 with flag 1815003/1815003 403.69/214.92 c cleaning 10002 clauses out of 20013 with flag 1825002/1825002 405.77/216.06 c cleaning 9994 clauses out of 20010 with flag 1835001/1835001 407.86/217.14 c cleaning 10003 clauses out of 20016 with flag 1845001/1845001 409.93/218.20 c cleaning 10005 clauses out of 20015 with flag 1855003/1855003 411.82/219.22 c cleaning 9996 clauses out of 20007 with flag 1865000/1865000 413.88/220.32 c cleaning 10000 clauses out of 20011 with flag 1875000/1875000 415.96/221.40 c cleaning 9993 clauses out of 20012 with flag 1885001/1885001 417.86/222.43 c cleaning 10006 clauses out of 20020 with flag 1895002/1895002 419.75/223.44 c cleaning 10002 clauses out of 20015 with flag 1905003/1905003 421.81/224.51 c cleaning 9998 clauses out of 20010 with flag 1915000/1915000 423.70/225.55 c cleaning 10000 clauses out of 20017 with flag 1925005/1925005 425.60/226.57 c cleaning 10003 clauses out of 20014 with flag 1935002/1935002 427.68/227.67 c cleaning 9995 clauses out of 20009 with flag 1945000/1945000 429.74/228.76 c cleaning 9998 clauses out of 20016 with flag 1955002/1955002 431.60/229.75 c cleaning 9999 clauses out of 20016 with flag 1965000/1965000 433.69/230.84 c cleaning 10004 clauses out of 20018 with flag 1975001/1975001 435.77/231.93 c cleaning 9999 clauses out of 20013 with flag 1985000/1985000 437.82/233.07 c cleaning 9995 clauses out of 20014 with flag 1995000/1995000 440.12/234.22 c cleaning 10005 clauses out of 20020 with flag 2005001/2005001 442.42/235.41 c cleaning 9998 clauses out of 20014 with flag 2015000/2015000 444.71/236.60 c cleaning 9999 clauses out of 20016 with flag 2025000/2025000 446.97/237.84 c cleaning 10005 clauses out of 20019 with flag 2035002/2035002 448.67/238.75 c cleaning 10000 clauses out of 20013 with flag 2045001/2045001 450.55/239.77 c cleaning 10003 clauses out of 20013 with flag 2055001/2055001 453.04/241.09 c cleaning 9997 clauses out of 20009 with flag 2065000/2065000 455.28/242.21 c cleaning 9998 clauses out of 20012 with flag 2075000/2075000 457.77/243.51 c cleaning 10007 clauses out of 20015 with flag 2085001/2085001 459.63/244.54 c cleaning 9997 clauses out of 20008 with flag 2095001/2095001 461.70/245.65 c cleaning 10000 clauses out of 20010 with flag 2105000/2105000 463.94/246.88 c cleaning 10001 clauses out of 20011 with flag 2115001/2115001 466.05/247.99 c cleaning 9996 clauses out of 20011 with flag 2125002/2125002 468.33/249.11 c cleaning 9999 clauses out of 20014 with flag 2135001/2135001 470.60/250.31 c cleaning 10006 clauses out of 20016 with flag 2145002/2145002 473.27/251.70 c cleaning 9997 clauses out of 20009 with flag 2155001/2155001 475.36/252.89 c cleaning 9998 clauses out of 20012 with flag 2165001/2165001 477.66/254.00 c cleaning 10000 clauses out of 20016 with flag 2175003/2175003 479.76/255.18 c cleaning 9997 clauses out of 20013 with flag 2185000/2185000 481.81/256.25 c cleaning 10004 clauses out of 20017 with flag 2195001/2195001 483.89/257.33 c cleaning 10002 clauses out of 20013 with flag 2205001/2205001 485.98/258.40 c cleaning 10002 clauses out of 20011 with flag 2215001/2215001 487.86/259.41 c cleaning 10002 clauses out of 20010 with flag 2225002/2225002 489.71/260.48 c cleaning 9995 clauses out of 20006 with flag 2235000/2235000 492.00/261.63 c cleaning 10000 clauses out of 20011 with flag 2245000/2245000 494.30/262.83 c cleaning 10003 clauses out of 20012 with flag 2255001/2255001 496.59/264.09 c cleaning 9998 clauses out of 20008 with flag 2265000/2265000 498.83/265.24 c cleaning 10002 clauses out of 20012 with flag 2275002/2275002 500.73/266.27 c cleaning 9997 clauses out of 20009 with flag 2285001/2285001 502.81/267.37 c cleaning 10002 clauses out of 20014 with flag 2295003/2295003 504.87/268.42 c cleaning 10004 clauses out of 20012 with flag 2305003/2305003 506.93/269.56 c cleaning 9989 clauses out of 20005 with flag 2315000/2315000 509.01/270.67 c cleaning 10002 clauses out of 20016 with flag 2325000/2325000 511.10/271.77 c cleaning 10004 clauses out of 20014 with flag 2335000/2335000 512.99/272.75 c cleaning 10002 clauses out of 20010 with flag 2345000/2345000 515.03/273.81 c cleaning 9997 clauses out of 20008 with flag 2355000/2355000 516.92/274.82 c cleaning 9998 clauses out of 20012 with flag 2365001/2365001 518.79/275.89 c cleaning 10001 clauses out of 20013 with flag 2375000/2375000 520.87/276.94 c cleaning 9998 clauses out of 20014 with flag 2385002/2385002 522.70/277.96 c cleaning 10001 clauses out of 20015 with flag 2395001/2395001 524.56/278.97 c cleaning 9998 clauses out of 20013 with flag 2405000/2405000 526.43/279.96 c cleaning 10002 clauses out of 20015 with flag 2415000/2415000 528.49/281.01 c cleaning 9998 clauses out of 20014 with flag 2425001/2425001 530.31/282.09 c cleaning 10004 clauses out of 20015 with flag 2435000/2435000 532.38/283.13 c cleaning 10004 clauses out of 20013 with flag 2445002/2445002 534.22/284.19 c cleaning 9999 clauses out of 20007 with flag 2455000/2455000 536.30/285.20 c cleaning 9998 clauses out of 20009 with flag 2465001/2465001 538.11/286.28 c cleaning 10003 clauses out of 20011 with flag 2475001/2475001 540.00/287.27 c cleaning 9999 clauses out of 20007 with flag 2485000/2485000 541.86/288.27 c cleaning 9999 clauses out of 20009 with flag 2495001/2495001 543.71/289.30 c cleaning 9999 clauses out of 20009 with flag 2505000/2505000 545.93/290.50 c cleaning 9998 clauses out of 20012 with flag 2515002/2515002 548.18/291.67 c cleaning 10000 clauses out of 20015 with flag 2525003/2525003 550.66/292.92 c cleaning 10003 clauses out of 20015 with flag 2535003/2535003 552.52/293.96 c cleaning 10002 clauses out of 20011 with flag 2545002/2545002 554.54/295.04 c cleaning 9999 clauses out of 20008 with flag 2555001/2555001 556.60/296.14 c cleaning 10001 clauses out of 20010 with flag 2565002/2565002 558.66/297.22 c cleaning 9994 clauses out of 20008 with flag 2575001/2575001 560.75/298.30 c cleaning 10001 clauses out of 20013 with flag 2585000/2585000 562.77/299.43 c cleaning 10001 clauses out of 20012 with flag 2595000/2595000 564.84/300.57 c cleaning 9998 clauses out of 20011 with flag 2605000/2605000 567.13/301.70 c cleaning 9996 clauses out of 20017 with flag 2615004/2615004 568.98/302.78 c cleaning 10003 clauses out of 20018 with flag 2625001/2625001 571.18/303.95 c cleaning 10002 clauses out of 20015 with flag 2635001/2635001 573.26/305.01 c cleaning 10002 clauses out of 20016 with flag 2645004/2645004 575.33/306.11 c cleaning 9985 clauses out of 20010 with flag 2655000/2655000 577.40/307.26 c cleaning 10006 clauses out of 20025 with flag 2665000/2665000 579.83/308.57 c cleaning 10002 clauses out of 20019 with flag 2675000/2675000 582.12/309.75 c cleaning 10003 clauses out of 20017 with flag 2685000/2685000 584.38/310.96 c cleaning 9999 clauses out of 20014 with flag 2695000/2695000 586.46/312.04 c cleaning 9996 clauses out of 20015 with flag 2705000/2705000 588.66/313.25 c cleaning 10006 clauses out of 20019 with flag 2715000/2715000 590.95/314.44 c cleaning 10001 clauses out of 20013 with flag 2725000/2725000 593.01/315.53 c cleaning 9993 clauses out of 20013 with flag 2735001/2735001 595.08/316.60 c cleaning 10004 clauses out of 20020 with flag 2745001/2745001 596.91/317.64 c cleaning 10003 clauses out of 20016 with flag 2755001/2755001 598.78/318.65 c cleaning 9998 clauses out of 20012 with flag 2765000/2765000 600.83/319.75 c cleaning 10003 clauses out of 20014 with flag 2775000/2775000 602.68/320.79 c cleaning 10001 clauses out of 20012 with flag 2785001/2785001 604.92/321.98 c cleaning 9996 clauses out of 20013 with flag 2795003/2795003 606.95/323.09 c cleaning 10004 clauses out of 20015 with flag 2805001/2805001 609.43/324.31 c cleaning 9998 clauses out of 20010 with flag 2815000/2815000 611.49/325.44 c cleaning 10005 clauses out of 20015 with flag 2825003/2825003 613.51/326.59 c cleaning 9997 clauses out of 20007 with flag 2835000/2835000 615.78/327.73 c cleaning 9996 clauses out of 20011 with flag 2845001/2845001 617.63/328.78 c cleaning 10002 clauses out of 20016 with flag 2855002/2855002 619.69/329.89 c cleaning 10003 clauses out of 20012 with flag 2865000/2865000 621.70/330.94 c cleaning 9999 clauses out of 20009 with flag 2875000/2875000 623.57/331.95 c cleaning 9995 clauses out of 20010 with flag 2885000/2885000 625.64/333.03 c cleaning 10003 clauses out of 20018 with flag 2895003/2895003 627.51/334.04 c cleaning 9999 clauses out of 20013 with flag 2905001/2905001 629.32/335.08 c cleaning 9995 clauses out of 20013 with flag 2915000/2915000 631.38/336.13 c cleaning 10004 clauses out of 20018 with flag 2925000/2925000 633.44/337.22 c cleaning 9997 clauses out of 20015 with flag 2935001/2935001 635.52/338.33 c cleaning 10001 clauses out of 20018 with flag 2945001/2945001 637.53/339.44 c cleaning 10001 clauses out of 20017 with flag 2955001/2955001 639.79/340.62 c cleaning 10001 clauses out of 20016 with flag 2965001/2965001 641.64/341.70 c cleaning 10001 clauses out of 20014 with flag 2975000/2975000 643.92/342.86 c cleaning 9997 clauses out of 20013 with flag 2985000/2985000 646.12/344.02 c cleaning 9998 clauses out of 20016 with flag 2995000/2995000 648.00/345.08 c cleaning 10007 clauses out of 20019 with flag 3005001/3005001 649.86/346.08 c cleaning 10003 clauses out of 20012 with flag 3015001/3015001 652.12/347.20 c cleaning 9999 clauses out of 20008 with flag 3025000/3025000 654.13/348.31 c cleaning 10002 clauses out of 20009 with flag 3035000/3035000 655.97/349.36 c cleaning 9994 clauses out of 20007 with flag 3045000/3045000 658.04/350.48 c cleaning 9995 clauses out of 20014 with flag 3055001/3055001 660.31/351.64 c cleaning 9991 clauses out of 20018 with flag 3065000/3065000 662.51/352.84 c cleaning 10011 clauses out of 20028 with flag 3075001/3075001 664.57/353.98 c cleaning 10000 clauses out of 20016 with flag 3085000/3085000 666.85/355.14 c cleaning 10006 clauses out of 20017 with flag 3095001/3095001 668.90/356.21 c cleaning 9997 clauses out of 20012 with flag 3105002/3105002 670.90/357.33 c cleaning 10002 clauses out of 20013 with flag 3115000/3115000 672.96/358.41 c cleaning 9998 clauses out of 20011 with flag 3125000/3125000 674.80/359.42 c cleaning 10001 clauses out of 20014 with flag 3135001/3135001 676.65/360.47 c cleaning 10002 clauses out of 20013 with flag 3145001/3145001 678.87/361.65 c cleaning 9999 clauses out of 20011 with flag 3155001/3155001 680.71/362.69 c cleaning 10002 clauses out of 20012 with flag 3165001/3165001 682.79/363.71 c cleaning 9997 clauses out of 20010 with flag 3175001/3175001 684.63/364.75 c cleaning 10003 clauses out of 20014 with flag 3185002/3185002 686.62/365.83 c cleaning 9996 clauses out of 20009 with flag 3195000/3195000 688.45/366.84 c cleaning 10004 clauses out of 20013 with flag 3205000/3205000 690.51/367.90 c cleaning 9997 clauses out of 20010 with flag 3215001/3215001 692.38/368.98 c cleaning 9999 clauses out of 20013 with flag 3225001/3225001 694.57/370.10 c cleaning 9999 clauses out of 20014 with flag 3235001/3235001 696.41/371.19 c cleaning 9998 clauses out of 20015 with flag 3245001/3245001 698.66/372.35 c cleaning 10003 clauses out of 20017 with flag 3255001/3255001 700.90/373.50 c cleaning 9999 clauses out of 20014 with flag 3265001/3265001 702.88/374.62 c cleaning 10002 clauses out of 20014 with flag 3275000/3275000 704.92/375.72 c cleaning 10002 clauses out of 20013 with flag 3285001/3285001 706.98/376.88 c cleaning 9991 clauses out of 20010 with flag 3295000/3295000 709.02/377.94 c cleaning 10006 clauses out of 20021 with flag 3305002/3305002 711.02/379.05 c cleaning 10003 clauses out of 20014 with flag 3315001/3315001 713.07/380.15 c cleaning 10001 clauses out of 20011 with flag 3325001/3325001 715.32/381.31 c cleaning 10002 clauses out of 20009 with flag 3335000/3335000 717.36/382.49 c cleaning 10000 clauses out of 20008 with flag 3345001/3345001 719.54/383.66 c cleaning 10000 clauses out of 20007 with flag 3355000/3355000 721.81/384.83 c cleaning 9999 clauses out of 20009 with flag 3365002/3365002 724.06/386.04 c cleaning 9990 clauses out of 20008 with flag 3375000/3375000 725.87/387.10 c cleaning 10006 clauses out of 20019 with flag 3385001/3385001 728.07/388.24 c cleaning 10001 clauses out of 20014 with flag 3395002/3395002 730.11/389.35 c cleaning 10003 clauses out of 20012 with flag 3405001/3405001 732.37/390.52 c cleaning 9997 clauses out of 20011 with flag 3415003/3415003 734.61/391.75 c cleaning 9995 clauses out of 20012 with flag 3425001/3425001 736.83/392.94 c cleaning 10003 clauses out of 20017 with flag 3435001/3435001 738.87/394.01 c cleaning 10000 clauses out of 20013 with flag 3445000/3445000 741.09/395.21 c cleaning 10000 clauses out of 20014 with flag 3455001/3455001 743.11/396.34 c cleaning 9999 clauses out of 20015 with flag 3465002/3465002 745.32/397.50 c cleaning 10005 clauses out of 20017 with flag 3475003/3475003 747.13/398.59 c cleaning 10000 clauses out of 20010 with flag 3485001/3485001 749.37/399.74 c cleaning 9998 clauses out of 20010 with flag 3495001/3495001 751.40/400.82 c cleaning 9997 clauses out of 20012 with flag 3505001/3505001 753.36/401.92 c cleaning 10003 clauses out of 20014 with flag 3515000/3515000 755.40/403.07 c cleaning 9997 clauses out of 20011 with flag 3525000/3525000 757.83/404.34 c cleaning 10004 clauses out of 20016 with flag 3535002/3535002 760.07/405.50 c cleaning 10001 clauses out of 20011 with flag 3545001/3545001 762.23/406.76 c cleaning 9995 clauses out of 20011 with flag 3555002/3555002 764.88/408.11 c cleaning 10005 clauses out of 20014 with flag 3565000/3565000 766.94/409.21 c cleaning 9996 clauses out of 20010 with flag 3575001/3575001 768.75/410.27 c cleaning 10003 clauses out of 20014 with flag 3585001/3585001 770.73/411.36 c cleaning 9999 clauses out of 20011 with flag 3595001/3595001 772.77/412.42 c cleaning 10001 clauses out of 20012 with flag 3605001/3605001 774.82/413.52 c cleaning 9995 clauses out of 20010 with flag 3615000/3615000 776.84/414.65 c cleaning 9998 clauses out of 20015 with flag 3625000/3625000 779.03/415.84 c cleaning 10001 clauses out of 20017 with flag 3635000/3635000 781.05/416.95 c cleaning 9998 clauses out of 20017 with flag 3645001/3645001 783.09/418.04 c cleaning 10005 clauses out of 20018 with flag 3655000/3655000 785.11/419.13 c cleaning 9998 clauses out of 20013 with flag 3665000/3665000 787.27/420.37 c cleaning 10003 clauses out of 20017 with flag 3675002/3675002 789.28/421.48 c cleaning 9999 clauses out of 20014 with flag 3685002/3685002 791.30/422.56 c cleaning 10002 clauses out of 20013 with flag 3695000/3695000 793.31/423.62 c cleaning 10003 clauses out of 20011 with flag 3705000/3705000 795.48/424.80 c cleaning 9997 clauses out of 20008 with flag 3715000/3715000 797.52/425.91 c cleaning 10001 clauses out of 20011 with flag 3725000/3725000 799.53/427.01 c cleaning 10001 clauses out of 20014 with flag 3735004/3735004 801.57/428.18 c cleaning 9999 clauses out of 20009 with flag 3745000/3745000 803.94/429.41 c cleaning 10002 clauses out of 20011 with flag 3755001/3755001 805.77/430.49 c cleaning 9999 clauses out of 20008 with flag 3765000/3765000 807.80/431.59 c cleaning 9999 clauses out of 20009 with flag 3775000/3775000 810.05/432.78 c cleaning 10003 clauses out of 20012 with flag 3785002/3785002 812.40/434.04 c cleaning 9998 clauses out of 20009 with flag 3795002/3795002 814.44/435.16 c cleaning 10000 clauses out of 20011 with flag 3805002/3805002 816.68/436.37 c cleaning 9998 clauses out of 20010 with flag 3815001/3815001 819.12/437.64 c cleaning 9992 clauses out of 20011 with flag 3825000/3825000 821.52/438.90 c cleaning 10006 clauses out of 20019 with flag 3835000/3835000 823.72/440.11 c cleaning 10002 clauses out of 20013 with flag 3845000/3845000 825.98/441.30 c cleaning 10000 clauses out of 20013 with flag 3855002/3855002 828.22/442.59 c cleaning 9995 clauses out of 20011 with flag 3865000/3865000 830.40/443.78 c cleaning 9997 clauses out of 20017 with flag 3875001/3875001 832.82/445.05 c cleaning 10002 clauses out of 20021 with flag 3885002/3885002 835.48/446.42 c cleaning 10000 clauses out of 20017 with flag 3895000/3895000 837.94/447.77 c cleaning 10004 clauses out of 20017 with flag 3905000/3905000 841.12/449.43 c cleaning 10006 clauses out of 20021 with flag 3915008/3915008 843.34/450.66 c cleaning 9998 clauses out of 20008 with flag 3925001/3925001 845.34/451.77 c cleaning 9996 clauses out of 20009 with flag 3935000/3935000 847.57/452.96 c cleaning 9997 clauses out of 20014 with flag 3945001/3945001 850.14/454.37 c cleaning 10005 clauses out of 20017 with flag 3955001/3955001 852.38/455.56 c cleaning 10002 clauses out of 20011 with flag 3965000/3965000 854.39/456.64 c cleaning 9998 clauses out of 20009 with flag 3975000/3975000 856.61/457.82 c cleaning 9998 clauses out of 20011 with flag 3985000/3985000 858.57/458.97 c cleaning 10000 clauses out of 20014 with flag 3995001/3995001 860.58/460.09 c cleaning 10003 clauses out of 20013 with flag 4005000/4005000 862.80/461.25 c cleaning 9999 clauses out of 20010 with flag 4015000/4015000 864.60/462.28 c cleaning 9999 clauses out of 20011 with flag 4025000/4025000 866.96/463.56 c cleaning 10001 clauses out of 20014 with flag 4035002/4035002 869.19/464.71 c cleaning 10003 clauses out of 20012 with flag 4045001/4045001 871.19/465.85 c cleaning 10002 clauses out of 20009 with flag 4055001/4055001 873.61/467.11 c cleaning 10000 clauses out of 20009 with flag 4065003/4065003 875.56/468.25 c cleaning 0 clauses out of 5000 with flag 0/5000 876.48/468.74 c cleaning 9994 clauses out of 20007 with flag 4075001/4075001 878.69/469.94 c cleaning 9998 clauses out of 20012 with flag 4085000/4085000 880.92/471.19 c cleaning 9998 clauses out of 20015 with flag 4095001/4095001 883.48/472.57 c cleaning 10001 clauses out of 20016 with flag 4105000/4105000 885.90/473.80 c cleaning 10000 clauses out of 20016 with flag 4115001/4115001 888.14/475.05 c cleaning 10005 clauses out of 20017 with flag 4125002/4125002 890.36/476.21 c cleaning 10001 clauses out of 20011 with flag 4135001/4135001 892.31/477.40 c cleaning 10000 clauses out of 20010 with flag 4145001/4145001 894.34/478.49 c cleaning 10000 clauses out of 20009 with flag 4155000/4155000 896.78/479.74 c cleaning 9999 clauses out of 20009 with flag 4165000/4165000 899.02/480.94 c cleaning 9996 clauses out of 20010 with flag 4175000/4175000 901.58/482.32 c cleaning 10003 clauses out of 20016 with flag 4185002/4185002 903.81/483.53 c cleaning 9999 clauses out of 20013 with flag 4195002/4195002 905.99/484.70 c cleaning 10000 clauses out of 20014 with flag 4205002/4205002 908.01/485.85 c cleaning 9997 clauses out of 20012 with flag 4215000/4215000 910.16/487.09 c cleaning 10001 clauses out of 20017 with flag 4225002/4225002 912.79/488.45 c cleaning 9996 clauses out of 20014 with flag 4235000/4235000 914.99/489.63 c cleaning 10004 clauses out of 20019 with flag 4245001/4245001 917.21/490.85 c cleaning 10002 clauses out of 20014 with flag 4255000/4255000 919.56/492.16 c cleaning 10001 clauses out of 20015 with flag 4265003/4265003 921.77/493.35 c cleaning 10000 clauses out of 20013 with flag 4275002/4275002 923.78/494.48 c cleaning 10001 clauses out of 20011 with flag 4285000/4285000 926.20/495.76 c cleaning 9999 clauses out of 20013 with flag 4295003/4295003 928.78/497.15 c cleaning 9991 clauses out of 20013 with flag 4305002/4305002 931.38/498.57 c cleaning 10008 clauses out of 20027 with flag 4315007/4315007 933.75/499.81 c cleaning 10000 clauses out of 20013 with flag 4325001/4325001 935.76/500.95 c cleaning 9999 clauses out of 20012 with flag 4335000/4335000 937.86/502.16 c cleaning 10000 clauses out of 20014 with flag 4345001/4345001 940.06/503.35 c cleaning 9991 clauses out of 20014 with flag 4355001/4355001 942.05/504.43 c cleaning 10006 clauses out of 20024 with flag 4365002/4365002 944.06/505.58 c cleaning 10000 clauses out of 20019 with flag 4375003/4375003 946.64/506.96 c cleaning 10001 clauses out of 20017 with flag 4385001/4385001 949.05/508.27 c cleaning 10001 clauses out of 20016 with flag 4395001/4395001 951.65/509.62 c cleaning 10001 clauses out of 20016 with flag 4405002/4405002 953.86/510.83 c cleaning 9997 clauses out of 20014 with flag 4415001/4415001 956.18/512.12 c cleaning 10006 clauses out of 20018 with flag 4425002/4425002 958.58/513.46 c cleaning 10000 clauses out of 20010 with flag 4435000/4435000 960.74/514.68 c cleaning 9999 clauses out of 20012 with flag 4445002/4445002 962.75/515.78 c cleaning 9997 clauses out of 20012 with flag 4455001/4455001 965.10/517.04 c cleaning 9999 clauses out of 20014 with flag 4465000/4465000 967.27/518.24 c cleaning 10001 clauses out of 20016 with flag 4475001/4475001 969.64/519.56 c cleaning 10002 clauses out of 20015 with flag 4485001/4485001 972.03/520.82 c cleaning 10001 clauses out of 20014 with flag 4495002/4495002 974.55/522.22 c cleaning 9999 clauses out of 20013 with flag 4505002/4505002 977.17/523.68 c cleaning 10002 clauses out of 20013 with flag 4515001/4515001 979.79/525.04 c cleaning 10002 clauses out of 20010 with flag 4525000/4525000 982.19/526.31 c cleaning 9992 clauses out of 20008 with flag 4535000/4535000 984.32/527.58 c cleaning 10002 clauses out of 20016 with flag 4545000/4545000 986.52/528.75 c cleaning 9999 clauses out of 20015 with flag 4555001/4555001 988.70/529.98 c cleaning 9999 clauses out of 20016 with flag 4565001/4565001 991.12/531.21 c cleaning 10003 clauses out of 20018 with flag 4575002/4575002 993.64/532.61 c cleaning 10000 clauses out of 20014 with flag 4585001/4585001 995.60/533.77 c cleaning 10002 clauses out of 20014 with flag 4595001/4595001 997.75/534.92 c cleaning 9998 clauses out of 20012 with flag 4605001/4605001 999.71/536.06 c cleaning 10003 clauses out of 20014 with flag 4615001/4615001 1001.79/537.28 c cleaning 10002 clauses out of 20014 with flag 4625004/4625004 1004.35/538.60 c cleaning 9999 clauses out of 20008 with flag 4635000/4635000 1006.50/539.87 c cleaning 9997 clauses out of 20009 with flag 4645000/4645000 1008.68/541.09 c cleaning 9998 clauses out of 20013 with flag 4655001/4655001 1011.19/542.48 c cleaning 10001 clauses out of 20014 with flag 4665000/4665000 1013.56/543.73 c cleaning 10002 clauses out of 20015 with flag 4675002/4675002 1015.52/544.86 c cleaning 9994 clauses out of 20011 with flag 4685000/4685000 1017.69/546.04 c cleaning 10004 clauses out of 20018 with flag 4695001/4695001 1020.45/547.56 c cleaning 9998 clauses out of 20014 with flag 4705001/4705001 1023.05/548.94 c cleaning 9999 clauses out of 20015 with flag 4715000/4715000 1025.43/550.25 c cleaning 10004 clauses out of 20017 with flag 4725001/4725001 1027.63/551.40 c cleaning 10001 clauses out of 20015 with flag 4735003/4735003 1029.97/552.76 c cleaning 10001 clauses out of 20012 with flag 4745001/4745001 1032.38/554.08 c cleaning 10001 clauses out of 20015 with flag 4755005/4755005 1034.76/555.37 c cleaning 9997 clauses out of 20010 with flag 4765001/4765001 1037.17/556.62 c cleaning 10000 clauses out of 20012 with flag 4775000/4775000 1039.87/558.15 c cleaning 9996 clauses out of 20012 with flag 4785001/4785001 1042.43/559.57 c cleaning 9999 clauses out of 20015 with flag 4795000/4795000 1045.02/560.98 c cleaning 10002 clauses out of 20016 with flag 4805000/4805000 1047.38/562.25 c cleaning 10003 clauses out of 20015 with flag 4815001/4815001 1049.89/563.61 c cleaning 10003 clauses out of 20016 with flag 4825005/4825005 1052.05/564.87 c cleaning 10000 clauses out of 20009 with flag 4835001/4835001 1054.63/566.28 c cleaning 10001 clauses out of 20010 with flag 4845002/4845002 1057.02/567.54 c cleaning 9987 clauses out of 20009 with flag 4855002/4855002 1059.72/569.09 c cleaning 10002 clauses out of 20020 with flag 4865000/4865000 1062.71/570.62 c cleaning 10003 clauses out of 20021 with flag 4875003/4875003 1065.70/572.22 c cleaning 10002 clauses out of 20015 with flag 4885001/4885001 1067.06/573.09 c And the winner is Resolution 1068.64/574.83 c starts : 282 1068.64/574.83 c conflicts : 4890136 1068.64/574.83 c decisions : 7515018 1068.64/574.83 c propagations : 694357077 1068.64/574.83 c inspects : 2540507579 1068.64/574.83 c learnt literals : 7 1068.64/574.83 c learnt binary clauses : 22 1068.64/574.83 c learnt ternary clauses : 703 1068.64/574.83 c learnt clauses : 4890128 1068.64/574.83 c ignored clauses : 0 1068.64/574.83 c root simplifications : 0 1068.64/574.83 c removed literals (reason simplification) : 25715798 1068.64/574.83 c reason swapping (by a shorter reason) : 0 1068.64/574.83 c Calls to reduceDB : 490 1068.64/574.83 c number of reductions to clauses (during analyze) : 0 1068.64/574.83 c number of learned constraints concerned by reduction : 0 1068.64/574.83 c number of learning phase by resolution : 0 1068.64/574.83 c number of learning phase by cutting planes : 0 1068.64/574.83 c speed (assignments/second) : 1280315.0038813793 1068.64/574.83 c non guided choices 2544 1068.64/574.83 c learnt constraints type 1068.64/574.83 c constraints type 1068.64/574.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 801 1068.64/574.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 1828 1068.64/574.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 77 1068.64/574.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1068.64/574.83 c constraints type 1068.64/574.83 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 77 1068.64/574.83 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 801 1068.64/574.83 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1828 1068.64/574.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1068.64/574.83 s OPTIMUM FOUND 1068.64/574.83 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 1068.64/574.83 c objective function=68 1068.64/574.83 c Total wall clock time (in seconds): 574.724
OK 68
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694880-1277907369/watcher-2694880-1277907369 -o /tmp/evaluation-result-2694880-1277907369/solver-2694880-1277907369 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694880-1277907369.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 2.10 3/178 12765 /proc/meminfo: memFree=30347076/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=248 CPUtime=0 /proc/12765/stat : 12765 (java6) R 12763 12765 11381 0 -1 4194304 110 0 0 0 0 0 0 0 25 0 1 0 132033545 253952 29 4089446400 134512640 134550932 4289999392 18446744073709551615 11883092 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12765/statm: 62 29 21 10 0 23 0 [startup+0.0897409 s] /proc/loadavg: 2.01 2.03 2.10 3/178 12765 /proc/meminfo: memFree=30347076/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1529824 CPUtime=0.09 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 5074 0 1 0 8 1 0 0 25 0 18 0 132033545 1566539776 4510 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 382456 4510 1340 10 0 379759 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1529824 [startup+0.100737 s] /proc/loadavg: 2.01 2.03 2.10 3/178 12765 /proc/meminfo: memFree=30347076/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1529824 CPUtime=0.11 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 5207 0 1 0 10 1 0 0 25 0 18 0 132033545 1566539776 4643 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 382456 4643 1346 10 0 379759 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529824 [startup+0.300702 s] /proc/loadavg: 2.01 2.03 2.10 3/178 12765 /proc/meminfo: memFree=30347076/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1531564 CPUtime=0.5 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 10073 0 1 0 49 1 0 0 25 0 18 0 132033545 1568321536 9314 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 382891 9315 1395 10 0 380194 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 1531564 [startup+0.70059 s] /proc/loadavg: 2.01 2.03 2.10 3/178 12765 /proc/meminfo: memFree=30347076/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1553756 CPUtime=2.05 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 22786 0 1 0 202 3 0 0 25 0 22 0 132033545 1591046144 18454 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 388439 18454 1429 10 0 385742 0 Current children cumulated CPU time (s) 2.05 Current children cumulated vsize (KiB) 1553756 [startup+1.50155 s] /proc/loadavg: 2.01 2.03 2.10 4/198 12787 /proc/meminfo: memFree=30278292/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1551736 CPUtime=3.28 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 30122 0 1 0 323 5 0 0 25 0 20 0 132033545 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 387934 22866 1433 10 0 385237 0 [pid=12765/tid=12767] ppid=12763 vsize=1551736 CPUtime=0.34 /proc/12765/task/12767/stat : 12767 (java) S 12763 12765 11381 0 -1 4202560 10163 0 1 0 32 2 0 0 19 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12768] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12768/stat : 12768 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12769] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12769/stat : 12769 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12770] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12770/stat : 12770 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12771] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12771/stat : 12771 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12772] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12772/stat : 12772 (java) S 12763 12765 11381 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12773] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12773/stat : 12773 (java) S 12763 12765 11381 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12774] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12774/stat : 12774 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12775] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12775/stat : 12775 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12776] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12776/stat : 12776 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 132033547 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12777] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12777/stat : 12777 (java) S 12763 12765 11381 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 20 0 132033548 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12778] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12778/stat : 12778 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 20 0 132033548 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12779] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12779/stat : 12779 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033550 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12780] ppid=12763 vsize=1551736 CPUtime=0.97 /proc/12765/task/12780/stat : 12780 (java) S 12763 12765 11381 0 -1 4202560 7213 0 0 0 96 1 0 0 16 0 20 0 132033550 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12781] ppid=12763 vsize=1551736 CPUtime=0.95 /proc/12765/task/12781/stat : 12781 (java) S 12763 12765 11381 0 -1 4202560 5396 0 0 0 95 0 0 0 16 0 20 0 132033550 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12782] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12782/stat : 12782 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 132033550 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12783] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12783/stat : 12783 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132033550 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12786] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12786/stat : 12786 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033585 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12787] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12787/stat : 12787 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033586 1588977664 22866 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.28 Current children cumulated vsize (KiB) 1551736 [startup+3.10124 s] /proc/loadavg: 1.92 2.01 2.10 2/198 12789 /proc/meminfo: memFree=30260912/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1551736 CPUtime=3.53 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 34922 0 1 0 348 5 0 0 25 0 20 0 132033545 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 387934 27397 1433 10 0 385237 0 [pid=12765/tid=12767] ppid=12763 vsize=1551736 CPUtime=0.34 /proc/12765/task/12767/stat : 12767 (java) S 12763 12765 11381 0 -1 4202560 10366 0 1 0 32 2 0 0 19 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12768] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12768/stat : 12768 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12769] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12769/stat : 12769 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12770] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12770/stat : 12770 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12771] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12771/stat : 12771 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12772] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12772/stat : 12772 (java) S 12763 12765 11381 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12773] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12773/stat : 12773 (java) S 12763 12765 11381 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12774] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12774/stat : 12774 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12775] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12775/stat : 12775 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033546 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12776] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12776/stat : 12776 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 132033547 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12777] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12777/stat : 12777 (java) S 12763 12765 11381 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 20 0 132033548 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12778] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12778/stat : 12778 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 20 0 132033548 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12779] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12779/stat : 12779 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033550 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12780] ppid=12763 vsize=1551736 CPUtime=1.07 /proc/12765/task/12780/stat : 12780 (java) S 12763 12765 11381 0 -1 4202560 7495 0 0 0 106 1 0 0 15 0 20 0 132033550 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12781] ppid=12763 vsize=1551736 CPUtime=0.97 /proc/12765/task/12781/stat : 12781 (java) S 12763 12765 11381 0 -1 4202560 5396 0 0 0 97 0 0 0 16 0 20 0 132033550 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12782] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12782/stat : 12782 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 132033550 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12783] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12783/stat : 12783 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132033550 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12786] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12786/stat : 12786 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033585 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12787] ppid=12763 vsize=1551736 CPUtime=0 /proc/12765/task/12787/stat : 12787 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033586 1588977664 27397 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 1551736 [startup+6.30066 s] /proc/loadavg: 1.92 2.01 2.10 2/198 12795 /proc/meminfo: memFree=30202384/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1550436 CPUtime=4.56 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 48251 0 1 0 449 7 0 0 25 0 20 0 132033545 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 387609 40403 1451 10 0 384912 0 [pid=12765/tid=12767] ppid=12763 vsize=1550436 CPUtime=0.37 /proc/12765/task/12767/stat : 12767 (java) S 12763 12765 11381 0 -1 4202560 10770 0 1 0 35 2 0 0 18 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 4 0 0 0 [pid=12765/tid=12768] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12768/stat : 12768 (java) S 12763 12765 11381 0 -1 4202560 371 0 0 0 0 0 0 0 18 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12769] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12769/stat : 12769 (java) S 12763 12765 11381 0 -1 4202560 552 0 0 0 0 0 0 0 18 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12770] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12770/stat : 12770 (java) S 12763 12765 11381 0 -1 4202560 277 0 0 0 0 0 0 0 18 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12771] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12771/stat : 12771 (java) S 12763 12765 11381 0 -1 4202560 330 0 0 0 0 0 0 0 18 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12772] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12772/stat : 12772 (java) S 12763 12765 11381 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12773] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12773/stat : 12773 (java) S 12763 12765 11381 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12774] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12774/stat : 12774 (java) S 12763 12765 11381 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12775] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12775/stat : 12775 (java) S 12763 12765 11381 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 20 0 132033546 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 4 0 0 0 [pid=12765/tid=12776] ppid=12763 vsize=1550436 CPUtime=0.01 /proc/12765/task/12776/stat : 12776 (java) S 12763 12765 11381 0 -1 4202560 979 0 0 0 1 0 0 0 15 0 20 0 132033547 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12777] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12777/stat : 12777 (java) S 12763 12765 11381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132033548 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12778] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12778/stat : 12778 (java) S 12763 12765 11381 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132033548 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12779] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12779/stat : 12779 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033550 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12780] ppid=12763 vsize=1550436 CPUtime=1.15 /proc/12765/task/12780/stat : 12780 (java) S 12763 12765 11381 0 -1 4202560 7508 0 0 0 114 1 0 0 15 0 20 0 132033550 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12781] ppid=12763 vsize=1550436 CPUtime=1.13 /proc/12765/task/12781/stat : 12781 (java) S 12763 12765 11381 0 -1 4202560 5431 0 0 0 113 0 0 0 15 0 20 0 132033550 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12782] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12782/stat : 12782 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 132033550 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12783] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12783/stat : 12783 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132033550 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12786] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12786/stat : 12786 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033585 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12787] ppid=12763 vsize=1550436 CPUtime=0 /proc/12765/task/12787/stat : 12787 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033586 1587646464 40403 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.56 Current children cumulated vsize (KiB) 1550436 heavy processes: [startup+12.7014 s] /proc/loadavg: 1.94 2.01 2.09 4/200 12803 /proc/meminfo: memFree=30150196/32950928 swapFree=67111528/67111528 ################ # More data... # ################ /proc/12765/task/12772/stat : 12772 (java) S 12763 12765 11381 0 -1 4202560 4628 0 0 0 348 57 0 0 16 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 7 0 0 0 [pid=12765/tid=12773] ppid=12763 vsize=1552484 CPUtime=3.87 /proc/12765/task/12773/stat : 12773 (java) S 12763 12765 11381 0 -1 4202560 4467 0 0 0 329 58 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 3 0 0 0 [pid=12765/tid=12774] ppid=12763 vsize=1552484 CPUtime=4 /proc/12765/task/12774/stat : 12774 (java) S 12763 12765 11381 0 -1 4202560 4701 0 0 0 341 59 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 4 0 0 0 [pid=12765/tid=12775] ppid=12763 vsize=1552484 CPUtime=4.12 /proc/12765/task/12775/stat : 12775 (java) S 12763 12765 11381 0 -1 4202560 4618 0 0 0 344 68 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12776] ppid=12763 vsize=1552484 CPUtime=85.98 /proc/12765/task/12776/stat : 12776 (java) S 12763 12765 11381 0 -1 4202560 5043 0 0 0 8570 28 0 0 15 0 20 0 132033547 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12777] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12777/stat : 12777 (java) S 12763 12765 11381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132033548 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12778] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12778/stat : 12778 (java) S 12763 12765 11381 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132033548 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12779] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12779/stat : 12779 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12780] ppid=12763 vsize=1552484 CPUtime=1.77 /proc/12765/task/12780/stat : 12780 (java) S 12763 12765 11381 0 -1 4202560 7858 0 0 0 176 1 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12781] ppid=12763 vsize=1552484 CPUtime=1.45 /proc/12765/task/12781/stat : 12781 (java) S 12763 12765 11381 0 -1 4202560 5464 0 0 0 145 0 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12782] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12782/stat : 12782 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12783] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12783/stat : 12783 (java) S 12763 12765 11381 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12786] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12786/stat : 12786 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033585 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12787] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12787/stat : 12787 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033586 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1067.34 Current children cumulated vsize (KiB) 1552484 [startup+574.301 s] /proc/loadavg: 2.73 2.70 2.42 3/198 12822 /proc/meminfo: memFree=29894444/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1552484 CPUtime=1068.14 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 98143 0 1 0 106285 529 0 0 25 0 20 0 132033545 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 388121 84798 1451 10 0 385424 0 [pid=12765/tid=12767] ppid=12763 vsize=1552484 CPUtime=1.2 /proc/12765/task/12767/stat : 12767 (java) R 12763 12765 11381 0 -1 4202560 10992 0 1 0 118 2 0 0 16 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4109272791 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12765/tid=12768] ppid=12763 vsize=1552484 CPUtime=3.83 /proc/12765/task/12768/stat : 12768 (java) S 12763 12765 11381 0 -1 4202560 5492 0 0 0 328 55 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12769] ppid=12763 vsize=1552484 CPUtime=3.93 /proc/12765/task/12769/stat : 12769 (java) S 12763 12765 11381 0 -1 4202560 4775 0 0 0 330 63 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12770] ppid=12763 vsize=1552484 CPUtime=3.95 /proc/12765/task/12770/stat : 12770 (java) S 12763 12765 11381 0 -1 4202560 5256 0 0 0 336 59 0 0 16 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12771] ppid=12763 vsize=1552484 CPUtime=4.01 /proc/12765/task/12771/stat : 12771 (java) S 12763 12765 11381 0 -1 4202560 5354 0 0 0 340 61 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12772] ppid=12763 vsize=1552484 CPUtime=4.05 /proc/12765/task/12772/stat : 12772 (java) S 12763 12765 11381 0 -1 4202560 4628 0 0 0 348 57 0 0 16 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 7 0 0 0 [pid=12765/tid=12773] ppid=12763 vsize=1552484 CPUtime=3.87 /proc/12765/task/12773/stat : 12773 (java) S 12763 12765 11381 0 -1 4202560 4467 0 0 0 329 58 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 3 0 0 0 [pid=12765/tid=12774] ppid=12763 vsize=1552484 CPUtime=4 /proc/12765/task/12774/stat : 12774 (java) S 12763 12765 11381 0 -1 4202560 4701 0 0 0 341 59 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 4 0 0 0 [pid=12765/tid=12775] ppid=12763 vsize=1552484 CPUtime=4.12 /proc/12765/task/12775/stat : 12775 (java) S 12763 12765 11381 0 -1 4202560 4618 0 0 0 344 68 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12776] ppid=12763 vsize=1552484 CPUtime=85.98 /proc/12765/task/12776/stat : 12776 (java) S 12763 12765 11381 0 -1 4202560 5043 0 0 0 8570 28 0 0 15 0 20 0 132033547 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12777] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12777/stat : 12777 (java) S 12763 12765 11381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132033548 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12778] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12778/stat : 12778 (java) S 12763 12765 11381 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132033548 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12779] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12779/stat : 12779 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12780] ppid=12763 vsize=1552484 CPUtime=1.77 /proc/12765/task/12780/stat : 12780 (java) S 12763 12765 11381 0 -1 4202560 7858 0 0 0 176 1 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12781] ppid=12763 vsize=1552484 CPUtime=1.45 /proc/12765/task/12781/stat : 12781 (java) S 12763 12765 11381 0 -1 4202560 5464 0 0 0 145 0 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12782] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12782/stat : 12782 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12783] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12783/stat : 12783 (java) S 12763 12765 11381 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12786] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12786/stat : 12786 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033585 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12787] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12787/stat : 12787 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033586 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1068.14 Current children cumulated vsize (KiB) 1552484 [startup+574.701 s] /proc/loadavg: 2.73 2.70 2.42 3/198 12822 /proc/meminfo: memFree=29894444/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1552484 CPUtime=1068.54 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 98143 0 1 0 106325 529 0 0 25 0 20 0 132033545 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 388121 84798 1451 10 0 385424 0 [pid=12765/tid=12767] ppid=12763 vsize=1552484 CPUtime=1.6 /proc/12765/task/12767/stat : 12767 (java) R 12763 12765 11381 0 -1 4202560 10992 0 1 0 158 2 0 0 17 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4110271213 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12765/tid=12768] ppid=12763 vsize=1552484 CPUtime=3.83 /proc/12765/task/12768/stat : 12768 (java) S 12763 12765 11381 0 -1 4202560 5492 0 0 0 328 55 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12769] ppid=12763 vsize=1552484 CPUtime=3.93 /proc/12765/task/12769/stat : 12769 (java) S 12763 12765 11381 0 -1 4202560 4775 0 0 0 330 63 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12770] ppid=12763 vsize=1552484 CPUtime=3.95 /proc/12765/task/12770/stat : 12770 (java) S 12763 12765 11381 0 -1 4202560 5256 0 0 0 336 59 0 0 16 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12771] ppid=12763 vsize=1552484 CPUtime=4.01 /proc/12765/task/12771/stat : 12771 (java) S 12763 12765 11381 0 -1 4202560 5354 0 0 0 340 61 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12772] ppid=12763 vsize=1552484 CPUtime=4.05 /proc/12765/task/12772/stat : 12772 (java) S 12763 12765 11381 0 -1 4202560 4628 0 0 0 348 57 0 0 16 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 7 0 0 0 [pid=12765/tid=12773] ppid=12763 vsize=1552484 CPUtime=3.87 /proc/12765/task/12773/stat : 12773 (java) S 12763 12765 11381 0 -1 4202560 4467 0 0 0 329 58 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 3 0 0 0 [pid=12765/tid=12774] ppid=12763 vsize=1552484 CPUtime=4 /proc/12765/task/12774/stat : 12774 (java) S 12763 12765 11381 0 -1 4202560 4701 0 0 0 341 59 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 4 0 0 0 [pid=12765/tid=12775] ppid=12763 vsize=1552484 CPUtime=4.12 /proc/12765/task/12775/stat : 12775 (java) S 12763 12765 11381 0 -1 4202560 4618 0 0 0 344 68 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12776] ppid=12763 vsize=1552484 CPUtime=85.98 /proc/12765/task/12776/stat : 12776 (java) S 12763 12765 11381 0 -1 4202560 5043 0 0 0 8570 28 0 0 15 0 20 0 132033547 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12777] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12777/stat : 12777 (java) S 12763 12765 11381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132033548 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12778] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12778/stat : 12778 (java) S 12763 12765 11381 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132033548 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12779] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12779/stat : 12779 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12780] ppid=12763 vsize=1552484 CPUtime=1.77 /proc/12765/task/12780/stat : 12780 (java) S 12763 12765 11381 0 -1 4202560 7858 0 0 0 176 1 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12781] ppid=12763 vsize=1552484 CPUtime=1.45 /proc/12765/task/12781/stat : 12781 (java) S 12763 12765 11381 0 -1 4202560 5464 0 0 0 145 0 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12782] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12782/stat : 12782 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12783] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12783/stat : 12783 (java) S 12763 12765 11381 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12786] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12786/stat : 12786 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033585 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12787] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12787/stat : 12787 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033586 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1068.54 Current children cumulated vsize (KiB) 1552484 [startup+574.801 s] /proc/loadavg: 2.73 2.70 2.42 3/198 12822 /proc/meminfo: memFree=29894444/32950928 swapFree=67111528/67111528 [pid=12765] ppid=12763 vsize=1552484 CPUtime=1068.64 /proc/12765/stat : 12765 (java) S 12763 12765 11381 0 -1 4202496 98143 0 1 0 106335 529 0 0 25 0 20 0 132033545 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12765/statm: 388121 84798 1451 10 0 385424 0 [pid=12765/tid=12767] ppid=12763 vsize=1552484 CPUtime=1.7 /proc/12765/task/12767/stat : 12767 (java) R 12763 12765 11381 0 -1 4202560 10992 0 1 0 168 2 0 0 17 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4110270800 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12765/tid=12768] ppid=12763 vsize=1552484 CPUtime=3.83 /proc/12765/task/12768/stat : 12768 (java) S 12763 12765 11381 0 -1 4202560 5492 0 0 0 328 55 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12769] ppid=12763 vsize=1552484 CPUtime=3.93 /proc/12765/task/12769/stat : 12769 (java) S 12763 12765 11381 0 -1 4202560 4775 0 0 0 330 63 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12770] ppid=12763 vsize=1552484 CPUtime=3.95 /proc/12765/task/12770/stat : 12770 (java) S 12763 12765 11381 0 -1 4202560 5256 0 0 0 336 59 0 0 16 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12771] ppid=12763 vsize=1552484 CPUtime=4.01 /proc/12765/task/12771/stat : 12771 (java) S 12763 12765 11381 0 -1 4202560 5354 0 0 0 340 61 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12772] ppid=12763 vsize=1552484 CPUtime=4.05 /proc/12765/task/12772/stat : 12772 (java) S 12763 12765 11381 0 -1 4202560 4628 0 0 0 348 57 0 0 16 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 7 0 0 0 [pid=12765/tid=12773] ppid=12763 vsize=1552484 CPUtime=3.87 /proc/12765/task/12773/stat : 12773 (java) S 12763 12765 11381 0 -1 4202560 4467 0 0 0 329 58 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 3 0 0 0 [pid=12765/tid=12774] ppid=12763 vsize=1552484 CPUtime=4 /proc/12765/task/12774/stat : 12774 (java) S 12763 12765 11381 0 -1 4202560 4701 0 0 0 341 59 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 4 0 0 0 [pid=12765/tid=12775] ppid=12763 vsize=1552484 CPUtime=4.12 /proc/12765/task/12775/stat : 12775 (java) S 12763 12765 11381 0 -1 4202560 4618 0 0 0 344 68 0 0 15 0 20 0 132033546 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 0 0 0 0 [pid=12765/tid=12776] ppid=12763 vsize=1552484 CPUtime=85.98 /proc/12765/task/12776/stat : 12776 (java) S 12763 12765 11381 0 -1 4202560 5043 0 0 0 8570 28 0 0 15 0 20 0 132033547 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 0 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12777] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12777/stat : 12777 (java) S 12763 12765 11381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132033548 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12778] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12778/stat : 12778 (java) S 12763 12765 11381 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132033548 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12779] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12779/stat : 12779 (java) S 12763 12765 11381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12780] ppid=12763 vsize=1552484 CPUtime=1.77 /proc/12765/task/12780/stat : 12780 (java) S 12763 12765 11381 0 -1 4202560 7858 0 0 0 176 1 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12781] ppid=12763 vsize=1552484 CPUtime=1.45 /proc/12765/task/12781/stat : 12781 (java) S 12763 12765 11381 0 -1 4202560 5464 0 0 0 145 0 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 6 0 0 0 [pid=12765/tid=12782] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12782/stat : 12782 (java) S 12763 12765 11381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 2 0 0 0 [pid=12765/tid=12783] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12783/stat : 12783 (java) S 12763 12765 11381 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 20 0 132033550 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 5 0 0 0 [pid=12765/tid=12786] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12786/stat : 12786 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033585 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 [pid=12765/tid=12787] ppid=12763 vsize=1552484 CPUtime=0 /proc/12765/task/12787/stat : 12787 (java) S 12763 12765 11381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 132033586 1589743616 84798 4089446400 134512640 134550932 4292549328 18446744073709551615 4294960144 0 4 0 16800975 18446604440279340288 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1068.64 Current children cumulated vsize (KiB) 1552484 Child status: 30 Real time (s): 574.849 CPU time (s): 1068.7 CPU user time (s): 1063.39 CPU system time (s): 5.30819 CPU usage (%): 185.909 Max. virtual memory (cumulated for all children) (KiB): 1554808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1063.39 system time used= 5.30819 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98150 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= 69726 involuntary context switches= 1371578 runsolver used 1.08483 second user time and 2.16667 second system time The end
Begin job on node125 at 2010-06-30 16:16:09 IDJOB=2694880 IDBENCH=78948 IDSOLVER=1207 FILE ID=node125/2694880-1277907369 PBS_JOBID= 11197175 Free space on /tmp= 74200 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694880-1277907369/watcher-2694880-1277907369 -o /tmp/evaluation-result-2694880-1277907369/solver-2694880-1277907369 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694880-1277907369.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 901bd5d9c00fc087d540e6ebf4e7f98d RANDOM SEED=1804410599 node125.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30347464 kB Buffers: 190624 kB Cached: 792628 kB SwapCached: 0 kB Active: 1909368 kB Inactive: 551548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30347464 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 412 kB Writeback: 0 kB AnonPages: 1477316 kB Mapped: 16264 kB Slab: 77480 kB PageTables: 7648 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1643088 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node125 at 2010-06-30 16:25:44