Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong Opt. | 701.473 | 382.021 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo |
MD5SUM | 05d9157cdbd186fca72e4e6dc0ec425d |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 341.13 |
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 | 1839 |
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 | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 755 |
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.02/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.07 c See www.sat4j.org for details. 0.02/0.07 c version 2.2.0.v20100531 0.02/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.02/0.07 c java.vm.version 11.2-b01 0.02/0.07 c java.vm.vendor Sun Microsystems Inc. 0.02/0.07 c sun.arch.data.model 32 0.02/0.07 c java.version 1.6.0_12 0.02/0.07 c os.name Linux 0.02/0.07 c os.version 2.6.18-164.el5 0.02/0.07 c os.arch i386 0.02/0.07 c Free memory 1393557488 0.02/0.07 c Max memory 1395916800 0.02/0.07 c Total memory 1395916800 0.02/0.07 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization 0.10/0.10 c ManyCore solver with 2 solvers running in parallel 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c Stops conflict analysis at the first Unique Implication Point 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@18385e3 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c Expensive reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c Stops conflict analysis at the first Unique Implication Point 0.10/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@cf40f5 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 0.10/0.10 c solving HOME/instance-2694241-1277912293.wbo 0.10/0.10 c reading problem ... 0.51/0.34 c ... done. Wall clock time 0.24s. 0.51/0.34 c #vars 2070 0.51/0.34 c #constraints 2707 0.51/0.34 c constraints type 0.51/0.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 801 0.51/0.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1831 0.51/0.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74 0.51/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 0.51/0.34 c constraints type 0.51/0.34 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74 0.51/0.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 801 0.51/0.34 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1831 0.51/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1.66/0.64 c And the winner is Resolution 2.40/1.35 c SATISFIABLE 2.40/1.35 c OPTIMIZING... 2.40/1.35 c Got one! Elapsed wall clock time (in seconds):1.249 2.40/1.35 o 405 2.57/1.41 c And the winner is Resolution 2.74/2.36 c Got one! Elapsed wall clock time (in seconds):2.263 2.74/2.36 o 308 2.74/2.39 c And the winner is Resolution 2.83/3.38 c Got one! Elapsed wall clock time (in seconds):3.276 2.83/3.38 o 175 2.89/3.42 c And the winner is Resolution 3.03/4.39 c Got one! Elapsed wall clock time (in seconds):4.29 3.03/4.39 o 149 3.69/4.64 c And the winner is Resolution 3.79/5.40 c Got one! Elapsed wall clock time (in seconds):5.299 3.79/5.40 o 137 4.27/5.69 c cleaning 2496 clauses out of 5002 with flag 5002/5002 6.23/6.49 c And the winner is Resolution 6.63/7.41 c Got one! Elapsed wall clock time (in seconds):7.309 6.63/7.41 o 135 6.63/7.45 c cleaning 4250 clauses out of 8504 with flag 11000/11000 7.21/7.71 c And the winner is Resolution 7.23/8.42 c Got one! Elapsed wall clock time (in seconds):8.319 7.23/8.42 o 132 8.00/8.83 c And the winner is Resolution 8.07/9.43 c Got one! Elapsed wall clock time (in seconds):9.326 8.07/9.43 o 122 8.21/9.54 c cleaning 5625 clauses out of 11256 with flag 18002/18002 8.40/9.65 c And the winner is Resolution 8.52/10.44 c Got one! Elapsed wall clock time (in seconds):10.337 8.52/10.44 o 117 9.27/10.80 c And the winner is Resolution 9.29/11.45 c Got one! Elapsed wall clock time (in seconds):11.344 9.29/11.45 o 100 10.20/11.92 c cleaning 6814 clauses out of 13629 with flag 26000/26000 11.61/12.61 c And the winner is Resolution 11.65/13.46 c Got one! Elapsed wall clock time (in seconds):13.353 11.65/13.46 o 92 12.74/14.01 c And the winner is Resolution 12.78/14.46 c Got one! Elapsed wall clock time (in seconds):14.36 12.78/14.46 o 84 13.04/14.62 c cleaning 7905 clauses out of 15815 with flag 35000/35000 15.65/15.98 c cleaning 8947 clauses out of 17911 with flag 45001/45001 18.63/17.47 c cleaning 9480 clauses out of 18968 with flag 55005/55005 21.62/18.98 c cleaning 9736 clauses out of 19483 with flag 65000/65000 24.59/20.49 c cleaning 9870 clauses out of 19751 with flag 75004/75004 27.79/22.09 c cleaning 9935 clauses out of 19878 with flag 85001/85001 31.18/23.73 c And the winner is Resolution 31.58/24.49 c Got one! Elapsed wall clock time (in seconds):24.383 31.58/24.49 o 52 31.60/24.54 c cleaning 9966 clauses out of 19944 with flag 95002/95002 33.61/25.56 c cleaning 9982 clauses out of 19976 with flag 105000/105000 35.56/26.58 c cleaning 9994 clauses out of 19995 with flag 115001/115001 36.73/27.19 c And the winner is Resolution 37.01/27.50 c Got one! Elapsed wall clock time (in seconds):27.395 37.01/27.50 o 46 38.02/28.02 c cleaning 9992 clauses out of 20000 with flag 125000/125000 39.99/29.09 c cleaning 10003 clauses out of 20009 with flag 135001/135001 40.55/29.31 c And the winner is Resolution 40.59/29.51 c Got one! Elapsed wall clock time (in seconds):29.406 40.59/29.51 o 32 42.18/30.31 c cleaning 9994 clauses out of 20005 with flag 145000/145000 43.92/31.21 c cleaning 9996 clauses out of 20011 with flag 155000/155000 45.48/32.04 c cleaning 9996 clauses out of 20016 with flag 165001/165001 47.25/32.91 c cleaning 10005 clauses out of 20020 with flag 175001/175001 49.00/33.83 c cleaning 10003 clauses out of 20017 with flag 185003/185003 50.74/34.72 c cleaning 9999 clauses out of 20012 with flag 195001/195001 52.49/35.65 c cleaning 10003 clauses out of 20013 with flag 205001/205001 54.24/36.52 c cleaning 9998 clauses out of 20009 with flag 215000/215000 55.80/37.38 c cleaning 10001 clauses out of 20013 with flag 225002/225002 57.52/38.22 c cleaning 10002 clauses out of 20011 with flag 235001/235001 59.08/39.06 c cleaning 9997 clauses out of 20009 with flag 245001/245001 60.83/39.90 c cleaning 10002 clauses out of 20012 with flag 255001/255001 62.19/40.65 c cleaning 10002 clauses out of 20012 with flag 265003/265003 63.92/41.56 c cleaning 9993 clauses out of 20008 with flag 275001/275001 65.68/42.48 c cleaning 10002 clauses out of 20014 with flag 285000/285000 67.63/43.48 c cleaning 10000 clauses out of 20013 with flag 295001/295001 69.39/44.37 c cleaning 9993 clauses out of 20012 with flag 305000/305000 71.12/45.21 c cleaning 10004 clauses out of 20019 with flag 315000/315000 72.67/46.08 c cleaning 10002 clauses out of 20015 with flag 325000/325000 74.62/47.00 c cleaning 9999 clauses out of 20015 with flag 335002/335002 76.16/47.88 c cleaning 10005 clauses out of 20017 with flag 345003/345003 76.47/48.06 c And the winner is Resolution 76.62/48.65 c Got one! Elapsed wall clock time (in seconds):48.544 76.62/48.65 o 21 78.34/49.60 c cleaning 9997 clauses out of 20010 with flag 355001/355001 80.30/50.52 c cleaning 10003 clauses out of 20016 with flag 365004/365004 81.83/51.31 c cleaning 9996 clauses out of 20010 with flag 375001/375001 83.37/52.12 c cleaning 10005 clauses out of 20015 with flag 385002/385002 84.88/52.96 c cleaning 10001 clauses out of 20013 with flag 395005/395005 86.63/53.80 c cleaning 10000 clauses out of 20007 with flag 405000/405000 88.15/54.65 c cleaning 9993 clauses out of 20008 with flag 415001/415001 89.69/55.44 c cleaning 9999 clauses out of 20014 with flag 425000/425000 91.41/56.31 c cleaning 9994 clauses out of 20016 with flag 435001/435001 93.34/57.30 c cleaning 10006 clauses out of 20021 with flag 445000/445000 94.87/58.18 c cleaning 10002 clauses out of 20015 with flag 455000/455000 96.80/59.10 c cleaning 10000 clauses out of 20013 with flag 465000/465000 98.52/60.02 c cleaning 10000 clauses out of 20016 with flag 475003/475003 100.24/60.95 c cleaning 9997 clauses out of 20014 with flag 485001/485001 101.98/61.85 c cleaning 10004 clauses out of 20016 with flag 495000/495000 103.73/62.74 c cleaning 9999 clauses out of 20013 with flag 505001/505001 105.43/63.68 c cleaning 10004 clauses out of 20016 with flag 515003/515003 107.16/64.53 c cleaning 9998 clauses out of 20009 with flag 525000/525000 108.69/65.37 c cleaning 9997 clauses out of 20011 with flag 535000/535000 110.22/66.19 c cleaning 10000 clauses out of 20015 with flag 545001/545001 111.94/67.05 c cleaning 10001 clauses out of 20014 with flag 555000/555000 113.66/67.92 c cleaning 10003 clauses out of 20016 with flag 565003/565003 115.39/68.80 c cleaning 9995 clauses out of 20010 with flag 575000/575000 117.12/69.76 c cleaning 10001 clauses out of 20015 with flag 585000/585000 119.03/70.76 c cleaning 9997 clauses out of 20014 with flag 595000/595000 120.75/71.68 c cleaning 10002 clauses out of 20017 with flag 605000/605000 122.70/72.66 c cleaning 10003 clauses out of 20017 with flag 615002/615002 124.41/73.58 c cleaning 9999 clauses out of 20012 with flag 625000/625000 126.31/74.51 c cleaning 9998 clauses out of 20013 with flag 635000/635000 127.83/75.33 c cleaning 10006 clauses out of 20017 with flag 645002/645002 129.35/76.11 c cleaning 10002 clauses out of 20010 with flag 655001/655001 130.88/76.94 c cleaning 9997 clauses out of 20007 with flag 665000/665000 132.58/77.80 c cleaning 9999 clauses out of 20013 with flag 675003/675003 134.10/78.68 c cleaning 10005 clauses out of 20015 with flag 685004/685004 135.62/79.44 c cleaning 9999 clauses out of 20006 with flag 695000/695000 137.17/80.29 c cleaning 10001 clauses out of 20009 with flag 705002/705002 138.85/81.18 c cleaning 9998 clauses out of 20008 with flag 715002/715002 140.57/82.01 c cleaning 9997 clauses out of 20008 with flag 725000/725000 142.10/82.86 c cleaning 10001 clauses out of 20011 with flag 735000/735000 143.82/83.71 c cleaning 9992 clauses out of 20010 with flag 745000/745000 145.31/84.58 c cleaning 10004 clauses out of 20019 with flag 755001/755001 146.83/85.37 c cleaning 10002 clauses out of 20015 with flag 765001/765001 148.35/86.19 c cleaning 9998 clauses out of 20013 with flag 775001/775001 149.89/86.97 c cleaning 9996 clauses out of 20016 with flag 785002/785002 151.57/87.87 c cleaning 10000 clauses out of 20018 with flag 795000/795000 153.08/88.66 c cleaning 10007 clauses out of 20020 with flag 805002/805002 154.61/89.46 c cleaning 10003 clauses out of 20013 with flag 815002/815002 156.15/90.21 c cleaning 10002 clauses out of 20010 with flag 825002/825002 157.63/91.00 c cleaning 9996 clauses out of 20006 with flag 835000/835000 158.94/91.78 c cleaning 9995 clauses out of 20010 with flag 845000/845000 160.46/92.53 c cleaning 0 clauses out of 5006 with flag 0/5006 160.66/92.69 c cleaning 10003 clauses out of 20015 with flag 855000/855000 162.25/93.45 c cleaning 9999 clauses out of 20014 with flag 865002/865002 163.76/94.29 c cleaning 10003 clauses out of 20014 with flag 875001/875001 165.48/95.19 c cleaning 9998 clauses out of 20012 with flag 885002/885002 167.38/96.11 c cleaning 9989 clauses out of 20013 with flag 895001/895001 168.87/96.93 c cleaning 10005 clauses out of 20023 with flag 905000/905000 170.60/97.84 c cleaning 10006 clauses out of 20018 with flag 915000/915000 172.10/98.68 c cleaning 10001 clauses out of 20012 with flag 925000/925000 173.81/99.55 c cleaning 9999 clauses out of 20011 with flag 935000/935000 175.50/100.41 c cleaning 10002 clauses out of 20015 with flag 945003/945003 177.20/101.30 c cleaning 10003 clauses out of 20011 with flag 955001/955001 178.71/102.20 c cleaning 9992 clauses out of 20007 with flag 965000/965000 180.42/103.07 c cleaning 10001 clauses out of 20016 with flag 975001/975001 182.29/104.01 c cleaning 10001 clauses out of 20014 with flag 985000/985000 184.02/104.92 c cleaning 10000 clauses out of 20014 with flag 995001/995001 185.53/105.75 c cleaning 10002 clauses out of 20014 with flag 1005001/1005001 187.03/106.55 c cleaning 10002 clauses out of 20011 with flag 1015000/1015000 188.71/107.42 c cleaning 10001 clauses out of 20010 with flag 1025001/1025001 190.22/108.21 c cleaning 10003 clauses out of 20011 with flag 1035003/1035003 191.73/109.00 c cleaning 9998 clauses out of 20005 with flag 1045000/1045000 193.23/109.88 c cleaning 10001 clauses out of 20007 with flag 1055000/1055000 194.92/110.78 c cleaning 10000 clauses out of 20007 with flag 1065001/1065001 196.64/111.69 c cleaning 9996 clauses out of 20006 with flag 1075000/1075000 198.54/112.61 c cleaning 10001 clauses out of 20011 with flag 1085001/1085001 200.04/113.48 c cleaning 10001 clauses out of 20012 with flag 1095003/1095003 201.94/114.41 c cleaning 9999 clauses out of 20009 with flag 1105001/1105001 203.44/115.28 c cleaning 9997 clauses out of 20010 with flag 1115001/1115001 205.15/116.16 c cleaning 9999 clauses out of 20012 with flag 1125000/1125000 206.87/117.03 c cleaning 10000 clauses out of 20014 with flag 1135001/1135001 208.55/117.95 c cleaning 10002 clauses out of 20014 with flag 1145001/1145001 210.45/118.94 c cleaning 9996 clauses out of 20011 with flag 1155000/1155000 212.18/119.83 c cleaning 10003 clauses out of 20015 with flag 1165000/1165000 213.87/120.76 c cleaning 10003 clauses out of 20012 with flag 1175000/1175000 215.56/121.69 c cleaning 9998 clauses out of 20010 with flag 1185001/1185001 217.27/122.57 c cleaning 10003 clauses out of 20013 with flag 1195002/1195002 218.97/123.47 c cleaning 9992 clauses out of 20008 with flag 1205000/1205000 220.69/124.35 c cleaning 10005 clauses out of 20016 with flag 1215000/1215000 222.35/125.27 c cleaning 9993 clauses out of 20011 with flag 1225000/1225000 224.06/126.14 c cleaning 10001 clauses out of 20019 with flag 1235001/1235001 225.78/127.03 c cleaning 10003 clauses out of 20017 with flag 1245000/1245000 227.29/127.89 c cleaning 10001 clauses out of 20014 with flag 1255000/1255000 229.19/128.85 c cleaning 10002 clauses out of 20014 with flag 1265001/1265001 230.70/129.70 c cleaning 9999 clauses out of 20012 with flag 1275001/1275001 232.40/130.51 c cleaning 10000 clauses out of 20012 with flag 1285000/1285000 233.91/131.34 c cleaning 10003 clauses out of 20012 with flag 1295000/1295000 235.60/132.23 c cleaning 9992 clauses out of 20010 with flag 1305001/1305001 237.13/133.02 c cleaning 10002 clauses out of 20017 with flag 1315000/1315000 238.64/133.88 c cleaning 10004 clauses out of 20015 with flag 1325000/1325000 240.56/134.80 c cleaning 9998 clauses out of 20011 with flag 1335000/1335000 242.24/135.73 c cleaning 10001 clauses out of 20013 with flag 1345000/1345000 243.95/136.62 c cleaning 10003 clauses out of 20012 with flag 1355000/1355000 245.67/137.50 c cleaning 9999 clauses out of 20009 with flag 1365000/1365000 247.17/138.39 c cleaning 10001 clauses out of 20010 with flag 1375000/1375000 249.06/139.30 c cleaning 9998 clauses out of 20009 with flag 1385000/1385000 250.57/140.15 c cleaning 9998 clauses out of 20011 with flag 1395000/1395000 252.28/141.00 c cleaning 9998 clauses out of 20013 with flag 1405000/1405000 253.82/141.87 c cleaning 10004 clauses out of 20016 with flag 1415001/1415001 255.69/142.81 c cleaning 10003 clauses out of 20013 with flag 1425002/1425002 257.39/143.71 c cleaning 9998 clauses out of 20009 with flag 1435001/1435001 258.91/144.59 c cleaning 9995 clauses out of 20010 with flag 1445000/1445000 260.60/145.48 c cleaning 9999 clauses out of 20017 with flag 1455002/1455002 262.31/146.31 c cleaning 9999 clauses out of 20016 with flag 1465000/1465000 263.81/147.14 c cleaning 10003 clauses out of 20018 with flag 1475001/1475001 265.31/147.94 c cleaning 10001 clauses out of 20016 with flag 1485002/1485002 267.03/148.81 c cleaning 10002 clauses out of 20015 with flag 1495002/1495002 268.53/149.68 c cleaning 9999 clauses out of 20011 with flag 1505000/1505000 270.22/150.59 c cleaning 9998 clauses out of 20012 with flag 1515000/1515000 272.13/151.55 c cleaning 10003 clauses out of 20015 with flag 1525001/1525001 273.84/152.45 c cleaning 10001 clauses out of 20013 with flag 1535002/1535002 275.53/153.32 c cleaning 9998 clauses out of 20012 with flag 1545002/1545002 277.24/154.26 c cleaning 10000 clauses out of 20013 with flag 1555001/1555001 278.95/155.17 c cleaning 9996 clauses out of 20012 with flag 1565000/1565000 280.65/156.04 c cleaning 10002 clauses out of 20018 with flag 1575002/1575002 282.34/156.90 c cleaning 10003 clauses out of 20015 with flag 1585001/1585001 283.85/157.73 c cleaning 10001 clauses out of 20011 with flag 1595000/1595000 285.56/158.63 c cleaning 9995 clauses out of 20010 with flag 1605000/1605000 287.09/159.49 c cleaning 10004 clauses out of 20017 with flag 1615002/1615002 288.76/160.39 c cleaning 9994 clauses out of 20012 with flag 1625001/1625001 290.66/161.30 c cleaning 10000 clauses out of 20017 with flag 1635000/1635000 292.17/162.14 c cleaning 10002 clauses out of 20017 with flag 1645000/1645000 293.67/163.00 c cleaning 10004 clauses out of 20016 with flag 1655001/1655001 295.37/163.88 c cleaning 10002 clauses out of 20011 with flag 1665000/1665000 297.06/164.75 c cleaning 9995 clauses out of 20010 with flag 1675001/1675001 298.76/165.63 c cleaning 9999 clauses out of 20014 with flag 1685000/1685000 300.47/166.53 c cleaning 10002 clauses out of 20015 with flag 1695000/1695000 302.15/167.41 c cleaning 9999 clauses out of 20014 with flag 1705001/1705001 304.05/168.41 c cleaning 9994 clauses out of 20015 with flag 1715001/1715001 305.76/169.34 c cleaning 10005 clauses out of 20022 with flag 1725002/1725002 307.46/170.27 c cleaning 9999 clauses out of 20015 with flag 1735000/1735000 309.34/171.26 c cleaning 10003 clauses out of 20016 with flag 1745000/1745000 311.04/172.17 c cleaning 10001 clauses out of 20014 with flag 1755001/1755001 312.94/173.17 c cleaning 10000 clauses out of 20014 with flag 1765002/1765002 314.84/174.10 c cleaning 10000 clauses out of 20013 with flag 1775001/1775001 316.51/175.03 c cleaning 10000 clauses out of 20014 with flag 1785002/1785002 318.22/175.96 c cleaning 9997 clauses out of 20012 with flag 1795000/1795000 319.71/176.77 c cleaning 9999 clauses out of 20015 with flag 1805000/1805000 321.41/177.63 c cleaning 10003 clauses out of 20019 with flag 1815003/1815003 322.88/178.50 c cleaning 10002 clauses out of 20015 with flag 1825002/1825002 324.78/179.44 c cleaning 9998 clauses out of 20011 with flag 1835000/1835000 326.48/180.32 c cleaning 10004 clauses out of 20017 with flag 1845004/1845004 328.18/181.20 c cleaning 10002 clauses out of 20012 with flag 1855003/1855003 329.87/182.11 c cleaning 9996 clauses out of 20008 with flag 1865001/1865001 331.57/183.01 c cleaning 10001 clauses out of 20012 with flag 1875001/1875001 333.27/183.91 c cleaning 10005 clauses out of 20013 with flag 1885003/1885003 335.17/184.91 c cleaning 9997 clauses out of 20007 with flag 1895002/1895002 336.64/185.80 c cleaning 9999 clauses out of 20009 with flag 1905001/1905001 338.55/186.71 c cleaning 10001 clauses out of 20009 with flag 1915000/1915000 340.25/187.66 c cleaning 10001 clauses out of 20010 with flag 1925002/1925002 341.96/188.55 c cleaning 9994 clauses out of 20008 with flag 1935001/1935001 343.84/189.55 c cleaning 9995 clauses out of 20014 with flag 1945001/1945001 345.74/190.50 c cleaning 10003 clauses out of 20019 with flag 1955001/1955001 347.25/191.37 c cleaning 10001 clauses out of 20015 with flag 1965000/1965000 349.14/192.36 c cleaning 9999 clauses out of 20014 with flag 1975000/1975000 351.01/193.35 c cleaning 10001 clauses out of 20015 with flag 1985000/1985000 352.71/194.28 c cleaning 10001 clauses out of 20014 with flag 1995000/1995000 354.42/195.17 c cleaning 10000 clauses out of 20013 with flag 2005000/2005000 356.32/196.11 c cleaning 10002 clauses out of 20015 with flag 2015002/2015002 358.00/197.07 c cleaning 10004 clauses out of 20011 with flag 2025000/2025000 359.91/198.02 c cleaning 10001 clauses out of 20009 with flag 2035002/2035002 361.60/198.93 c cleaning 9997 clauses out of 20006 with flag 2045000/2045000 363.31/199.86 c cleaning 9998 clauses out of 20009 with flag 2055000/2055000 364.97/200.75 c cleaning 10000 clauses out of 20012 with flag 2065001/2065001 366.46/201.56 c cleaning 9994 clauses out of 20011 with flag 2075000/2075000 368.17/202.49 c cleaning 10002 clauses out of 20019 with flag 2085002/2085002 369.86/203.35 c cleaning 10003 clauses out of 20016 with flag 2095001/2095001 371.53/204.24 c cleaning 9995 clauses out of 20012 with flag 2105000/2105000 373.22/205.16 c cleaning 10003 clauses out of 20017 with flag 2115000/2115000 374.91/206.01 c cleaning 9999 clauses out of 20015 with flag 2125001/2125001 376.41/206.89 c cleaning 10001 clauses out of 20019 with flag 2135004/2135004 378.28/207.81 c cleaning 10004 clauses out of 20018 with flag 2145004/2145004 379.75/208.66 c cleaning 10000 clauses out of 20012 with flag 2155002/2155002 381.43/209.56 c cleaning 9992 clauses out of 20010 with flag 2165000/2165000 383.31/210.53 c cleaning 9999 clauses out of 20019 with flag 2175001/2175001 384.97/211.46 c cleaning 9999 clauses out of 20020 with flag 2185001/2185001 387.05/212.58 c cleaning 10002 clauses out of 20020 with flag 2195000/2195000 388.94/213.54 c cleaning 10001 clauses out of 20019 with flag 2205001/2205001 390.64/214.46 c cleaning 10004 clauses out of 20019 with flag 2215002/2215002 392.48/215.42 c cleaning 9994 clauses out of 20013 with flag 2225000/2225000 393.98/216.29 c cleaning 9998 clauses out of 20020 with flag 2235001/2235001 395.66/217.18 c cleaning 10001 clauses out of 20021 with flag 2245000/2245000 397.55/218.12 c cleaning 10002 clauses out of 20022 with flag 2255002/2255002 399.20/219.05 c cleaning 10004 clauses out of 20019 with flag 2265001/2265001 400.89/219.98 c cleaning 10000 clauses out of 20015 with flag 2275001/2275001 402.76/220.93 c cleaning 10002 clauses out of 20014 with flag 2285000/2285000 404.44/221.84 c cleaning 9996 clauses out of 20013 with flag 2295001/2295001 406.31/222.82 c cleaning 9999 clauses out of 20018 with flag 2305002/2305002 408.00/223.78 c cleaning 10002 clauses out of 20017 with flag 2315000/2315000 409.89/224.78 c cleaning 10000 clauses out of 20016 with flag 2325001/2325001 411.58/225.64 c cleaning 9998 clauses out of 20015 with flag 2335000/2335000 413.24/226.52 c cleaning 10005 clauses out of 20019 with flag 2345002/2345002 414.71/227.37 c cleaning 10003 clauses out of 20012 with flag 2355000/2355000 416.40/228.29 c cleaning 9996 clauses out of 20009 with flag 2365000/2365000 418.10/229.12 c cleaning 10002 clauses out of 20013 with flag 2375000/2375000 419.75/230.02 c cleaning 10002 clauses out of 20012 with flag 2385001/2385001 421.23/230.90 c cleaning 9994 clauses out of 20009 with flag 2395000/2395000 423.12/231.89 c cleaning 10004 clauses out of 20016 with flag 2405001/2405001 424.99/232.82 c cleaning 10003 clauses out of 20016 with flag 2415005/2415005 426.65/233.72 c cleaning 9997 clauses out of 20008 with flag 2425000/2425000 428.54/234.75 c cleaning 9993 clauses out of 20011 with flag 2435000/2435000 430.63/235.81 c cleaning 10002 clauses out of 20019 with flag 2445001/2445001 432.52/236.82 c cleaning 10000 clauses out of 20016 with flag 2455000/2455000 434.18/237.76 c cleaning 10001 clauses out of 20017 with flag 2465001/2465001 435.87/238.68 c cleaning 10001 clauses out of 20015 with flag 2475000/2475000 437.54/239.59 c cleaning 10000 clauses out of 20016 with flag 2485002/2485002 439.42/240.50 c cleaning 10002 clauses out of 20015 with flag 2495001/2495001 441.08/241.43 c cleaning 9999 clauses out of 20013 with flag 2505001/2505001 442.96/242.45 c cleaning 10001 clauses out of 20013 with flag 2515000/2515000 444.65/243.37 c cleaning 9999 clauses out of 20012 with flag 2525000/2525000 446.54/244.32 c cleaning 10002 clauses out of 20015 with flag 2535002/2535002 448.19/245.23 c cleaning 10004 clauses out of 20014 with flag 2545003/2545003 450.06/246.25 c cleaning 9996 clauses out of 20007 with flag 2555000/2555000 451.75/247.17 c cleaning 10001 clauses out of 20012 with flag 2565001/2565001 453.43/248.09 c cleaning 10001 clauses out of 20012 with flag 2575002/2575002 455.28/249.01 c cleaning 10001 clauses out of 20012 with flag 2585003/2585003 456.77/249.88 c cleaning 9997 clauses out of 20008 with flag 2595000/2595000 458.46/250.77 c cleaning 9992 clauses out of 20012 with flag 2605001/2605001 460.74/251.95 c cleaning 10002 clauses out of 20019 with flag 2615000/2615000 463.01/253.12 c cleaning 10003 clauses out of 20017 with flag 2625000/2625000 464.69/254.08 c cleaning 10003 clauses out of 20014 with flag 2635000/2635000 466.37/254.94 c cleaning 9992 clauses out of 20011 with flag 2645000/2645000 468.06/255.86 c cleaning 10004 clauses out of 20020 with flag 2655001/2655001 469.71/256.79 c cleaning 10006 clauses out of 20018 with flag 2665003/2665003 471.58/257.80 c cleaning 9993 clauses out of 20010 with flag 2675001/2675001 473.45/258.74 c cleaning 10005 clauses out of 20018 with flag 2685002/2685002 475.15/259.66 c cleaning 9993 clauses out of 20011 with flag 2695000/2695000 477.00/260.63 c cleaning 10003 clauses out of 20019 with flag 2705001/2705001 478.68/261.56 c cleaning 9999 clauses out of 20015 with flag 2715000/2715000 480.37/262.48 c cleaning 10005 clauses out of 20016 with flag 2725000/2725000 482.06/263.38 c cleaning 9999 clauses out of 20013 with flag 2735002/2735002 483.90/264.34 c cleaning 9998 clauses out of 20012 with flag 2745000/2745000 485.58/265.29 c cleaning 10006 clauses out of 20017 with flag 2755003/2755003 487.47/266.28 c cleaning 10002 clauses out of 20010 with flag 2765002/2765002 489.14/267.16 c cleaning 9997 clauses out of 20007 with flag 2775001/2775001 491.02/268.18 c cleaning 9996 clauses out of 20010 with flag 2785001/2785001 492.91/269.12 c cleaning 9995 clauses out of 20013 with flag 2795000/2795000 494.59/270.03 c cleaning 10004 clauses out of 20018 with flag 2805000/2805000 496.28/270.93 c cleaning 9999 clauses out of 20014 with flag 2815000/2815000 497.94/271.87 c cleaning 10002 clauses out of 20016 with flag 2825001/2825001 499.64/272.78 c cleaning 9998 clauses out of 20014 with flag 2835001/2835001 501.33/273.65 c cleaning 10003 clauses out of 20015 with flag 2845000/2845000 503.02/274.57 c cleaning 10001 clauses out of 20014 with flag 2855002/2855002 505.07/275.62 c cleaning 10003 clauses out of 20011 with flag 2865000/2865000 506.76/276.52 c cleaning 10000 clauses out of 20010 with flag 2875002/2875002 508.45/277.48 c cleaning 9996 clauses out of 20010 with flag 2885002/2885002 510.13/278.38 c cleaning 10000 clauses out of 20013 with flag 2895001/2895001 511.79/279.27 c cleaning 10002 clauses out of 20013 with flag 2905001/2905001 513.68/280.21 c cleaning 10001 clauses out of 20011 with flag 2915001/2915001 515.37/281.13 c cleaning 9997 clauses out of 20009 with flag 2925000/2925000 517.05/282.09 c cleaning 10002 clauses out of 20014 with flag 2935002/2935002 518.72/282.99 c cleaning 9998 clauses out of 20010 with flag 2945000/2945000 520.61/283.93 c cleaning 9996 clauses out of 20013 with flag 2955001/2955001 522.50/284.92 c cleaning 9998 clauses out of 20017 with flag 2965001/2965001 524.18/285.89 c cleaning 10003 clauses out of 20020 with flag 2975002/2975002 525.85/286.77 c cleaning 10003 clauses out of 20015 with flag 2985000/2985000 527.55/287.68 c cleaning 10003 clauses out of 20012 with flag 2995000/2995000 529.24/288.54 c cleaning 9999 clauses out of 20012 with flag 3005003/3005003 530.93/289.45 c cleaning 9999 clauses out of 20011 with flag 3015001/3015001 532.80/290.43 c cleaning 10003 clauses out of 20014 with flag 3025003/3025003 534.48/291.36 c cleaning 10001 clauses out of 20008 with flag 3035000/3035000 536.17/292.26 c cleaning 9992 clauses out of 20008 with flag 3045001/3045001 537.87/293.13 c cleaning 10003 clauses out of 20017 with flag 3055002/3055002 539.53/294.07 c cleaning 10002 clauses out of 20014 with flag 3065002/3065002 541.22/294.92 c cleaning 10000 clauses out of 20012 with flag 3075002/3075002 542.92/295.85 c cleaning 10000 clauses out of 20010 with flag 3085000/3085000 544.60/296.75 c cleaning 10002 clauses out of 20011 with flag 3095001/3095001 546.45/297.72 c cleaning 10002 clauses out of 20010 with flag 3105002/3105002 548.13/298.69 c cleaning 10000 clauses out of 20008 with flag 3115002/3115002 549.82/299.57 c cleaning 10002 clauses out of 20007 with flag 3125001/3125001 551.50/300.48 c cleaning 9997 clauses out of 20005 with flag 3135001/3135001 553.37/301.42 c cleaning 9994 clauses out of 20010 with flag 3145003/3145003 555.04/302.34 c cleaning 10002 clauses out of 20014 with flag 3155001/3155001 556.73/303.29 c cleaning 10002 clauses out of 20011 with flag 3165000/3165000 558.42/304.18 c cleaning 10000 clauses out of 20009 with flag 3175000/3175000 560.27/305.10 c cleaning 10000 clauses out of 20009 with flag 3185000/3185000 561.76/305.99 c cleaning 9999 clauses out of 20010 with flag 3195001/3195001 563.65/306.92 c cleaning 10000 clauses out of 20012 with flag 3205002/3205002 565.32/307.81 c cleaning 10002 clauses out of 20010 with flag 3215000/3215000 566.98/308.74 c cleaning 10000 clauses out of 20010 with flag 3225002/3225002 568.66/309.66 c cleaning 9999 clauses out of 20009 with flag 3235001/3235001 570.34/310.59 c cleaning 9999 clauses out of 20011 with flag 3245002/3245002 572.23/311.57 c cleaning 9997 clauses out of 20012 with flag 3255002/3255002 574.09/312.52 c cleaning 9998 clauses out of 20013 with flag 3265000/3265000 575.78/313.46 c cleaning 10003 clauses out of 20015 with flag 3275000/3275000 577.46/314.37 c cleaning 10003 clauses out of 20013 with flag 3285001/3285001 579.14/315.25 c cleaning 10001 clauses out of 20010 with flag 3295001/3295001 580.80/316.19 c cleaning 9997 clauses out of 20008 with flag 3305000/3305000 582.68/317.15 c cleaning 9992 clauses out of 20012 with flag 3315001/3315001 584.38/318.01 c cleaning 10001 clauses out of 20019 with flag 3325000/3325000 585.85/318.89 c cleaning 10006 clauses out of 20019 with flag 3335001/3335001 587.71/319.81 c cleaning 10004 clauses out of 20015 with flag 3345003/3345003 589.21/320.66 c cleaning 9999 clauses out of 20008 with flag 3355000/3355000 590.89/321.56 c cleaning 9998 clauses out of 20009 with flag 3365000/3365000 592.76/322.51 c cleaning 9998 clauses out of 20011 with flag 3375000/3375000 594.43/323.46 c cleaning 10001 clauses out of 20014 with flag 3385001/3385001 596.10/324.32 c cleaning 10003 clauses out of 20014 with flag 3395002/3395002 597.78/325.27 c cleaning 9993 clauses out of 20009 with flag 3405000/3405000 599.46/326.17 c cleaning 10004 clauses out of 20017 with flag 3415001/3415001 601.31/327.15 c cleaning 10000 clauses out of 20012 with flag 3425000/3425000 603.01/328.02 c cleaning 9999 clauses out of 20013 with flag 3435001/3435001 604.69/328.96 c cleaning 9991 clauses out of 20014 with flag 3445001/3445001 606.36/329.88 c cleaning 9993 clauses out of 20022 with flag 3455000/3455000 608.23/330.88 c cleaning 10013 clauses out of 20031 with flag 3465002/3465002 610.10/331.82 c cleaning 10003 clauses out of 20016 with flag 3475000/3475000 611.57/332.68 c cleaning 10003 clauses out of 20015 with flag 3485002/3485002 613.26/333.53 c cleaning 9998 clauses out of 20010 with flag 3495000/3495000 615.11/334.55 c cleaning 10002 clauses out of 20014 with flag 3505002/3505002 616.81/335.45 c cleaning 9999 clauses out of 20011 with flag 3515001/3515001 618.50/336.39 c cleaning 10002 clauses out of 20012 with flag 3525001/3525001 620.18/337.25 c cleaning 10000 clauses out of 20012 with flag 3535003/3535003 621.82/338.15 c cleaning 9997 clauses out of 20009 with flag 3545000/3545000 623.51/339.06 c cleaning 10003 clauses out of 20013 with flag 3555001/3555001 625.39/340.02 c cleaning 9999 clauses out of 20012 with flag 3565003/3565003 627.07/340.98 c cleaning 9999 clauses out of 20010 with flag 3575000/3575000 628.91/341.96 c cleaning 10002 clauses out of 20011 with flag 3585000/3585000 630.58/342.88 c cleaning 9999 clauses out of 20009 with flag 3595000/3595000 632.27/343.78 c cleaning 9999 clauses out of 20010 with flag 3605000/3605000 633.96/344.68 c cleaning 9999 clauses out of 20011 with flag 3615000/3615000 635.80/345.62 c cleaning 10000 clauses out of 20013 with flag 3625001/3625001 637.28/346.49 c cleaning 10000 clauses out of 20013 with flag 3635001/3635001 639.17/347.41 c cleaning 9997 clauses out of 20014 with flag 3645002/3645002 640.64/348.29 c cleaning 10001 clauses out of 20015 with flag 3655000/3655000 642.50/349.27 c cleaning 9994 clauses out of 20014 with flag 3665000/3665000 644.18/350.18 c cleaning 10005 clauses out of 20020 with flag 3675000/3675000 646.06/351.10 c cleaning 9996 clauses out of 20015 with flag 3685000/3685000 647.56/351.97 c cleaning 10006 clauses out of 20022 with flag 3695003/3695003 649.19/352.88 c cleaning 9996 clauses out of 20013 with flag 3705000/3705000 651.07/353.82 c cleaning 9997 clauses out of 20018 with flag 3715001/3715001 652.75/354.72 c cleaning 10004 clauses out of 20020 with flag 3725000/3725000 654.43/355.67 c cleaning 10004 clauses out of 20016 with flag 3735000/3735000 656.27/356.63 c cleaning 10001 clauses out of 20012 with flag 3745000/3745000 657.74/357.49 c cleaning 10003 clauses out of 20013 with flag 3755002/3755002 659.63/358.41 c cleaning 9995 clauses out of 20010 with flag 3765002/3765002 661.71/359.56 c cleaning 10000 clauses out of 20013 with flag 3775000/3775000 663.56/360.59 c cleaning 10001 clauses out of 20013 with flag 3785000/3785000 665.24/361.49 c cleaning 9998 clauses out of 20013 with flag 3795001/3795001 667.12/362.49 c cleaning 9986 clauses out of 20014 with flag 3805000/3805000 668.99/363.41 c cleaning 10009 clauses out of 20028 with flag 3815000/3815000 670.84/364.44 c cleaning 10005 clauses out of 20019 with flag 3825000/3825000 672.72/365.46 c cleaning 10004 clauses out of 20015 with flag 3835001/3835001 674.60/366.41 c cleaning 10001 clauses out of 20012 with flag 3845002/3845002 676.28/367.36 c cleaning 10000 clauses out of 20010 with flag 3855001/3855001 678.12/368.35 c cleaning 9991 clauses out of 20009 with flag 3865000/3865000 679.99/369.30 c cleaning 10000 clauses out of 20018 with flag 3875000/3875000 681.66/370.24 c cleaning 10006 clauses out of 20020 with flag 3885002/3885002 683.55/371.23 c cleaning 10005 clauses out of 20017 with flag 3895005/3895005 685.40/372.29 c cleaning 9998 clauses out of 20007 with flag 3905000/3905000 687.07/373.20 c cleaning 9997 clauses out of 20009 with flag 3915000/3915000 688.96/374.13 c cleaning 9998 clauses out of 20012 with flag 3925000/3925000 690.65/375.01 c cleaning 9999 clauses out of 20014 with flag 3935000/3935000 692.28/375.99 c cleaning 9998 clauses out of 20015 with flag 3945000/3945000 694.35/377.02 c cleaning 10003 clauses out of 20018 with flag 3955001/3955001 696.27/378.03 c cleaning 9997 clauses out of 20015 with flag 3965002/3965002 698.35/379.17 c cleaning 10005 clauses out of 20016 with flag 3975000/3975000 699.97/380.07 c And the winner is Resolution 701.36/381.99 c starts : 268 701.36/381.99 c conflicts : 3982865 701.36/381.99 c decisions : 6283902 701.36/381.99 c propagations : 270981581 701.36/381.99 c inspects : 2011726819 701.36/381.99 c learnt literals : 5 701.36/381.99 c learnt binary clauses : 15 701.36/381.99 c learnt ternary clauses : 773 701.36/381.99 c learnt clauses : 3982859 701.36/381.99 c ignored clauses : 0 701.36/381.99 c root simplifications : 0 701.36/381.99 c removed literals (reason simplification) : 17529152 701.36/381.99 c reason swapping (by a shorter reason) : 0 701.36/381.99 c Calls to reduceDB : 399 701.36/381.99 c number of reductions to clauses (during analyze) : 0 701.36/381.99 c number of learned constraints concerned by reduction : 0 701.36/381.99 c number of learning phase by resolution : 0 701.36/381.99 c number of learning phase by cutting planes : 0 701.36/381.99 c speed (assignments/second) : 812926.0457009488 701.36/381.99 c non guided choices 3426 701.36/381.99 c learnt constraints type 701.36/381.99 c constraints type 701.36/381.99 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 801 701.36/381.99 c org.sat4j.minisat.constraints.card.MinWatchCard => 1831 701.36/381.99 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74 701.36/381.99 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 701.36/381.99 c constraints type 701.36/381.99 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74 701.36/381.99 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 801 701.36/381.99 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1831 701.36/381.99 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 701.36/381.99 s OPTIMUM FOUND 701.36/381.99 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 701.36/381.99 c objective function=21 701.36/381.99 c Total wall clock time (in seconds): 381.89
OK 21
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694241-1277912293/watcher-2694241-1277912293 -o /tmp/evaluation-result-2694241-1277912293/solver-2694241-1277912293 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694241-1277912293.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.03 2.35 2.50 2/178 11568 /proc/meminfo: memFree=30148772/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1832 CPUtime=0 /proc/11568/stat : 11568 (java6) R 11566 11568 11428 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 132526870 1875968 118 4089446400 134512640 134550932 4291826400 18446744073709551615 5412348 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/11568/statm: 458 128 92 10 0 63 0 [startup+0.038736 s] /proc/loadavg: 2.03 2.35 2.50 2/178 11568 /proc/meminfo: memFree=30148772/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1526332 CPUtime=0.02 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 3755 0 1 0 2 0 0 0 17 0 13 0 132526870 1562963968 3196 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 381583 3197 1036 10 0 378893 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1526332 [startup+0.100742 s] /proc/loadavg: 2.03 2.35 2.50 2/178 11568 /proc/meminfo: memFree=30148772/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1530224 CPUtime=0.1 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 5251 0 1 0 10 0 0 0 17 0 18 0 132526870 1566949376 4688 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 382556 4688 1346 10 0 379859 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1530224 [startup+0.300686 s] /proc/loadavg: 2.03 2.35 2.50 2/178 11568 /proc/meminfo: memFree=30148772/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1532436 CPUtime=0.51 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 10242 0 1 0 50 1 0 0 17 0 18 0 132526870 1569214464 9489 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 383109 9492 1395 10 0 380412 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1532436 [startup+0.700632 s] /proc/loadavg: 2.03 2.35 2.50 2/178 11568 /proc/meminfo: memFree=30148772/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1550892 CPUtime=1.96 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 21479 0 1 0 193 3 0 0 17 0 20 0 132526870 1588113408 17527 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 387723 17527 1430 10 0 385026 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 1550892 [startup+1.50151 s] /proc/loadavg: 2.03 2.35 2.50 2/198 11590 /proc/meminfo: memFree=30083464/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1549592 CPUtime=2.74 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 25686 0 1 0 269 5 0 0 17 0 20 0 132526870 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 387398 19871 1433 10 0 384701 0 [pid=11568/tid=11570] ppid=11566 vsize=1549592 CPUtime=0.34 /proc/11568/task/11570/stat : 11570 (java) S 11566 11568 11428 0 -1 4202560 10204 0 1 0 33 1 0 0 19 0 20 0 132526871 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11571] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11571/stat : 11571 (java) S 11566 11568 11428 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 20 0 132526872 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11572] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11572/stat : 11572 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11573] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11573/stat : 11573 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11574] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11574/stat : 11574 (java) S 11566 11568 11428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11575] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11575/stat : 11575 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11576] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11576/stat : 11576 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11577] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11577/stat : 11577 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 132526872 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11578] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11578/stat : 11578 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 132526872 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11579] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11579/stat : 11579 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 132526873 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11580] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11580/stat : 11580 (java) S 11566 11568 11428 0 -1 4202560 10 0 0 0 0 0 0 0 22 0 20 0 132526873 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11581] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11581/stat : 11581 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 20 0 132526873 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11582] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11582/stat : 11582 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 132526875 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11583] ppid=11566 vsize=1549592 CPUtime=0.8 /proc/11568/task/11583/stat : 11583 (java) S 11566 11568 11428 0 -1 4202560 4886 0 0 0 79 1 0 0 16 0 20 0 132526875 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11584] ppid=11566 vsize=1549592 CPUtime=0.86 /proc/11568/task/11584/stat : 11584 (java) S 11566 11568 11428 0 -1 4202560 5808 0 0 0 85 1 0 0 15 0 20 0 132526875 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11585] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11585/stat : 11585 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132526875 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11586] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11586/stat : 11586 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132526875 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11589] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11589/stat : 11589 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 132526911 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11590] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11590/stat : 11590 (java) S 11566 11568 11428 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132526911 1586782208 19871 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.74 Current children cumulated vsize (KiB) 1549592 [startup+3.10123 s] /proc/loadavg: 2.03 2.35 2.50 2/198 11592 /proc/meminfo: memFree=30071312/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1549592 CPUtime=2.83 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 27770 0 1 0 278 5 0 0 17 0 20 0 132526870 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 387398 21954 1433 10 0 384701 0 [pid=11568/tid=11570] ppid=11566 vsize=1549592 CPUtime=0.34 /proc/11568/task/11570/stat : 11570 (java) S 11566 11568 11428 0 -1 4202560 10405 0 1 0 33 1 0 0 19 0 20 0 132526871 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11571] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11571/stat : 11571 (java) S 11566 11568 11428 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 20 0 132526872 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11572] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11572/stat : 11572 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11573] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11573/stat : 11573 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11574] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11574/stat : 11574 (java) S 11566 11568 11428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11575] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11575/stat : 11575 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11576] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11576/stat : 11576 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 132526872 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11577] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11577/stat : 11577 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 132526872 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11578] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11578/stat : 11578 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 132526872 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11579] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11579/stat : 11579 (java) S 11566 11568 11428 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 132526873 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11580] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11580/stat : 11580 (java) S 11566 11568 11428 0 -1 4202560 10 0 0 0 0 0 0 0 22 0 20 0 132526873 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11581] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11581/stat : 11581 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 20 0 132526873 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11582] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11582/stat : 11582 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 132526875 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11583] ppid=11566 vsize=1549592 CPUtime=0.83 /proc/11568/task/11583/stat : 11583 (java) S 11566 11568 11428 0 -1 4202560 4890 0 0 0 82 1 0 0 15 0 20 0 132526875 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11584] ppid=11566 vsize=1549592 CPUtime=0.87 /proc/11568/task/11584/stat : 11584 (java) S 11566 11568 11428 0 -1 4202560 5808 0 0 0 86 1 0 0 15 0 20 0 132526875 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11585] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11585/stat : 11585 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132526875 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11586] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11586/stat : 11586 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132526875 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11589] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11589/stat : 11589 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 132526911 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11590] ppid=11566 vsize=1549592 CPUtime=0 /proc/11568/task/11590/stat : 11590 (java) S 11566 11568 11428 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132526911 1586782208 21954 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.83 Current children cumulated vsize (KiB) 1549592 [startup+6.30061 s] /proc/loadavg: 1.95 2.33 2.49 2/198 11598 /proc/meminfo: memFree=29997660/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1548984 CPUtime=5.98 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 47678 0 1 0 592 6 0 0 17 0 22 0 132526870 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 387246 41157 1451 10 0 384549 0 [pid=11568/tid=11570] ppid=11566 vsize=1548984 CPUtime=0.37 /proc/11568/task/11570/stat : 11570 (java) S 11566 11568 11428 0 -1 4202560 10810 0 1 0 36 1 0 0 19 0 22 0 132526871 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11571] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11571/stat : 11571 (java) S 11566 11568 11428 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 22 0 132526872 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11572] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11572/stat : 11572 (java) S 11566 11568 11428 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 22 0 132526872 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11573] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11573/stat : 11573 (java) S 11566 11568 11428 0 -1 4202560 404 0 0 0 0 0 0 0 15 0 22 0 132526872 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11574] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11574/stat : 11574 (java) S 11566 11568 11428 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 22 0 132526872 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11575] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11575/stat : 11575 (java) S 11566 11568 11428 0 -1 4202560 229 0 0 0 0 0 0 0 15 0 22 0 132526872 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11576] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11576/stat : 11576 (java) S 11566 11568 11428 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 132526872 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11577] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11577/stat : 11577 (java) S 11566 11568 11428 0 -1 4202560 77 0 0 0 0 0 0 0 16 0 22 0 132526872 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11578] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11578/stat : 11578 (java) S 11566 11568 11428 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 22 0 132526872 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11579] ppid=11566 vsize=1548984 CPUtime=0.01 /proc/11568/task/11579/stat : 11579 (java) S 11566 11568 11428 0 -1 4202560 1079 0 0 0 1 0 0 0 15 0 22 0 132526873 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11580] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11580/stat : 11580 (java) S 11566 11568 11428 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 132526873 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11581] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11581/stat : 11581 (java) S 11566 11568 11428 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 132526873 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11582] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11582/stat : 11582 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 132526875 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11583] ppid=11566 vsize=1548984 CPUtime=1.22 /proc/11568/task/11583/stat : 11583 (java) S 11566 11568 11428 0 -1 4202560 5548 0 0 0 121 1 0 0 15 0 22 0 132526875 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11584] ppid=11566 vsize=1548984 CPUtime=1.28 /proc/11568/task/11584/stat : 11584 (java) S 11566 11568 11428 0 -1 4202560 5867 0 0 0 127 1 0 0 15 0 22 0 132526875 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 5 0 0 0 [pid=11568/tid=11585] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11585/stat : 11585 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 132526875 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11586] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11586/stat : 11586 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 132526875 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11589] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11589/stat : 11589 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 132526911 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11590] ppid=11566 vsize=1548984 CPUtime=0 /proc/11568/task/11590/stat : 11590 (java) S 11566 11568 11428 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 132526911 1586159616 41157 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.98 Current children cumulated vsize (KiB) 1548984 [startup+12.7015 s] /proc/loadavg: 1.87 2.31 2.48 4/200 11610 /proc/meminfo: memFree=29931796/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1548984 CPUtime=11.65 ################ # More data... # ################ /proc/11568/task/11575/stat : 11575 (java) S 11566 11568 11428 0 -1 4202560 2334 0 0 0 197 19 0 0 16 0 20 0 132526872 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11576] ppid=11566 vsize=1551032 CPUtime=2.23 /proc/11568/task/11576/stat : 11576 (java) S 11566 11568 11428 0 -1 4202560 1960 0 0 0 203 20 0 0 15 0 20 0 132526872 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11577] ppid=11566 vsize=1551032 CPUtime=2.36 /proc/11568/task/11577/stat : 11577 (java) S 11566 11568 11428 0 -1 4202560 2176 0 0 0 209 27 0 0 16 0 20 0 132526872 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11578] ppid=11566 vsize=1551032 CPUtime=2.29 /proc/11568/task/11578/stat : 11578 (java) S 11566 11568 11428 0 -1 4202560 2399 0 0 0 201 28 0 0 15 0 20 0 132526872 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11579] ppid=11566 vsize=1551032 CPUtime=51.76 /proc/11568/task/11579/stat : 11579 (java) S 11566 11568 11428 0 -1 4202560 7975 0 0 0 5155 21 0 0 15 0 20 0 132526873 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11580] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11580/stat : 11580 (java) S 11566 11568 11428 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132526873 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11581] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11581/stat : 11581 (java) S 11566 11568 11428 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132526873 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11582] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11582/stat : 11582 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 132526875 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11583] ppid=11566 vsize=1551032 CPUtime=1.66 /proc/11568/task/11583/stat : 11583 (java) S 11566 11568 11428 0 -1 4202560 6059 0 0 0 165 1 0 0 15 0 20 0 132526875 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11584] ppid=11566 vsize=1551032 CPUtime=1.34 /proc/11568/task/11584/stat : 11584 (java) S 11566 11568 11428 0 -1 4202560 5868 0 0 0 133 1 0 0 15 0 20 0 132526875 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 5 0 0 0 [pid=11568/tid=11585] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11585/stat : 11585 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132526875 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11586] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11586/stat : 11586 (java) S 11566 11568 11428 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 20 0 132526875 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11589] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11589/stat : 11589 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 132526911 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11590] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11590/stat : 11590 (java) S 11566 11568 11428 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132526911 1588256768 68374 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 700.25 Current children cumulated vsize (KiB) 1551032 [startup+381.501 s] /proc/loadavg: 2.83 2.67 2.58 2/198 11632 /proc/meminfo: memFree=29479904/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1551032 CPUtime=700.96 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 77587 0 1 0 69873 223 0 0 17 0 20 0 132526870 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 387758 68375 1451 10 0 385061 0 [pid=11568/tid=11570] ppid=11566 vsize=1551032 CPUtime=1.12 /proc/11568/task/11570/stat : 11570 (java) R 11566 11568 11428 0 -1 4202560 10845 0 1 0 111 1 0 0 16 0 20 0 132526871 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4109698757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11568/tid=11571] ppid=11566 vsize=1551032 CPUtime=2.18 /proc/11568/task/11571/stat : 11571 (java) S 11566 11568 11428 0 -1 4202560 2459 0 0 0 198 20 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 5 0 0 0 [pid=11568/tid=11572] ppid=11566 vsize=1551032 CPUtime=2.22 /proc/11568/task/11572/stat : 11572 (java) S 11566 11568 11428 0 -1 4202560 2405 0 0 0 196 26 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11573] ppid=11566 vsize=1551032 CPUtime=2.11 /proc/11568/task/11573/stat : 11573 (java) S 11566 11568 11428 0 -1 4202560 2295 0 0 0 189 22 0 0 15 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11574] ppid=11566 vsize=1551032 CPUtime=2.19 /proc/11568/task/11574/stat : 11574 (java) S 11566 11568 11428 0 -1 4202560 2110 0 0 0 196 23 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11575] ppid=11566 vsize=1551032 CPUtime=2.16 /proc/11568/task/11575/stat : 11575 (java) S 11566 11568 11428 0 -1 4202560 2334 0 0 0 197 19 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11576] ppid=11566 vsize=1551032 CPUtime=2.23 /proc/11568/task/11576/stat : 11576 (java) S 11566 11568 11428 0 -1 4202560 1960 0 0 0 203 20 0 0 15 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11577] ppid=11566 vsize=1551032 CPUtime=2.36 /proc/11568/task/11577/stat : 11577 (java) S 11566 11568 11428 0 -1 4202560 2176 0 0 0 209 27 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11578] ppid=11566 vsize=1551032 CPUtime=2.29 /proc/11568/task/11578/stat : 11578 (java) S 11566 11568 11428 0 -1 4202560 2399 0 0 0 201 28 0 0 15 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11579] ppid=11566 vsize=1551032 CPUtime=51.76 /proc/11568/task/11579/stat : 11579 (java) S 11566 11568 11428 0 -1 4202560 7975 0 0 0 5155 21 0 0 15 0 20 0 132526873 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11580] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11580/stat : 11580 (java) S 11566 11568 11428 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132526873 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11581] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11581/stat : 11581 (java) S 11566 11568 11428 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132526873 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11582] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11582/stat : 11582 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11583] ppid=11566 vsize=1551032 CPUtime=1.66 /proc/11568/task/11583/stat : 11583 (java) S 11566 11568 11428 0 -1 4202560 6059 0 0 0 165 1 0 0 15 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11584] ppid=11566 vsize=1551032 CPUtime=1.35 /proc/11568/task/11584/stat : 11584 (java) S 11566 11568 11428 0 -1 4202560 5868 0 0 0 134 1 0 0 15 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 5 0 0 0 [pid=11568/tid=11585] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11585/stat : 11585 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11586] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11586/stat : 11586 (java) S 11566 11568 11428 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11589] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11589/stat : 11589 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 132526911 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11590] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11590/stat : 11590 (java) S 11566 11568 11428 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132526911 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 700.96 Current children cumulated vsize (KiB) 1551032 [startup+381.901 s] /proc/loadavg: 2.83 2.67 2.58 3/198 11632 /proc/meminfo: memFree=29477912/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1551032 CPUtime=701.36 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 77587 0 1 0 69913 223 0 0 17 0 20 0 132526870 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 387758 68375 1451 10 0 385061 0 [pid=11568/tid=11570] ppid=11566 vsize=1551032 CPUtime=1.52 /proc/11568/task/11570/stat : 11570 (java) R 11566 11568 11428 0 -1 4202560 10845 0 1 0 151 1 0 0 17 0 20 0 132526871 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4109698771 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11568/tid=11571] ppid=11566 vsize=1551032 CPUtime=2.18 /proc/11568/task/11571/stat : 11571 (java) S 11566 11568 11428 0 -1 4202560 2459 0 0 0 198 20 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 5 0 0 0 [pid=11568/tid=11572] ppid=11566 vsize=1551032 CPUtime=2.22 /proc/11568/task/11572/stat : 11572 (java) S 11566 11568 11428 0 -1 4202560 2405 0 0 0 196 26 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11573] ppid=11566 vsize=1551032 CPUtime=2.11 /proc/11568/task/11573/stat : 11573 (java) S 11566 11568 11428 0 -1 4202560 2295 0 0 0 189 22 0 0 15 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11574] ppid=11566 vsize=1551032 CPUtime=2.19 /proc/11568/task/11574/stat : 11574 (java) S 11566 11568 11428 0 -1 4202560 2110 0 0 0 196 23 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11575] ppid=11566 vsize=1551032 CPUtime=2.16 /proc/11568/task/11575/stat : 11575 (java) S 11566 11568 11428 0 -1 4202560 2334 0 0 0 197 19 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11576] ppid=11566 vsize=1551032 CPUtime=2.23 /proc/11568/task/11576/stat : 11576 (java) S 11566 11568 11428 0 -1 4202560 1960 0 0 0 203 20 0 0 15 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11577] ppid=11566 vsize=1551032 CPUtime=2.36 /proc/11568/task/11577/stat : 11577 (java) S 11566 11568 11428 0 -1 4202560 2176 0 0 0 209 27 0 0 16 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11578] ppid=11566 vsize=1551032 CPUtime=2.29 /proc/11568/task/11578/stat : 11578 (java) S 11566 11568 11428 0 -1 4202560 2399 0 0 0 201 28 0 0 15 0 20 0 132526872 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11579] ppid=11566 vsize=1551032 CPUtime=51.76 /proc/11568/task/11579/stat : 11579 (java) S 11566 11568 11428 0 -1 4202560 7975 0 0 0 5155 21 0 0 15 0 20 0 132526873 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11580] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11580/stat : 11580 (java) S 11566 11568 11428 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132526873 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11581] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11581/stat : 11581 (java) S 11566 11568 11428 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132526873 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11582] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11582/stat : 11582 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11583] ppid=11566 vsize=1551032 CPUtime=1.66 /proc/11568/task/11583/stat : 11583 (java) S 11566 11568 11428 0 -1 4202560 6059 0 0 0 165 1 0 0 15 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11584] ppid=11566 vsize=1551032 CPUtime=1.35 /proc/11568/task/11584/stat : 11584 (java) S 11566 11568 11428 0 -1 4202560 5868 0 0 0 134 1 0 0 15 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 5 0 0 0 [pid=11568/tid=11585] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11585/stat : 11585 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11586] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11586/stat : 11586 (java) S 11566 11568 11428 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 20 0 132526875 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11589] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11589/stat : 11589 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 132526911 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11590] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11590/stat : 11590 (java) S 11566 11568 11428 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132526911 1588256768 68375 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 701.36 Current children cumulated vsize (KiB) 1551032 [startup+382.001 s] /proc/loadavg: 2.83 2.67 2.58 3/198 11632 /proc/meminfo: memFree=29477912/32951124 swapFree=67111528/67111528 [pid=11568] ppid=11566 vsize=1551032 CPUtime=701.46 /proc/11568/stat : 11568 (java) S 11566 11568 11428 0 -1 4202496 77592 0 1 0 69923 223 0 0 17 0 20 0 132526870 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/11568/statm: 387758 68380 1451 10 0 385061 0 [pid=11568/tid=11570] ppid=11566 vsize=1551032 CPUtime=1.62 /proc/11568/task/11570/stat : 11570 (java) S 11566 11568 11428 0 -1 4202560 10850 0 1 0 161 1 0 0 17 0 20 0 132526871 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11571] ppid=11566 vsize=1551032 CPUtime=2.18 /proc/11568/task/11571/stat : 11571 (java) S 11566 11568 11428 0 -1 4202560 2459 0 0 0 198 20 0 0 16 0 20 0 132526872 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 5 0 0 0 [pid=11568/tid=11572] ppid=11566 vsize=1551032 CPUtime=2.22 /proc/11568/task/11572/stat : 11572 (java) S 11566 11568 11428 0 -1 4202560 2405 0 0 0 196 26 0 0 16 0 20 0 132526872 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11573] ppid=11566 vsize=1551032 CPUtime=2.11 /proc/11568/task/11573/stat : 11573 (java) S 11566 11568 11428 0 -1 4202560 2295 0 0 0 189 22 0 0 15 0 20 0 132526872 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11574] ppid=11566 vsize=1551032 CPUtime=2.19 /proc/11568/task/11574/stat : 11574 (java) S 11566 11568 11428 0 -1 4202560 2110 0 0 0 196 23 0 0 16 0 20 0 132526872 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 0 0 0 0 [pid=11568/tid=11575] ppid=11566 vsize=1551032 CPUtime=2.16 /proc/11568/task/11575/stat : 11575 (java) S 11566 11568 11428 0 -1 4202560 2334 0 0 0 197 19 0 0 16 0 20 0 132526872 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 6 0 0 0 [pid=11568/tid=11576] ppid=11566 vsize=1551032 CPUtime=2.23 /proc/11568/task/11576/stat : 11576 (java) S 11566 11568 11428 0 -1 4202560 1960 0 0 0 203 20 0 0 15 0 20 0 132526872 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11577] ppid=11566 vsize=1551032 CPUtime=2.36 /proc/11568/task/11577/stat : 11577 (java) S 11566 11568 11428 0 -1 4202560 2176 0 0 0 209 27 0 0 16 0 20 0 132526872 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11578] ppid=11566 vsize=1551032 CPUtime=2.29 /proc/11568/task/11578/stat : 11578 (java) S 11566 11568 11428 0 -1 4202560 2399 0 0 0 201 28 0 0 15 0 20 0 132526872 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 3 0 0 0 [pid=11568/tid=11579] ppid=11566 vsize=1551032 CPUtime=51.76 /proc/11568/task/11579/stat : 11579 (java) S 11566 11568 11428 0 -1 4202560 7975 0 0 0 5155 21 0 0 15 0 20 0 132526873 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 0 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11580] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11580/stat : 11580 (java) S 11566 11568 11428 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 132526873 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11581] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11581/stat : 11581 (java) S 11566 11568 11428 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132526873 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11582] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11582/stat : 11582 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 132526875 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11583] ppid=11566 vsize=1551032 CPUtime=1.66 /proc/11568/task/11583/stat : 11583 (java) S 11566 11568 11428 0 -1 4202560 6059 0 0 0 165 1 0 0 15 0 20 0 132526875 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11584] ppid=11566 vsize=1551032 CPUtime=1.35 /proc/11568/task/11584/stat : 11584 (java) S 11566 11568 11428 0 -1 4202560 5868 0 0 0 134 1 0 0 15 0 20 0 132526875 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 5 0 0 0 [pid=11568/tid=11585] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11585/stat : 11585 (java) S 11566 11568 11428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 132526875 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 2 0 0 0 [pid=11568/tid=11586] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11586/stat : 11586 (java) S 11566 11568 11428 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 20 0 132526875 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 4 0 0 0 [pid=11568/tid=11589] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11589/stat : 11589 (java) S 11566 11568 11428 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 132526911 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 [pid=11568/tid=11590] ppid=11566 vsize=1551032 CPUtime=0 /proc/11568/task/11590/stat : 11590 (java) S 11566 11568 11428 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132526911 1588256768 68380 4089446400 134512640 134550932 4288193376 18446744073709551615 4294960144 0 4 0 16800975 18446604453926330496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 701.46 Current children cumulated vsize (KiB) 1551032 Child status: 30 Real time (s): 382.021 CPU time (s): 701.473 CPU user time (s): 699.231 CPU system time (s): 2.24266 CPU usage (%): 183.621 Max. virtual memory (cumulated for all children) (KiB): 1551032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 699.231 system time used= 2.24266 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77592 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= 33960 involuntary context switches= 510931 runsolver used 0.729889 second user time and 1.43578 second system time The end
Begin job on node107 at 2010-06-30 17:38:14 IDJOB=2694241 IDBENCH=78995 IDSOLVER=1207 FILE ID=node107/2694241-1277912293 PBS_JOBID= 11197274 Free space on /tmp= 74208 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.1900567024--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-2694241-1277912293/watcher-2694241-1277912293 -o /tmp/evaluation-result-2694241-1277912293/solver-2694241-1277912293 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694241-1277912293.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05d9157cdbd186fca72e4e6dc0ec425d RANDOM SEED=1457410618 node107.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.849 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.69 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.849 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 : 5332.75 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.849 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.82 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.849 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.75 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.849 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.81 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.849 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.75 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.849 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.82 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.849 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30149168 kB Buffers: 195468 kB Cached: 1269608 kB SwapCached: 0 kB Active: 1552540 kB Inactive: 1105600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30149168 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 428 kB Writeback: 0 kB AnonPages: 1193180 kB Mapped: 16292 kB Slab: 78896 kB PageTables: 7032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1380356 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= 74208 MiB End job on node107 at 2010-06-30 17:44:36