Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 823 | 1800.04 | 943.952 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-apex4.a.opb |
MD5SUM | 59d685b710ba34babb28c57a0abba1bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 776 |
Best CPU time to get the best result obtained on this benchmark | 2.16067 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 776 |
Optimality of the best value was proved | NO |
Number of variables | 4316 |
Total number of constraints | 11912 |
Number of constraints which are clauses | 11912 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 160 |
Number of terms in the objective function | 4316 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4316 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4316 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.1.v20110525 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 9996466904 0.07/0.10 c Max memory 10048897024 0.07/0.10 c Total memory 10048897024 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3732326-1338685173.opb 0.07/0.13 c reading problem ... 0.75/0.47 c ... done. Wall clock time 0.343s. 0.75/0.47 c #vars 4316 0.75/0.47 c #constraints 8977 0.75/0.47 c constraints type 0.75/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6964 0.75/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1814 0.75/0.47 c constraints type 0.75/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1814 0.75/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6964 0.97/0.54 c And the winner is Resolution 1.18/0.99 c SATISFIABLE 1.18/0.99 c OPTIMIZING... 1.18/0.99 c Got one! Elapsed wall clock time (in seconds):0.858 1.18/0.99 o 848 1.24/1.05 c And the winner is Resolution 1.44/1.52 c Got one! Elapsed wall clock time (in seconds):1.39 1.44/1.52 o 844 1.96/1.70 c And the winner is Resolution 2.05/2.04 c Got one! Elapsed wall clock time (in seconds):1.911 2.05/2.04 o 838 2.71/2.32 c And the winner is Resolution 2.92/2.55 c Got one! Elapsed wall clock time (in seconds):2.428 2.92/2.55 o 835 4.75/3.46 c And the winner is Resolution 5.02/3.62 c Got one! Elapsed wall clock time (in seconds):3.489 5.02/3.62 o 834 5.39/3.89 c cleaning 3079 clauses out of 6166 with flag 1000/6166 8.50/5.34 c cleaning 4539 clauses out of 9088 with flag 7001/12167 12.29/7.21 c cleaning 5767 clauses out of 11548 with flag 14000/19166 16.67/9.46 c cleaning 6888 clauses out of 13782 with flag 22001/27167 21.71/12.00 c cleaning 7940 clauses out of 15893 with flag 31000/36166 27.59/14.84 c cleaning 8970 clauses out of 17953 with flag 41000/46166 32.56/17.35 c cleaning 9487 clauses out of 18984 with flag 51001/56167 38.93/20.54 c cleaning 9744 clauses out of 19496 with flag 61000/66166 45.74/23.90 c cleaning 9870 clauses out of 19752 with flag 71000/76166 51.52/26.85 c cleaning 9938 clauses out of 19884 with flag 81002/86168 57.48/29.85 c cleaning 9965 clauses out of 19945 with flag 91001/96167 62.06/32.16 c cleaning 9982 clauses out of 19980 with flag 101001/106167 66.82/34.59 c cleaning 9994 clauses out of 19997 with flag 111000/116166 71.99/37.19 c cleaning 9996 clauses out of 20004 with flag 121001/126167 76.56/39.49 c cleaning 9997 clauses out of 20007 with flag 131000/136166 81.34/41.82 c cleaning 9999 clauses out of 20010 with flag 141000/146166 85.87/44.17 c cleaning 10001 clauses out of 20011 with flag 151000/156166 90.64/46.59 c cleaning 9998 clauses out of 20010 with flag 161000/166166 95.41/48.94 c cleaning 10004 clauses out of 20012 with flag 171000/176166 96.78/49.66 c And the winner is Resolution 97.08/50.15 c Got one! Elapsed wall clock time (in seconds):50.023 97.08/50.15 o 831 97.99/50.61 c cleaning 7582 clauses out of 15173 with flag 2000/181331 100.53/51.96 c cleaning 6790 clauses out of 13592 with flag 8001/187332 103.90/53.67 c cleaning 6894 clauses out of 13801 with flag 15000/194331 108.07/55.71 c cleaning 7445 clauses out of 14907 with flag 23000/202331 113.05/58.24 c cleaning 8225 clauses out of 16462 with flag 32000/211331 118.25/60.82 c cleaning 9112 clauses out of 18238 with flag 42001/221332 122.82/63.19 c cleaning 9559 clauses out of 19125 with flag 52000/231331 127.59/65.54 c cleaning 9778 clauses out of 19566 with flag 62000/241331 132.36/67.96 c cleaning 9887 clauses out of 19788 with flag 72000/251331 137.11/70.37 c cleaning 9949 clauses out of 19902 with flag 82001/261332 142.06/72.80 c cleaning 9971 clauses out of 19952 with flag 92000/271331 147.64/75.64 c cleaning 9988 clauses out of 19984 with flag 102003/281334 152.61/78.13 c cleaning 9990 clauses out of 19994 with flag 112001/291332 157.55/80.60 c cleaning 9997 clauses out of 20004 with flag 122001/301332 165.91/84.88 c cleaning 9998 clauses out of 20006 with flag 132000/311331 172.88/88.38 c cleaning 9999 clauses out of 20009 with flag 142001/321332 177.65/90.75 c cleaning 9999 clauses out of 20010 with flag 152001/331332 182.59/93.25 c cleaning 9997 clauses out of 20011 with flag 162001/341332 187.37/95.66 c cleaning 10002 clauses out of 20013 with flag 172000/351331 192.50/98.24 c cleaning 9999 clauses out of 20011 with flag 182000/361331 198.06/101.04 c cleaning 9998 clauses out of 20012 with flag 192000/371331 203.41/103.79 c cleaning 10000 clauses out of 20014 with flag 202000/381331 208.94/106.56 c cleaning 10004 clauses out of 20015 with flag 212001/391332 214.28/109.23 c cleaning 10001 clauses out of 20011 with flag 222001/401332 220.61/112.49 c cleaning 9998 clauses out of 20010 with flag 232001/411332 226.32/115.36 c cleaning 10000 clauses out of 20013 with flag 242002/421333 231.27/117.80 c cleaning 10000 clauses out of 20012 with flag 252001/431332 236.46/120.46 c cleaning 10001 clauses out of 20011 with flag 262000/441331 244.22/124.35 c cleaning 10000 clauses out of 20011 with flag 272001/451332 258.88/131.71 c cleaning 10002 clauses out of 20011 with flag 282001/461332 270.01/137.40 c And the winner is CuttingPlanes 269.81/137.50 c Got one! Elapsed wall clock time (in seconds):137.375 269.81/137.50 o 830 272.41/138.89 c cleaning 11389 clauses out of 22790 with flag 5001/474113 276.33/140.83 c cleaning 8697 clauses out of 17401 with flag 11001/480113 280.24/142.86 c cleaning 7848 clauses out of 15703 with flag 18000/487112 285.27/145.46 c cleaning 7924 clauses out of 15857 with flag 26002/495114 286.78/146.21 c And the winner is Resolution 287.06/146.59 c Got one! Elapsed wall clock time (in seconds):146.466 287.06/146.59 o 829 288.31/147.30 c cleaning 6552 clauses out of 13113 with flag 3000/500294 291.21/148.75 c cleaning 6275 clauses out of 12561 with flag 9000/506294 295.31/150.84 c cleaning 6639 clauses out of 13286 with flag 16000/513294 300.12/153.39 c cleaning 7316 clauses out of 14648 with flag 24001/521295 306.03/156.32 c cleaning 8161 clauses out of 16331 with flag 33000/530294 311.31/159.06 c cleaning 9082 clauses out of 18171 with flag 43001/540295 316.80/161.84 c cleaning 9541 clauses out of 19090 with flag 53002/550296 323.78/165.41 c cleaning 9770 clauses out of 19548 with flag 63001/560295 329.04/168.16 c cleaning 9882 clauses out of 19777 with flag 73000/570294 333.92/170.63 c cleaning 9943 clauses out of 19895 with flag 83000/580294 339.18/173.33 c cleaning 9972 clauses out of 19952 with flag 93000/590294 344.76/176.23 c cleaning 9988 clauses out of 19981 with flag 103001/600295 351.65/179.75 c cleaning 9991 clauses out of 19992 with flag 113000/610294 357.13/182.57 c cleaning 9994 clauses out of 20001 with flag 123000/620294 362.38/185.26 c cleaning 9996 clauses out of 20008 with flag 133001/630295 367.54/187.97 c cleaning 9998 clauses out of 20012 with flag 143001/640295 372.59/190.54 c cleaning 9997 clauses out of 20013 with flag 153000/650294 378.66/193.64 c cleaning 10002 clauses out of 20017 with flag 163001/660295 384.92/196.85 c cleaning 10001 clauses out of 20014 with flag 173000/670294 389.85/199.48 c cleaning 10004 clauses out of 20013 with flag 183000/680294 394.91/202.05 c cleaning 9996 clauses out of 20010 with flag 193001/690295 400.38/204.83 c cleaning 10003 clauses out of 20013 with flag 203000/700294 405.25/207.37 c cleaning 9997 clauses out of 20010 with flag 213000/710294 410.40/210.09 c cleaning 9998 clauses out of 20013 with flag 223000/720294 415.42/212.62 c cleaning 10003 clauses out of 20016 with flag 233001/730295 420.88/215.41 c cleaning 9998 clauses out of 20012 with flag 243000/740294 426.35/218.29 c cleaning 10002 clauses out of 20014 with flag 253000/750294 432.48/221.40 c cleaning 10000 clauses out of 20012 with flag 263000/760294 438.15/224.38 c cleaning 9999 clauses out of 20012 with flag 273000/770294 438.78/224.75 c And the winner is CuttingPlanes 438.55/225.10 c Got one! Elapsed wall clock time (in seconds):224.975 438.55/225.10 o 825 441.35/226.55 c cleaning 7751 clauses out of 15513 with flag 5001/775794 444.97/228.47 c cleaning 6877 clauses out of 13761 with flag 11000/781793 449.49/230.84 c cleaning 6940 clauses out of 13885 with flag 18001/788794 454.32/233.34 c cleaning 7468 clauses out of 14944 with flag 26000/796793 459.56/236.05 c cleaning 8232 clauses out of 16476 with flag 35000/805793 466.41/239.58 c cleaning 9118 clauses out of 18245 with flag 45001/815794 473.12/243.04 c cleaning 9560 clauses out of 19127 with flag 55001/825794 479.95/246.53 c cleaning 9774 clauses out of 19566 with flag 65000/835793 487.59/250.40 c cleaning 9896 clauses out of 19793 with flag 75001/845794 493.42/253.48 c cleaning 9944 clauses out of 19897 with flag 85001/855794 499.31/256.56 c cleaning 9970 clauses out of 19953 with flag 95001/865794 505.18/259.53 c cleaning 9986 clauses out of 19983 with flag 105001/875794 510.02/262.08 c cleaning 9995 clauses out of 19996 with flag 115000/885793 515.45/264.88 c cleaning 9993 clauses out of 20001 with flag 125000/895793 522.39/268.49 c cleaning 9996 clauses out of 20008 with flag 135000/905793 528.21/271.44 c cleaning 9999 clauses out of 20012 with flag 145000/915793 533.44/274.14 c cleaning 10002 clauses out of 20014 with flag 155001/925794 538.08/276.59 c cleaning 9999 clauses out of 20012 with flag 165001/935794 542.98/279.16 c cleaning 10001 clauses out of 20012 with flag 175000/945793 550.83/283.18 c cleaning 9999 clauses out of 20012 with flag 185001/955794 558.66/287.16 c cleaning 9997 clauses out of 20012 with flag 195000/965793 563.48/289.68 c cleaning 9999 clauses out of 20016 with flag 205001/975794 568.58/292.35 c cleaning 10004 clauses out of 20017 with flag 215001/985794 574.21/295.22 c cleaning 9997 clauses out of 20013 with flag 225001/995794 579.26/297.89 c cleaning 10004 clauses out of 20016 with flag 235001/1005794 584.29/300.41 c cleaning 10000 clauses out of 20012 with flag 245001/1015794 589.18/303.06 c cleaning 10001 clauses out of 20012 with flag 255001/1025794 594.01/305.56 c cleaning 9999 clauses out of 20011 with flag 265001/1035794 599.83/308.56 c cleaning 9997 clauses out of 20011 with flag 275000/1045793 605.07/311.28 c cleaning 10003 clauses out of 20015 with flag 285001/1055794 610.36/314.04 c cleaning 9999 clauses out of 20012 with flag 295001/1065794 615.29/316.51 c cleaning 9999 clauses out of 20013 with flag 305001/1075794 620.32/319.13 c cleaning 10000 clauses out of 20014 with flag 315001/1085794 626.15/322.16 c cleaning 9999 clauses out of 20013 with flag 325000/1095793 631.65/325.04 c cleaning 10001 clauses out of 20014 with flag 335000/1105793 636.88/327.77 c cleaning 10002 clauses out of 20013 with flag 345000/1115793 641.89/330.33 c cleaning 9999 clauses out of 20011 with flag 355000/1125793 646.70/332.87 c cleaning 9996 clauses out of 20012 with flag 365000/1135793 655.17/337.24 c cleaning 10003 clauses out of 20017 with flag 375001/1145794 666.18/342.85 c cleaning 9998 clauses out of 20013 with flag 385000/1155793 675.41/347.52 c cleaning 10004 clauses out of 20015 with flag 395000/1165793 681.00/350.42 c cleaning 9997 clauses out of 20011 with flag 405000/1175793 688.66/354.48 c cleaning 10001 clauses out of 20015 with flag 415001/1185794 693.66/357.03 c cleaning 10001 clauses out of 20014 with flag 425001/1195794 698.67/359.61 c cleaning 10001 clauses out of 20013 with flag 435001/1205794 703.46/362.15 c cleaning 9999 clauses out of 20012 with flag 445001/1215794 708.52/364.89 c cleaning 10000 clauses out of 20012 with flag 455000/1225793 713.91/367.62 c cleaning 10002 clauses out of 20012 with flag 465000/1235793 719.12/370.33 c cleaning 9996 clauses out of 20010 with flag 475000/1245793 724.30/373.04 c cleaning 10002 clauses out of 20014 with flag 485000/1255793 729.93/376.00 c cleaning 10000 clauses out of 20012 with flag 495000/1265793 735.31/378.80 c cleaning 9999 clauses out of 20012 with flag 505000/1275793 740.51/381.59 c cleaning 10000 clauses out of 20013 with flag 515000/1285793 746.08/384.45 c cleaning 10000 clauses out of 20014 with flag 525001/1295794 751.50/387.35 c cleaning 9998 clauses out of 20013 with flag 535000/1305793 756.50/389.91 c cleaning 10003 clauses out of 20015 with flag 545000/1315793 761.50/392.52 c cleaning 9999 clauses out of 20012 with flag 555000/1325793 762.09/392.93 c And the winner is CuttingPlanes 761.43/393.28 c Got one! Elapsed wall clock time (in seconds):393.152 761.43/393.28 o 824 764.26/394.75 c cleaning 7869 clauses out of 15748 with flag 5001/1331528 768.49/397.02 c cleaning 6931 clauses out of 13878 with flag 11000/1337527 773.47/399.68 c cleaning 6969 clauses out of 13948 with flag 18001/1344528 779.06/402.57 c cleaning 7485 clauses out of 14979 with flag 26001/1352528 784.81/405.51 c cleaning 8242 clauses out of 16493 with flag 35000/1361527 791.03/408.90 c cleaning 9119 clauses out of 18251 with flag 45000/1371527 797.22/412.03 c cleaning 9561 clauses out of 19134 with flag 55002/1381529 802.80/414.97 c cleaning 9777 clauses out of 19571 with flag 65000/1391527 808.00/417.61 c cleaning 9896 clauses out of 19795 with flag 75001/1401528 813.42/420.56 c cleaning 9941 clauses out of 19898 with flag 85000/1411527 820.80/424.38 c cleaning 9975 clauses out of 19958 with flag 95001/1421528 825.77/426.96 c cleaning 9985 clauses out of 19983 with flag 105001/1431528 830.74/429.50 c cleaning 9995 clauses out of 19998 with flag 115001/1441528 836.94/432.84 c cleaning 9999 clauses out of 20003 with flag 125001/1451528 842.70/435.82 c cleaning 9992 clauses out of 20004 with flag 135001/1461528 848.49/438.86 c cleaning 10002 clauses out of 20011 with flag 145000/1471527 853.27/441.39 c cleaning 9999 clauses out of 20010 with flag 155001/1481528 858.46/444.16 c cleaning 9999 clauses out of 20011 with flag 165001/1491528 863.43/446.72 c cleaning 10003 clauses out of 20013 with flag 175002/1501529 868.61/449.40 c cleaning 10000 clauses out of 20009 with flag 185001/1511528 876.02/453.26 c cleaning 9997 clauses out of 20009 with flag 195001/1521528 882.19/456.52 c cleaning 9998 clauses out of 20012 with flag 205001/1531528 886.93/459.09 c cleaning 9999 clauses out of 20013 with flag 215000/1541527 892.09/461.70 c cleaning 9999 clauses out of 20014 with flag 225000/1551527 901.67/466.64 c cleaning 10001 clauses out of 20015 with flag 235000/1561527 908.25/470.19 c cleaning 10002 clauses out of 20014 with flag 245000/1571527 913.83/473.05 c cleaning 9999 clauses out of 20012 with flag 255000/1581527 918.97/475.72 c cleaning 10003 clauses out of 20014 with flag 265001/1591528 925.92/479.30 c cleaning 9999 clauses out of 20010 with flag 275000/1601527 931.51/482.33 c cleaning 10002 clauses out of 20012 with flag 285001/1611528 936.45/484.99 c cleaning 9995 clauses out of 20010 with flag 295001/1621528 941.61/487.63 c cleaning 10002 clauses out of 20015 with flag 305001/1631528 946.57/490.21 c cleaning 10000 clauses out of 20012 with flag 315000/1641527 951.73/493.06 c cleaning 10002 clauses out of 20013 with flag 325001/1651528 956.89/495.74 c cleaning 9999 clauses out of 20010 with flag 335000/1661527 962.04/498.46 c cleaning 10000 clauses out of 20011 with flag 345000/1671527 967.02/501.05 c cleaning 9999 clauses out of 20012 with flag 355001/1681528 972.37/503.94 c cleaning 9997 clauses out of 20013 with flag 365001/1691528 977.73/506.74 c cleaning 9997 clauses out of 20016 with flag 375001/1701528 983.07/509.50 c cleaning 10003 clauses out of 20018 with flag 385000/1711527 988.61/512.40 c cleaning 10003 clauses out of 20016 with flag 395001/1721528 995.53/516.19 c cleaning 10002 clauses out of 20012 with flag 405000/1731527 1002.08/519.57 c cleaning 10001 clauses out of 20011 with flag 415001/1741528 1007.23/522.24 c cleaning 9999 clauses out of 20009 with flag 425000/1751527 1011.99/524.75 c cleaning 9998 clauses out of 20011 with flag 435001/1761528 1017.13/527.53 c cleaning 9997 clauses out of 20013 with flag 445001/1771528 1024.47/531.31 c cleaning 10003 clauses out of 20015 with flag 455000/1781527 1033.97/536.20 c cleaning 9997 clauses out of 20012 with flag 465000/1791527 1043.11/540.98 c cleaning 10000 clauses out of 20015 with flag 475000/1801527 1049.84/544.52 c cleaning 10003 clauses out of 20015 with flag 485000/1811527 1055.34/547.42 c cleaning 10000 clauses out of 20012 with flag 495000/1821527 1060.88/550.31 c cleaning 10000 clauses out of 20012 with flag 505000/1831527 1066.19/553.17 c cleaning 10000 clauses out of 20012 with flag 515000/1841527 1071.71/556.14 c cleaning 9997 clauses out of 20012 with flag 525000/1851527 1076.82/558.83 c cleaning 10002 clauses out of 20016 with flag 535001/1861528 1081.73/561.50 c cleaning 9997 clauses out of 20013 with flag 545000/1871527 1086.83/564.16 c cleaning 10003 clauses out of 20016 with flag 555000/1881527 1092.17/567.03 c cleaning 9995 clauses out of 20013 with flag 565000/1891527 1097.07/569.67 c cleaning 9998 clauses out of 20018 with flag 575000/1901527 1102.18/572.31 c cleaning 9997 clauses out of 20020 with flag 585000/1911527 1107.91/575.37 c cleaning 10009 clauses out of 20023 with flag 595000/1921527 1113.84/578.56 c cleaning 10002 clauses out of 20014 with flag 605000/1931527 1118.76/581.19 c cleaning 10002 clauses out of 20013 with flag 615001/1941528 1123.87/583.83 c cleaning 9996 clauses out of 20011 with flag 625001/1951528 1128.81/586.45 c cleaning 10000 clauses out of 20014 with flag 635000/1961527 1134.04/589.37 c cleaning 10000 clauses out of 20014 with flag 645000/1971527 1139.56/592.25 c cleaning 9998 clauses out of 20014 with flag 655000/1981527 1145.08/595.12 c cleaning 9999 clauses out of 20016 with flag 665000/1991527 1150.35/597.95 c cleaning 10004 clauses out of 20018 with flag 675001/2001528 1155.62/600.85 c cleaning 10003 clauses out of 20014 with flag 685001/2011528 1160.50/603.46 c cleaning 9998 clauses out of 20011 with flag 695001/2021528 1165.41/606.08 c cleaning 9999 clauses out of 20013 with flag 705001/2031528 1170.29/608.67 c cleaning 9998 clauses out of 20014 with flag 715001/2041528 1175.33/611.48 c cleaning 10002 clauses out of 20016 with flag 725001/2051528 1180.43/614.13 c cleaning 10002 clauses out of 20014 with flag 735001/2061528 1185.51/616.81 c cleaning 9998 clauses out of 20012 with flag 745001/2071528 1190.62/619.51 c cleaning 9999 clauses out of 20014 with flag 755001/2081528 1195.72/622.38 c cleaning 9999 clauses out of 20015 with flag 765001/2091528 1200.60/624.97 c cleaning 9998 clauses out of 20016 with flag 775001/2101528 1205.67/627.61 c cleaning 10005 clauses out of 20018 with flag 785001/2111528 1211.15/630.51 c cleaning 10001 clauses out of 20013 with flag 795001/2121528 1216.78/633.65 c cleaning 10000 clauses out of 20012 with flag 805001/2131528 1222.25/636.54 c cleaning 9998 clauses out of 20012 with flag 815001/2141528 1227.73/639.41 c cleaning 9998 clauses out of 20014 with flag 825001/2151528 1233.25/642.39 c cleaning 10000 clauses out of 20016 with flag 835001/2161528 1239.31/645.61 c cleaning 9998 clauses out of 20016 with flag 845001/2171528 1244.56/648.47 c And the winner is CuttingPlanes 1243.66/648.51 c Got one! Elapsed wall clock time (in seconds):648.388 1243.66/648.51 o 823 1246.41/649.98 c cleaning 12455 clauses out of 24926 with flag 5000/2186436 1250.93/652.33 c cleaning 9234 clauses out of 18471 with flag 11000/2192436 1256.18/655.14 c cleaning 8109 clauses out of 16237 with flag 18000/2199436 1261.81/658.20 c cleaning 8060 clauses out of 16128 with flag 26000/2207436 1267.13/661.03 c cleaning 8530 clauses out of 17069 with flag 35001/2216437 1274.62/664.93 c cleaning 9263 clauses out of 18538 with flag 45000/2226436 1280.71/668.14 c cleaning 9636 clauses out of 19278 with flag 55003/2236439 1286.54/671.35 c cleaning 9813 clauses out of 19641 with flag 65002/2246438 1293.02/674.76 c cleaning 9911 clauses out of 19826 with flag 75000/2256436 1299.12/677.99 c cleaning 9952 clauses out of 19916 with flag 85001/2266437 1305.80/681.42 c cleaning 9979 clauses out of 19963 with flag 95000/2276436 1312.63/685.20 c cleaning 9987 clauses out of 19984 with flag 105000/2286436 1317.70/687.86 c cleaning 9996 clauses out of 19997 with flag 115000/2296436 1324.40/691.34 c cleaning 9998 clauses out of 20001 with flag 125000/2306436 1330.51/694.56 c cleaning 9996 clauses out of 20003 with flag 135000/2316436 1335.94/697.51 c cleaning 9997 clauses out of 20008 with flag 145001/2326437 1340.83/700.17 c cleaning 10000 clauses out of 20010 with flag 155000/2336436 1346.29/703.09 c cleaning 9998 clauses out of 20011 with flag 165001/2346437 1351.57/705.89 c cleaning 10003 clauses out of 20013 with flag 175001/2356437 1357.40/709.08 c cleaning 9997 clauses out of 20009 with flag 185000/2366436 1363.07/712.04 c cleaning 10002 clauses out of 20013 with flag 195001/2376437 1368.18/714.75 c cleaning 9996 clauses out of 20011 with flag 205001/2386437 1373.28/717.46 c cleaning 9999 clauses out of 20015 with flag 215001/2396437 1378.91/720.55 c cleaning 10001 clauses out of 20016 with flag 225001/2406437 1384.14/723.35 c cleaning 10003 clauses out of 20014 with flag 235000/2416436 1389.61/726.26 c cleaning 10000 clauses out of 20012 with flag 245001/2426437 1394.91/729.02 c cleaning 10000 clauses out of 20011 with flag 255000/2436436 1400.18/731.93 c cleaning 9999 clauses out of 20012 with flag 265001/2446437 1406.87/735.44 c cleaning 9998 clauses out of 20012 with flag 275000/2456436 1413.36/738.83 c cleaning 10005 clauses out of 20015 with flag 285001/2466437 1418.45/741.53 c cleaning 9999 clauses out of 20009 with flag 295000/2476436 1423.65/744.47 c cleaning 9996 clauses out of 20010 with flag 305000/2486436 1428.74/747.19 c cleaning 9999 clauses out of 20014 with flag 315000/2496436 1433.80/749.86 c cleaning 10001 clauses out of 20016 with flag 325001/2506437 1438.87/752.52 c cleaning 9997 clauses out of 20014 with flag 335000/2516436 1444.07/755.44 c cleaning 10001 clauses out of 20017 with flag 345000/2526436 1450.34/758.74 c cleaning 10003 clauses out of 20016 with flag 355000/2536436 1456.83/762.20 c cleaning 10003 clauses out of 20013 with flag 365000/2546436 1463.09/765.41 c cleaning 10001 clauses out of 20011 with flag 375001/2556437 1468.89/768.65 c cleaning 9998 clauses out of 20010 with flag 385001/2566437 1473.97/771.30 c cleaning 10003 clauses out of 20012 with flag 395001/2576437 1480.44/774.78 c cleaning 9996 clauses out of 20008 with flag 405000/2586436 1486.72/778.01 c cleaning 10005 clauses out of 20013 with flag 415001/2596437 1492.14/781.09 c cleaning 10000 clauses out of 20008 with flag 425001/2606437 1497.20/783.75 c cleaning 9995 clauses out of 20008 with flag 435001/2616437 1502.29/786.45 c cleaning 10002 clauses out of 20013 with flag 445001/2626437 1508.33/789.61 c cleaning 9995 clauses out of 20010 with flag 455000/2636436 1515.93/793.73 c cleaning 10001 clauses out of 20016 with flag 465001/2646437 1523.61/797.74 c cleaning 10000 clauses out of 20014 with flag 475000/2656436 1529.06/800.64 c cleaning 10002 clauses out of 20014 with flag 485000/2666436 1534.73/803.66 c cleaning 10000 clauses out of 20012 with flag 495000/2676436 1540.74/806.91 c cleaning 9999 clauses out of 20012 with flag 505000/2686436 1546.19/809.87 c cleaning 10000 clauses out of 20013 with flag 515000/2696436 1551.45/812.69 c cleaning 10000 clauses out of 20013 with flag 525000/2706436 1556.51/815.37 c cleaning 10002 clauses out of 20013 with flag 535000/2716436 1561.88/818.36 c cleaning 10000 clauses out of 20011 with flag 545000/2726436 1567.31/821.24 c cleaning 9999 clauses out of 20011 with flag 555000/2736436 1572.74/824.12 c cleaning 9999 clauses out of 20012 with flag 565000/2746436 1578.00/826.91 c cleaning 10000 clauses out of 20013 with flag 575000/2756436 1583.19/829.87 c cleaning 9997 clauses out of 20013 with flag 585000/2766436 1588.46/832.63 c cleaning 10005 clauses out of 20016 with flag 595000/2776436 1595.70/836.41 c cleaning 9999 clauses out of 20012 with flag 605001/2786437 1605.61/841.56 c cleaning 10000 clauses out of 20012 with flag 615000/2796436 1611.39/844.72 c cleaning 9999 clauses out of 20012 with flag 625000/2806436 1616.80/847.68 c cleaning 10002 clauses out of 20013 with flag 635000/2816436 1622.25/850.60 c cleaning 10000 clauses out of 20011 with flag 645000/2826436 1628.87/854.07 c cleaning 10001 clauses out of 20011 with flag 655000/2836436 1635.64/857.77 c cleaning 9999 clauses out of 20010 with flag 665000/2846436 1642.10/861.17 c cleaning 10002 clauses out of 20011 with flag 675000/2856436 1647.76/864.15 c cleaning 9998 clauses out of 20009 with flag 685000/2866436 1653.22/867.07 c cleaning 10001 clauses out of 20014 with flag 695003/2876439 1658.96/870.23 c cleaning 9997 clauses out of 20010 with flag 705000/2886436 1664.41/873.15 c cleaning 9998 clauses out of 20014 with flag 715001/2896437 1673.45/877.87 c cleaning 10001 clauses out of 20015 with flag 725000/2906436 1684.88/883.79 c cleaning 10003 clauses out of 20014 with flag 735000/2916436 1696.66/889.93 c cleaning 9997 clauses out of 20011 with flag 745000/2926436 1707.68/895.62 c cleaning 9999 clauses out of 20014 with flag 755000/2936436 1718.48/901.22 c cleaning 9998 clauses out of 20015 with flag 765000/2946436 1729.50/906.90 c cleaning 10002 clauses out of 20017 with flag 775000/2956436 1740.78/912.96 c cleaning 10004 clauses out of 20015 with flag 785000/2966436 1747.16/916.34 c cleaning 9999 clauses out of 20011 with flag 795000/2976436 1753.34/919.63 c cleaning 9998 clauses out of 20013 with flag 805001/2986437 1759.54/922.93 c cleaning 10001 clauses out of 20014 with flag 815000/2996436 1766.00/926.56 c cleaning 10000 clauses out of 20013 with flag 825000/3006436 1772.39/929.90 c cleaning 10001 clauses out of 20014 with flag 835001/3016437 1778.57/933.21 c cleaning 9998 clauses out of 20012 with flag 845000/3026436 1784.75/936.53 c cleaning 9999 clauses out of 20014 with flag 855000/3036436 1791.22/940.11 c cleaning 9999 clauses out of 20016 with flag 865001/3046437 1797.39/943.41 c cleaning 9999 clauses out of 20016 with flag 875000/3056436 1797.98/943.92 c starts : 28 1797.98/943.92 c conflicts : 3160 1797.98/943.92 c decisions : 106930 1797.98/943.92 c propagations : 183470 1797.98/943.92 c inspects : 21002073 1797.98/943.92 c shortcuts : 0 1797.98/943.92 c learnt literals : 0 1797.98/943.92 c learnt binary clauses : 4 1797.98/943.92 c learnt ternary clauses : 5 1797.98/943.92 c learnt constraints : 3159 1797.98/943.92 c ignored constraints : 0 1797.98/943.92 c root simplifications : 0 1797.98/943.92 c removed literals (reason simplification) : 0 1797.98/943.92 c reason swapping (by a shorter reason) : 0 1797.98/943.92 c Calls to reduceDB : 0 1797.98/943.92 c number of reductions to clauses (during analyze) : 0 1797.98/943.92 c number of learned constraints concerned by reduction : 0 1797.98/943.92 c number of learning phase by resolution : 0 1797.98/943.92 c number of learning phase by cutting planes : 0 1797.98/943.92 c speed (assignments/second) : 621.1110734960561 1797.98/943.92 c non guided choices 0 1797.98/943.92 c learnt constraints type 1797.98/943.92 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 86 1797.98/943.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1797.98/943.92 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 4 1797.98/943.92 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062 1797.98/943.92 c constraints type 1797.98/943.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6964 1797.98/943.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1797.98/943.92 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1814 1797.98/943.92 c constraints type 1797.98/943.92 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1814 1797.98/943.92 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6964 1797.98/943.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1797.98/943.92 s SATISFIABLE 1797.98/943.93 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 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 x309 -x310 -x311 x312 x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 x348 x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 x480 x481 x482 x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 x720 x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 x956 -x957 x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 x1104 x1105 -x1106 -x1107 -x1108 x1109 x1110 x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 x1152 x1153 -x1154 x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 x1382 -x1383 -x1384 x1385 x1386 x1387 x1388 -x1389 x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 x1583 x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 x1799 -x1800 x1801 -x1802 -x1803 -x1804 x1805 x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 x2066 -x2067 -x2068 x2069 x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 x2097 -x2098 x2099 -x2100 x2101 -x2102 x2103 x2104 x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 x2169 x2170 -x2171 x2172 -x2173 -x2174 x2175 x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 x2264 -x2265 -x2266 x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 x2294 -x2295 x2296 x2297 x2298 x2299 -x2300 -x2301 x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 x2327 x2328 x2329 x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 x2604 x2605 x2606 x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 x2617 -x2618 -x2619 x2620 -x2621 -x2622 x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 x2653 -x2654 -x2655 x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 x2665 x2666 -x2667 x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 x2849 -x2850 -x2851 -x2852 x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 x2907 x2908 x2909 x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 x2936 x2937 x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 x3019 -x3020 x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 x3160 -x3161 x3162 -x3163 -x3164 -x3165 x3166 -x3167 -x3168 x3169 -x3170 x3171 -x3172 -x3173 x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 x3244 -x3245 -x3246 x3247 x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 x3265 -x3266 -x3267 -x3268 x3269 -x3270 x3271 -x3272 -x3273 x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x3320 -x3321 x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 -x3329 x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 x3343 -x3344 x3345 x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 x3382 -x3383 x3384 x3385 x3386 -x3387 -x3388 x3389 -x3390 -x3391 x3392 -x3393 x3394 -x3395 x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 x3414 -x3415 -x3416 x3417 -x3418 x3419 -x3420 -x3421 x3422 x3423 -x3424 x3425 -x3426 -x3427 x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 x3443 x3444 -x3445 -x3446 -x3447 -x3448 x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 x3468 x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 x3494 -x3495 x3496 x3497 -x3498 -x3499 -x3500 -x3501 -x3502 x3503 x3504 -x3505 x3506 x3507 -x3508 -x3509 -x3510 -x3511 x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 x3538 x3539 x3540 x3541 -x3542 -x3543 -x3544 x3545 x3546 -x3547 -x3548 -x3549 -x3550 x3551 x3552 x3553 x3554 -x3555 x3556 x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 x3572 -x3573 x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 x3619 -x3620 x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 x3638 -x3639 -x3640 -x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 x3665 x3666 x3667 x3668 -x3669 x3670 x3671 x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 x3681 x3682 x3683 -x3684 x3685 -x3686 -x3687 x3688 -x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 x3720 -x3721 -x3722 x3723 -x3724 -x3725 x3726 x3727 -x3728 -x3729 x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 x3742 -x3743 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 x3766 x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 x3774 -x3775 x3776 -x3777 -x3778 -x3779 x3780 -x3781 x3782 x3783 x3784 x3785 x3786 x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 x3795 x3796 -x3797 x3798 x3799 -x3800 x3801 -x3802 x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 x3810 -x3811 x3812 x3813 -x3814 x3815 x3816 -x3817 x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 x3825 x3826 x3827 -x3828 -x3829 x3830 -x3831 -x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 x3845 -x3846 -x3847 -x3848 x3849 x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x3870 -x3871 -x3872 -x3873 -x3874 x3875 x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 x3894 -x3895 -x3896 x3897 x3898 x3899 -x3900 x3901 -x3902 x3903 -x3904 -x3905 -x3906 x3907 x3908 -x3909 -x3910 x3911 x3912 -x3913 x3914 x3915 x3916 -x3917 -x3918 -x3919 -x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 x3944 x3945 -x3946 x3947 -x3948 -x3949 x3950 x3951 x3952 x3953 -x3954 -x3955 x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 x3969 -x3970 x3971 -x3972 x3973 x3974 x3975 x3976 -x3977 -x3978 -x3979 -x3980 x3981 x3982 -x3983 -x3984 x3985 -x3986 -x3987 x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 x3999 -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 x4009 -x4010 x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 x4020 -x4021 x4022 -x4023 x4024 x4025 x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 x4036 -x4037 x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 x4047 x4048 -x4049 x4050 x4051 x4052 -x4053 x4054 -x4055 x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 x4076 -x4077 x4078 -x4079 x4080 x4081 -x4082 -x4083 -x4084 x4085 x4086 -x4087 x4088 -x4089 x4090 x4091 -x4092 -x4093 x4094 x4095 -x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 x4105 -x4106 -x4107 x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 x4129 x4130 -x4131 -x4132 x4133 x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140 -x4141 -x4142 x4143 x4144 x4145 -x4146 -x4147 x4148 -x4149 x4150 x4151 -x4152 x4153 x4154 x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 -x4171 x4172 x4173 x4174 -x4175 -x4176 -x4177 x4178 -x4179 x4180 -x4181 x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 x4189 x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 x4198 x4199 x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 -x4226 x4227 -x4228 -x4229 x4230 x4231 -x4232 -x4233 x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 x4268 x4269 -x4270 x4271 x4272 x4273 x4274 x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 x4282 -x4283 x4284 x4285 -x4286 x4287 x4288 -x4289 -x4290 x4291 -x4292 -x4293 x4294 x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 x4315 -x4316 1797.98/943.93 c objective function=823 1797.98/943.94 c Total wall clock time (in seconds): 943.808
OK 823
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732326-1338685173/watcher-3732326-1338685173 -o /tmp/evaluation-result-3732326-1338685173/solver-3732326-1338685173 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732326-1338685173.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.10 3.38 3.59 4/197 8735 /proc/meminfo: memFree=27655944/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=3568 CPUtime=0 cores=0,2,4,6 /proc/8735/stat : 8735 (java) R 8733 8735 5561 0 -1 4202496 97 0 0 0 0 0 0 0 20 0 1 0 334641644 3653632 50 33554432000 1073741824 1073778376 140735948345504 140735948342632 209874677031 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/8735/statm: 892 53 41 9 0 30 0 [startup+0.0765179 s] /proc/loadavg: 3.10 3.38 3.59 4/197 8735 /proc/meminfo: memFree=27655944/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11253516 CPUtime=0.04 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 3859 0 1 0 3 1 0 0 20 0 13 0 334641644 11523600384 12221 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2813379 12221 1710 9 0 2804080 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11253516 [startup+0.1004 s] /proc/loadavg: 3.10 3.38 3.59 4/197 8735 /proc/meminfo: memFree=27655944/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 4146 0 1 0 6 1 0 0 20 0 18 0 334641644 11864465408 12508 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2896598 12508 1867 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300163 s] /proc/loadavg: 3.10 3.38 3.59 4/197 8735 /proc/meminfo: memFree=27655944/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11586392 CPUtime=0.51 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 8175 0 1 0 49 2 0 0 20 0 18 0 334641644 11864465408 17805 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2896598 17805 2222 9 0 2887285 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 11586392 [startup+0.7003 s] /proc/loadavg: 3.10 3.38 3.59 4/197 8735 /proc/meminfo: memFree=27655944/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 9426 0 1 0 113 5 0 0 20 0 19 0 334641644 12137111552 27814 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2963162 27814 2257 9 0 2953849 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 11852648 [startup+1.50071 s] /proc/loadavg: 3.10 3.38 3.59 8/216 8757 /proc/meminfo: memFree=27550836/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 9448 0 1 0 137 7 0 0 20 0 19 0 334641644 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2963162 29363 2258 9 0 2953849 0 [pid=8735/tid=8737] ppid=8733 vsize=11852648 CPUtime=0.46 cores=0,2,4,6 /proc/8735/task/8737/stat : 8737 (java) S 8733 8735 5561 0 -1 4202560 2945 0 1 0 44 2 0 0 20 0 19 0 334641645 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397249615000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8738] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8738/stat : 8738 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641647 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397086902440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8739] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8739/stat : 8739 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641647 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397085849896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8740] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8740/stat : 8740 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641647 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397084797352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8741] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8741/stat : 8741 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641647 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397083744808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8742] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8742/stat : 8742 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641647 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397082692264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8743] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8743/stat : 8743 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641647 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397081639720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8744] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8744/stat : 8744 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641647 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397080587176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8745] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8745/stat : 8745 (java) S 8733 8735 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334641648 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397079534632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8746] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8746/stat : 8746 (java) S 8733 8735 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334641649 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397067122792 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8747] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8747/stat : 8747 (java) S 8733 8735 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334641649 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397066069112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8748] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8748/stat : 8748 (java) S 8733 8735 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334641649 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397065016456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8749] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8749/stat : 8749 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641652 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397063965200 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8750] ppid=8733 vsize=11852648 CPUtime=0.35 cores=0,2,4,6 /proc/8735/task/8750/stat : 8750 (java) S 8733 8735 5561 0 -1 4202560 2839 0 0 0 35 0 0 0 20 0 19 0 334641652 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397062912568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8751] ppid=8733 vsize=11852648 CPUtime=0.38 cores=0,2,4,6 /proc/8735/task/8751/stat : 8751 (java) S 8733 8735 5561 0 -1 4202560 2360 0 0 0 38 0 0 0 20 0 19 0 334641652 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397061860024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8752] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8752/stat : 8752 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641652 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397060807672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8753] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8753/stat : 8753 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334641652 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397059755336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8757] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8757/stat : 8757 (java) S 8733 8735 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334641694 12137111552 29363 33554432000 1073741824 1073778376 140736437936752 140397055542440 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 11852648 [startup+3.10063 s] /proc/loadavg: 3.10 3.38 3.59 5/219 8766 /proc/meminfo: memFree=27534428/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11852648 CPUtime=4.13 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 9750 0 1 0 402 11 0 0 20 0 22 0 334641644 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2963162 39199 2265 9 0 2953849 0 [pid=8735/tid=8737] ppid=8733 vsize=11852648 CPUtime=0.51 cores=0,2,4,6 /proc/8735/task/8737/stat : 8737 (java) S 8733 8735 5561 0 -1 4202560 2949 0 1 0 49 2 0 0 20 0 22 0 334641645 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397249615016 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8738] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8738/stat : 8738 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397086902440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8739] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8739/stat : 8739 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397085849896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8740] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8740/stat : 8740 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397084797352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8741] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8741/stat : 8741 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397083744808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8742] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8742/stat : 8742 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397082692264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8743] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8743/stat : 8743 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397081639720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8744] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8744/stat : 8744 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397080587176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8745] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8745/stat : 8745 (java) S 8733 8735 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334641648 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397079534632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8746] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8746/stat : 8746 (java) S 8733 8735 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397067122792 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8747] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8747/stat : 8747 (java) S 8733 8735 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397066069112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8748] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8748/stat : 8748 (java) S 8733 8735 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397065016456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8749] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8749/stat : 8749 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397063965200 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8750] ppid=8733 vsize=11852648 CPUtime=0.57 cores=0,2,4,6 /proc/8735/task/8750/stat : 8750 (java) S 8733 8735 5561 0 -1 4202560 3020 0 0 0 57 0 0 0 20 0 22 0 334641652 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397062912568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8751] ppid=8733 vsize=11852648 CPUtime=0.65 cores=0,2,4,6 /proc/8735/task/8751/stat : 8751 (java) R 8733 8735 5561 0 -1 4202560 2405 0 0 0 65 0 0 0 20 0 22 0 334641652 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397061860024 140397253243184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8752] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8752/stat : 8752 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397060807672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8753] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8753/stat : 8753 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397059755336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8757] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8757/stat : 8757 (java) S 8733 8735 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334641694 12137111552 39199 33554432000 1073741824 1073778376 140736437936752 140397055542440 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 11852648 [startup+6.30079 s] /proc/loadavg: 3.09 3.38 3.59 4/219 8772 /proc/meminfo: memFree=27426684/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11852648 CPUtime=10.48 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 10601 0 1 0 1031 17 0 0 20 0 22 0 334641644 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2963162 59109 2290 9 0 2953849 0 [pid=8735/tid=8737] ppid=8733 vsize=11852648 CPUtime=0.52 cores=0,2,4,6 /proc/8735/task/8737/stat : 8737 (java) S 8733 8735 5561 0 -1 4202560 2950 0 1 0 50 2 0 0 20 0 22 0 334641645 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397249615016 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8738] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8738/stat : 8738 (java) S 8733 8735 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397086902440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8739] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8739/stat : 8739 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397085849896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8740] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8740/stat : 8740 (java) S 8733 8735 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397084797352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8741] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8741/stat : 8741 (java) S 8733 8735 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397083744808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8742] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8742/stat : 8742 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397082692264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8743] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8743/stat : 8743 (java) S 8733 8735 5561 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397081639720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8744] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8744/stat : 8744 (java) S 8733 8735 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334641647 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397080587176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8745] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8745/stat : 8745 (java) S 8733 8735 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334641648 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397079534632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8746] ppid=8733 vsize=11852648 CPUtime=0.05 cores=0,2,4,6 /proc/8735/task/8746/stat : 8746 (java) S 8733 8735 5561 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 22 0 334641649 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397067122792 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8747] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8747/stat : 8747 (java) S 8733 8735 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397066069112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8748] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8748/stat : 8748 (java) S 8733 8735 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397065016456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8749] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8749/stat : 8749 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397063965200 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8750] ppid=8733 vsize=11852648 CPUtime=0.63 cores=0,2,4,6 /proc/8735/task/8750/stat : 8750 (java) S 8733 8735 5561 0 -1 4202560 3433 0 0 0 63 0 0 0 20 0 22 0 334641652 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397062912568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8751] ppid=8733 vsize=11852648 CPUtime=0.78 cores=0,2,4,6 /proc/8735/task/8751/stat : 8751 (java) S 8733 8735 5561 0 -1 4202560 2717 0 0 0 78 0 0 0 20 0 22 0 334641652 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397061860024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8752] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8752/stat : 8752 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397060807672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8753] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8753/stat : 8753 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397059755336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8757] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8757/stat : 8757 (java) S 8733 8735 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334641694 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397055542440 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8770] ppid=8733 vsize=11852648 CPUtime=2.57 cores=0,2,4,6 /proc/8735/task/8770/stat : 8770 (java) R 8733 8735 5561 0 -1 4202560 18 0 0 0 257 0 0 0 20 0 22 0 334642006 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397057646656 140397122169160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8771] ppid=8733 vsize=11852648 CPUtime=2.58 cores=0,2,4,6 /proc/8735/task/8771/stat : 8771 (java) R 8733 8735 5561 0 -1 4202560 5 0 0 0 258 0 0 0 20 0 22 0 334642006 12137111552 59109 33554432000 1073741824 1073778376 140736437936752 140397056592032 140397122067343 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ [pid=8735/tid=8741] ppid=8733 vsize=11852648 CPUtime=2.91 cores=0,2,4,6 /proc/8735/task/8741/stat : 8741 (java) S 8733 8735 5561 0 -1 4202560 124 0 0 0 288 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397083744808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8742] ppid=8733 vsize=11852648 CPUtime=2.82 cores=0,2,4,6 /proc/8735/task/8742/stat : 8742 (java) S 8733 8735 5561 0 -1 4202560 87 0 0 0 280 2 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397082692264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8743] ppid=8733 vsize=11852648 CPUtime=2.72 cores=0,2,4,6 /proc/8735/task/8743/stat : 8743 (java) S 8733 8735 5561 0 -1 4202560 98 0 0 0 269 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397081639720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8744] ppid=8733 vsize=11852648 CPUtime=2.92 cores=0,2,4,6 /proc/8735/task/8744/stat : 8744 (java) S 8733 8735 5561 0 -1 4202560 114 0 0 0 289 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397080587176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8745] ppid=8733 vsize=11852648 CPUtime=2.9 cores=0,2,4,6 /proc/8735/task/8745/stat : 8745 (java) S 8733 8735 5561 0 -1 4202560 107 0 0 0 287 3 0 0 20 0 22 0 334641648 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397079534632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8746] ppid=8733 vsize=11852648 CPUtime=92.08 cores=0,2,4,6 /proc/8735/task/8746/stat : 8746 (java) S 8733 8735 5561 0 -1 4202560 272 0 0 0 9194 14 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397067122792 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8747] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8747/stat : 8747 (java) S 8733 8735 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397066069112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8748] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8748/stat : 8748 (java) S 8733 8735 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397065016456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8749] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8749/stat : 8749 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397063965200 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8750] ppid=8733 vsize=11852648 CPUtime=1.16 cores=0,2,4,6 /proc/8735/task/8750/stat : 8750 (java) S 8733 8735 5561 0 -1 4202560 7809 0 0 0 114 2 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397062912568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8751] ppid=8733 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/8735/task/8751/stat : 8751 (java) S 8733 8735 5561 0 -1 4202560 3517 0 0 0 96 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397061860024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8752] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8752/stat : 8752 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397060807672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8753] ppid=8733 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/8735/task/8753/stat : 8753 (java) S 8733 8735 5561 0 -1 4202560 54 0 0 0 14 13 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397059755336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8808] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8808/stat : 8808 (java) S 8733 8735 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334656304 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397056595112 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8819] ppid=8733 vsize=11852648 CPUtime=250.07 cores=0,2,4,6 /proc/8735/task/8819/stat : 8819 (java) R 8733 8735 5561 0 -1 4202560 25 0 0 0 25004 3 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397057646912 140397122057890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8820] ppid=8733 vsize=11852648 CPUtime=250.08 cores=0,2,4,6 /proc/8735/task/8820/stat : 8820 (java) R 8733 8735 5561 0 -1 4202560 146 0 0 0 24999 9 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397055539568 140397122237225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8821] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8821/stat : 8821 (java) S 8733 8735 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397058700584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1795.19 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+943.901 s] /proc/loadavg: 4.07 3.80 3.65 5/220 8947 /proc/meminfo: memFree=22478352/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11852648 CPUtime=1797.98 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 18424 0 1 0 179667 131 0 0 20 0 22 0 334641644 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2963162 770006 2292 9 0 2953849 0 [pid=8735/tid=8737] ppid=8733 vsize=11852648 CPUtime=0.65 cores=0,2,4,6 /proc/8735/task/8737/stat : 8737 (java) S 8733 8735 5561 0 -1 4202560 3140 0 1 0 61 4 0 0 20 0 22 0 334641645 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397249614696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8738] ppid=8733 vsize=11852648 CPUtime=2.86 cores=0,2,4,6 /proc/8735/task/8738/stat : 8738 (java) S 8733 8735 5561 0 -1 4202560 119 0 0 0 283 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397086902440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8739] ppid=8733 vsize=11852648 CPUtime=2.68 cores=0,2,4,6 /proc/8735/task/8739/stat : 8739 (java) S 8733 8735 5561 0 -1 4202560 103 0 0 0 266 2 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397085849896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8740] ppid=8733 vsize=11852648 CPUtime=2.97 cores=0,2,4,6 /proc/8735/task/8740/stat : 8740 (java) S 8733 8735 5561 0 -1 4202560 107 0 0 0 294 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397084797352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8741] ppid=8733 vsize=11852648 CPUtime=2.91 cores=0,2,4,6 /proc/8735/task/8741/stat : 8741 (java) S 8733 8735 5561 0 -1 4202560 124 0 0 0 288 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397083744808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8742] ppid=8733 vsize=11852648 CPUtime=2.83 cores=0,2,4,6 /proc/8735/task/8742/stat : 8742 (java) S 8733 8735 5561 0 -1 4202560 87 0 0 0 281 2 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397082692264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8743] ppid=8733 vsize=11852648 CPUtime=2.74 cores=0,2,4,6 /proc/8735/task/8743/stat : 8743 (java) S 8733 8735 5561 0 -1 4202560 98 0 0 0 271 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397081639720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8744] ppid=8733 vsize=11852648 CPUtime=2.92 cores=0,2,4,6 /proc/8735/task/8744/stat : 8744 (java) S 8733 8735 5561 0 -1 4202560 114 0 0 0 289 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397080587176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8745] ppid=8733 vsize=11852648 CPUtime=2.91 cores=0,2,4,6 /proc/8735/task/8745/stat : 8745 (java) S 8733 8735 5561 0 -1 4202560 107 0 0 0 288 3 0 0 20 0 22 0 334641648 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397079534632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8746] ppid=8733 vsize=11852648 CPUtime=92.54 cores=0,2,4,6 /proc/8735/task/8746/stat : 8746 (java) R 8733 8735 5561 0 -1 4202560 272 0 0 0 9240 14 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397067121648 140397256469793 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8747] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8747/stat : 8747 (java) S 8733 8735 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397066069112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8748] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8748/stat : 8748 (java) S 8733 8735 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397065016456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8749] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8749/stat : 8749 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397063965200 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8750] ppid=8733 vsize=11852648 CPUtime=1.16 cores=0,2,4,6 /proc/8735/task/8750/stat : 8750 (java) S 8733 8735 5561 0 -1 4202560 7809 0 0 0 114 2 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397062912568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8751] ppid=8733 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/8735/task/8751/stat : 8751 (java) S 8733 8735 5561 0 -1 4202560 3517 0 0 0 96 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397061860024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8752] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8752/stat : 8752 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397060807672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8753] ppid=8733 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/8735/task/8753/stat : 8753 (java) S 8733 8735 5561 0 -1 4202560 54 0 0 0 14 13 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397059755336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8808] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8808/stat : 8808 (java) S 8733 8735 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334656304 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397056595112 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8819] ppid=8733 vsize=11852648 CPUtime=251.19 cores=0,2,4,6 /proc/8735/task/8819/stat : 8819 (java) S 8733 8735 5561 0 -1 4202560 25 0 0 0 25116 3 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397057647032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8820] ppid=8733 vsize=11852648 CPUtime=251.19 cores=0,2,4,6 /proc/8735/task/8820/stat : 8820 (java) S 8733 8735 5561 0 -1 4202560 146 0 0 0 25110 9 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397055539688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8821] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8821/stat : 8821 (java) S 8733 8735 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397058700584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+943.901 s] /proc/loadavg: 4.07 3.80 3.65 5/220 8947 /proc/meminfo: memFree=22478352/32873844 swapFree=7632/7632 [pid=8735] ppid=8733 vsize=11852648 CPUtime=1797.98 cores=0,2,4,6 /proc/8735/stat : 8735 (java) S 8733 8735 5561 0 -1 4202496 18424 0 1 0 179667 131 0 0 20 0 22 0 334641644 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140736437927888 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8735/statm: 2963162 770006 2292 9 0 2953849 0 [pid=8735/tid=8737] ppid=8733 vsize=11852648 CPUtime=0.65 cores=0,2,4,6 /proc/8735/task/8737/stat : 8737 (java) S 8733 8735 5561 0 -1 4202560 3140 0 1 0 61 4 0 0 20 0 22 0 334641645 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397249614696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8738] ppid=8733 vsize=11852648 CPUtime=2.86 cores=0,2,4,6 /proc/8735/task/8738/stat : 8738 (java) S 8733 8735 5561 0 -1 4202560 119 0 0 0 283 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397086902440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8739] ppid=8733 vsize=11852648 CPUtime=2.68 cores=0,2,4,6 /proc/8735/task/8739/stat : 8739 (java) S 8733 8735 5561 0 -1 4202560 103 0 0 0 266 2 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397085849896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8740] ppid=8733 vsize=11852648 CPUtime=2.97 cores=0,2,4,6 /proc/8735/task/8740/stat : 8740 (java) S 8733 8735 5561 0 -1 4202560 107 0 0 0 294 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397084797352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8741] ppid=8733 vsize=11852648 CPUtime=2.91 cores=0,2,4,6 /proc/8735/task/8741/stat : 8741 (java) S 8733 8735 5561 0 -1 4202560 124 0 0 0 288 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397083744808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8742] ppid=8733 vsize=11852648 CPUtime=2.83 cores=0,2,4,6 /proc/8735/task/8742/stat : 8742 (java) S 8733 8735 5561 0 -1 4202560 87 0 0 0 281 2 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397082692264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8743] ppid=8733 vsize=11852648 CPUtime=2.74 cores=0,2,4,6 /proc/8735/task/8743/stat : 8743 (java) S 8733 8735 5561 0 -1 4202560 98 0 0 0 271 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397081639720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8744] ppid=8733 vsize=11852648 CPUtime=2.92 cores=0,2,4,6 /proc/8735/task/8744/stat : 8744 (java) S 8733 8735 5561 0 -1 4202560 114 0 0 0 289 3 0 0 20 0 22 0 334641647 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397080587176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8745] ppid=8733 vsize=11852648 CPUtime=2.91 cores=0,2,4,6 /proc/8735/task/8745/stat : 8745 (java) S 8733 8735 5561 0 -1 4202560 107 0 0 0 288 3 0 0 20 0 22 0 334641648 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397079534632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8746] ppid=8733 vsize=11852648 CPUtime=92.54 cores=0,2,4,6 /proc/8735/task/8746/stat : 8746 (java) R 8733 8735 5561 0 -1 4202560 272 0 0 0 9240 14 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397067121648 140397256469793 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8747] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8747/stat : 8747 (java) S 8733 8735 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397066069112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8748] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8748/stat : 8748 (java) S 8733 8735 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334641649 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397065016456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8749] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8749/stat : 8749 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397063965200 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8750] ppid=8733 vsize=11852648 CPUtime=1.16 cores=0,2,4,6 /proc/8735/task/8750/stat : 8750 (java) S 8733 8735 5561 0 -1 4202560 7809 0 0 0 114 2 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397062912568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8751] ppid=8733 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/8735/task/8751/stat : 8751 (java) S 8733 8735 5561 0 -1 4202560 3517 0 0 0 96 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397061860024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8752] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8752/stat : 8752 (java) S 8733 8735 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397060807672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8735/tid=8753] ppid=8733 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/8735/task/8753/stat : 8753 (java) S 8733 8735 5561 0 -1 4202560 54 0 0 0 14 13 0 0 20 0 22 0 334641652 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397059755336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8808] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8808/stat : 8808 (java) S 8733 8735 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334656304 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397056595112 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8735/tid=8819] ppid=8733 vsize=11852648 CPUtime=251.19 cores=0,2,4,6 /proc/8735/task/8819/stat : 8819 (java) S 8733 8735 5561 0 -1 4202560 25 0 0 0 25116 3 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397057647032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8735/tid=8820] ppid=8733 vsize=11852648 CPUtime=251.19 cores=0,2,4,6 /proc/8735/task/8820/stat : 8820 (java) S 8733 8735 5561 0 -1 4202560 146 0 0 0 25110 9 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397055539688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8735/tid=8821] ppid=8733 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8735/task/8821/stat : 8821 (java) S 8733 8735 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334706497 12137111552 770006 33554432000 1073741824 1073778376 140736437936752 140397058700584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8735 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=309071 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=572760 # CPU time returned by wait4() is 1796.88 # while last known CPU time is 1797.98 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.05997 # lost CPU user time (s): 2.23991 # lost CPU system time (s): -0.18 Real time (s): 943.952 CPU time (s): 1800.04 CPU user time (s): 1798.91 CPU system time (s): 1.13 CPU usage (%): 190.692 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.31 system time used= 1.57276 maximum resident set size= 3080140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18455 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31678 involuntary context switches= 54691 runsolver used 3.41148 second user time and 8.44572 second system time The end
Begin job on node141 at 2012-06-03 02:59:33 IDJOB=3732326 IDBENCH=2047 IDSOLVER=2328 FILE ID=node141/3732326-1338685173 RUNJOBID= node141-1338678623-5580 PBS_JOBID= 14636672 Free space on /tmp= 70720 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732326-1338685173/watcher-3732326-1338685173 -o /tmp/evaluation-result-3732326-1338685173/solver-3732326-1338685173 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732326-1338685173.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 59d685b710ba34babb28c57a0abba1bc RANDOM SEED=237664440 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27656208 kB Buffers: 392868 kB Cached: 3133796 kB SwapCached: 216 kB Active: 2015276 kB Inactive: 2317200 kB Active(anon): 797440 kB Inactive(anon): 11300 kB Active(file): 1217836 kB Inactive(file): 2305900 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108640 kB Dirty: 864 kB Writeback: 0 kB AnonPages: 692872 kB Mapped: 18908 kB Shmem: 172 kB Slab: 739564 kB SReclaimable: 181768 kB SUnreclaim: 557796 kB KernelStack: 1784 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10461148 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 624640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70720 MiB End job on node141 at 2012-06-03 03:15:19