Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | OPTIMUM | 133.058 | 130.501 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo |
MD5SUM | 0e9942c7ddaaf04ff12871ed1ee37357 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 133.058 |
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 | 2707 |
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 | 137946 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137945 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.07/0.08 c version 2.2.1.v20100705 0.07/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.07/0.08 c java.vm.version 11.2-b01 0.07/0.08 c java.vm.vendor Sun Microsystems Inc. 0.07/0.08 c sun.arch.data.model 32 0.07/0.08 c java.version 1.6.0_12 0.07/0.08 c os.name Linux 0.07/0.08 c os.version 2.6.18-164.el5 0.07/0.08 c os.arch i386 0.07/0.08 c Free memory 1393557488 0.07/0.08 c Max memory 1395916800 0.07/0.08 c Total memory 1395916800 0.07/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2698095-1278327740.wbo 0.11/0.10 c reading problem ... 0.56/0.31 c ... done. Wall clock time 0.21s. 0.56/0.31 c #vars 2938 0.56/0.31 c #constraints 2707 0.56/0.31 c constraints type 0.56/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 0.56/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 23 1.76/0.73 c SATISFIABLE 1.76/0.73 c OPTIMIZING... 1.76/0.73 c Got one! Elapsed wall clock time (in seconds):0.635 1.76/0.73 o 487 2.06/0.81 c Got one! Elapsed wall clock time (in seconds):0.709 2.06/0.81 o 486 2.06/0.86 c Got one! Elapsed wall clock time (in seconds):0.761 2.06/0.86 o 296 2.36/0.94 c Got one! Elapsed wall clock time (in seconds):0.842 2.36/0.94 o 291 2.36/0.97 c Got one! Elapsed wall clock time (in seconds):0.876 2.36/0.97 o 256 2.36/1.00 c Got one! Elapsed wall clock time (in seconds):0.904 2.36/1.00 o 221 2.56/1.03 c Got one! Elapsed wall clock time (in seconds):0.931 2.56/1.03 o 219 2.56/1.08 c Got one! Elapsed wall clock time (in seconds):0.982 2.56/1.08 o 204 2.67/1.13 c Got one! Elapsed wall clock time (in seconds):1.03 2.67/1.13 o 188 2.76/1.20 c Got one! Elapsed wall clock time (in seconds):1.102 2.76/1.20 o 179 2.76/1.25 c Got one! Elapsed wall clock time (in seconds):1.151 2.76/1.25 o 168 2.86/1.33 c Got one! Elapsed wall clock time (in seconds):1.237 2.86/1.33 o 132 2.97/1.46 c Got one! Elapsed wall clock time (in seconds):1.362 2.97/1.46 o 131 3.07/1.58 c Got one! Elapsed wall clock time (in seconds):1.482 3.07/1.58 o 110 3.17/1.70 c Got one! Elapsed wall clock time (in seconds):1.599 3.17/1.70 o 90 3.37/1.84 c Got one! Elapsed wall clock time (in seconds):1.747 3.37/1.84 o 88 3.47/1.91 c cleaning 2496 clauses out of 5000 with flag 5000/5000 3.58/2.02 c Got one! Elapsed wall clock time (in seconds):1.919 3.58/2.02 o 83 3.58/2.08 c Got one! Elapsed wall clock time (in seconds):1.983 3.58/2.08 o 82 3.69/2.18 c Got one! Elapsed wall clock time (in seconds):2.088 3.69/2.18 o 81 3.88/2.30 c Got one! Elapsed wall clock time (in seconds):2.204 3.88/2.30 o 73 3.98/2.48 c Got one! Elapsed wall clock time (in seconds):2.382 3.98/2.48 o 72 4.19/2.64 c Got one! Elapsed wall clock time (in seconds):2.546 4.19/2.64 o 62 4.39/2.87 c Got one! Elapsed wall clock time (in seconds):2.775 4.39/2.87 o 57 4.48/2.91 c Got one! Elapsed wall clock time (in seconds):2.818 4.48/2.91 o 52 4.48/2.98 c Got one! Elapsed wall clock time (in seconds):2.88 4.48/2.98 o 35 4.72/3.17 c cleaning 4250 clauses out of 8504 with flag 11000/11000 4.83/3.24 c Got one! Elapsed wall clock time (in seconds):3.141 4.83/3.24 o 20 5.22/3.63 c Got one! Elapsed wall clock time (in seconds):3.536 5.22/3.63 o 19 5.53/3.99 c Got one! Elapsed wall clock time (in seconds):3.892 5.53/3.99 o 13 6.13/4.50 c cleaning 5625 clauses out of 11255 with flag 18001/18001 6.34/4.72 c Got one! Elapsed wall clock time (in seconds):4.627 6.34/4.72 o 12 7.05/5.43 c Got one! Elapsed wall clock time (in seconds):5.338 7.05/5.43 o 11 7.64/6.08 c cleaning 6813 clauses out of 13629 with flag 26000/26000 7.87/6.28 c Got one! Elapsed wall clock time (in seconds):6.185 7.87/6.28 o 10 8.28/6.68 c Got one! Elapsed wall clock time (in seconds):6.582 8.28/6.68 o 9 9.38/7.72 c cleaning 7905 clauses out of 15817 with flag 35001/35001 9.78/8.12 c Got one! Elapsed wall clock time (in seconds):8.027 9.78/8.12 o 8 10.58/8.96 c Got one! Elapsed wall clock time (in seconds):8.868 10.58/8.96 o 4 11.08/9.47 c Got one! Elapsed wall clock time (in seconds):9.373 11.08/9.47 o 1 11.18/9.53 c cleaning 8952 clauses out of 17912 with flag 45001/45001 12.51/10.87 c cleaning 9477 clauses out of 18959 with flag 55000/55000 13.74/12.00 c cleaning 9738 clauses out of 19483 with flag 65001/65001 14.73/13.05 c cleaning 9866 clauses out of 19744 with flag 75000/75000 15.73/14.05 c cleaning 9936 clauses out of 19880 with flag 85002/85002 16.64/14.96 c cleaning 9968 clauses out of 19944 with flag 95002/95002 17.65/15.90 c cleaning 9980 clauses out of 19975 with flag 105001/105001 18.45/16.73 c cleaning 9992 clauses out of 19996 with flag 115002/115002 19.26/17.56 c cleaning 9996 clauses out of 20002 with flag 125000/125000 20.05/18.39 c cleaning 9995 clauses out of 20007 with flag 135001/135001 20.86/19.19 c cleaning 9995 clauses out of 20012 with flag 145001/145001 21.76/20.02 c cleaning 10004 clauses out of 20020 with flag 155004/155004 22.46/20.77 c cleaning 10001 clauses out of 20014 with flag 165002/165002 23.16/21.47 c cleaning 9998 clauses out of 20011 with flag 175000/175000 23.97/22.27 c cleaning 10004 clauses out of 20015 with flag 185002/185002 24.67/22.94 c cleaning 10000 clauses out of 20011 with flag 195002/195002 25.53/23.70 c cleaning 9999 clauses out of 20009 with flag 205000/205000 26.23/24.39 c cleaning 9995 clauses out of 20011 with flag 215001/215001 27.21/25.18 c cleaning 9993 clauses out of 20016 with flag 225001/225001 28.11/26.08 c cleaning 10001 clauses out of 20023 with flag 235001/235001 29.01/26.91 c cleaning 9996 clauses out of 20021 with flag 245000/245000 29.82/27.71 c cleaning 10002 clauses out of 20026 with flag 255001/255001 30.62/28.53 c cleaning 10004 clauses out of 20025 with flag 265002/265002 31.42/29.38 c cleaning 10006 clauses out of 20020 with flag 275001/275001 32.33/30.23 c cleaning 9997 clauses out of 20014 with flag 285001/285001 33.13/31.05 c cleaning 10003 clauses out of 20016 with flag 295000/295000 33.73/31.67 c cleaning 10001 clauses out of 20013 with flag 305000/305000 34.44/32.30 c cleaning 9999 clauses out of 20014 with flag 315002/315002 35.05/32.97 c cleaning 10002 clauses out of 20013 with flag 325000/325000 35.88/33.71 c cleaning 9998 clauses out of 20012 with flag 335001/335001 36.69/34.57 c cleaning 9991 clauses out of 20015 with flag 345002/345002 37.49/35.32 c cleaning 10006 clauses out of 20023 with flag 355001/355001 38.29/36.20 c cleaning 10004 clauses out of 20016 with flag 365000/365000 39.09/36.97 c cleaning 9994 clauses out of 20012 with flag 375000/375000 39.90/37.78 c cleaning 10001 clauses out of 20018 with flag 385000/385000 40.90/38.75 c cleaning 10000 clauses out of 20019 with flag 395002/395002 41.72/39.57 c cleaning 10007 clauses out of 20018 with flag 405001/405001 42.52/40.35 c cleaning 9995 clauses out of 20010 with flag 415000/415000 43.23/41.10 c cleaning 9996 clauses out of 20015 with flag 425000/425000 44.04/41.84 c cleaning 10003 clauses out of 20020 with flag 435001/435001 44.93/42.70 c cleaning 9998 clauses out of 20018 with flag 445002/445002 45.74/43.50 c cleaning 10000 clauses out of 20018 with flag 455000/455000 46.53/44.33 c cleaning 10005 clauses out of 20020 with flag 465002/465002 47.35/45.16 c cleaning 9994 clauses out of 20013 with flag 475000/475000 48.14/45.92 c cleaning 10004 clauses out of 20021 with flag 485002/485002 48.95/46.75 c cleaning 10003 clauses out of 20018 with flag 495003/495003 49.75/47.52 c cleaning 10002 clauses out of 20013 with flag 505001/505001 50.66/48.41 c cleaning 9996 clauses out of 20010 with flag 515000/515000 51.46/49.25 c cleaning 9998 clauses out of 20016 with flag 525002/525002 52.16/49.99 c cleaning 10004 clauses out of 20017 with flag 535001/535001 52.96/50.71 c cleaning 9998 clauses out of 20012 with flag 545000/545000 53.66/51.49 c cleaning 9997 clauses out of 20014 with flag 555000/555000 54.66/52.47 c cleaning 10004 clauses out of 20017 with flag 565000/565000 55.37/53.17 c cleaning 9998 clauses out of 20014 with flag 575001/575001 56.18/53.92 c cleaning 9995 clauses out of 20015 with flag 585000/585000 56.98/54.70 c cleaning 10006 clauses out of 20021 with flag 595001/595001 57.68/55.45 c cleaning 10004 clauses out of 20015 with flag 605001/605001 58.29/56.05 c cleaning 9998 clauses out of 20011 with flag 615001/615001 58.88/56.68 c cleaning 9996 clauses out of 20012 with flag 625000/625000 59.59/57.39 c cleaning 10003 clauses out of 20017 with flag 635001/635001 60.50/58.26 c cleaning 9998 clauses out of 20017 with flag 645004/645004 61.29/59.07 c cleaning 10005 clauses out of 20015 with flag 655000/655000 62.09/59.87 c cleaning 9999 clauses out of 20012 with flag 665002/665002 62.89/60.63 c cleaning 9985 clauses out of 20011 with flag 675000/675000 63.70/61.46 c cleaning 10007 clauses out of 20026 with flag 685000/685000 64.51/62.25 c cleaning 10003 clauses out of 20019 with flag 695000/695000 65.31/63.06 c cleaning 10005 clauses out of 20017 with flag 705001/705001 66.02/63.78 c cleaning 9997 clauses out of 20011 with flag 715000/715000 66.82/64.55 c cleaning 9996 clauses out of 20014 with flag 725000/725000 67.62/65.35 c cleaning 10002 clauses out of 20018 with flag 735000/735000 68.43/66.16 c cleaning 9995 clauses out of 20016 with flag 745000/745000 69.22/66.96 c cleaning 10001 clauses out of 20022 with flag 755001/755001 70.03/67.73 c cleaning 10002 clauses out of 20022 with flag 765002/765002 70.83/68.53 c cleaning 10006 clauses out of 20020 with flag 775002/775002 71.54/69.26 c cleaning 9995 clauses out of 20013 with flag 785001/785001 72.24/69.99 c cleaning 10002 clauses out of 20017 with flag 795000/795000 73.04/70.75 c cleaning 10000 clauses out of 20016 with flag 805001/805001 73.75/71.47 c cleaning 10007 clauses out of 20017 with flag 815002/815002 74.54/72.22 c cleaning 9987 clauses out of 20009 with flag 825001/825001 75.25/72.92 c cleaning 9996 clauses out of 20021 with flag 835000/835000 75.95/73.62 c cleaning 10006 clauses out of 20026 with flag 845001/845001 76.75/74.41 c cleaning 9996 clauses out of 20020 with flag 855001/855001 77.55/75.25 c cleaning 9998 clauses out of 20024 with flag 865001/865001 78.46/76.15 c cleaning 10004 clauses out of 20026 with flag 875001/875001 79.16/76.86 c cleaning 10005 clauses out of 20021 with flag 885000/885000 79.96/77.62 c cleaning 9994 clauses out of 20018 with flag 895002/895002 80.77/78.44 c cleaning 10004 clauses out of 20024 with flag 905002/905002 81.48/79.18 c cleaning 9997 clauses out of 20019 with flag 915001/915001 82.27/79.94 c cleaning 10007 clauses out of 20023 with flag 925002/925002 83.08/80.71 c cleaning 10001 clauses out of 20014 with flag 935000/935000 83.89/81.52 c cleaning 9995 clauses out of 20017 with flag 945004/945004 84.69/82.34 c cleaning 9987 clauses out of 20020 with flag 955002/955002 85.49/83.11 c cleaning 10007 clauses out of 20031 with flag 965000/965000 86.19/83.87 c cleaning 10004 clauses out of 20025 with flag 975001/975001 86.99/84.65 c cleaning 10005 clauses out of 20020 with flag 985000/985000 87.69/85.36 c cleaning 10003 clauses out of 20017 with flag 995002/995002 88.59/86.27 c cleaning 9985 clauses out of 20012 with flag 1005000/1005000 89.30/86.99 c cleaning 10005 clauses out of 20027 with flag 1015000/1015000 90.19/87.81 c cleaning 10005 clauses out of 20022 with flag 1025000/1025000 91.00/88.64 c cleaning 9996 clauses out of 20018 with flag 1035001/1035001 91.80/89.40 c cleaning 10003 clauses out of 20022 with flag 1045001/1045001 92.51/90.18 c cleaning 10002 clauses out of 20023 with flag 1055005/1055005 93.30/90.99 c cleaning 9998 clauses out of 20016 with flag 1065000/1065000 94.22/91.85 c cleaning 9995 clauses out of 20018 with flag 1075000/1075000 95.12/92.78 c cleaning 10007 clauses out of 20024 with flag 1085001/1085001 96.01/93.60 c cleaning 9999 clauses out of 20017 with flag 1095001/1095001 96.82/94.42 c cleaning 10004 clauses out of 20017 with flag 1105000/1105000 97.62/95.27 c cleaning 10003 clauses out of 20014 with flag 1115001/1115001 98.53/96.15 c cleaning 9999 clauses out of 20010 with flag 1125000/1125000 99.34/96.99 c cleaning 9998 clauses out of 20015 with flag 1135004/1135004 100.24/97.84 c cleaning 9994 clauses out of 20013 with flag 1145000/1145000 101.14/98.74 c cleaning 9999 clauses out of 20019 with flag 1155000/1155000 101.94/99.56 c cleaning 10003 clauses out of 20024 with flag 1165004/1165004 102.75/100.36 c cleaning 9982 clauses out of 20018 with flag 1175001/1175001 103.56/101.19 c cleaning 10016 clauses out of 20039 with flag 1185004/1185004 104.26/101.88 c cleaning 10007 clauses out of 20021 with flag 1195002/1195002 104.96/102.59 c cleaning 10003 clauses out of 20014 with flag 1205002/1205002 105.66/103.28 c cleaning 9996 clauses out of 20009 with flag 1215000/1215000 106.46/104.01 c cleaning 9998 clauses out of 20013 with flag 1225000/1225000 107.16/104.70 c cleaning 10002 clauses out of 20015 with flag 1235000/1235000 107.78/105.39 c cleaning 10001 clauses out of 20014 with flag 1245001/1245001 108.58/106.14 c cleaning 9989 clauses out of 20012 with flag 1255000/1255000 109.38/106.98 c cleaning 10008 clauses out of 20027 with flag 1265004/1265004 110.19/107.78 c cleaning 10005 clauses out of 20020 with flag 1275005/1275005 111.09/108.66 c cleaning 9998 clauses out of 20010 with flag 1285000/1285000 111.89/109.42 c cleaning 9997 clauses out of 20012 with flag 1295000/1295000 112.69/110.23 c cleaning 9997 clauses out of 20015 with flag 1305000/1305000 113.39/110.96 c cleaning 9996 clauses out of 20018 with flag 1315000/1315000 114.20/111.80 c cleaning 10003 clauses out of 20022 with flag 1325000/1325000 115.10/112.65 c cleaning 10006 clauses out of 20021 with flag 1335002/1335002 115.90/113.46 c cleaning 10000 clauses out of 20014 with flag 1345001/1345001 116.70/114.24 c cleaning 9999 clauses out of 20013 with flag 1355000/1355000 117.41/114.93 c cleaning 9995 clauses out of 20016 with flag 1365002/1365002 118.21/115.73 c cleaning 10002 clauses out of 20020 with flag 1375001/1375001 119.12/116.67 c cleaning 10003 clauses out of 20017 with flag 1385000/1385000 119.91/117.47 c cleaning 9999 clauses out of 20015 with flag 1395001/1395001 120.71/118.20 c cleaning 10003 clauses out of 20017 with flag 1405002/1405002 121.32/118.88 c cleaning 10006 clauses out of 20013 with flag 1415001/1415001 122.13/119.68 c cleaning 9994 clauses out of 20010 with flag 1425004/1425004 123.03/120.53 c cleaning 9996 clauses out of 20015 with flag 1435003/1435003 123.83/121.36 c cleaning 10000 clauses out of 20017 with flag 1445001/1445001 124.64/122.18 c cleaning 10000 clauses out of 20016 with flag 1455000/1455000 125.44/122.96 c cleaning 10004 clauses out of 20017 with flag 1465001/1465001 126.34/123.81 c cleaning 10001 clauses out of 20012 with flag 1475000/1475000 127.15/124.64 c cleaning 10002 clauses out of 20013 with flag 1485002/1485002 127.96/125.46 c cleaning 9993 clauses out of 20009 with flag 1495000/1495000 128.76/126.29 c cleaning 10004 clauses out of 20016 with flag 1505000/1505000 129.76/127.26 c cleaning 10003 clauses out of 20012 with flag 1515000/1515000 130.56/128.05 c cleaning 9996 clauses out of 20010 with flag 1525001/1525001 131.57/129.02 c cleaning 10003 clauses out of 20013 with flag 1535001/1535001 132.47/129.92 c cleaning 10001 clauses out of 20012 with flag 1545003/1545003 132.97/130.46 c starts : 242 132.97/130.46 c conflicts : 1551289 132.97/130.46 c decisions : 2593129 132.97/130.46 c propagations : 64315950 132.97/130.46 c inspects : 1032766707 132.97/130.46 c learnt literals : 7 132.97/130.46 c learnt binary clauses : 52 132.97/130.46 c learnt ternary clauses : 1309 132.97/130.46 c learnt clauses : 1551281 132.97/130.46 c ignored clauses : 0 132.97/130.46 c root simplifications : 0 132.97/130.46 c removed literals (reason simplification) : 9631224 132.97/130.46 c reason swapping (by a shorter reason) : 0 132.97/130.46 c Calls to reduceDB : 156 132.97/130.46 c number of reductions to clauses (during analyze) : 0 132.97/130.46 c number of learned constraints concerned by reduction : 0 132.97/130.46 c number of learning phase by resolution : 0 132.97/130.46 c number of learning phase by cutting planes : 0 132.97/130.46 c speed (assignments/second) : 531593.8902526718 132.97/130.46 c non guided choices 4404 132.97/130.46 c learnt constraints type 132.97/130.46 c constraints type 132.97/130.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 132.97/130.46 c org.sat4j.pb.constraints.pb.MaxWatchPb => 23 132.97/130.46 s OPTIMUM FOUND 132.97/130.46 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 132.97/130.46 c objective function=1 132.97/130.46 c Total wall clock time (in seconds): 130.363
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698095-1278327740/watcher-2698095-1278327740 -o /tmp/evaluation-result-2698095-1278327740/solver-2698095-1278327740 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698095-1278327740.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.02 1.96 3/196 4568 /proc/meminfo: memFree=32392164/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=13164 CPUtime=0 /proc/4568/stat : 4568 (java) R 4566 4568 3809 0 -1 4194304 688 0 0 0 0 0 0 0 20 0 1 0 988909 13479936 301 4089446400 134512640 134550932 4293082000 18446744073709551615 11536005 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/4568/statm: 3291 308 142 10 0 1121 0 [startup+0.0800409 s] /proc/loadavg: 2.03 2.02 1.96 3/196 4568 /proc/meminfo: memFree=32392164/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1529152 CPUtime=0.07 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 4811 0 1 0 6 1 0 0 20 0 18 0 988909 1565851648 4248 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 382288 4250 1324 10 0 379591 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1529152 [startup+0.101044 s] /proc/loadavg: 2.03 2.02 1.96 3/196 4568 /proc/meminfo: memFree=32392164/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1529564 CPUtime=0.11 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 5209 0 1 0 10 1 0 0 20 0 18 0 988909 1566273536 4646 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 382391 4646 1347 10 0 379694 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529564 [startup+0.300995 s] /proc/loadavg: 2.03 2.02 1.96 3/196 4568 /proc/meminfo: memFree=32392164/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1532440 CPUtime=0.56 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 8188 0 1 0 54 2 0 0 20 0 18 0 988909 1569218560 7178 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 383110 7178 1415 10 0 380413 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 1532440 [startup+0.700913 s] /proc/loadavg: 2.03 2.02 1.96 3/196 4568 /proc/meminfo: memFree=32392164/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1553072 CPUtime=1.76 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 17439 0 1 0 173 3 0 0 20 0 19 0 988909 1590345728 12627 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 388268 12631 1423 10 0 385571 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 1553072 [startup+1.50077 s] /proc/loadavg: 2.03 2.02 1.96 5/215 4587 /proc/meminfo: memFree=32330888/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1550908 CPUtime=3.07 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 29677 0 1 0 302 5 0 0 20 0 19 0 988909 1588129792 24343 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 387727 24343 1431 10 0 385030 0 [pid=4568/tid=4570] ppid=4566 vsize=1550908 CPUtime=1.48 /proc/4568/task/4570/stat : 4570 (java) R 4566 4568 3809 0 -1 4202560 18109 0 1 0 145 3 0 0 19 0 19 0 988910 1588129792 24343 4089446400 134512640 134550932 4293082000 18446744073709551615 4109152330 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4568/tid=4571] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4571/stat : 4571 (java) S 4566 4568 3809 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 988910 1588129792 24343 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4572] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4572/stat : 4572 (java) S 4566 4568 3809 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 988910 1588129792 24344 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4573] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4573/stat : 4573 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 988910 1588129792 24344 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4574] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4574/stat : 4574 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 988910 1588129792 24344 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4575] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4575/stat : 4575 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988910 1588129792 24344 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4576] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4576/stat : 4576 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988910 1588129792 24344 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4577] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4577/stat : 4577 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 24344 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4578] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4578/stat : 4578 (java) S 4566 4568 3809 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 24344 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4579] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4579/stat : 4579 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 988911 1588129792 24344 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4580] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4580/stat : 4580 (java) S 4566 4568 3809 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 988912 1588129792 24345 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4581] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4581/stat : 4581 (java) S 4566 4568 3809 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 988912 1588129792 24345 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4582] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4582/stat : 4582 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 988914 1588129792 24345 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4583] ppid=4566 vsize=1550908 CPUtime=0.77 /proc/4568/task/4583/stat : 4583 (java) S 4566 4568 3809 0 -1 4202560 4165 0 0 0 77 0 0 0 17 0 19 0 988914 1588129792 24345 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4584] ppid=4566 vsize=1550908 CPUtime=0.79 /proc/4568/task/4584/stat : 4584 (java) S 4566 4568 3809 0 -1 4202560 6327 0 0 0 79 0 0 0 17 0 19 0 988914 1588129792 24345 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4585] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4585/stat : 4585 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988914 1588129792 24345 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4586] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4586/stat : 4586 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 988914 1588129792 24345 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 2 0 0 0 [pid=4568/tid=4587] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4587/stat : 4587 (java) S 4566 4568 3809 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 988948 1588129792 24345 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 1550908 [startup+3.10148 s] /proc/loadavg: 2.03 2.02 1.96 3/215 4587 /proc/meminfo: memFree=32283396/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1550908 CPUtime=4.72 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 34068 0 1 0 467 5 0 0 20 0 19 0 988909 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 387727 28727 1445 10 0 385030 0 [pid=4568/tid=4570] ppid=4566 vsize=1550908 CPUtime=3.07 /proc/4568/task/4570/stat : 4570 (java) R 4566 4568 3809 0 -1 4202560 21186 0 1 0 304 3 0 0 22 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4109168995 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4568/tid=4571] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4571/stat : 4571 (java) S 4566 4568 3809 0 -1 4202560 173 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4572] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4572/stat : 4572 (java) S 4566 4568 3809 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4573] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4573/stat : 4573 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4574] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4574/stat : 4574 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4575] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4575/stat : 4575 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4576] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4576/stat : 4576 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4577] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4577/stat : 4577 (java) S 4566 4568 3809 0 -1 4202560 218 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4578] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4578/stat : 4578 (java) S 4566 4568 3809 0 -1 4202560 269 0 0 0 0 0 0 0 18 0 19 0 988910 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 5 0 0 0 [pid=4568/tid=4579] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4579/stat : 4579 (java) S 4566 4568 3809 0 -1 4202560 644 0 0 0 0 0 0 0 15 0 19 0 988911 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4580] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4580/stat : 4580 (java) S 4566 4568 3809 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 988912 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4581] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4581/stat : 4581 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 988912 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4582] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4582/stat : 4582 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 988914 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4583] ppid=4566 vsize=1550908 CPUtime=0.78 /proc/4568/task/4583/stat : 4583 (java) S 4566 4568 3809 0 -1 4202560 4171 0 0 0 78 0 0 0 16 0 19 0 988914 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4584] ppid=4566 vsize=1550908 CPUtime=0.82 /proc/4568/task/4584/stat : 4584 (java) S 4566 4568 3809 0 -1 4202560 6333 0 0 0 82 0 0 0 15 0 19 0 988914 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4585] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4585/stat : 4585 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988914 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4586] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4586/stat : 4586 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 988914 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 2 0 0 0 [pid=4568/tid=4587] ppid=4566 vsize=1550908 CPUtime=0 /proc/4568/task/4587/stat : 4587 (java) S 4566 4568 3809 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 988948 1588129792 28727 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.72 Current children cumulated vsize (KiB) 1550908 [startup+6.3009 s] /proc/loadavg: 2.03 2.02 1.96 3/215 4587 /proc/meminfo: memFree=32275832/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1549560 CPUtime=7.97 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 36228 0 1 0 792 5 0 0 20 0 19 0 988909 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 387390 30540 1445 10 0 384693 0 [pid=4568/tid=4570] ppid=4566 vsize=1549560 CPUtime=6.21 /proc/4568/task/4570/stat : 4570 (java) R 4566 4568 3809 0 -1 4202560 21188 0 1 0 618 3 0 0 17 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4109168467 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4568/tid=4571] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4571/stat : 4571 (java) S 4566 4568 3809 0 -1 4202560 594 0 0 0 0 0 0 0 16 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 5 0 0 0 [pid=4568/tid=4572] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4572/stat : 4572 (java) S 4566 4568 3809 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4573] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4573/stat : 4573 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4574] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4574/stat : 4574 (java) S 4566 4568 3809 0 -1 4202560 390 0 0 0 0 0 0 0 16 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4575] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4575/stat : 4575 (java) S 4566 4568 3809 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 2 0 0 0 [pid=4568/tid=4576] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4576/stat : 4576 (java) S 4566 4568 3809 0 -1 4202560 197 0 0 0 0 0 0 0 16 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4577] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4577/stat : 4577 (java) S 4566 4568 3809 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4578] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4578/stat : 4578 (java) S 4566 4568 3809 0 -1 4202560 451 0 0 0 0 0 0 0 15 0 19 0 988910 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 5 0 0 0 [pid=4568/tid=4579] ppid=4566 vsize=1549560 CPUtime=0.06 /proc/4568/task/4579/stat : 4579 (java) S 4566 4568 3809 0 -1 4202560 1506 0 0 0 6 0 0 0 15 0 19 0 988911 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4580] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4580/stat : 4580 (java) S 4566 4568 3809 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4581] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4581/stat : 4581 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4582] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4582/stat : 4582 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 988914 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4583] ppid=4566 vsize=1549560 CPUtime=0.82 /proc/4568/task/4583/stat : 4583 (java) S 4566 4568 3809 0 -1 4202560 4180 0 0 0 82 0 0 0 15 0 19 0 988914 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4584] ppid=4566 vsize=1549560 CPUtime=0.83 /proc/4568/task/4584/stat : 4584 (java) S 4566 4568 3809 0 -1 4202560 6333 0 0 0 83 0 0 0 15 0 19 0 988914 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4585] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4585/stat : 4585 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988914 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4586] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4586/stat : 4586 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 988914 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 2 0 0 0 [pid=4568/tid=4587] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4587/stat : 4587 (java) S 4566 4568 3809 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 988948 1586749440 30540 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.97 Current children cumulated vsize (KiB) 1549560 [startup+12.7007 s] /proc/loadavg: 2.02 2.02 1.96 3/215 4588 /proc/meminfo: memFree=32274124/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1549560 CPUtime=14.43 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 36769 0 1 0 1437 6 0 0 20 0 19 0 988909 1586749440 31077 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 387390 31077 1445 10 0 384693 0 [pid=4568/tid=4570] ppid=4566 vsize=1549560 CPUtime=12.52 /proc/4568/task/4570/stat : 4570 (java) R 4566 4568 3809 0 -1 4202560 21190 0 1 0 1249 3 0 0 23 0 19 0 988910 1586749440 31077 4089446400 134512640 134550932 4293082000 18446744073709551615 4109152319 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4568/tid=4571] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4571/stat : 4571 (java) S 4566 4568 3809 0 -1 4202560 595 0 0 0 0 0 0 0 15 0 19 0 988910 1586749440 31077 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 5 0 0 0 ################ # More data... # ################ /proc/4568/task/4571/stat : 4571 (java) S 4566 4568 3809 0 -1 4202560 606 0 0 0 9 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4572] ppid=4566 vsize=1549560 CPUtime=0.05 /proc/4568/task/4572/stat : 4572 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 5 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4573] ppid=4566 vsize=1549560 CPUtime=0.09 /proc/4568/task/4573/stat : 4573 (java) S 4566 4568 3809 0 -1 4202560 16 0 0 0 9 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4574] ppid=4566 vsize=1549560 CPUtime=0.06 /proc/4568/task/4574/stat : 4574 (java) S 4566 4568 3809 0 -1 4202560 399 0 0 0 5 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4575] ppid=4566 vsize=1549560 CPUtime=0.08 /proc/4568/task/4575/stat : 4575 (java) S 4566 4568 3809 0 -1 4202560 85 0 0 0 8 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 0 0 0 0 [pid=4568/tid=4576] ppid=4566 vsize=1549560 CPUtime=0.08 /proc/4568/task/4576/stat : 4576 (java) S 4566 4568 3809 0 -1 4202560 211 0 0 0 8 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 5 0 0 0 [pid=4568/tid=4577] ppid=4566 vsize=1549560 CPUtime=0.07 /proc/4568/task/4577/stat : 4577 (java) S 4566 4568 3809 0 -1 4202560 258 0 0 0 7 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 2 0 0 0 [pid=4568/tid=4578] ppid=4566 vsize=1549560 CPUtime=0.07 /proc/4568/task/4578/stat : 4578 (java) S 4566 4568 3809 0 -1 4202560 459 0 0 0 6 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4579] ppid=4566 vsize=1549560 CPUtime=2.92 /proc/4568/task/4579/stat : 4579 (java) S 4566 4568 3809 0 -1 4202560 2328 0 0 0 287 5 0 0 16 0 19 0 988911 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4580] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4580/stat : 4580 (java) S 4566 4568 3809 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4581] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4581/stat : 4581 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4582] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4582/stat : 4582 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4583] ppid=4566 vsize=1549560 CPUtime=1.25 /proc/4568/task/4583/stat : 4583 (java) S 4566 4568 3809 0 -1 4202560 5734 0 0 0 124 1 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4584] ppid=4566 vsize=1549560 CPUtime=0.85 /proc/4568/task/4584/stat : 4584 (java) S 4566 4568 3809 0 -1 4202560 6336 0 0 0 85 0 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4585] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4585/stat : 4585 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4586] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4586/stat : 4586 (java) S 4566 4568 3809 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 0 0 0 0 [pid=4568/tid=4587] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4587/stat : 4587 (java) S 4566 4568 3809 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 988948 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 132.07 Current children cumulated vsize (KiB) 1549560 [startup+129.901 s] /proc/loadavg: 2.04 2.03 1.96 3/215 4590 /proc/meminfo: memFree=32271804/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1549560 CPUtime=132.47 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 38856 0 1 0 13227 20 0 0 20 0 19 0 988909 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 387390 31539 1445 10 0 384693 0 [pid=4568/tid=4570] ppid=4566 vsize=1549560 CPUtime=126.72 /proc/4568/task/4570/stat : 4570 (java) R 4566 4568 3809 0 -1 4202560 21340 0 1 0 12668 4 0 0 25 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4109557738 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4568/tid=4571] ppid=4566 vsize=1549560 CPUtime=0.1 /proc/4568/task/4571/stat : 4571 (java) S 4566 4568 3809 0 -1 4202560 606 0 0 0 9 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4572] ppid=4566 vsize=1549560 CPUtime=0.05 /proc/4568/task/4572/stat : 4572 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 5 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4573] ppid=4566 vsize=1549560 CPUtime=0.09 /proc/4568/task/4573/stat : 4573 (java) S 4566 4568 3809 0 -1 4202560 16 0 0 0 9 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4574] ppid=4566 vsize=1549560 CPUtime=0.06 /proc/4568/task/4574/stat : 4574 (java) S 4566 4568 3809 0 -1 4202560 399 0 0 0 5 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4575] ppid=4566 vsize=1549560 CPUtime=0.08 /proc/4568/task/4575/stat : 4575 (java) S 4566 4568 3809 0 -1 4202560 85 0 0 0 8 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 0 0 0 0 [pid=4568/tid=4576] ppid=4566 vsize=1549560 CPUtime=0.08 /proc/4568/task/4576/stat : 4576 (java) S 4566 4568 3809 0 -1 4202560 211 0 0 0 8 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 5 0 0 0 [pid=4568/tid=4577] ppid=4566 vsize=1549560 CPUtime=0.07 /proc/4568/task/4577/stat : 4577 (java) S 4566 4568 3809 0 -1 4202560 258 0 0 0 7 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 2 0 0 0 [pid=4568/tid=4578] ppid=4566 vsize=1549560 CPUtime=0.07 /proc/4568/task/4578/stat : 4578 (java) S 4566 4568 3809 0 -1 4202560 459 0 0 0 6 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4579] ppid=4566 vsize=1549560 CPUtime=2.92 /proc/4568/task/4579/stat : 4579 (java) S 4566 4568 3809 0 -1 4202560 2328 0 0 0 287 5 0 0 16 0 19 0 988911 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4580] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4580/stat : 4580 (java) S 4566 4568 3809 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4581] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4581/stat : 4581 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4582] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4582/stat : 4582 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4583] ppid=4566 vsize=1549560 CPUtime=1.26 /proc/4568/task/4583/stat : 4583 (java) S 4566 4568 3809 0 -1 4202560 5734 0 0 0 125 1 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4584] ppid=4566 vsize=1549560 CPUtime=0.85 /proc/4568/task/4584/stat : 4584 (java) S 4566 4568 3809 0 -1 4202560 6336 0 0 0 85 0 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4585] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4585/stat : 4585 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4586] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4586/stat : 4586 (java) S 4566 4568 3809 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 0 0 0 0 [pid=4568/tid=4587] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4587/stat : 4587 (java) S 4566 4568 3809 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 988948 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 132.47 Current children cumulated vsize (KiB) 1549560 [startup+130.301 s] /proc/loadavg: 2.04 2.03 1.96 3/215 4590 /proc/meminfo: memFree=32271804/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1549560 CPUtime=132.88 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 38857 0 1 0 13268 20 0 0 20 0 19 0 988909 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 387390 31539 1445 10 0 384693 0 [pid=4568/tid=4570] ppid=4566 vsize=1549560 CPUtime=127.1 /proc/4568/task/4570/stat : 4570 (java) R 4566 4568 3809 0 -1 4202560 21341 0 1 0 12706 4 0 0 25 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4109419715 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4568/tid=4571] ppid=4566 vsize=1549560 CPUtime=0.1 /proc/4568/task/4571/stat : 4571 (java) S 4566 4568 3809 0 -1 4202560 606 0 0 0 9 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4572] ppid=4566 vsize=1549560 CPUtime=0.05 /proc/4568/task/4572/stat : 4572 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 5 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4573] ppid=4566 vsize=1549560 CPUtime=0.09 /proc/4568/task/4573/stat : 4573 (java) S 4566 4568 3809 0 -1 4202560 16 0 0 0 9 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4574] ppid=4566 vsize=1549560 CPUtime=0.06 /proc/4568/task/4574/stat : 4574 (java) S 4566 4568 3809 0 -1 4202560 399 0 0 0 5 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4575] ppid=4566 vsize=1549560 CPUtime=0.08 /proc/4568/task/4575/stat : 4575 (java) S 4566 4568 3809 0 -1 4202560 85 0 0 0 8 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 0 0 0 0 [pid=4568/tid=4576] ppid=4566 vsize=1549560 CPUtime=0.08 /proc/4568/task/4576/stat : 4576 (java) S 4566 4568 3809 0 -1 4202560 211 0 0 0 8 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 5 0 0 0 [pid=4568/tid=4577] ppid=4566 vsize=1549560 CPUtime=0.07 /proc/4568/task/4577/stat : 4577 (java) S 4566 4568 3809 0 -1 4202560 258 0 0 0 7 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 2 0 0 0 [pid=4568/tid=4578] ppid=4566 vsize=1549560 CPUtime=0.07 /proc/4568/task/4578/stat : 4578 (java) S 4566 4568 3809 0 -1 4202560 459 0 0 0 6 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4579] ppid=4566 vsize=1549560 CPUtime=2.94 /proc/4568/task/4579/stat : 4579 (java) S 4566 4568 3809 0 -1 4202560 2328 0 0 0 289 5 0 0 16 0 19 0 988911 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4580] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4580/stat : 4580 (java) S 4566 4568 3809 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4581] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4581/stat : 4581 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4582] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4582/stat : 4582 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4583] ppid=4566 vsize=1549560 CPUtime=1.26 /proc/4568/task/4583/stat : 4583 (java) S 4566 4568 3809 0 -1 4202560 5734 0 0 0 125 1 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4584] ppid=4566 vsize=1549560 CPUtime=0.85 /proc/4568/task/4584/stat : 4584 (java) S 4566 4568 3809 0 -1 4202560 6336 0 0 0 85 0 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4585] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4585/stat : 4585 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4586] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4586/stat : 4586 (java) S 4566 4568 3809 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 0 0 0 0 [pid=4568/tid=4587] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4587/stat : 4587 (java) S 4566 4568 3809 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 988948 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 132.88 Current children cumulated vsize (KiB) 1549560 [startup+130.401 s] /proc/loadavg: 2.04 2.03 1.96 3/215 4590 /proc/meminfo: memFree=32271804/32951124 swapFree=67111528/67111528 [pid=4568] ppid=4566 vsize=1549560 CPUtime=132.97 /proc/4568/stat : 4568 (java) S 4566 4568 3809 0 -1 4202496 38857 0 1 0 13277 20 0 0 20 0 19 0 988909 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4568/statm: 387390 31539 1445 10 0 384693 0 [pid=4568/tid=4570] ppid=4566 vsize=1549560 CPUtime=127.19 /proc/4568/task/4570/stat : 4570 (java) R 4566 4568 3809 0 -1 4202560 21341 0 1 0 12715 4 0 0 25 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4109152608 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4568/tid=4571] ppid=4566 vsize=1549560 CPUtime=0.1 /proc/4568/task/4571/stat : 4571 (java) S 4566 4568 3809 0 -1 4202560 606 0 0 0 9 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4572] ppid=4566 vsize=1549560 CPUtime=0.05 /proc/4568/task/4572/stat : 4572 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 5 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4573] ppid=4566 vsize=1549560 CPUtime=0.09 /proc/4568/task/4573/stat : 4573 (java) S 4566 4568 3809 0 -1 4202560 16 0 0 0 9 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4574] ppid=4566 vsize=1549560 CPUtime=0.06 /proc/4568/task/4574/stat : 4574 (java) S 4566 4568 3809 0 -1 4202560 399 0 0 0 5 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4575] ppid=4566 vsize=1549560 CPUtime=0.08 /proc/4568/task/4575/stat : 4575 (java) S 4566 4568 3809 0 -1 4202560 85 0 0 0 8 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 0 0 0 0 [pid=4568/tid=4576] ppid=4566 vsize=1549560 CPUtime=0.08 /proc/4568/task/4576/stat : 4576 (java) S 4566 4568 3809 0 -1 4202560 211 0 0 0 8 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 5 0 0 0 [pid=4568/tid=4577] ppid=4566 vsize=1549560 CPUtime=0.07 /proc/4568/task/4577/stat : 4577 (java) S 4566 4568 3809 0 -1 4202560 258 0 0 0 7 0 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 2 0 0 0 [pid=4568/tid=4578] ppid=4566 vsize=1549560 CPUtime=0.07 /proc/4568/task/4578/stat : 4578 (java) S 4566 4568 3809 0 -1 4202560 459 0 0 0 6 1 0 0 15 0 19 0 988910 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4579] ppid=4566 vsize=1549560 CPUtime=2.94 /proc/4568/task/4579/stat : 4579 (java) S 4566 4568 3809 0 -1 4202560 2328 0 0 0 289 5 0 0 16 0 19 0 988911 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 0 0 16800975 18446604471142185728 0 0 -1 7 0 0 0 [pid=4568/tid=4580] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4580/stat : 4580 (java) S 4566 4568 3809 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4581] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4581/stat : 4581 (java) S 4566 4568 3809 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 988912 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4582] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4582/stat : 4582 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 [pid=4568/tid=4583] ppid=4566 vsize=1549560 CPUtime=1.26 /proc/4568/task/4583/stat : 4583 (java) S 4566 4568 3809 0 -1 4202560 5734 0 0 0 125 1 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 3 0 0 0 [pid=4568/tid=4584] ppid=4566 vsize=1549560 CPUtime=0.85 /proc/4568/task/4584/stat : 4584 (java) S 4566 4568 3809 0 -1 4202560 6336 0 0 0 85 0 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4585] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4585/stat : 4585 (java) S 4566 4568 3809 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 4 0 0 0 [pid=4568/tid=4586] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4586/stat : 4586 (java) S 4566 4568 3809 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 988914 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 0 0 0 0 [pid=4568/tid=4587] ppid=4566 vsize=1549560 CPUtime=0 /proc/4568/task/4587/stat : 4587 (java) S 4566 4568 3809 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 988948 1586749440 31539 4089446400 134512640 134550932 4293082000 18446744073709551615 4294960144 0 4 0 16800975 18446604471142185728 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 132.97 Current children cumulated vsize (KiB) 1549560 Child status: 30 Real time (s): 130.501 CPU time (s): 133.058 CPU user time (s): 132.847 CPU system time (s): 0.210967 CPU usage (%): 101.959 Max. virtual memory (cumulated for all children) (KiB): 1553072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 132.847 system time used= 0.210967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38871 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= 7317 involuntary context switches= 38223 runsolver used 0.26196 second user time and 0.460929 second system time The end
Begin job on node106 at 2010-07-05 13:02:20 IDJOB=2698095 IDBENCH=79282 IDSOLVER=1211 FILE ID=node106/2698095-1278327740 PBS_JOBID= 11207482 Free space on /tmp= 74188 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698095-1278327740/watcher-2698095-1278327740 -o /tmp/evaluation-result-2698095-1278327740/solver-2698095-1278327740 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698095-1278327740.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0e9942c7ddaaf04ff12871ed1ee37357 RANDOM SEED=445783001 node106.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.814 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.62 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.814 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.814 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.76 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.814 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.814 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.82 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.814 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.814 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.814 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32392800 kB Buffers: 35156 kB Cached: 298772 kB SwapCached: 0 kB Active: 218032 kB Inactive: 239404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32392800 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 448 kB Writeback: 0 kB AnonPages: 123848 kB Mapped: 20244 kB Slab: 36500 kB PageTables: 4456 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1637548 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= 74188 MiB End job on node106 at 2010-07-05 13:04:30