Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 4028672 | 1800.19 | 1797.86 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb |
MD5SUM | 9d08937c2a2ec73e4fca19adadace920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3243008 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3208192 |
Optimality of the best value was proved | NO |
Number of variables | 3720 |
Total number of constraints | 142 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 142 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 679702048135 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 679702048135 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 12995394264 0.04/0.09 c Max memory 13063553024 0.04/0.09 c Total memory 13063553024 0.04/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3458955-1307149267.opb 0.11/0.11 c reading problem ... 0.30/0.30 c ... done. Wall clock time 0.188s. 0.30/0.30 c #vars 3720 0.30/0.30 c #constraints 2198 0.30/0.30 c constraints type 0.30/0.30 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 164 1.06/0.56 c SATISFIABLE 1.06/0.56 c OPTIMIZING... 1.06/0.56 c Got one! Elapsed wall clock time (in seconds):0.452 1.06/0.56 o 4543506 3.37/2.79 c cleaning 2603 clauses out of 5213 with flag 5001/5213 5.83/5.09 c Got one! Elapsed wall clock time (in seconds):4.978 5.83/5.09 o 4471821 5.93/5.12 c Got one! Elapsed wall clock time (in seconds):5.011 5.93/5.12 o 4037663 6.47/5.68 c cleaning 3860 clauses out of 7744 with flag 1000/10347 10.07/9.25 c cleaning 4931 clauses out of 9884 with flag 7000/16347 13.39/12.55 c cleaning 5973 clauses out of 11954 with flag 14001/23348 17.24/16.39 c cleaning 6983 clauses out of 13981 with flag 22001/31348 21.64/20.76 c cleaning 7994 clauses out of 15998 with flag 31001/40348 27.14/26.29 c cleaning 8999 clauses out of 18005 with flag 41002/50349 31.76/30.85 c cleaning 9490 clauses out of 19004 with flag 51000/60347 35.95/35.02 c cleaning 9751 clauses out of 19515 with flag 61001/70348 41.35/40.43 c cleaning 9877 clauses out of 19763 with flag 71000/80347 48.36/47.40 c cleaning 9934 clauses out of 19886 with flag 81000/90347 53.78/52.82 c cleaning 9958 clauses out of 19953 with flag 91001/100348 58.76/57.88 c cleaning 9970 clauses out of 19994 with flag 101000/110347 64.68/63.81 c cleaning 10000 clauses out of 20024 with flag 111000/120347 70.07/69.11 c cleaning 9995 clauses out of 20025 with flag 121001/130348 76.07/75.13 c cleaning 10008 clauses out of 20030 with flag 131001/140348 82.18/81.31 c cleaning 9999 clauses out of 20023 with flag 141002/150349 89.69/88.78 c cleaning 10003 clauses out of 20022 with flag 151000/160347 97.89/96.94 c cleaning 9995 clauses out of 20021 with flag 161002/170349 103.61/102.63 c cleaning 9999 clauses out of 20027 with flag 171003/180350 109.21/108.25 c cleaning 10008 clauses out of 20025 with flag 181000/190347 114.81/113.81 c cleaning 10002 clauses out of 20017 with flag 191000/200347 120.62/119.61 c cleaning 10004 clauses out of 20017 with flag 201002/210349 125.62/124.66 c cleaning 9982 clauses out of 20011 with flag 211000/220347 131.23/130.24 c cleaning 10013 clauses out of 20029 with flag 221000/230347 136.73/135.77 c cleaning 9996 clauses out of 20016 with flag 231000/240347 141.63/140.66 c cleaning 9986 clauses out of 20021 with flag 241001/250348 146.64/145.63 c cleaning 10015 clauses out of 20036 with flag 251002/260349 151.65/150.66 c cleaning 9987 clauses out of 20020 with flag 261001/270348 157.04/156.03 c cleaning 10001 clauses out of 20032 with flag 271000/280347 163.24/162.24 c cleaning 10001 clauses out of 20033 with flag 281002/290349 167.95/166.95 c cleaning 9998 clauses out of 20031 with flag 291001/300348 173.05/172.10 c cleaning 10009 clauses out of 20034 with flag 301002/310349 177.56/176.51 c cleaning 9994 clauses out of 20028 with flag 311005/320352 181.76/180.73 c cleaning 9987 clauses out of 20029 with flag 321000/330347 185.66/184.65 c cleaning 9993 clauses out of 20042 with flag 331000/340347 190.87/189.83 c cleaning 10016 clauses out of 20049 with flag 341000/350347 194.77/193.75 c cleaning 10003 clauses out of 20033 with flag 351000/360347 199.18/198.13 c cleaning 10003 clauses out of 20030 with flag 361000/370347 203.68/202.69 c cleaning 9998 clauses out of 20028 with flag 371001/380348 208.48/207.41 c cleaning 9993 clauses out of 20029 with flag 381000/390347 213.40/212.32 c cleaning 9997 clauses out of 20036 with flag 391000/400347 218.39/217.35 c cleaning 9998 clauses out of 20039 with flag 401000/410347 223.31/222.27 c cleaning 10006 clauses out of 20042 with flag 411001/420348 230.69/229.63 c cleaning 10003 clauses out of 20036 with flag 421001/430348 235.80/234.75 c cleaning 10002 clauses out of 20032 with flag 431000/440347 241.40/240.32 c cleaning 9995 clauses out of 20030 with flag 441000/450347 246.81/245.75 c cleaning 9978 clauses out of 20035 with flag 451000/460347 251.93/250.89 c cleaning 10017 clauses out of 20058 with flag 461001/470348 257.82/256.72 c cleaning 10007 clauses out of 20040 with flag 471000/480347 262.94/261.86 c cleaning 10009 clauses out of 20033 with flag 481000/490347 267.92/266.89 c cleaning 10006 clauses out of 20024 with flag 491000/500347 272.84/271.79 c cleaning 9999 clauses out of 20019 with flag 501001/510348 277.53/276.48 c cleaning 10000 clauses out of 20020 with flag 511001/520348 282.04/280.90 c cleaning 9993 clauses out of 20019 with flag 521000/530347 286.14/285.04 c cleaning 9990 clauses out of 20027 with flag 531001/540348 290.04/288.99 c cleaning 9995 clauses out of 20036 with flag 541000/550347 294.04/292.98 c cleaning 9982 clauses out of 20041 with flag 551000/560347 298.45/297.37 c cleaning 10018 clauses out of 20060 with flag 561001/570348 302.85/301.71 c cleaning 10003 clauses out of 20042 with flag 571001/580348 307.16/306.08 c cleaning 10008 clauses out of 20038 with flag 581000/590347 312.66/311.52 c cleaning 10001 clauses out of 20030 with flag 591000/600347 317.16/316.01 c cleaning 10006 clauses out of 20030 with flag 601001/610348 322.66/321.52 c cleaning 9999 clauses out of 20026 with flag 611003/620350 327.97/326.87 c cleaning 9992 clauses out of 20025 with flag 621001/630348 333.08/331.97 c cleaning 9998 clauses out of 20032 with flag 631000/640347 337.80/336.67 c cleaning 9994 clauses out of 20034 with flag 641000/650347 341.68/340.56 c cleaning 10006 clauses out of 20041 with flag 651001/660348 345.42/344.28 c cleaning 9998 clauses out of 20035 with flag 661001/670348 349.61/348.47 c cleaning 10001 clauses out of 20037 with flag 671001/680348 354.62/353.46 c cleaning 10003 clauses out of 20037 with flag 681002/690349 360.52/359.34 c cleaning 9993 clauses out of 20035 with flag 691003/700350 366.22/365.04 c cleaning 10007 clauses out of 20043 with flag 701004/710351 371.63/370.48 c cleaning 10003 clauses out of 20032 with flag 711000/720347 377.73/376.57 c cleaning 9985 clauses out of 20029 with flag 721000/730347 381.85/380.66 c cleaning 9997 clauses out of 20045 with flag 731001/740348 385.74/384.57 c cleaning 9996 clauses out of 20047 with flag 741000/750347 389.14/387.91 c cleaning 9980 clauses out of 20051 with flag 751000/760347 393.86/392.63 c cleaning 10015 clauses out of 20073 with flag 761002/770349 398.45/397.25 c cleaning 9990 clauses out of 20057 with flag 771001/780348 402.85/401.70 c cleaning 10018 clauses out of 20067 with flag 781001/790348 407.07/405.82 c cleaning 10012 clauses out of 20049 with flag 791001/800348 412.46/411.23 c cleaning 10000 clauses out of 20036 with flag 801000/810347 416.16/414.96 c cleaning 9995 clauses out of 20036 with flag 811000/820347 419.66/418.49 c cleaning 9997 clauses out of 20041 with flag 821000/830347 424.47/423.29 c cleaning 9999 clauses out of 20044 with flag 831000/840347 427.99/426.78 c cleaning 10006 clauses out of 20046 with flag 841001/850348 431.58/430.30 c cleaning 10008 clauses out of 20040 with flag 851001/860348 436.08/434.86 c cleaning 9991 clauses out of 20032 with flag 861001/870348 439.68/438.40 c cleaning 9989 clauses out of 20041 with flag 871001/880348 444.50/443.26 c cleaning 10010 clauses out of 20051 with flag 881000/890347 449.39/448.13 c cleaning 10010 clauses out of 20042 with flag 891001/900348 453.70/452.44 c cleaning 10005 clauses out of 20032 with flag 901001/910348 457.00/455.77 c cleaning 9990 clauses out of 20027 with flag 911001/920348 462.60/461.30 c cleaning 10003 clauses out of 20036 with flag 921000/930347 468.41/467.14 c cleaning 9995 clauses out of 20035 with flag 931002/940349 474.81/473.55 c cleaning 10007 clauses out of 20039 with flag 941001/950348 481.01/479.70 c cleaning 10004 clauses out of 20031 with flag 951000/960347 487.22/485.96 c cleaning 10010 clauses out of 20028 with flag 961001/970348 494.52/493.21 c cleaning 9996 clauses out of 20017 with flag 971000/980347 501.43/500.14 c cleaning 9998 clauses out of 20021 with flag 981000/990347 507.53/506.23 c cleaning 9986 clauses out of 20023 with flag 991000/1000347 513.13/511.86 c cleaning 9990 clauses out of 20037 with flag 1001000/1010347 518.43/517.13 c cleaning 10010 clauses out of 20049 with flag 1011002/1020349 523.75/522.46 c cleaning 10003 clauses out of 20038 with flag 1021001/1030348 528.94/527.63 c cleaning 10001 clauses out of 20035 with flag 1031001/1040348 533.66/532.36 c cleaning 9998 clauses out of 20035 with flag 1041002/1050349 538.95/537.65 c cleaning 10001 clauses out of 20036 with flag 1051001/1060348 544.25/542.96 c cleaning 10002 clauses out of 20034 with flag 1061000/1070347 549.35/548.09 c cleaning 10005 clauses out of 20032 with flag 1071000/1080347 554.86/553.54 c cleaning 9994 clauses out of 20028 with flag 1081001/1090348 560.27/558.95 c cleaning 10002 clauses out of 20033 with flag 1091000/1100347 565.69/564.37 c cleaning 9987 clauses out of 20032 with flag 1101001/1110348 570.87/569.51 c Got one! Elapsed wall clock time (in seconds):569.398 570.87/569.51 o 4028672 574.10/572.72 c cleaning 11812 clauses out of 23633 with flag 5002/1123936 578.51/577.14 c cleaning 8883 clauses out of 17819 with flag 11000/1129934 583.82/582.49 c cleaning 7942 clauses out of 15936 with flag 18000/1136934 590.02/588.63 c cleaning 7982 clauses out of 15994 with flag 26000/1144934 596.82/595.45 c cleaning 8494 clauses out of 17013 with flag 35001/1153935 604.83/603.47 c cleaning 9246 clauses out of 18518 with flag 45000/1163934 612.73/611.32 c cleaning 9619 clauses out of 19273 with flag 55001/1173935 621.23/619.83 c cleaning 9810 clauses out of 19654 with flag 65001/1183935 629.55/628.12 c cleaning 9908 clauses out of 19843 with flag 75000/1193934 637.94/636.50 c cleaning 9954 clauses out of 19935 with flag 85000/1203934 646.24/644.84 c cleaning 9971 clauses out of 19981 with flag 95000/1213934 653.24/651.89 c cleaning 9992 clauses out of 20011 with flag 105001/1223935 658.85/657.42 c cleaning 9984 clauses out of 20019 with flag 115001/1233935 664.15/662.76 c cleaning 9991 clauses out of 20034 with flag 125000/1243934 669.45/668.06 c cleaning 9996 clauses out of 20043 with flag 135000/1253934 674.86/673.45 c cleaning 9996 clauses out of 20047 with flag 145000/1263934 680.18/678.75 c cleaning 9999 clauses out of 20051 with flag 155000/1273934 685.47/684.01 c cleaning 9997 clauses out of 20053 with flag 165001/1283935 690.77/689.31 c cleaning 10002 clauses out of 20056 with flag 175001/1293935 696.07/694.65 c cleaning 9997 clauses out of 20053 with flag 185000/1303934 701.27/699.88 c cleaning 9995 clauses out of 20056 with flag 195000/1313934 706.59/705.19 c cleaning 9998 clauses out of 20062 with flag 205001/1323935 711.87/710.43 c cleaning 10001 clauses out of 20064 with flag 215001/1333935 717.07/715.69 c cleaning 10005 clauses out of 20062 with flag 225000/1343934 722.48/721.01 c cleaning 10004 clauses out of 20058 with flag 235001/1353935 727.78/726.36 c cleaning 9994 clauses out of 20054 with flag 245001/1363935 733.08/731.62 c cleaning 10019 clauses out of 20060 with flag 255001/1373935 737.78/736.30 c cleaning 10003 clauses out of 20041 with flag 265001/1383935 743.18/741.74 c cleaning 10008 clauses out of 20038 with flag 275001/1393935 748.09/746.67 c cleaning 9992 clauses out of 20030 with flag 285001/1403935 755.10/753.62 c cleaning 9992 clauses out of 20038 with flag 295001/1413935 760.91/759.47 c cleaning 10016 clauses out of 20045 with flag 305000/1423934 768.12/766.70 c cleaning 9999 clauses out of 20031 with flag 315002/1433936 775.51/774.02 c cleaning 9997 clauses out of 20031 with flag 325001/1443935 782.62/781.12 c cleaning 10009 clauses out of 20033 with flag 335000/1453934 788.12/786.65 c cleaning 9993 clauses out of 20024 with flag 345000/1463934 793.63/792.19 c cleaning 9993 clauses out of 20031 with flag 355000/1473934 799.93/798.43 c cleaning 9999 clauses out of 20039 with flag 365001/1483935 805.65/804.15 c cleaning 9982 clauses out of 20039 with flag 375000/1493934 810.43/808.97 c cleaning 10021 clauses out of 20058 with flag 385001/1503935 814.74/813.25 c cleaning 10012 clauses out of 20038 with flag 395002/1513936 819.14/817.62 c cleaning 9993 clauses out of 20025 with flag 405001/1523935 823.74/822.29 c cleaning 9999 clauses out of 20032 with flag 415001/1533935 827.95/826.47 c cleaning 10002 clauses out of 20035 with flag 425003/1543937 832.65/831.14 c cleaning 10010 clauses out of 20033 with flag 435003/1553937 837.47/835.93 c cleaning 9998 clauses out of 20021 with flag 445001/1563935 844.18/842.65 c cleaning 9997 clauses out of 20022 with flag 455000/1573934 851.97/850.43 c cleaning 9995 clauses out of 20025 with flag 465000/1583934 860.07/858.53 c cleaning 9997 clauses out of 20030 with flag 475000/1593934 867.87/866.39 c cleaning 10001 clauses out of 20034 with flag 485001/1603935 875.78/874.24 c cleaning 10001 clauses out of 20032 with flag 495000/1613934 883.58/882.09 c cleaning 10002 clauses out of 20032 with flag 505001/1623935 891.50/889.94 c cleaning 9999 clauses out of 20029 with flag 515000/1633934 899.10/897.59 c cleaning 10002 clauses out of 20033 with flag 525003/1643937 907.19/905.62 c cleaning 9995 clauses out of 20028 with flag 535000/1653934 914.29/912.79 c cleaning 9979 clauses out of 20033 with flag 545000/1663934 919.02/917.45 c cleaning 10013 clauses out of 20054 with flag 555000/1673934 924.20/922.60 c cleaning 10009 clauses out of 20042 with flag 565001/1683935 930.02/928.42 c cleaning 10004 clauses out of 20032 with flag 575000/1693934 935.31/933.70 c cleaning 10000 clauses out of 20030 with flag 585002/1703936 940.61/939.03 c cleaning 10000 clauses out of 20028 with flag 595000/1713934 946.11/944.51 c cleaning 10008 clauses out of 20029 with flag 605001/1723935 950.93/949.32 c cleaning 9984 clauses out of 20020 with flag 615000/1733934 955.82/954.24 c cleaning 10005 clauses out of 20039 with flag 625003/1743937 961.22/959.62 c cleaning 10000 clauses out of 20031 with flag 635000/1753934 966.92/965.38 c cleaning 9997 clauses out of 20031 with flag 645000/1763934 972.13/970.58 c cleaning 10003 clauses out of 20036 with flag 655002/1773936 977.63/976.02 c cleaning 10010 clauses out of 20031 with flag 665000/1783934 982.93/981.38 c cleaning 10003 clauses out of 20021 with flag 675000/1793934 988.44/986.88 c cleaning 9995 clauses out of 20018 with flag 685000/1803934 993.34/991.75 c cleaning 9998 clauses out of 20023 with flag 695000/1813934 999.15/997.55 c cleaning 9985 clauses out of 20026 with flag 705001/1823935 1003.77/1002.18 c cleaning 9980 clauses out of 20040 with flag 715000/1833934 1007.95/1006.36 c cleaning 9995 clauses out of 20060 with flag 725000/1843934 1012.16/1010.59 c cleaning 9988 clauses out of 20066 with flag 735001/1853935 1016.26/1014.64 c cleaning 9996 clauses out of 20077 with flag 745000/1863934 1020.07/1018.51 c cleaning 9997 clauses out of 20082 with flag 755001/1873935 1024.08/1022.42 c cleaning 9998 clauses out of 20084 with flag 765000/1883934 1027.89/1026.29 c cleaning 9999 clauses out of 20087 with flag 775001/1893935 1031.78/1030.16 c cleaning 9999 clauses out of 20087 with flag 785000/1903934 1035.70/1034.08 c cleaning 9998 clauses out of 20088 with flag 795000/1913934 1039.78/1038.12 c cleaning 10006 clauses out of 20090 with flag 805000/1923934 1043.68/1042.04 c cleaning 10003 clauses out of 20084 with flag 815000/1933934 1047.70/1046.03 c cleaning 9997 clauses out of 20081 with flag 825000/1943934 1051.69/1050.00 c cleaning 10001 clauses out of 20084 with flag 835000/1953934 1055.59/1053.95 c cleaning 10002 clauses out of 20083 with flag 845000/1963934 1059.49/1057.87 c cleaning 9999 clauses out of 20081 with flag 855000/1973934 1063.49/1061.81 c cleaning 9998 clauses out of 20083 with flag 865001/1983935 1067.29/1065.69 c cleaning 9999 clauses out of 20084 with flag 875000/1993934 1071.30/1069.62 c cleaning 9997 clauses out of 20086 with flag 885001/2003935 1075.31/1073.65 c cleaning 10007 clauses out of 20089 with flag 895001/2013935 1079.40/1077.71 c cleaning 10002 clauses out of 20081 with flag 905000/2023934 1083.60/1081.92 c cleaning 10026 clauses out of 20080 with flag 915001/2033935 1088.31/1086.67 c cleaning 10016 clauses out of 20053 with flag 925000/2043934 1093.21/1091.53 c cleaning 9999 clauses out of 20037 with flag 935000/2053934 1097.61/1095.91 c cleaning 9981 clauses out of 20038 with flag 945000/2063934 1101.73/1100.05 c cleaning 10012 clauses out of 20060 with flag 955003/2073937 1105.63/1103.97 c cleaning 9990 clauses out of 20045 with flag 965000/2083934 1110.44/1108.78 c cleaning 10006 clauses out of 20056 with flag 975001/2093935 1116.05/1114.38 c cleaning 9996 clauses out of 20049 with flag 985000/2103934 1122.55/1120.84 c cleaning 10009 clauses out of 20058 with flag 995005/2113939 1129.04/1127.32 c cleaning 9999 clauses out of 20044 with flag 1005000/2123934 1134.45/1132.79 c cleaning 10004 clauses out of 20045 with flag 1015000/2133934 1140.35/1138.66 c cleaning 9982 clauses out of 20042 with flag 1025001/2143935 1145.85/1144.12 c cleaning 9986 clauses out of 20059 with flag 1035000/2153934 1151.46/1149.71 c cleaning 10019 clauses out of 20074 with flag 1045001/2163935 1155.68/1153.99 c cleaning 9996 clauses out of 20055 with flag 1055001/2173935 1161.37/1159.64 c cleaning 10002 clauses out of 20058 with flag 1065000/2183934 1167.17/1165.48 c cleaning 9997 clauses out of 20057 with flag 1075001/2193935 1170.37/1168.69 c cleaning 9991 clauses out of 20059 with flag 1085000/2203934 1175.28/1173.52 c cleaning 10009 clauses out of 20069 with flag 1095001/2213935 1180.18/1178.50 c cleaning 10011 clauses out of 20059 with flag 1105000/2223934 1186.19/1184.46 c cleaning 10006 clauses out of 20048 with flag 1115000/2233934 1192.09/1190.30 c cleaning 10005 clauses out of 20044 with flag 1125002/2243936 1197.70/1195.95 c cleaning 10000 clauses out of 20037 with flag 1135000/2253934 1203.50/1201.71 c cleaning 9996 clauses out of 20038 with flag 1145001/2263935 1209.31/1207.58 c cleaning 9997 clauses out of 20043 with flag 1155002/2273936 1215.21/1213.49 c cleaning 9998 clauses out of 20045 with flag 1165001/2283935 1221.02/1219.29 c cleaning 10000 clauses out of 20047 with flag 1175001/2293935 1225.62/1223.83 c cleaning 9997 clauses out of 20048 with flag 1185002/2303936 1229.44/1227.62 c cleaning 10005 clauses out of 20051 with flag 1195002/2313936 1233.93/1232.19 c cleaning 9989 clauses out of 20044 with flag 1205000/2323934 1238.43/1236.66 c cleaning 9995 clauses out of 20055 with flag 1215000/2333934 1242.14/1240.36 c cleaning 9996 clauses out of 20061 with flag 1225001/2343935 1245.75/1243.92 c cleaning 10002 clauses out of 20064 with flag 1235000/2353934 1249.45/1247.60 c cleaning 10005 clauses out of 20062 with flag 1245000/2363934 1253.15/1251.31 c cleaning 9996 clauses out of 20059 with flag 1255002/2373936 1256.75/1254.95 c cleaning 9998 clauses out of 20061 with flag 1265000/2383934 1260.46/1258.61 c cleaning 9996 clauses out of 20063 with flag 1275000/2393934 1263.96/1262.14 c cleaning 9997 clauses out of 20068 with flag 1285001/2403935 1267.56/1265.74 c cleaning 9999 clauses out of 20070 with flag 1295000/2413934 1271.28/1269.47 c cleaning 10009 clauses out of 20073 with flag 1305002/2423936 1274.97/1273.10 c cleaning 10003 clauses out of 20062 with flag 1315000/2433934 1278.67/1276.81 c cleaning 10000 clauses out of 20059 with flag 1325000/2443934 1282.37/1280.52 c cleaning 9997 clauses out of 20060 with flag 1335001/2453935 1286.07/1284.20 c cleaning 10001 clauses out of 20062 with flag 1345000/2463934 1289.77/1287.96 c cleaning 10019 clauses out of 20062 with flag 1355001/2473935 1293.88/1292.08 c cleaning 9997 clauses out of 20043 with flag 1365001/2483935 1297.69/1295.82 c cleaning 9997 clauses out of 20045 with flag 1375000/2493934 1302.28/1300.40 c cleaning 10002 clauses out of 20048 with flag 1385000/2503934 1306.88/1305.03 c cleaning 10006 clauses out of 20047 with flag 1395001/2513935 1310.80/1309.01 c cleaning 9994 clauses out of 20041 with flag 1405001/2523935 1316.41/1314.56 c cleaning 9998 clauses out of 20047 with flag 1415001/2533935 1320.49/1318.67 c cleaning 9987 clauses out of 20049 with flag 1425001/2543935 1324.99/1323.13 c cleaning 10006 clauses out of 20062 with flag 1435001/2553935 1330.30/1328.43 c cleaning 9996 clauses out of 20055 with flag 1445000/2563934 1334.80/1332.92 c cleaning 9988 clauses out of 20059 with flag 1455000/2573934 1339.00/1337.13 c cleaning 9994 clauses out of 20071 with flag 1465000/2583934 1343.50/1341.68 c cleaning 10007 clauses out of 20077 with flag 1475000/2593934 1349.81/1347.91 c cleaning 10018 clauses out of 20070 with flag 1485000/2603934 1354.82/1352.95 c cleaning 9998 clauses out of 20052 with flag 1495000/2613934 1359.11/1357.29 c cleaning 9990 clauses out of 20055 with flag 1505001/2623935 1363.11/1361.22 c cleaning 9990 clauses out of 20065 with flag 1515001/2633935 1367.72/1365.88 c cleaning 10019 clauses out of 20076 with flag 1525002/2643936 1372.54/1370.69 c cleaning 10009 clauses out of 20056 with flag 1535001/2653935 1377.83/1375.93 c cleaning 10008 clauses out of 20046 with flag 1545000/2663934 1382.23/1380.32 c cleaning 10002 clauses out of 20038 with flag 1555000/2673934 1386.75/1384.88 c cleaning 9997 clauses out of 20037 with flag 1565001/2683935 1391.15/1389.31 c cleaning 10003 clauses out of 20041 with flag 1575002/2693936 1395.74/1393.88 c cleaning 9981 clauses out of 20036 with flag 1585000/2703934 1400.75/1398.88 c cleaning 9999 clauses out of 20058 with flag 1595003/2713937 1405.35/1403.45 c cleaning 10000 clauses out of 20056 with flag 1605000/2723934 1409.87/1407.94 c cleaning 10005 clauses out of 20063 with flag 1615007/2733941 1414.27/1412.36 c cleaning 9997 clauses out of 20051 with flag 1625000/2743934 1418.06/1416.18 c cleaning 10001 clauses out of 20054 with flag 1635000/2753934 1422.47/1420.58 c cleaning 10000 clauses out of 20054 with flag 1645001/2763935 1426.87/1424.97 c cleaning 9998 clauses out of 20054 with flag 1655001/2773935 1430.97/1429.08 c cleaning 9989 clauses out of 20055 with flag 1665000/2783934 1435.19/1433.27 c cleaning 9999 clauses out of 20066 with flag 1675000/2793934 1439.08/1437.16 c cleaning 10002 clauses out of 20067 with flag 1685000/2803934 1442.78/1440.90 c cleaning 9993 clauses out of 20065 with flag 1695000/2813934 1446.39/1444.46 c cleaning 9995 clauses out of 20072 with flag 1705000/2823934 1449.90/1447.96 c cleaning 9998 clauses out of 20077 with flag 1715000/2833934 1453.40/1451.44 c cleaning 10001 clauses out of 20081 with flag 1725002/2843936 1456.90/1454.95 c cleaning 9998 clauses out of 20078 with flag 1735000/2853934 1460.30/1458.37 c cleaning 9998 clauses out of 20080 with flag 1745000/2863934 1463.92/1461.97 c cleaning 10004 clauses out of 20082 with flag 1755000/2873934 1467.51/1465.56 c cleaning 10003 clauses out of 20078 with flag 1765000/2883934 1471.01/1469.07 c cleaning 9997 clauses out of 20075 with flag 1775000/2893934 1474.41/1472.45 c cleaning 10005 clauses out of 20078 with flag 1785000/2903934 1478.01/1476.07 c cleaning 9997 clauses out of 20075 with flag 1795002/2913936 1481.43/1479.43 c cleaning 9996 clauses out of 20077 with flag 1805001/2923935 1484.92/1482.90 c cleaning 10006 clauses out of 20081 with flag 1815001/2933935 1488.62/1486.65 c cleaning 9996 clauses out of 20075 with flag 1825001/2943935 1492.03/1490.01 c cleaning 9999 clauses out of 20078 with flag 1835000/2953934 1495.13/1493.17 c cleaning 10002 clauses out of 20081 with flag 1845002/2963936 1498.43/1496.43 c cleaning 9997 clauses out of 20077 with flag 1855000/2973934 1502.13/1500.13 c cleaning 10002 clauses out of 20080 with flag 1865000/2983934 1505.75/1503.78 c cleaning 10000 clauses out of 20079 with flag 1875001/2993935 1509.93/1507.92 c cleaning 10004 clauses out of 20079 with flag 1885001/3003935 1513.93/1511.92 c cleaning 10000 clauses out of 20074 with flag 1895000/3013934 1518.04/1516.01 c cleaning 10012 clauses out of 20076 with flag 1905002/3023936 1522.94/1520.93 c cleaning 10022 clauses out of 20065 with flag 1915003/3033937 1527.55/1525.53 c cleaning 9998 clauses out of 20040 with flag 1925000/3043934 1532.96/1530.96 c cleaning 10004 clauses out of 20044 with flag 1935002/3053936 1537.36/1535.30 c cleaning 10004 clauses out of 20039 with flag 1945001/3063935 1541.98/1539.96 c cleaning 10010 clauses out of 20035 with flag 1955001/3073935 1546.97/1544.94 c cleaning 10003 clauses out of 20024 with flag 1965000/3083934 1551.28/1549.21 c cleaning 9961 clauses out of 20022 with flag 1975001/3093935 1555.79/1553.73 c cleaning 9973 clauses out of 20060 with flag 1985000/3103934 1560.49/1558.47 c cleaning 9996 clauses out of 20088 with flag 1995001/3113935 1565.00/1562.97 c cleaning 10018 clauses out of 20092 with flag 2005001/3123935 1569.52/1567.42 c cleaning 10000 clauses out of 20074 with flag 2015001/3133935 1574.31/1572.21 c cleaning 10016 clauses out of 20074 with flag 2025001/3143935 1578.81/1576.76 c cleaning 10010 clauses out of 20057 with flag 2035000/3153934 1583.41/1581.35 c cleaning 10010 clauses out of 20049 with flag 2045002/3163936 1588.91/1586.87 c cleaning 10006 clauses out of 20039 with flag 2055002/3173936 1594.83/1592.76 c cleaning 10007 clauses out of 20031 with flag 2065000/3183934 1600.34/1598.22 c cleaning 9990 clauses out of 20027 with flag 2075003/3193937 1605.42/1603.30 c cleaning 9989 clauses out of 20034 with flag 2085000/3203934 1610.73/1608.68 c cleaning 10011 clauses out of 20045 with flag 2095000/3213934 1616.84/1614.75 c cleaning 10004 clauses out of 20035 with flag 2105001/3223935 1622.83/1620.74 c cleaning 10002 clauses out of 20031 with flag 2115001/3233935 1628.34/1626.25 c cleaning 10001 clauses out of 20028 with flag 2125000/3243934 1633.24/1631.14 c cleaning 10003 clauses out of 20034 with flag 2135007/3253941 1638.04/1635.97 c cleaning 9982 clauses out of 20024 with flag 2145000/3263934 1643.45/1641.30 c cleaning 9994 clauses out of 20042 with flag 2155000/3273934 1648.05/1645.92 c cleaning 10010 clauses out of 20049 with flag 2165001/3283935 1652.85/1650.73 c cleaning 9997 clauses out of 20038 with flag 2175000/3293934 1656.75/1654.68 c cleaning 10002 clauses out of 20041 with flag 2185000/3303934 1661.07/1658.95 c cleaning 9992 clauses out of 20039 with flag 2195000/3313934 1666.07/1663.95 c cleaning 10011 clauses out of 20048 with flag 2205001/3323935 1670.68/1668.55 c cleaning 10000 clauses out of 20037 with flag 2215001/3333935 1674.58/1672.49 c cleaning 9991 clauses out of 20036 with flag 2225000/3343934 1677.78/1675.63 c cleaning 10006 clauses out of 20047 with flag 2235002/3353936 1681.09/1678.99 c cleaning 10001 clauses out of 20039 with flag 2245000/3363934 1685.30/1683.18 c cleaning 10001 clauses out of 20039 with flag 2255001/3373935 1689.51/1687.41 c cleaning 9997 clauses out of 20037 with flag 2265000/3383934 1693.70/1691.54 c cleaning 10000 clauses out of 20041 with flag 2275001/3393935 1697.40/1695.24 c cleaning 9997 clauses out of 20040 with flag 2285000/3403934 1701.72/1699.55 c cleaning 10002 clauses out of 20043 with flag 2295000/3413934 1705.51/1703.39 c cleaning 10000 clauses out of 20041 with flag 2305000/3423934 1708.91/1706.72 c cleaning 10002 clauses out of 20041 with flag 2315000/3433934 1713.21/1711.00 c cleaning 9998 clauses out of 20039 with flag 2325000/3443934 1716.81/1714.64 c cleaning 10001 clauses out of 20042 with flag 2335001/3453935 1720.02/1717.88 c cleaning 10003 clauses out of 20042 with flag 2345002/3463936 1723.92/1721.71 c cleaning 9999 clauses out of 20039 with flag 2355002/3473936 1729.53/1727.35 c cleaning 9985 clauses out of 20039 with flag 2365001/3483935 1732.33/1730.12 c cleaning 9993 clauses out of 20055 with flag 2375002/3493936 1736.43/1734.22 c cleaning 10000 clauses out of 20060 with flag 2385000/3503934 1741.14/1738.92 c cleaning 10014 clauses out of 20060 with flag 2395000/3513934 1745.54/1743.35 c cleaning 10004 clauses out of 20047 with flag 2405001/3523935 1750.34/1748.19 c cleaning 9999 clauses out of 20042 with flag 2415000/3533934 1754.84/1752.69 c cleaning 10000 clauses out of 20043 with flag 2425000/3543934 1759.44/1757.29 c cleaning 9992 clauses out of 20044 with flag 2435001/3553935 1763.45/1761.25 c cleaning 9987 clauses out of 20051 with flag 2445000/3563934 1767.15/1764.97 c cleaning 9988 clauses out of 20065 with flag 2455001/3573935 1771.16/1768.91 c cleaning 9994 clauses out of 20076 with flag 2465000/3583934 1775.06/1772.85 c cleaning 9993 clauses out of 20082 with flag 2475000/3593934 1778.96/1776.78 c cleaning 10000 clauses out of 20091 with flag 2485002/3603936 1782.97/1780.71 c cleaning 9996 clauses out of 20089 with flag 2495000/3613934 1786.88/1784.65 c cleaning 9999 clauses out of 20093 with flag 2505000/3623934 1790.79/1788.56 c cleaning 10002 clauses out of 20095 with flag 2515001/3633935 1794.68/1792.44 c cleaning 10005 clauses out of 20093 with flag 2525001/3643935 1798.60/1796.34 c cleaning 10010 clauses out of 20088 with flag 2535001/3653935 1800.10/1797.82 c starts : 255 1800.10/1797.82 c conflicts : 3657918 1800.10/1797.82 c decisions : 5252883 1800.10/1797.82 c propagations : 224195297 1800.10/1797.82 c inspects : 1550486753 1800.10/1797.82 c shortcuts : 0 1800.10/1797.82 c learnt literals : 0 1800.10/1797.82 c learnt binary clauses : 0 1800.10/1797.82 c learnt ternary clauses : 0 1800.10/1797.82 c learnt constraints : 3657918 1800.10/1797.82 c ignored constraints : 0 1800.10/1797.82 c root simplifications : 0 1800.10/1797.82 c removed literals (reason simplification) : 173789408 1800.10/1797.82 c reason swapping (by a shorter reason) : 0 1800.10/1797.82 c Calls to reduceDB : 368 1800.10/1797.82 c number of reductions to clauses (during analyze) : 0 1800.10/1797.82 c number of learned constraints concerned by reduction : 0 1800.10/1797.82 c number of learning phase by resolution : 0 1800.10/1797.82 c number of learning phase by cutting planes : 0 1800.10/1797.82 c speed (assignments/second) : 182523.13500153058 1800.10/1797.82 c non guided choices 4744 1800.10/1797.83 c learnt constraints type 1800.10/1797.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14087 1800.10/1797.83 c constraints type 1800.10/1797.83 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 165 1800.10/1797.83 s SATISFIABLE 1800.10/1797.84 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 1800.10/1797.84 c objective function=4028672 1800.10/1797.84 c Total wall clock time (in seconds): 1797.734
OK 4028672
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458955-1307149267/watcher-3458955-1307149267 -o /tmp/evaluation-result-3458955-1307149267/solver-3458955-1307149267 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458955-1307149267.opb running on 4 cores: 1,3,5,7 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: 2.12 2.05 1.88 2/495 25858 /proc/meminfo: memFree=21337064/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 5682 0 1 0 0 0 0 0 23 0 2 0 807341994 13850947584 5385 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3381579 5398 917 9 0 3372735 0 [pid=25858/tid=25859] ppid=25856 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 6540 0 1 0 0 0 0 0 25 0 2 0 807341994 13850947584 7356 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0583259 s] /proc/loadavg: 2.12 2.05 1.88 2/495 25858 /proc/meminfo: memFree=21337064/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13549616 CPUtime=0.04 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 14008 0 1 0 3 1 0 0 23 0 13 0 807341994 13874806784 13705 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3387404 13708 1685 9 0 3378152 0 [pid=25858/tid=25859] ppid=25856 vsize=13549616 CPUtime=0.04 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 12864 0 1 0 3 1 0 0 25 0 13 0 807341994 13874806784 13708 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273443275 0 4 0 16800971 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13549616 [startup+0.100319 s] /proc/loadavg: 2.12 2.05 1.88 2/495 25858 /proc/meminfo: memFree=21337064/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13621696 CPUtime=0.11 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 15542 0 1 0 9 2 0 0 23 0 18 0 807341994 13948616704 15198 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3405424 15200 2093 9 0 3396158 0 [pid=25858/tid=25859] ppid=25856 vsize=13621696 CPUtime=0.08 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 13600 0 1 0 7 1 0 0 18 0 18 0 807341994 13948616704 15200 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13621696 [startup+0.307302 s] /proc/loadavg: 2.12 2.05 1.88 2/495 25858 /proc/meminfo: memFree=21337064/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13624696 CPUtime=0.61 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 21063 0 1 0 58 3 0 0 23 0 18 0 807341994 13951688704 19665 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3406174 19665 2212 9 0 3396908 0 [pid=25858/tid=25859] ppid=25856 vsize=13624696 CPUtime=0.29 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 16688 0 1 0 27 2 0 0 18 0 18 0 807341994 13951688704 19665 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912505217813 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 13624696 [startup+0.70021 s] /proc/loadavg: 2.12 2.05 1.88 2/495 25858 /proc/meminfo: memFree=21337064/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13626168 CPUtime=1.34 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 22449 0 1 0 131 3 0 0 23 0 19 0 807341994 13953196032 20569 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3406542 20569 2223 9 0 3397276 0 [pid=25858/tid=25859] ppid=25856 vsize=13626168 CPUtime=0.68 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 17182 0 1 0 66 2 0 0 19 0 19 0 807341994 13953196032 20569 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912505770657 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 13626168 [startup+1.50107 s] /proc/loadavg: 2.12 2.05 1.88 3/514 25877 /proc/meminfo: memFree=21254348/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13626168 CPUtime=2.17 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 22927 0 1 0 214 3 0 0 23 0 19 0 807341994 13953196032 21046 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3406542 21046 2227 9 0 3397276 0 [pid=25858/tid=25859] ppid=25856 vsize=13626168 CPUtime=1.48 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 17645 0 1 0 146 2 0 0 20 0 19 0 807341994 13953196032 21046 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912505770726 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=25858/tid=25861] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25861/stat : 25861 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341996 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25862] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25862/stat : 25862 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341996 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25863] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25863/stat : 25863 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341996 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25864] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25864/stat : 25864 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341996 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25865] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25865/stat : 25865 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341996 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25866] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25866/stat : 25866 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341996 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25867] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25867/stat : 25867 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341996 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25868] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25868/stat : 25868 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341996 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25869] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25869/stat : 25869 (java) S 25856 25858 23895 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807341997 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 0 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25870] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25870/stat : 25870 (java) S 25856 25858 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807341998 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25871] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25871/stat : 25871 (java) S 25856 25858 23895 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 807341998 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25872] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25872/stat : 25872 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273440177 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25873] ppid=25856 vsize=13626168 CPUtime=0.31 cores=1,3,5,7 /proc/25858/task/25873/stat : 25873 (java) S 25856 25858 23895 0 -1 4202560 1907 0 0 0 31 0 0 0 15 0 19 0 807342000 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25874] ppid=25856 vsize=13626168 CPUtime=0.36 cores=1,3,5,7 /proc/25858/task/25874/stat : 25874 (java) S 25856 25858 23895 0 -1 4202560 2215 0 0 0 36 0 0 0 15 0 19 0 807342000 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25875] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25875/stat : 25875 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25876] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25876/stat : 25876 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807342000 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25877] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25877/stat : 25877 (java) S 25856 25858 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807342027 13953196032 21047 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 13626168 [startup+3.10078 s] /proc/loadavg: 2.12 2.05 1.88 3/514 25877 /proc/meminfo: memFree=21248892/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13626168 CPUtime=3.93 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 30802 0 1 0 389 4 0 0 23 0 19 0 807341994 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3406542 26829 2253 9 0 3397276 0 [pid=25858/tid=25859] ppid=25856 vsize=13626168 CPUtime=3.06 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 18247 0 1 0 304 2 0 0 25 0 19 0 807341994 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912505770739 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=25858/tid=25861] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25861/stat : 25861 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25862] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25862/stat : 25862 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25863] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25863/stat : 25863 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25864] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25864/stat : 25864 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25865] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25865/stat : 25865 (java) S 25856 25858 23895 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25866] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25866/stat : 25866 (java) S 25856 25858 23895 0 -1 4202560 207 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25867] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25867/stat : 25867 (java) S 25856 25858 23895 0 -1 4202560 319 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25868] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25868/stat : 25868 (java) S 25856 25858 23895 0 -1 4202560 441 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25869] ppid=25856 vsize=13626168 CPUtime=0.01 cores=1,3,5,7 /proc/25858/task/25869/stat : 25869 (java) S 25856 25858 23895 0 -1 4202560 989 0 0 0 1 0 0 0 16 0 19 0 807341997 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 0 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25870] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25870/stat : 25870 (java) S 25856 25858 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341998 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25871] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25871/stat : 25871 (java) S 25856 25858 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341998 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25872] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25872/stat : 25872 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273440177 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25873] ppid=25856 vsize=13626168 CPUtime=0.44 cores=1,3,5,7 /proc/25858/task/25873/stat : 25873 (java) S 25856 25858 23895 0 -1 4202560 7185 0 0 0 44 0 0 0 16 0 19 0 807342000 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25874] ppid=25856 vsize=13626168 CPUtime=0.37 cores=1,3,5,7 /proc/25858/task/25874/stat : 25874 (java) S 25856 25858 23895 0 -1 4202560 2220 0 0 0 37 0 0 0 16 0 19 0 807342000 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25875] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25875/stat : 25875 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25876] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25876/stat : 25876 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807342000 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25877] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25877/stat : 25877 (java) S 25856 25858 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807342027 13953196032 26829 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 13626168 [startup+6.30122 s] /proc/loadavg: 2.11 2.05 1.88 3/514 25877 /proc/meminfo: memFree=21217084/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13626168 CPUtime=7.17 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 32614 0 1 0 713 4 0 0 23 0 19 0 807341994 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3406542 27364 2253 9 0 3397276 0 [pid=25858/tid=25859] ppid=25856 vsize=13626168 CPUtime=6.24 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 18251 0 1 0 622 2 0 0 25 0 19 0 807341994 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912505770657 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=25858/tid=25861] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25861/stat : 25861 (java) S 25856 25858 23895 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 19 0 807341996 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25862] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25862/stat : 25862 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807341996 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25863] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25863/stat : 25863 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807341996 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25864] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25864/stat : 25864 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807341996 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25865] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25865/stat : 25865 (java) S 25856 25858 23895 0 -1 4202560 423 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25866] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25866/stat : 25866 (java) S 25856 25858 23895 0 -1 4202560 649 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25867] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25867/stat : 25867 (java) S 25856 25858 23895 0 -1 4202560 319 0 0 0 0 0 0 0 18 0 19 0 807341996 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25868] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25868/stat : 25868 (java) S 25856 25858 23895 0 -1 4202560 441 0 0 0 0 0 0 0 17 0 19 0 807341996 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25869] ppid=25856 vsize=13626168 CPUtime=0.03 cores=1,3,5,7 /proc/25858/task/25869/stat : 25869 (java) S 25856 25858 23895 0 -1 4202560 1529 0 0 0 3 0 0 0 16 0 19 0 807341997 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 0 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25870] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25870/stat : 25870 (java) S 25856 25858 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341998 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25871] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25871/stat : 25871 (java) S 25856 25858 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341998 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25872] ppid=25856 vsize=13626168 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25872/stat : 25872 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273440177 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25873] ppid=25856 vsize=13626168 CPUtime=0.46 cores=1,3,5,7 /proc/25858/task/25873/stat : 25873 (java) S 25856 25858 23895 0 -1 4202560 7185 0 0 0 46 0 0 0 16 0 19 0 807342000 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25874] ppid=25856 vsize=13626168 CPUtime=0.4 cores=1,3,5,7 /proc/25858/task/25874/stat : 25874 (java) S 25856 25858 23895 0 -1 4202560 2221 0 0 0 40 0 0 0 15 0 19 0 807342000 13953196032 27364 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 ################ # More data... # ################ [pid=25858/tid=25866] ppid=25856 vsize=13691704 CPUtime=0.25 cores=1,3,5,7 /proc/25858/task/25866/stat : 25866 (java) S 25856 25858 23895 0 -1 4202560 874 0 0 0 25 0 0 0 15 0 19 0 807341996 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25867] ppid=25856 vsize=13691704 CPUtime=0.22 cores=1,3,5,7 /proc/25858/task/25867/stat : 25867 (java) S 25856 25858 23895 0 -1 4202560 848 0 0 0 22 0 0 0 16 0 19 0 807341996 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25868] ppid=25856 vsize=13691704 CPUtime=0.27 cores=1,3,5,7 /proc/25858/task/25868/stat : 25868 (java) S 25856 25858 23895 0 -1 4202560 933 0 0 0 27 0 0 0 15 0 19 0 807341996 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25869] ppid=25856 vsize=13691704 CPUtime=8.67 cores=1,3,5,7 /proc/25858/task/25869/stat : 25869 (java) S 25856 25858 23895 0 -1 4202560 6634 0 0 0 861 6 0 0 15 0 19 0 807341997 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 0 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25870] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25870/stat : 25870 (java) S 25856 25858 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341998 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25871] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25871/stat : 25871 (java) S 25856 25858 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341998 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25872] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25872/stat : 25872 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273440177 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25873] ppid=25856 vsize=13691704 CPUtime=0.54 cores=1,3,5,7 /proc/25858/task/25873/stat : 25873 (java) S 25856 25858 23895 0 -1 4202560 7217 0 0 0 54 0 0 0 15 0 19 0 807342000 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25874] ppid=25856 vsize=13691704 CPUtime=0.42 cores=1,3,5,7 /proc/25858/task/25874/stat : 25874 (java) S 25856 25858 23895 0 -1 4202560 2223 0 0 0 42 0 0 0 15 0 19 0 807342000 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25875] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25875/stat : 25875 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25876] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25876/stat : 25876 (java) S 25856 25858 23895 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 807342000 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25877] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25877/stat : 25877 (java) S 25856 25858 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807342027 14020304896 34764 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1664.47 Current children cumulated vsize (KiB) 13691704 [startup+1722.3 s] /proc/loadavg: 2.07 2.04 1.98 3/514 25925 /proc/meminfo: memFree=21135812/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13691704 CPUtime=1724.52 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 40688 0 1 0 172437 15 0 0 23 0 19 0 807341994 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3422926 34885 2254 9 0 3413660 0 [pid=25858/tid=25859] ppid=25856 vsize=13691704 CPUtime=1712.35 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 18599 0 1 0 171233 2 0 0 25 0 19 0 807341994 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912505704000 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25858/tid=25861] ppid=25856 vsize=13691704 CPUtime=0.23 cores=1,3,5,7 /proc/25858/task/25861/stat : 25861 (java) S 25856 25858 23895 0 -1 4202560 541 0 0 0 23 0 0 0 16 0 19 0 807341996 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25862] ppid=25856 vsize=13691704 CPUtime=0.23 cores=1,3,5,7 /proc/25858/task/25862/stat : 25862 (java) S 25856 25858 23895 0 -1 4202560 292 0 0 0 23 0 0 0 16 0 19 0 807341996 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25863] ppid=25856 vsize=13691704 CPUtime=0.24 cores=1,3,5,7 /proc/25858/task/25863/stat : 25863 (java) S 25856 25858 23895 0 -1 4202560 403 0 0 0 24 0 0 0 16 0 19 0 807341996 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25864] ppid=25856 vsize=13691704 CPUtime=0.23 cores=1,3,5,7 /proc/25858/task/25864/stat : 25864 (java) S 25856 25858 23895 0 -1 4202560 232 0 0 0 23 0 0 0 15 0 19 0 807341996 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25865] ppid=25856 vsize=13691704 CPUtime=0.25 cores=1,3,5,7 /proc/25858/task/25865/stat : 25865 (java) S 25856 25858 23895 0 -1 4202560 528 0 0 0 25 0 0 0 16 0 19 0 807341996 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25866] ppid=25856 vsize=13691704 CPUtime=0.26 cores=1,3,5,7 /proc/25858/task/25866/stat : 25866 (java) S 25856 25858 23895 0 -1 4202560 880 0 0 0 26 0 0 0 15 0 19 0 807341996 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25867] ppid=25856 vsize=13691704 CPUtime=0.24 cores=1,3,5,7 /proc/25858/task/25867/stat : 25867 (java) S 25856 25858 23895 0 -1 4202560 855 0 0 0 24 0 0 0 16 0 19 0 807341996 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25868] ppid=25856 vsize=13691704 CPUtime=0.28 cores=1,3,5,7 /proc/25858/task/25868/stat : 25868 (java) S 25856 25858 23895 0 -1 4202560 934 0 0 0 28 0 0 0 15 0 19 0 807341996 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25869] ppid=25856 vsize=13691704 CPUtime=9.13 cores=1,3,5,7 /proc/25858/task/25869/stat : 25869 (java) S 25856 25858 23895 0 -1 4202560 6735 0 0 0 907 6 0 0 16 0 19 0 807341997 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 0 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25870] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25870/stat : 25870 (java) S 25856 25858 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341998 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25871] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25871/stat : 25871 (java) S 25856 25858 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341998 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25872] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25872/stat : 25872 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273440177 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25873] ppid=25856 vsize=13691704 CPUtime=0.54 cores=1,3,5,7 /proc/25858/task/25873/stat : 25873 (java) S 25856 25858 23895 0 -1 4202560 7217 0 0 0 54 0 0 0 15 0 19 0 807342000 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25874] ppid=25856 vsize=13691704 CPUtime=0.42 cores=1,3,5,7 /proc/25858/task/25874/stat : 25874 (java) S 25856 25858 23895 0 -1 4202560 2223 0 0 0 42 0 0 0 15 0 19 0 807342000 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25875] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25875/stat : 25875 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25876] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25876/stat : 25876 (java) S 25856 25858 23895 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 807342000 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25877] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25877/stat : 25877 (java) S 25856 25858 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807342027 14020304896 34885 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1724.52 Current children cumulated vsize (KiB) 13691704 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 1.98 3/514 25927 /proc/meminfo: memFree=21133160/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13691704 CPUtime=1784.58 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 40873 0 1 0 178442 16 0 0 23 0 19 0 807341994 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3422926 35052 2254 9 0 3413660 0 [pid=25858/tid=25859] ppid=25856 vsize=13691704 CPUtime=1771.91 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 18613 0 1 0 177189 2 0 0 25 0 19 0 807341994 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912505770671 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25858/tid=25861] ppid=25856 vsize=13691704 CPUtime=0.24 cores=1,3,5,7 /proc/25858/task/25861/stat : 25861 (java) S 25856 25858 23895 0 -1 4202560 541 0 0 0 24 0 0 0 15 0 19 0 807341996 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25862] ppid=25856 vsize=13691704 CPUtime=0.23 cores=1,3,5,7 /proc/25858/task/25862/stat : 25862 (java) S 25856 25858 23895 0 -1 4202560 296 0 0 0 23 0 0 0 16 0 19 0 807341996 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25863] ppid=25856 vsize=13691704 CPUtime=0.25 cores=1,3,5,7 /proc/25858/task/25863/stat : 25863 (java) S 25856 25858 23895 0 -1 4202560 403 0 0 0 25 0 0 0 15 0 19 0 807341996 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25864] ppid=25856 vsize=13691704 CPUtime=0.24 cores=1,3,5,7 /proc/25858/task/25864/stat : 25864 (java) S 25856 25858 23895 0 -1 4202560 234 0 0 0 24 0 0 0 15 0 19 0 807341996 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25865] ppid=25856 vsize=13691704 CPUtime=0.26 cores=1,3,5,7 /proc/25858/task/25865/stat : 25865 (java) S 25856 25858 23895 0 -1 4202560 534 0 0 0 26 0 0 0 16 0 19 0 807341996 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25866] ppid=25856 vsize=13691704 CPUtime=0.27 cores=1,3,5,7 /proc/25858/task/25866/stat : 25866 (java) S 25856 25858 23895 0 -1 4202560 882 0 0 0 27 0 0 0 15 0 19 0 807341996 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25867] ppid=25856 vsize=13691704 CPUtime=0.25 cores=1,3,5,7 /proc/25858/task/25867/stat : 25867 (java) S 25856 25858 23895 0 -1 4202560 855 0 0 0 25 0 0 0 15 0 19 0 807341996 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25868] ppid=25856 vsize=13691704 CPUtime=0.29 cores=1,3,5,7 /proc/25858/task/25868/stat : 25868 (java) S 25856 25858 23895 0 -1 4202560 935 0 0 0 29 0 0 0 15 0 19 0 807341996 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25869] ppid=25856 vsize=13691704 CPUtime=9.55 cores=1,3,5,7 /proc/25858/task/25869/stat : 25869 (java) S 25856 25858 23895 0 -1 4202560 6890 0 0 0 949 6 0 0 15 0 19 0 807341997 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 0 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25870] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25870/stat : 25870 (java) S 25856 25858 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341998 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25871] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25871/stat : 25871 (java) S 25856 25858 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341998 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25872] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25872/stat : 25872 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273440177 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25873] ppid=25856 vsize=13691704 CPUtime=0.54 cores=1,3,5,7 /proc/25858/task/25873/stat : 25873 (java) S 25856 25858 23895 0 -1 4202560 7217 0 0 0 54 0 0 0 15 0 19 0 807342000 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25874] ppid=25856 vsize=13691704 CPUtime=0.42 cores=1,3,5,7 /proc/25858/task/25874/stat : 25874 (java) S 25856 25858 23895 0 -1 4202560 2223 0 0 0 42 0 0 0 15 0 19 0 807342000 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25875] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25875/stat : 25875 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25876] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25876/stat : 25876 (java) S 25856 25858 23895 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807342000 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25877] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25877/stat : 25877 (java) S 25856 25858 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807342027 14020304896 35052 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (KiB) 13691704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.8 s] /proc/loadavg: 2.04 2.04 1.98 2/494 25931 /proc/meminfo: memFree=21283328/32951124 swapFree=67057928/67111528 [pid=25858] ppid=25856 vsize=13691704 CPUtime=1800.1 cores=1,3,5,7 /proc/25858/stat : 25858 (java) S 25856 25858 23895 0 -1 4202496 40982 0 1 0 179994 16 0 0 23 0 19 0 807341994 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25858/statm: 3422926 35153 2254 9 0 3413660 0 [pid=25858/tid=25859] ppid=25856 vsize=13691704 CPUtime=1787.3 cores=1,3,5,7 /proc/25858/task/25859/stat : 25859 (java) R 25856 25858 23895 0 -1 4202560 18617 0 1 0 178728 2 0 0 25 0 19 0 807341994 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 46912505660095 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25858/tid=25861] ppid=25856 vsize=13691704 CPUtime=0.24 cores=1,3,5,7 /proc/25858/task/25861/stat : 25861 (java) S 25856 25858 23895 0 -1 4202560 541 0 0 0 24 0 0 0 15 0 19 0 807341996 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25862] ppid=25856 vsize=13691704 CPUtime=0.24 cores=1,3,5,7 /proc/25858/task/25862/stat : 25862 (java) S 25856 25858 23895 0 -1 4202560 296 0 0 0 24 0 0 0 15 0 19 0 807341996 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25863] ppid=25856 vsize=13691704 CPUtime=0.25 cores=1,3,5,7 /proc/25858/task/25863/stat : 25863 (java) S 25856 25858 23895 0 -1 4202560 403 0 0 0 25 0 0 0 15 0 19 0 807341996 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25864] ppid=25856 vsize=13691704 CPUtime=0.24 cores=1,3,5,7 /proc/25858/task/25864/stat : 25864 (java) S 25856 25858 23895 0 -1 4202560 234 0 0 0 24 0 0 0 15 0 19 0 807341996 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25865] ppid=25856 vsize=13691704 CPUtime=0.26 cores=1,3,5,7 /proc/25858/task/25865/stat : 25865 (java) S 25856 25858 23895 0 -1 4202560 534 0 0 0 26 0 0 0 16 0 19 0 807341996 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25866] ppid=25856 vsize=13691704 CPUtime=0.27 cores=1,3,5,7 /proc/25858/task/25866/stat : 25866 (java) S 25856 25858 23895 0 -1 4202560 882 0 0 0 27 0 0 0 16 0 19 0 807341996 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25867] ppid=25856 vsize=13691704 CPUtime=0.25 cores=1,3,5,7 /proc/25858/task/25867/stat : 25867 (java) S 25856 25858 23895 0 -1 4202560 861 0 0 0 25 0 0 0 15 0 19 0 807341996 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25868] ppid=25856 vsize=13691704 CPUtime=0.29 cores=1,3,5,7 /proc/25858/task/25868/stat : 25868 (java) S 25856 25858 23895 0 -1 4202560 935 0 0 0 29 0 0 0 15 0 19 0 807341996 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25869] ppid=25856 vsize=13691704 CPUtime=9.66 cores=1,3,5,7 /proc/25858/task/25869/stat : 25869 (java) S 25856 25858 23895 0 -1 4202560 6987 0 0 0 960 6 0 0 15 0 19 0 807341997 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 0 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25870] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25870/stat : 25870 (java) S 25856 25858 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341998 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25871] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25871/stat : 25871 (java) S 25856 25858 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341998 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 7 0 0 0 [pid=25858/tid=25872] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25872/stat : 25872 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273440177 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25873] ppid=25856 vsize=13691704 CPUtime=0.54 cores=1,3,5,7 /proc/25858/task/25873/stat : 25873 (java) S 25856 25858 23895 0 -1 4202560 7217 0 0 0 54 0 0 0 15 0 19 0 807342000 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25874] ppid=25856 vsize=13691704 CPUtime=0.42 cores=1,3,5,7 /proc/25858/task/25874/stat : 25874 (java) S 25856 25858 23895 0 -1 4202560 2223 0 0 0 42 0 0 0 15 0 19 0 807342000 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 1 0 0 0 [pid=25858/tid=25875] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25875/stat : 25875 (java) S 25856 25858 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807342000 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273432473 0 4 0 16800975 18446604462808251200 0 0 -1 3 0 0 0 [pid=25858/tid=25876] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25876/stat : 25876 (java) S 25856 25858 23895 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807342000 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 [pid=25858/tid=25877] ppid=25856 vsize=13691704 CPUtime=0 cores=1,3,5,7 /proc/25858/task/25877/stat : 25877 (java) S 25856 25858 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807342027 14020304896 35153 33554432000 1073741824 1073778376 140733296164864 18446744073709551615 254273433088 0 4 0 16800975 18446604462808251200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 13691704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1797.86 CPU time (s): 1800.19 CPU user time (s): 1800.02 CPU system time (s): 0.168974 CPU usage (%): 100.13 Max. virtual memory (cumulated for all children) (KiB): 13691704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.02 system time used= 0.168974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41077 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47497 involuntary context switches= 10300 runsolver used 8.21675 second user time and 19.669 second system time The end
Begin job on node140 at 2011-06-04 03:01:07 IDJOB=3458955 IDBENCH=2295 IDSOLVER=1952 FILE ID=node140/3458955-1307149267 RUNJOBID= node140-1307147467-25668 PBS_JOBID= 13508776 Free space on /tmp= 73612 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458955-1307149267/watcher-3458955-1307149267 -o /tmp/evaluation-result-3458955-1307149267/solver-3458955-1307149267 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458955-1307149267.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920 RANDOM SEED=1056345144 node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21337096 kB Buffers: 303400 kB Cached: 3971604 kB SwapCached: 6932 kB Active: 7471248 kB Inactive: 3806660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21337096 kB SwapTotal: 67111528 kB SwapFree: 67057928 kB Dirty: 880 kB Writeback: 0 kB AnonPages: 7001264 kB Mapped: 45444 kB Slab: 214928 kB PageTables: 51516 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 154829092 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73608 MiB End job on node140 at 2011-06-04 03:31:07