Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 75 | 1800.07 | 1796.84 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_4.opb |
MD5SUM | 7603a459a5769ea7e43f52c522eb87aa |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 53 |
Best CPU time to get the best result obtained on this benchmark | 1797.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 68 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6326 |
Sum of products size (including duplicates) | 12652 |
Number of different products | 6326 |
Sum of products size | 12652 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.09 c version 2.3.1.v20110525 0.08/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.09 c java.vm.version 19.1-b02 0.08/0.09 c java.vm.vendor Sun Microsystems Inc. 0.08/0.09 c sun.arch.data.model 64 0.08/0.09 c java.version 1.6.0_24 0.08/0.09 c os.name Linux 0.08/0.09 c os.version 2.6.18-164.el5 0.08/0.09 c os.arch amd64 0.08/0.09 c Free memory 12995394264 0.08/0.09 c Max memory 13063553024 0.08/0.09 c Total memory 13063553024 0.08/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458298-1307158637.opb 0.10/0.11 c reading problem ... 0.74/0.47 c ... done. Wall clock time 0.355s. 0.74/0.47 c #vars 6826 0.74/0.47 c #constraints 13152 0.74/0.47 c constraints type 0.74/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6826 0.74/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6326 1.03/0.58 c SATISFIABLE 1.03/0.58 c OPTIMIZING... 1.03/0.58 c Got one! Elapsed wall clock time (in seconds):0.472 1.03/0.58 o 83 1.33/0.62 c Got one! Elapsed wall clock time (in seconds):0.503 1.33/0.62 o 81 1.33/0.68 c Got one! Elapsed wall clock time (in seconds):0.571 1.33/0.68 o 80 1.60/0.71 c Got one! Elapsed wall clock time (in seconds):0.596 1.60/0.71 o 79 2.09/1.12 c Got one! Elapsed wall clock time (in seconds):1.006 2.09/1.12 o 78 2.29/1.35 c Got one! Elapsed wall clock time (in seconds):1.242 2.29/1.35 o 77 2.69/1.73 c cleaning 2779 clauses out of 5561 with flag 2000/5561 3.76/2.75 c cleaning 4386 clauses out of 8783 with flag 8001/11562 5.08/4.02 c cleaning 5692 clauses out of 11396 with flag 15000/18561 6.38/5.37 c cleaning 6847 clauses out of 13704 with flag 23000/26561 6.91/5.82 c Got one! Elapsed wall clock time (in seconds):5.702 6.91/5.82 o 76 7.31/6.24 c cleaning 6172 clauses out of 12358 with flag 3001/32062 8.31/7.29 c cleaning 6086 clauses out of 12186 with flag 9001/38062 9.72/8.60 c cleaning 6542 clauses out of 13100 with flag 16001/45062 11.12/10.07 c cleaning 7273 clauses out of 14557 with flag 24000/53061 12.62/11.59 c cleaning 8136 clauses out of 16284 with flag 33000/62061 14.63/13.57 c cleaning 9064 clauses out of 18149 with flag 43001/72062 16.73/15.64 c cleaning 10036 clauses out of 20084 with flag 54000/83061 19.03/17.90 c cleaning 11019 clauses out of 22049 with flag 66001/95062 21.73/20.66 c cleaning 12005 clauses out of 24029 with flag 79000/108061 24.54/23.46 c cleaning 13006 clauses out of 26024 with flag 93000/122061 27.14/26.05 c cleaning 13503 clauses out of 27019 with flag 107001/136062 29.54/28.49 c cleaning 13751 clauses out of 27516 with flag 121001/150062 32.45/31.32 c cleaning 13874 clauses out of 27765 with flag 135001/164062 35.27/34.13 c cleaning 13937 clauses out of 27891 with flag 149001/178062 37.66/36.58 c cleaning 13973 clauses out of 27953 with flag 163000/192061 40.67/39.56 c cleaning 13987 clauses out of 27981 with flag 177001/206062 43.66/42.51 c cleaning 13994 clauses out of 27994 with flag 191001/220062 46.66/45.54 c cleaning 13992 clauses out of 27999 with flag 205000/234061 49.67/48.56 c cleaning 13997 clauses out of 28007 with flag 219000/248061 52.67/51.59 c cleaning 14000 clauses out of 28011 with flag 233001/262062 55.17/54.04 c cleaning 13999 clauses out of 28011 with flag 247001/276062 57.77/56.69 c cleaning 14000 clauses out of 28011 with flag 261000/290061 60.49/59.34 c cleaning 13998 clauses out of 28011 with flag 275000/304061 63.28/62.11 c cleaning 13998 clauses out of 28013 with flag 289000/318061 65.99/64.88 c cleaning 14001 clauses out of 28015 with flag 303000/332061 68.69/67.59 c cleaning 13997 clauses out of 28015 with flag 317001/346062 71.69/70.50 c cleaning 13995 clauses out of 28018 with flag 331001/360062 74.70/73.60 c cleaning 14003 clauses out of 28022 with flag 345000/374061 78.00/76.84 c cleaning 14001 clauses out of 28021 with flag 359002/388063 80.60/79.47 c cleaning 13996 clauses out of 28019 with flag 373001/402062 83.20/82.03 c cleaning 14001 clauses out of 28022 with flag 387000/416061 85.82/84.63 c cleaning 14006 clauses out of 28023 with flag 401002/430063 88.71/87.57 c cleaning 14000 clauses out of 28015 with flag 415000/444061 91.61/90.40 c cleaning 14004 clauses out of 28015 with flag 429000/458061 94.41/93.20 c cleaning 14001 clauses out of 28011 with flag 443000/472061 97.12/95.92 c cleaning 13995 clauses out of 28011 with flag 457001/486062 100.02/98.86 c cleaning 13998 clauses out of 28015 with flag 471000/500061 102.82/101.60 c cleaning 13999 clauses out of 28017 with flag 485000/514061 105.64/104.48 c cleaning 14000 clauses out of 28019 with flag 499001/528062 108.73/107.58 c cleaning 14001 clauses out of 28019 with flag 513001/542062 111.93/110.72 c cleaning 14006 clauses out of 28017 with flag 527000/556061 114.93/113.75 c cleaning 13997 clauses out of 28012 with flag 541001/570062 118.03/116.88 c cleaning 13996 clauses out of 28015 with flag 555001/584062 120.63/119.49 c cleaning 13998 clauses out of 28018 with flag 569000/598061 123.25/122.07 c cleaning 14005 clauses out of 28021 with flag 583001/612062 126.04/124.86 c cleaning 14003 clauses out of 28015 with flag 597000/626061 128.86/127.63 c cleaning 13996 clauses out of 28012 with flag 611000/640061 131.55/130.31 c cleaning 14001 clauses out of 28017 with flag 625001/654062 134.37/133.15 c cleaning 13998 clauses out of 28015 with flag 639000/668061 137.15/135.93 c cleaning 14006 clauses out of 28018 with flag 653001/682062 140.06/138.85 c cleaning 13992 clauses out of 28011 with flag 667000/696061 142.97/141.74 c cleaning 14000 clauses out of 28021 with flag 681002/710063 145.77/144.53 c cleaning 14005 clauses out of 28019 with flag 695000/724061 148.88/147.60 c cleaning 14000 clauses out of 28016 with flag 709002/738063 151.89/150.66 c cleaning 14002 clauses out of 28014 with flag 723000/752061 154.98/153.79 c cleaning 13997 clauses out of 28012 with flag 737000/766061 158.08/156.83 c cleaning 14000 clauses out of 28015 with flag 751000/780061 160.88/159.62 c cleaning 14000 clauses out of 28015 with flag 765000/794061 163.81/162.53 c cleaning 13999 clauses out of 28016 with flag 779001/808062 166.81/165.53 c cleaning 13997 clauses out of 28016 with flag 793000/822061 169.63/168.33 c cleaning 13998 clauses out of 28020 with flag 807001/836062 172.52/171.26 c cleaning 14004 clauses out of 28021 with flag 821000/850061 175.52/174.23 c cleaning 13996 clauses out of 28018 with flag 835001/864062 178.34/177.09 c cleaning 14001 clauses out of 28022 with flag 849001/878062 180.93/179.64 c cleaning 14002 clauses out of 28020 with flag 863000/892061 183.53/182.25 c cleaning 14006 clauses out of 28019 with flag 877001/906062 186.33/185.09 c cleaning 13999 clauses out of 28013 with flag 891001/920062 188.94/187.69 c cleaning 13996 clauses out of 28014 with flag 905001/934062 191.44/190.21 c cleaning 13998 clauses out of 28017 with flag 919000/948061 194.15/192.85 c cleaning 14003 clauses out of 28019 with flag 933000/962061 196.95/195.63 c cleaning 14001 clauses out of 28017 with flag 947001/976062 200.05/198.78 c cleaning 13998 clauses out of 28016 with flag 961001/990062 203.35/202.01 c cleaning 13999 clauses out of 28018 with flag 975001/1004062 206.45/205.17 c cleaning 14001 clauses out of 28018 with flag 989000/1018061 209.46/208.16 c cleaning 13998 clauses out of 28018 with flag 1003001/1032062 212.47/211.16 c cleaning 13999 clauses out of 28019 with flag 1017000/1046061 215.46/214.19 c cleaning 14002 clauses out of 28020 with flag 1031000/1060061 218.46/217.15 c cleaning 13998 clauses out of 28018 with flag 1045000/1074061 221.38/220.02 c cleaning 14004 clauses out of 28020 with flag 1059000/1088061 224.37/223.00 c cleaning 13999 clauses out of 28016 with flag 1073000/1102061 227.27/225.91 c cleaning 13995 clauses out of 28017 with flag 1087000/1116061 230.28/228.93 c cleaning 14001 clauses out of 28023 with flag 1101001/1130062 233.29/231.94 c cleaning 14000 clauses out of 28022 with flag 1115001/1144062 236.19/234.83 c cleaning 13999 clauses out of 28021 with flag 1129000/1158061 239.19/237.82 c cleaning 14003 clauses out of 28022 with flag 1143000/1172061 241.89/240.57 c cleaning 13996 clauses out of 28019 with flag 1157000/1186061 244.90/243.59 c cleaning 14004 clauses out of 28024 with flag 1171001/1200062 248.00/246.66 c cleaning 13999 clauses out of 28019 with flag 1185000/1214061 251.12/249.76 c cleaning 14004 clauses out of 28021 with flag 1199001/1228062 254.21/252.83 c cleaning 13999 clauses out of 28016 with flag 1213000/1242061 257.21/255.81 c cleaning 13998 clauses out of 28017 with flag 1227000/1256061 260.31/258.91 c cleaning 14004 clauses out of 28019 with flag 1241000/1270061 263.42/262.05 c cleaning 13997 clauses out of 28016 with flag 1255001/1284062 266.62/265.20 c cleaning 14004 clauses out of 28019 with flag 1269001/1298062 269.84/268.46 c cleaning 13997 clauses out of 28015 with flag 1283001/1312062 273.04/271.67 c cleaning 13997 clauses out of 28017 with flag 1297000/1326061 275.53/274.16 c cleaning 14005 clauses out of 28020 with flag 1311000/1340061 278.33/276.97 c cleaning 14003 clauses out of 28015 with flag 1325000/1354061 281.34/279.91 c cleaning 13995 clauses out of 28012 with flag 1339000/1368061 284.34/282.96 c cleaning 13996 clauses out of 28018 with flag 1353001/1382062 287.05/285.64 c cleaning 13999 clauses out of 28022 with flag 1367001/1396062 289.85/288.47 c cleaning 14002 clauses out of 28023 with flag 1381001/1410062 292.56/291.14 c cleaning 14003 clauses out of 28020 with flag 1395000/1424061 295.26/293.88 c cleaning 13997 clauses out of 28018 with flag 1409001/1438062 298.17/296.79 c cleaning 14005 clauses out of 28021 with flag 1423001/1452062 300.87/299.45 c cleaning 13999 clauses out of 28015 with flag 1437000/1466061 303.57/302.15 c cleaning 13999 clauses out of 28016 with flag 1451000/1480061 306.20/304.77 c cleaning 14003 clauses out of 28020 with flag 1465003/1494064 307.68/306.26 c Got one! Elapsed wall clock time (in seconds):306.143 307.68/306.26 o 75 308.48/307.02 c cleaning 13517 clauses out of 27046 with flag 5001/1507093 309.40/307.97 c cleaning 9757 clauses out of 19528 with flag 11000/1513092 310.61/309.13 c cleaning 8380 clauses out of 16771 with flag 18000/1520092 311.89/310.47 c cleaning 8189 clauses out of 16392 with flag 26001/1528093 313.49/312.02 c cleaning 8596 clauses out of 17203 with flag 35001/1537093 315.09/313.64 c cleaning 9297 clauses out of 18607 with flag 45001/1547093 316.99/315.54 c cleaning 10143 clauses out of 20309 with flag 56000/1558092 319.10/317.64 c cleaning 11079 clauses out of 22167 with flag 68001/1570093 321.80/320.36 c cleaning 12036 clauses out of 24087 with flag 81000/1583092 324.82/323.40 c cleaning 13014 clauses out of 26052 with flag 95001/1597093 327.81/326.37 c cleaning 13511 clauses out of 27037 with flag 109000/1611092 330.91/329.46 c cleaning 13752 clauses out of 27527 with flag 123001/1625093 334.02/332.54 c cleaning 13876 clauses out of 27775 with flag 137001/1639093 337.22/335.77 c cleaning 13942 clauses out of 27899 with flag 151001/1653093 340.42/338.92 c cleaning 13970 clauses out of 27957 with flag 165001/1667093 343.23/341.72 c cleaning 13989 clauses out of 27986 with flag 179000/1681092 346.13/344.62 c cleaning 13994 clauses out of 27997 with flag 193000/1695092 349.15/347.62 c cleaning 13988 clauses out of 28004 with flag 207001/1709093 352.15/350.69 c cleaning 13998 clauses out of 28015 with flag 221000/1723092 355.15/353.68 c cleaning 14000 clauses out of 28018 with flag 235001/1737093 358.25/356.77 c cleaning 13991 clauses out of 28018 with flag 249001/1751093 361.27/359.73 c cleaning 14002 clauses out of 28026 with flag 263000/1765092 364.25/362.79 c cleaning 14004 clauses out of 28025 with flag 277001/1779093 367.35/365.81 c cleaning 14001 clauses out of 28020 with flag 291000/1793092 370.36/368.86 c cleaning 14004 clauses out of 28020 with flag 305001/1807093 373.06/371.54 c cleaning 14001 clauses out of 28016 with flag 319001/1821093 375.76/374.22 c cleaning 13997 clauses out of 28014 with flag 333000/1835092 378.27/376.79 c cleaning 13999 clauses out of 28018 with flag 347001/1849093 381.09/379.57 c cleaning 14001 clauses out of 28018 with flag 361000/1863092 383.77/382.27 c cleaning 13999 clauses out of 28017 with flag 375000/1877092 386.37/384.91 c cleaning 13997 clauses out of 28018 with flag 389000/1891092 389.27/387.73 c cleaning 14004 clauses out of 28021 with flag 403000/1905092 392.10/390.60 c cleaning 14002 clauses out of 28017 with flag 417000/1919092 394.89/393.39 c cleaning 13995 clauses out of 28015 with flag 431000/1933092 397.69/396.10 c cleaning 14000 clauses out of 28021 with flag 445001/1947093 400.49/398.90 c cleaning 14000 clauses out of 28020 with flag 459000/1961092 403.39/401.81 c cleaning 13999 clauses out of 28023 with flag 473003/1975095 406.09/404.55 c cleaning 14002 clauses out of 28022 with flag 487001/1989093 408.89/407.38 c cleaning 13999 clauses out of 28021 with flag 501002/2003094 411.81/410.23 c cleaning 13999 clauses out of 28020 with flag 515000/2017092 414.70/413.12 c cleaning 14004 clauses out of 28022 with flag 529001/2031093 417.20/415.69 c cleaning 14003 clauses out of 28017 with flag 543000/2045092 420.10/418.55 c cleaning 14003 clauses out of 28014 with flag 557000/2059092 422.92/421.38 c cleaning 13996 clauses out of 28012 with flag 571001/2073093 425.61/424.10 c cleaning 14002 clauses out of 28017 with flag 585002/2087094 428.33/426.73 c cleaning 14002 clauses out of 28013 with flag 599000/2101092 431.63/430.04 c cleaning 13995 clauses out of 28012 with flag 613001/2115093 434.52/432.97 c cleaning 13996 clauses out of 28016 with flag 627000/2129092 437.32/435.70 c cleaning 14000 clauses out of 28021 with flag 641001/2143093 440.03/438.45 c cleaning 13998 clauses out of 28020 with flag 655000/2157092 442.84/441.25 c cleaning 14001 clauses out of 28022 with flag 669000/2171092 446.14/444.56 c cleaning 14004 clauses out of 28021 with flag 683000/2185092 449.36/447.74 c cleaning 13999 clauses out of 28017 with flag 697000/2199092 452.45/450.91 c cleaning 14001 clauses out of 28019 with flag 711001/2213093 455.76/454.19 c cleaning 14001 clauses out of 28017 with flag 725000/2227092 458.86/457.28 c cleaning 14004 clauses out of 28018 with flag 739002/2241094 462.07/460.44 c cleaning 13995 clauses out of 28012 with flag 753000/2255092 465.37/463.77 c cleaning 14000 clauses out of 28017 with flag 767000/2269092 468.68/467.02 c cleaning 13999 clauses out of 28017 with flag 781000/2283092 471.98/470.36 c cleaning 13998 clauses out of 28018 with flag 795000/2297092 475.28/473.63 c cleaning 14000 clauses out of 28021 with flag 809001/2311093 478.69/477.03 c cleaning 14004 clauses out of 28021 with flag 823001/2325093 481.70/480.05 c cleaning 13998 clauses out of 28016 with flag 837000/2339092 484.90/483.28 c cleaning 14002 clauses out of 28018 with flag 851000/2353092 488.11/486.45 c cleaning 13996 clauses out of 28018 with flag 865002/2367094 491.23/489.55 c cleaning 13998 clauses out of 28021 with flag 879001/2381093 494.31/492.69 c cleaning 14004 clauses out of 28023 with flag 893001/2395093 497.31/495.67 c cleaning 13998 clauses out of 28018 with flag 907000/2409092 500.61/498.94 c cleaning 14000 clauses out of 28020 with flag 921000/2423092 503.82/502.14 c cleaning 13999 clauses out of 28021 with flag 935001/2437093 506.82/505.18 c cleaning 14004 clauses out of 28022 with flag 949001/2451093 510.02/508.38 c cleaning 14001 clauses out of 28017 with flag 963000/2465092 513.25/511.52 c cleaning 14005 clauses out of 28018 with flag 977002/2479094 516.23/514.51 c cleaning 13997 clauses out of 28012 with flag 991001/2493093 519.14/517.44 c cleaning 14001 clauses out of 28016 with flag 1005002/2507094 522.24/520.50 c cleaning 13996 clauses out of 28014 with flag 1019001/2521093 525.15/523.45 c cleaning 13995 clauses out of 28017 with flag 1033000/2535092 528.25/526.50 c cleaning 14001 clauses out of 28022 with flag 1047000/2549092 531.16/529.48 c cleaning 14000 clauses out of 28021 with flag 1061000/2563092 534.18/532.46 c cleaning 14000 clauses out of 28022 with flag 1075001/2577093 537.27/535.50 c cleaning 14001 clauses out of 28021 with flag 1089000/2591092 540.37/538.69 c cleaning 14003 clauses out of 28021 with flag 1103001/2605093 543.47/541.77 c cleaning 14000 clauses out of 28017 with flag 1117000/2619092 546.58/544.86 c cleaning 13998 clauses out of 28018 with flag 1131001/2633093 549.68/547.91 c cleaning 14003 clauses out of 28020 with flag 1145001/2647093 552.68/550.92 c cleaning 13998 clauses out of 28016 with flag 1159000/2661092 555.79/554.09 c cleaning 14001 clauses out of 28018 with flag 1173000/2675092 558.79/557.03 c cleaning 14000 clauses out of 28018 with flag 1187001/2689093 561.79/560.00 c cleaning 14002 clauses out of 28017 with flag 1201000/2703092 564.70/562.95 c cleaning 13995 clauses out of 28015 with flag 1215000/2717092 567.70/565.92 c cleaning 14003 clauses out of 28020 with flag 1229000/2731092 570.70/568.91 c cleaning 14003 clauses out of 28018 with flag 1243001/2745093 573.51/571.79 c cleaning 13996 clauses out of 28015 with flag 1257001/2759093 576.50/574.73 c cleaning 13997 clauses out of 28019 with flag 1271001/2773093 579.33/577.57 c cleaning 14001 clauses out of 28021 with flag 1285000/2787092 582.22/580.43 c cleaning 14000 clauses out of 28020 with flag 1299000/2801092 585.12/583.36 c cleaning 14001 clauses out of 28021 with flag 1313001/2815093 588.04/586.31 c cleaning 14001 clauses out of 28020 with flag 1327001/2829093 591.12/589.32 c cleaning 13999 clauses out of 28018 with flag 1341000/2843092 594.23/592.43 c cleaning 13993 clauses out of 28019 with flag 1355000/2857092 597.13/595.38 c cleaning 14002 clauses out of 28026 with flag 1369000/2871092 600.14/598.33 c cleaning 14002 clauses out of 28024 with flag 1383000/2885092 603.13/601.34 c cleaning 13999 clauses out of 28022 with flag 1397000/2899092 606.03/604.26 c cleaning 14003 clauses out of 28024 with flag 1411001/2913093 608.95/607.15 c cleaning 14003 clauses out of 28020 with flag 1425000/2927092 611.94/610.15 c cleaning 13998 clauses out of 28017 with flag 1439000/2941092 614.74/612.98 c cleaning 14003 clauses out of 28020 with flag 1453001/2955093 617.64/615.80 c cleaning 13998 clauses out of 28017 with flag 1467001/2969093 620.54/618.75 c cleaning 13996 clauses out of 28019 with flag 1481001/2983093 623.55/621.72 c cleaning 13995 clauses out of 28022 with flag 1495000/2997092 626.56/624.76 c cleaning 14005 clauses out of 28028 with flag 1509001/3011093 629.65/627.83 c cleaning 14001 clauses out of 28023 with flag 1523001/3025093 632.45/630.66 c cleaning 14006 clauses out of 28021 with flag 1537000/3039092 635.16/633.36 c cleaning 14006 clauses out of 28016 with flag 1551001/3053093 637.76/635.92 c cleaning 14001 clauses out of 28009 with flag 1565000/3067092 640.57/638.73 c cleaning 13997 clauses out of 28008 with flag 1579000/3081092 643.37/641.54 c cleaning 14003 clauses out of 28012 with flag 1593001/3095093 646.28/644.49 c cleaning 13997 clauses out of 28009 with flag 1607001/3109093 649.28/647.45 c cleaning 14002 clauses out of 28011 with flag 1621000/3123092 652.29/650.40 c cleaning 13995 clauses out of 28009 with flag 1635000/3137092 655.31/653.48 c cleaning 14002 clauses out of 28015 with flag 1649001/3151093 658.51/656.66 c cleaning 14002 clauses out of 28013 with flag 1663001/3165093 661.50/659.62 c cleaning 13995 clauses out of 28011 with flag 1677001/3179093 664.40/662.56 c cleaning 13995 clauses out of 28016 with flag 1691001/3193093 667.43/665.53 c cleaning 14004 clauses out of 28021 with flag 1705001/3207093 670.41/668.55 c cleaning 13998 clauses out of 28018 with flag 1719002/3221094 673.22/671.31 c cleaning 14002 clauses out of 28018 with flag 1733000/3235092 676.03/674.19 c cleaning 13998 clauses out of 28016 with flag 1747000/3249092 678.94/677.05 c cleaning 13997 clauses out of 28018 with flag 1761000/3263092 681.66/679.78 c cleaning 14000 clauses out of 28022 with flag 1775001/3277093 684.55/682.68 c cleaning 14001 clauses out of 28021 with flag 1789000/3291092 687.45/685.52 c cleaning 14002 clauses out of 28020 with flag 1803000/3305092 690.35/688.50 c cleaning 13999 clauses out of 28018 with flag 1817000/3319092 693.25/691.30 c cleaning 14001 clauses out of 28019 with flag 1831000/3333092 696.07/694.12 c cleaning 14001 clauses out of 28018 with flag 1845000/3347092 698.86/696.99 c cleaning 13999 clauses out of 28018 with flag 1859001/3361093 701.76/699.84 c cleaning 13993 clauses out of 28018 with flag 1873000/3375092 704.67/702.80 c cleaning 14006 clauses out of 28027 with flag 1887002/3389094 707.68/705.70 c cleaning 13998 clauses out of 28019 with flag 1901000/3403092 710.49/708.55 c cleaning 13996 clauses out of 28021 with flag 1915000/3417092 713.49/711.61 c cleaning 14006 clauses out of 28025 with flag 1929000/3431092 716.39/714.47 c cleaning 13997 clauses out of 28019 with flag 1943000/3445092 719.11/717.20 c cleaning 14002 clauses out of 28022 with flag 1957000/3459092 722.00/720.00 c cleaning 13998 clauses out of 28020 with flag 1971000/3473092 724.90/722.99 c cleaning 14000 clauses out of 28022 with flag 1985000/3487092 728.11/726.12 c cleaning 14002 clauses out of 28023 with flag 1999001/3501093 731.33/729.32 c cleaning 13998 clauses out of 28020 with flag 2013000/3515092 734.41/732.41 c cleaning 14003 clauses out of 28023 with flag 2027001/3529093 737.41/735.45 c cleaning 14005 clauses out of 28019 with flag 2041000/3543092 740.52/738.54 c cleaning 13999 clauses out of 28015 with flag 2055001/3557093 743.72/741.72 c cleaning 13997 clauses out of 28015 with flag 2069000/3571092 746.74/744.77 c cleaning 13998 clauses out of 28019 with flag 2083001/3585093 749.95/747.99 c cleaning 14000 clauses out of 28021 with flag 2097001/3599093 753.13/751.21 c cleaning 14002 clauses out of 28021 with flag 2111001/3613093 756.34/754.34 c cleaning 13996 clauses out of 28018 with flag 2125000/3627092 759.35/757.36 c cleaning 14004 clauses out of 28023 with flag 2139001/3641093 762.35/760.36 c cleaning 13999 clauses out of 28019 with flag 2153001/3655093 765.55/763.50 c cleaning 14000 clauses out of 28019 with flag 2167000/3669092 768.55/766.61 c cleaning 14002 clauses out of 28020 with flag 2181001/3683093 771.75/769.73 c cleaning 13998 clauses out of 28019 with flag 2195002/3697094 774.76/772.72 c cleaning 14000 clauses out of 28019 with flag 2209000/3711092 777.86/775.82 c cleaning 14005 clauses out of 28019 with flag 2223000/3725092 780.78/778.81 c cleaning 13992 clauses out of 28015 with flag 2237001/3739093 783.97/781.94 c cleaning 14002 clauses out of 28023 with flag 2251001/3753093 786.97/784.99 c cleaning 14000 clauses out of 28020 with flag 2265000/3767092 790.17/788.12 c cleaning 14003 clauses out of 28021 with flag 2279001/3781093 793.28/791.24 c cleaning 14000 clauses out of 28018 with flag 2293001/3795093 796.48/794.43 c cleaning 13997 clauses out of 28019 with flag 2307002/3809094 799.60/797.56 c cleaning 14000 clauses out of 28020 with flag 2321000/3823092 802.69/800.67 c cleaning 14005 clauses out of 28021 with flag 2335001/3837093 805.79/803.75 c cleaning 13993 clauses out of 28016 with flag 2349001/3851093 808.99/806.95 c cleaning 13997 clauses out of 28022 with flag 2363000/3865092 812.10/810.02 c cleaning 14005 clauses out of 28025 with flag 2377000/3879092 815.10/813.02 c cleaning 14003 clauses out of 28020 with flag 2391000/3893092 818.10/816.03 c cleaning 14000 clauses out of 28019 with flag 2405002/3907094 821.21/819.19 c cleaning 13999 clauses out of 28018 with flag 2419001/3921093 824.41/822.30 c cleaning 13995 clauses out of 28019 with flag 2433001/3935093 827.41/825.38 c cleaning 14003 clauses out of 28024 with flag 2447001/3949093 830.72/828.61 c cleaning 13996 clauses out of 28021 with flag 2461001/3963093 833.92/831.87 c cleaning 14008 clauses out of 28027 with flag 2475003/3977095 837.12/835.05 c cleaning 13998 clauses out of 28016 with flag 2489000/3991092 840.34/838.28 c cleaning 14000 clauses out of 28023 with flag 2503005/4005097 843.64/841.56 c cleaning 14000 clauses out of 28019 with flag 2517001/4019093 846.53/844.48 c cleaning 14001 clauses out of 28019 with flag 2531001/4033093 849.33/847.22 c cleaning 13993 clauses out of 28018 with flag 2545001/4047093 852.14/850.00 c cleaning 14008 clauses out of 28024 with flag 2559000/4061092 854.84/852.71 c cleaning 14002 clauses out of 28017 with flag 2573001/4075093 857.44/855.33 c cleaning 13994 clauses out of 28014 with flag 2587000/4089092 860.17/858.03 c cleaning 14000 clauses out of 28020 with flag 2601000/4103092 862.85/860.71 c cleaning 14002 clauses out of 28021 with flag 2615001/4117093 865.46/863.34 c cleaning 14003 clauses out of 28018 with flag 2629000/4131092 868.06/865.94 c cleaning 13993 clauses out of 28015 with flag 2643000/4145092 870.76/868.68 c cleaning 13997 clauses out of 28022 with flag 2657000/4159092 873.57/871.41 c cleaning 14003 clauses out of 28025 with flag 2671000/4173092 876.27/874.16 c cleaning 13997 clauses out of 28023 with flag 2685001/4187093 878.97/876.85 c cleaning 14000 clauses out of 28027 with flag 2699002/4201094 881.78/879.66 c cleaning 14000 clauses out of 28025 with flag 2713000/4215092 884.58/882.46 c cleaning 14000 clauses out of 28025 with flag 2727000/4229092 887.38/885.28 c cleaning 14003 clauses out of 28025 with flag 2741000/4243092 889.98/887.81 c cleaning 14005 clauses out of 28023 with flag 2755001/4257093 892.49/890.39 c cleaning 13997 clauses out of 28018 with flag 2769001/4271093 895.30/893.13 c cleaning 13991 clauses out of 28020 with flag 2783000/4285092 898.00/895.83 c cleaning 14003 clauses out of 28029 with flag 2797000/4299092 900.70/898.54 c cleaning 14005 clauses out of 28026 with flag 2811000/4313092 903.70/901.51 c cleaning 14000 clauses out of 28022 with flag 2825001/4327093 906.42/904.25 c cleaning 14001 clauses out of 28021 with flag 2839000/4341092 909.31/907.14 c cleaning 14004 clauses out of 28020 with flag 2853000/4355092 912.11/909.96 c cleaning 13995 clauses out of 28016 with flag 2867000/4369092 914.91/912.78 c cleaning 14000 clauses out of 28022 with flag 2881001/4383093 917.72/915.56 c cleaning 14002 clauses out of 28021 with flag 2895000/4397092 920.52/918.34 c cleaning 13998 clauses out of 28019 with flag 2909000/4411092 923.12/920.99 c cleaning 14000 clauses out of 28022 with flag 2923001/4425093 925.92/923.76 c cleaning 14001 clauses out of 28023 with flag 2937002/4439094 928.73/926.55 c cleaning 13996 clauses out of 28020 with flag 2951000/4453092 931.43/929.24 c cleaning 14002 clauses out of 28024 with flag 2965000/4467092 934.33/932.11 c cleaning 14003 clauses out of 28024 with flag 2979002/4481094 937.03/934.83 c cleaning 13994 clauses out of 28019 with flag 2993000/4495092 939.74/937.56 c cleaning 14004 clauses out of 28025 with flag 3007000/4509092 942.34/940.16 c cleaning 13995 clauses out of 28021 with flag 3021000/4523092 944.86/942.71 c cleaning 14010 clauses out of 28026 with flag 3035000/4537092 947.75/945.52 c cleaning 14000 clauses out of 28018 with flag 3049002/4551094 950.55/948.32 c cleaning 14000 clauses out of 28018 with flag 3063002/4565094 953.26/951.02 c cleaning 14002 clauses out of 28017 with flag 3077001/4579093 955.99/953.72 c cleaning 13994 clauses out of 28014 with flag 3091000/4593092 958.77/956.50 c cleaning 13998 clauses out of 28020 with flag 3105000/4607092 961.39/959.18 c cleaning 14003 clauses out of 28022 with flag 3119000/4621092 964.29/962.01 c cleaning 14005 clauses out of 28019 with flag 3133000/4635092 967.09/964.84 c cleaning 13994 clauses out of 28014 with flag 3147000/4649092 969.89/967.63 c cleaning 14004 clauses out of 28021 with flag 3161001/4663093 972.80/970.59 c cleaning 14003 clauses out of 28016 with flag 3175000/4677092 976.00/973.71 c cleaning 13998 clauses out of 28014 with flag 3189001/4691093 979.13/976.84 c cleaning 13997 clauses out of 28015 with flag 3203000/4705092 982.22/979.92 c cleaning 14003 clauses out of 28019 with flag 3217001/4719093 985.12/982.86 c cleaning 13998 clauses out of 28016 with flag 3231001/4733093 988.13/985.85 c cleaning 14003 clauses out of 28017 with flag 3245000/4747092 991.34/989.05 c cleaning 13998 clauses out of 28015 with flag 3259001/4761093 994.45/992.19 c cleaning 14000 clauses out of 28018 with flag 3273002/4775094 997.64/995.37 c cleaning 14001 clauses out of 28018 with flag 3287002/4789094 1000.85/998.52 c cleaning 14001 clauses out of 28015 with flag 3301000/4803092 1003.85/1001.60 c cleaning 13995 clauses out of 28014 with flag 3315000/4817092 1006.75/1004.41 c cleaning 14002 clauses out of 28020 with flag 3329001/4831093 1009.46/1007.15 c cleaning 13999 clauses out of 28018 with flag 3343001/4845093 1012.26/1009.99 c cleaning 13999 clauses out of 28019 with flag 3357001/4859093 1015.16/1012.85 c cleaning 13998 clauses out of 28019 with flag 3371000/4873092 1018.07/1015.72 c cleaning 13997 clauses out of 28021 with flag 3385000/4887092 1020.99/1018.63 c cleaning 14001 clauses out of 28026 with flag 3399002/4901094 1023.97/1021.63 c cleaning 14002 clauses out of 28024 with flag 3413001/4915093 1026.98/1024.61 c cleaning 13995 clauses out of 28022 with flag 3427001/4929093 1029.88/1027.59 c cleaning 13996 clauses out of 28026 with flag 3441000/4943092 1032.89/1030.53 c cleaning 14002 clauses out of 28031 with flag 3455001/4957093 1035.89/1033.58 c cleaning 14003 clauses out of 28029 with flag 3469001/4971093 1038.79/1036.49 c cleaning 14006 clauses out of 28025 with flag 3483000/4985092 1041.81/1039.50 c cleaning 14001 clauses out of 28019 with flag 3497000/4999092 1044.80/1042.41 c cleaning 13998 clauses out of 28018 with flag 3511000/5013092 1047.80/1045.44 c cleaning 14000 clauses out of 28020 with flag 3525000/5027092 1050.81/1048.43 c cleaning 13998 clauses out of 28021 with flag 3539001/5041093 1053.92/1051.53 c cleaning 14001 clauses out of 28023 with flag 3553001/5055093 1056.91/1054.57 c cleaning 14002 clauses out of 28021 with flag 3567000/5069092 1060.01/1057.64 c cleaning 14000 clauses out of 28020 with flag 3581001/5083093 1063.11/1060.73 c cleaning 14004 clauses out of 28019 with flag 3595000/5097092 1066.22/1063.84 c cleaning 14001 clauses out of 28015 with flag 3609000/5111092 1069.23/1066.84 c cleaning 13997 clauses out of 28014 with flag 3623000/5125092 1072.33/1069.90 c cleaning 13996 clauses out of 28018 with flag 3637001/5139093 1075.33/1072.93 c cleaning 13999 clauses out of 28021 with flag 3651000/5153092 1078.34/1075.99 c cleaning 14001 clauses out of 28022 with flag 3665000/5167092 1081.45/1079.11 c cleaning 14002 clauses out of 28021 with flag 3679000/5181092 1084.54/1082.11 c cleaning 14004 clauses out of 28019 with flag 3693000/5195092 1087.75/1085.32 c cleaning 13997 clauses out of 28016 with flag 3707001/5209093 1091.05/1088.60 c cleaning 14000 clauses out of 28018 with flag 3721000/5223092 1094.35/1091.91 c cleaning 13997 clauses out of 28019 with flag 3735001/5237093 1097.56/1095.20 c cleaning 14001 clauses out of 28021 with flag 3749000/5251092 1100.76/1098.36 c cleaning 14000 clauses out of 28021 with flag 3763001/5265093 1104.06/1101.62 c cleaning 14003 clauses out of 28020 with flag 3777000/5279092 1107.36/1104.97 c cleaning 13997 clauses out of 28017 with flag 3791000/5293092 1110.66/1108.23 c cleaning 13999 clauses out of 28020 with flag 3805000/5307092 1113.86/1111.43 c cleaning 14003 clauses out of 28021 with flag 3819000/5321092 1117.07/1114.69 c cleaning 14001 clauses out of 28018 with flag 3833000/5335092 1120.47/1118.09 c cleaning 13999 clauses out of 28017 with flag 3847000/5349092 1123.77/1121.38 c cleaning 13995 clauses out of 28018 with flag 3861000/5363092 1127.07/1124.65 c cleaning 14001 clauses out of 28024 with flag 3875001/5377093 1130.38/1127.91 c cleaning 14003 clauses out of 28023 with flag 3889001/5391093 1133.59/1131.13 c cleaning 13998 clauses out of 28019 with flag 3903000/5405092 1136.89/1134.49 c cleaning 13997 clauses out of 28021 with flag 3917000/5419092 1140.29/1137.81 c cleaning 14003 clauses out of 28025 with flag 3931001/5433093 1143.59/1141.12 c cleaning 13999 clauses out of 28021 with flag 3945000/5447092 1146.80/1144.39 c cleaning 13999 clauses out of 28024 with flag 3959002/5461094 1150.20/1147.72 c cleaning 13999 clauses out of 28023 with flag 3973000/5475092 1153.40/1150.94 c cleaning 14003 clauses out of 28025 with flag 3987001/5489093 1156.70/1154.23 c cleaning 14004 clauses out of 28022 with flag 4001001/5503093 1159.90/1157.45 c cleaning 14002 clauses out of 28017 with flag 4015000/5517092 1162.92/1160.50 c cleaning 13998 clauses out of 28016 with flag 4029001/5531093 1165.91/1163.40 c cleaning 14002 clauses out of 28017 with flag 4043000/5545092 1168.92/1166.44 c cleaning 14000 clauses out of 28015 with flag 4057000/5559092 1171.92/1169.48 c cleaning 13999 clauses out of 28015 with flag 4071000/5573092 1174.83/1172.31 c cleaning 14001 clauses out of 28017 with flag 4085001/5587093 1177.73/1175.29 c cleaning 13997 clauses out of 28017 with flag 4099002/5601094 1180.74/1178.27 c cleaning 13998 clauses out of 28018 with flag 4113000/5615092 1183.74/1181.24 c cleaning 14000 clauses out of 28021 with flag 4127001/5629093 1186.74/1184.27 c cleaning 14000 clauses out of 28022 with flag 4141002/5643094 1189.84/1187.34 c cleaning 13999 clauses out of 28020 with flag 4155000/5657092 1192.84/1190.32 c cleaning 13998 clauses out of 28022 with flag 4169001/5671093 1195.84/1193.33 c cleaning 13998 clauses out of 28024 with flag 4183001/5685093 1198.95/1196.43 c cleaning 13998 clauses out of 28025 with flag 4197000/5699092 1201.95/1199.43 c cleaning 14008 clauses out of 28028 with flag 4211001/5713093 1204.87/1202.36 c cleaning 13998 clauses out of 28020 with flag 4225001/5727093 1207.95/1205.49 c cleaning 14005 clauses out of 28022 with flag 4239001/5741093 1211.05/1208.54 c cleaning 13999 clauses out of 28016 with flag 4253000/5755092 1213.96/1211.45 c cleaning 13998 clauses out of 28017 with flag 4267000/5769092 1216.87/1214.36 c cleaning 13997 clauses out of 28020 with flag 4281001/5783093 1219.86/1217.34 c cleaning 14003 clauses out of 28024 with flag 4295002/5797094 1222.86/1220.35 c cleaning 13996 clauses out of 28019 with flag 4309000/5811092 1225.87/1223.38 c cleaning 13998 clauses out of 28024 with flag 4323001/5825093 1229.09/1226.55 c cleaning 14003 clauses out of 28025 with flag 4337000/5839092 1232.29/1229.76 c cleaning 14003 clauses out of 28023 with flag 4351001/5853093 1235.38/1232.88 c cleaning 13999 clauses out of 28019 with flag 4365000/5867092 1238.48/1235.95 c cleaning 13998 clauses out of 28020 with flag 4379000/5881092 1241.68/1239.13 c cleaning 14000 clauses out of 28022 with flag 4393000/5895092 1244.79/1242.25 c cleaning 14002 clauses out of 28022 with flag 4407000/5909092 1248.09/1245.56 c cleaning 14001 clauses out of 28020 with flag 4421000/5923092 1251.19/1248.63 c cleaning 14002 clauses out of 28020 with flag 4435001/5937093 1254.31/1251.81 c cleaning 13995 clauses out of 28017 with flag 4449000/5951092 1257.50/1254.96 c cleaning 13999 clauses out of 28022 with flag 4463000/5965092 1260.70/1258.12 c cleaning 14000 clauses out of 28025 with flag 4477002/5979094 1263.80/1261.23 c cleaning 14001 clauses out of 28023 with flag 4491000/5993092 1267.10/1264.52 c cleaning 14000 clauses out of 28023 with flag 4505001/6007093 1270.20/1267.65 c cleaning 13996 clauses out of 28024 with flag 4519002/6021094 1273.02/1270.42 c cleaning 14004 clauses out of 28026 with flag 4533000/6035092 1275.71/1273.14 c cleaning 14002 clauses out of 28022 with flag 4547000/6049092 1278.53/1275.92 c cleaning 13995 clauses out of 28020 with flag 4561000/6063092 1281.22/1278.68 c cleaning 14003 clauses out of 28025 with flag 4575000/6077092 1283.92/1281.39 c cleaning 14000 clauses out of 28022 with flag 4589000/6091092 1286.72/1284.16 c cleaning 13993 clauses out of 28022 with flag 4603000/6105092 1289.42/1286.90 c cleaning 13998 clauses out of 28030 with flag 4617001/6119093 1292.23/1289.69 c cleaning 14010 clauses out of 28032 with flag 4631001/6133093 1295.05/1292.43 c cleaning 13997 clauses out of 28022 with flag 4645001/6147093 1297.94/1295.36 c cleaning 14006 clauses out of 28024 with flag 4659000/6161092 1300.74/1298.18 c cleaning 14001 clauses out of 28019 with flag 4673001/6175093 1303.55/1300.98 c cleaning 13998 clauses out of 28019 with flag 4687002/6189094 1306.35/1303.73 c cleaning 14000 clauses out of 28020 with flag 4701001/6203093 1309.06/1306.41 c cleaning 13995 clauses out of 28019 with flag 4715000/6217092 1311.86/1309.29 c cleaning 14002 clauses out of 28024 with flag 4729000/6231092 1314.76/1312.15 c cleaning 14002 clauses out of 28024 with flag 4743002/6245094 1317.67/1315.06 c cleaning 13997 clauses out of 28020 with flag 4757000/6259092 1320.48/1317.87 c cleaning 13998 clauses out of 28024 with flag 4771001/6273093 1323.37/1320.72 c cleaning 13998 clauses out of 28025 with flag 4785000/6287092 1326.17/1323.52 c cleaning 14001 clauses out of 28027 with flag 4799000/6301092 1329.07/1326.42 c cleaning 13997 clauses out of 28027 with flag 4813001/6315093 1331.98/1329.38 c cleaning 13998 clauses out of 28029 with flag 4827000/6329092 1334.88/1332.28 c cleaning 14003 clauses out of 28033 with flag 4841002/6343094 1337.88/1335.21 c cleaning 14007 clauses out of 28028 with flag 4855000/6357092 1340.79/1338.10 c cleaning 14000 clauses out of 28022 with flag 4869001/6371093 1343.61/1340.92 c cleaning 14000 clauses out of 28021 with flag 4883000/6385092 1346.40/1343.77 c cleaning 13996 clauses out of 28022 with flag 4897001/6399093 1349.40/1346.73 c cleaning 13997 clauses out of 28025 with flag 4911000/6413092 1352.20/1349.56 c cleaning 14003 clauses out of 28028 with flag 4925000/6427092 1355.00/1352.37 c cleaning 14005 clauses out of 28026 with flag 4939001/6441093 1357.92/1355.27 c cleaning 14001 clauses out of 28022 with flag 4953002/6455094 1360.91/1358.21 c cleaning 14001 clauses out of 28019 with flag 4967000/6469092 1363.81/1361.17 c cleaning 13996 clauses out of 28018 with flag 4981000/6483092 1366.81/1364.18 c cleaning 13998 clauses out of 28023 with flag 4995001/6497093 1369.71/1367.09 c cleaning 13997 clauses out of 28025 with flag 5009001/6511093 1372.71/1370.01 c cleaning 14002 clauses out of 28027 with flag 5023000/6525092 1375.53/1372.86 c cleaning 14000 clauses out of 28025 with flag 5037000/6539092 1378.52/1375.82 c cleaning 14002 clauses out of 28025 with flag 5051000/6553092 1381.42/1378.73 c cleaning 14000 clauses out of 28023 with flag 5065000/6567092 1384.23/1381.52 c cleaning 14003 clauses out of 28023 with flag 5079000/6581092 1387.12/1384.45 c cleaning 13999 clauses out of 28020 with flag 5093000/6595092 1390.03/1387.37 c cleaning 13998 clauses out of 28021 with flag 5107000/6609092 1392.83/1390.11 c cleaning 14000 clauses out of 28023 with flag 5121000/6623092 1395.53/1392.89 c cleaning 13998 clauses out of 28024 with flag 5135001/6637093 1398.43/1395.75 c cleaning 14003 clauses out of 28026 with flag 5149001/6651093 1401.43/1398.70 c cleaning 13995 clauses out of 28025 with flag 5163003/6665095 1404.34/1401.63 c cleaning 14006 clauses out of 28028 with flag 5177001/6679093 1407.24/1404.57 c cleaning 13999 clauses out of 28021 with flag 5191000/6693092 1410.14/1407.43 c cleaning 14003 clauses out of 28022 with flag 5205000/6707092 1413.04/1410.38 c cleaning 14001 clauses out of 28019 with flag 5219000/6721092 1415.94/1413.26 c cleaning 14001 clauses out of 28018 with flag 5233000/6735092 1418.84/1416.17 c cleaning 13999 clauses out of 28017 with flag 5247000/6749092 1421.56/1418.91 c cleaning 13996 clauses out of 28018 with flag 5261000/6763092 1424.36/1421.69 c cleaning 14005 clauses out of 28022 with flag 5275000/6777092 1426.77/1424.03 c cleaning 14002 clauses out of 28017 with flag 5289000/6791092 1429.49/1426.78 c cleaning 14000 clauses out of 28016 with flag 5303001/6805093 1432.18/1429.48 c cleaning 14000 clauses out of 28015 with flag 5317000/6819092 1434.79/1432.03 c cleaning 14005 clauses out of 28017 with flag 5331002/6833094 1437.79/1435.03 c cleaning 13995 clauses out of 28010 with flag 5345000/6847092 1440.89/1438.12 c cleaning 14008 clauses out of 28015 with flag 5359000/6861092 1443.90/1441.16 c cleaning 13992 clauses out of 28008 with flag 5373001/6875093 1447.02/1444.29 c cleaning 14002 clauses out of 28015 with flag 5387000/6889092 1450.32/1447.52 c cleaning 13994 clauses out of 28014 with flag 5401001/6903093 1453.21/1450.43 c cleaning 14000 clauses out of 28019 with flag 5415000/6917092 1456.32/1453.52 c cleaning 13999 clauses out of 28019 with flag 5429000/6931092 1459.42/1456.60 c cleaning 13999 clauses out of 28020 with flag 5443000/6945092 1462.54/1459.72 c cleaning 14004 clauses out of 28021 with flag 5457000/6959092 1465.42/1462.63 c cleaning 14002 clauses out of 28018 with flag 5471001/6973093 1467.83/1465.08 c cleaning 13999 clauses out of 28016 with flag 5485001/6987093 1470.53/1467.79 c cleaning 14001 clauses out of 28017 with flag 5499001/7001093 1473.33/1470.58 c cleaning 14005 clauses out of 28015 with flag 5513000/7015092 1475.93/1473.20 c cleaning 14001 clauses out of 28011 with flag 5527001/7029093 1478.64/1475.83 c cleaning 13997 clauses out of 28010 with flag 5541001/7043093 1481.26/1478.49 c cleaning 13994 clauses out of 28012 with flag 5555000/7057092 1484.14/1481.39 c cleaning 14004 clauses out of 28019 with flag 5569001/7071093 1487.64/1484.82 c cleaning 13999 clauses out of 28014 with flag 5583000/7085092 1490.94/1488.15 c cleaning 13998 clauses out of 28016 with flag 5597001/7099093 1494.47/1491.69 c cleaning 14002 clauses out of 28019 with flag 5611002/7113094 1497.96/1495.14 c cleaning 13999 clauses out of 28015 with flag 5625000/7127092 1501.46/1498.65 c cleaning 13994 clauses out of 28016 with flag 5639000/7141092 1505.06/1502.22 c cleaning 14001 clauses out of 28023 with flag 5653001/7155093 1508.58/1505.77 c cleaning 13997 clauses out of 28021 with flag 5667000/7169092 1512.00/1509.12 c cleaning 14005 clauses out of 28025 with flag 5681001/7183093 1515.19/1512.41 c cleaning 14005 clauses out of 28020 with flag 5695001/7197093 1518.71/1515.82 c cleaning 13988 clauses out of 28016 with flag 5709002/7211094 1521.59/1518.73 c cleaning 14003 clauses out of 28026 with flag 5723000/7225092 1524.30/1521.49 c cleaning 14004 clauses out of 28023 with flag 5737000/7239092 1527.11/1524.26 c cleaning 14003 clauses out of 28019 with flag 5751000/7253092 1529.81/1526.99 c cleaning 13999 clauses out of 28016 with flag 5765000/7267092 1532.71/1529.86 c cleaning 13999 clauses out of 28018 with flag 5779001/7281093 1535.52/1532.60 c cleaning 14000 clauses out of 28019 with flag 5793001/7295093 1538.54/1535.63 c cleaning 13998 clauses out of 28019 with flag 5807001/7309093 1541.42/1538.54 c cleaning 13999 clauses out of 28021 with flag 5821001/7323093 1544.22/1541.34 c cleaning 13998 clauses out of 28022 with flag 5835001/7337093 1547.12/1544.21 c cleaning 14003 clauses out of 28023 with flag 5849000/7351092 1550.02/1547.10 c cleaning 14003 clauses out of 28022 with flag 5863002/7365094 1553.02/1550.11 c cleaning 14001 clauses out of 28017 with flag 5877000/7379092 1556.04/1553.12 c cleaning 13996 clauses out of 28018 with flag 5891002/7393094 1559.03/1556.17 c cleaning 14003 clauses out of 28020 with flag 5905000/7407092 1561.93/1559.04 c cleaning 13999 clauses out of 28018 with flag 5919001/7421093 1564.85/1561.98 c cleaning 14000 clauses out of 28018 with flag 5933000/7435092 1567.64/1564.77 c cleaning 13996 clauses out of 28018 with flag 5947000/7449092 1570.54/1567.68 c cleaning 14005 clauses out of 28022 with flag 5961000/7463092 1573.24/1570.37 c cleaning 14002 clauses out of 28017 with flag 5975000/7477092 1575.97/1573.07 c cleaning 13998 clauses out of 28016 with flag 5989001/7491093 1578.65/1575.76 c cleaning 13999 clauses out of 28017 with flag 6003000/7505092 1581.47/1578.54 c cleaning 14002 clauses out of 28019 with flag 6017001/7519093 1584.26/1581.35 c cleaning 14001 clauses out of 28017 with flag 6031001/7533093 1587.07/1584.13 c cleaning 13996 clauses out of 28016 with flag 6045001/7547093 1589.97/1587.04 c cleaning 14002 clauses out of 28020 with flag 6059001/7561093 1592.88/1589.92 c cleaning 13997 clauses out of 28018 with flag 6073001/7575093 1595.80/1592.89 c cleaning 13999 clauses out of 28020 with flag 6087000/7589092 1598.78/1595.81 c cleaning 14002 clauses out of 28022 with flag 6101001/7603093 1601.68/1598.72 c cleaning 14003 clauses out of 28020 with flag 6115001/7617093 1604.50/1601.61 c cleaning 13997 clauses out of 28016 with flag 6129000/7631092 1607.59/1604.63 c cleaning 13998 clauses out of 28019 with flag 6143000/7645092 1610.49/1607.55 c cleaning 14000 clauses out of 28021 with flag 6157000/7659092 1613.41/1610.49 c cleaning 13996 clauses out of 28021 with flag 6171000/7673092 1616.50/1613.51 c cleaning 14001 clauses out of 28025 with flag 6185000/7687092 1619.50/1616.54 c cleaning 14004 clauses out of 28025 with flag 6199001/7701093 1622.40/1619.47 c cleaning 14000 clauses out of 28020 with flag 6213000/7715092 1625.42/1622.47 c cleaning 14004 clauses out of 28020 with flag 6227000/7729092 1628.41/1625.40 c cleaning 13997 clauses out of 28017 with flag 6241001/7743093 1631.31/1628.34 c cleaning 14000 clauses out of 28020 with flag 6255001/7757093 1634.34/1631.37 c cleaning 14010 clauses out of 28019 with flag 6269000/7771092 1637.12/1634.14 c cleaning 13998 clauses out of 28009 with flag 6283000/7785092 1639.93/1636.96 c cleaning 14002 clauses out of 28012 with flag 6297001/7799093 1642.73/1639.79 c cleaning 13998 clauses out of 28010 with flag 6311001/7813093 1645.63/1642.60 c cleaning 13998 clauses out of 28011 with flag 6325000/7827092 1648.43/1645.49 c cleaning 13998 clauses out of 28013 with flag 6339000/7841092 1651.34/1648.37 c cleaning 13998 clauses out of 28015 with flag 6353000/7855092 1654.24/1651.23 c cleaning 13998 clauses out of 28017 with flag 6367000/7869092 1657.04/1654.05 c cleaning 14002 clauses out of 28020 with flag 6381001/7883093 1659.95/1656.93 c cleaning 14002 clauses out of 28018 with flag 6395001/7897093 1662.86/1659.83 c cleaning 13993 clauses out of 28016 with flag 6409001/7911093 1665.75/1662.71 c cleaning 14001 clauses out of 28022 with flag 6423000/7925092 1668.75/1665.72 c cleaning 13998 clauses out of 28022 with flag 6437001/7939093 1671.67/1668.71 c cleaning 13999 clauses out of 28023 with flag 6451000/7953092 1674.66/1671.61 c cleaning 13998 clauses out of 28024 with flag 6465000/7967092 1677.66/1674.63 c cleaning 14003 clauses out of 28026 with flag 6479000/7981092 1680.47/1677.50 c cleaning 13998 clauses out of 28023 with flag 6493000/7995092 1683.56/1680.54 c cleaning 13996 clauses out of 28025 with flag 6507000/8009092 1686.56/1683.50 c cleaning 14002 clauses out of 28030 with flag 6521001/8023093 1689.47/1686.43 c cleaning 14007 clauses out of 28027 with flag 6535000/8037092 1692.38/1689.36 c cleaning 14000 clauses out of 28021 with flag 6549001/8051093 1695.28/1692.22 c cleaning 14002 clauses out of 28021 with flag 6563001/8065093 1698.20/1695.13 c cleaning 14000 clauses out of 28018 with flag 6577000/8079092 1701.09/1698.00 c cleaning 13997 clauses out of 28018 with flag 6591000/8093092 1703.99/1701.00 c cleaning 13998 clauses out of 28021 with flag 6605000/8107092 1707.01/1703.92 c cleaning 14003 clauses out of 28023 with flag 6619000/8121092 1710.00/1706.97 c cleaning 14002 clauses out of 28021 with flag 6633001/8135093 1713.00/1709.91 c cleaning 13998 clauses out of 28018 with flag 6647000/8149092 1715.90/1712.86 c cleaning 14001 clauses out of 28020 with flag 6661000/8163092 1718.90/1715.83 c cleaning 13997 clauses out of 28019 with flag 6675000/8177092 1721.90/1718.80 c cleaning 13999 clauses out of 28023 with flag 6689001/8191093 1724.81/1721.72 c cleaning 13999 clauses out of 28023 with flag 6703000/8205092 1727.71/1724.65 c cleaning 13997 clauses out of 28025 with flag 6717001/8219093 1730.71/1727.66 c cleaning 14005 clauses out of 28028 with flag 6731001/8233093 1733.61/1730.56 c cleaning 14001 clauses out of 28023 with flag 6745001/8247093 1736.52/1733.48 c cleaning 13996 clauses out of 28022 with flag 6759001/8261093 1739.42/1736.39 c cleaning 14004 clauses out of 28025 with flag 6773000/8275092 1742.33/1739.28 c cleaning 14004 clauses out of 28021 with flag 6787000/8289092 1745.33/1742.21 c cleaning 14001 clauses out of 28019 with flag 6801002/8303094 1748.24/1745.19 c cleaning 13999 clauses out of 28016 with flag 6815000/8317092 1751.24/1748.19 c cleaning 14003 clauses out of 28018 with flag 6829001/8331093 1754.26/1751.13 c cleaning 13997 clauses out of 28015 with flag 6843001/8345093 1757.15/1754.05 c cleaning 14001 clauses out of 28018 with flag 6857001/8359093 1760.15/1757.05 c cleaning 13997 clauses out of 28017 with flag 6871001/8373093 1763.35/1760.24 c cleaning 13998 clauses out of 28019 with flag 6885000/8387092 1766.48/1763.39 c cleaning 14003 clauses out of 28022 with flag 6899001/8401093 1769.56/1766.46 c cleaning 14001 clauses out of 28018 with flag 6913000/8415092 1772.57/1769.46 c cleaning 13998 clauses out of 28018 with flag 6927001/8429093 1775.57/1772.47 c cleaning 13997 clauses out of 28020 with flag 6941001/8443093 1778.59/1775.42 c cleaning 13997 clauses out of 28022 with flag 6955000/8457092 1781.58/1778.47 c cleaning 14004 clauses out of 28025 with flag 6969000/8471092 1784.68/1781.50 c cleaning 13998 clauses out of 28022 with flag 6983001/8485093 1787.68/1784.56 c cleaning 13994 clauses out of 28023 with flag 6997000/8499092 1790.71/1787.52 c cleaning 14010 clauses out of 28029 with flag 7011000/8513092 1793.69/1790.57 c cleaning 13995 clauses out of 28020 with flag 7025001/8527093 1796.80/1793.60 c cleaning 14001 clauses out of 28024 with flag 7039000/8541092 1799.90/1796.75 c cleaning 14002 clauses out of 28024 with flag 7053001/8555093 1800.02/1796.82 c starts : 307 1800.02/1796.82 c conflicts : 8555196 1800.02/1796.82 c decisions : 13471557 1800.02/1796.82 c propagations : 1123168267 1800.02/1796.82 c inspects : 11845420398 1800.02/1796.82 c shortcuts : 0 1800.02/1796.82 c learnt literals : 0 1800.02/1796.82 c learnt binary clauses : 0 1800.02/1796.82 c learnt ternary clauses : 0 1800.02/1796.82 c learnt constraints : 8555196 1800.02/1796.82 c ignored constraints : 0 1800.02/1796.82 c root simplifications : 0 1800.02/1796.82 c removed literals (reason simplification) : 6773954 1800.02/1796.82 c reason swapping (by a shorter reason) : 0 1800.02/1796.82 c Calls to reduceDB : 619 1800.02/1796.82 c number of reductions to clauses (during analyze) : 0 1800.02/1796.82 c number of learned constraints concerned by reduction : 0 1800.02/1796.82 c number of learning phase by resolution : 0 1800.02/1796.82 c number of learning phase by cutting planes : 0 1800.02/1796.82 c speed (assignments/second) : 753519.0739881011 1800.02/1796.82 c non guided choices 9472 1800.02/1796.83 c learnt constraints type 1800.02/1796.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14157 1800.02/1796.83 c constraints type 1800.02/1796.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6826 1800.02/1796.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.02/1796.83 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6326 1800.02/1796.83 s SATISFIABLE 1800.02/1796.83 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 x109 -x110 -x111 x112 -x113 x114 -x115 -x116 -x117 -x118 x119 x120 -x121 -x122 x123 -x124 -x125 x126 -x127 -x128 -x129 x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 x177 x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 x192 x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 x230 -x231 -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 1800.02/1796.83 c objective function=75 1800.02/1796.83 c Total wall clock time (in seconds): 1796.718
OK 75
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-3458298-1307158637/watcher-3458298-1307158637 -o /tmp/evaluation-result-3458298-1307158637/solver-3458298-1307158637 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458298-1307158637.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.03 2.00 3/507 27678 /proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13508980 CPUtime=0 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 3637 0 1 0 0 0 0 0 25 0 2 0 827462186 13833195520 3338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3381579 3344 917 9 0 3372735 0 [pid=27678/tid=27679] ppid=27676 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 4882 0 1 0 0 0 0 0 25 0 2 0 827462187 13850947584 5698 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.093449 s] /proc/loadavg: 2.06 2.03 2.00 3/507 27678 /proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13622056 CPUtime=0.08 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 15229 0 1 0 7 1 0 0 25 0 18 0 827462186 13948985344 14895 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3405514 14896 2018 9 0 3396248 0 [pid=27678/tid=27679] ppid=27676 vsize=13622056 CPUtime=0.07 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 13452 0 1 0 6 1 0 0 18 0 18 0 827462187 13948985344 14897 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210204643173 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13622056 [startup+0.100269 s] /proc/loadavg: 2.06 2.03 2.00 3/507 27678 /proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13622344 CPUtime=0.1 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 15486 0 1 0 9 1 0 0 25 0 18 0 827462186 13949280256 15152 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3405586 15152 2092 9 0 3396320 0 [pid=27678/tid=27679] ppid=27676 vsize=13622344 CPUtime=0.08 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 13547 0 1 0 7 1 0 0 18 0 18 0 827462187 13949280256 15153 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 47425218902867 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622344 [startup+0.300238 s] /proc/loadavg: 2.06 2.03 2.00 3/507 27678 /proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13624024 CPUtime=0.44 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 17917 0 1 0 43 1 0 0 25 0 18 0 827462186 13951000576 17338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3406006 17338 2207 9 0 3396740 0 [pid=27678/tid=27679] ppid=27676 vsize=13624024 CPUtime=0.28 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 15206 0 1 0 27 1 0 0 18 0 18 0 827462187 13951000576 17338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505585115 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 13624024 [startup+0.701202 s] /proc/loadavg: 2.06 2.03 2.00 3/507 27678 /proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13703752 CPUtime=1.6 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 28796 0 1 0 157 3 0 0 25 0 19 0 827462186 14032642048 25351 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3425938 25351 2239 9 0 3416672 0 [pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=0.67 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 18316 0 1 0 66 1 0 0 19 0 19 0 827462187 14032642048 25351 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505923183 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 13703752 [startup+1.50106 s] /proc/loadavg: 2.06 2.03 2.00 3/526 27697 /proc/meminfo: memFree=26986396/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13703752 CPUtime=2.49 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 30025 0 1 0 245 4 0 0 25 0 19 0 827462186 14032642048 26403 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3425938 26403 2243 9 0 3416672 0 [pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=1.48 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 19322 0 1 0 146 2 0 0 20 0 19 0 827462187 14032642048 26403 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505874014 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827462190 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827462190 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827462190 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.51 cores=0,2,4,6 /proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3846 0 0 0 51 0 0 0 22 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6 /proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5695 0 0 0 47 0 0 0 15 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 13703752 [startup+3.10083 s] /proc/loadavg: 2.06 2.03 2.00 3/526 27697 /proc/meminfo: memFree=26968040/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13703752 CPUtime=4.17 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 34769 0 1 0 412 5 0 0 25 0 19 0 827462186 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3425938 31140 2268 9 0 3416672 0 [pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=3.01 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 19496 0 1 0 299 2 0 0 24 0 19 0 827462187 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505869010 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 259 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 301 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 491 0 0 0 0 0 0 0 18 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 529 0 0 0 0 0 0 0 18 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 748 0 0 0 0 0 0 0 18 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=0.06 cores=0,2,4,6 /proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 2049 0 0 0 6 0 0 0 15 0 19 0 827462190 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3852 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.5 cores=0,2,4,6 /proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5704 0 0 0 50 0 0 0 16 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4.17 Current children cumulated vsize (KiB) 13703752 [startup+6.30129 s] /proc/loadavg: 2.06 2.03 2.00 3/526 27697 /proc/meminfo: memFree=26960476/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13703752 CPUtime=7.41 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 35538 0 1 0 736 5 0 0 25 0 19 0 827462186 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3425938 31889 2268 9 0 3416672 0 [pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=6.09 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 19497 0 1 0 607 2 0 0 25 0 19 0 827462187 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505930343 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 422 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 570 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 529 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=0.16 cores=0,2,4,6 /proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 2484 0 0 0 16 0 0 0 15 0 19 0 827462190 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.53 cores=0,2,4,6 /proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5722 0 0 0 53 0 0 0 15 0 19 0 827462193 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 ################ # More data... # ################ [pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 635 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6 /proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 755 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6 /proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 802 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=23.23 cores=0,2,4,6 /proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 7413 0 0 0 2310 13 0 0 15 0 19 0 827462190 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5725 0 0 0 55 0 0 0 15 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1665.35 Current children cumulated vsize (KiB) 13703752 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/526 27801 /proc/meminfo: memFree=26633316/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13703752 CPUtime=1725.41 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 42697 0 1 0 172516 25 0 0 25 0 19 0 827462186 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3425938 38262 2269 9 0 3416672 0 [pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=1696.56 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 20085 0 1 0 169651 5 0 0 25 0 19 0 827462187 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505858990 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0.46 cores=0,2,4,6 /proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 509 0 0 0 46 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6 /proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 536 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0.45 cores=0,2,4,6 /proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 573 0 0 0 45 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6 /proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 272 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 251 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0.45 cores=0,2,4,6 /proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 635 0 0 0 45 0 0 0 16 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6 /proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 755 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0.43 cores=0,2,4,6 /proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 802 0 0 0 43 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=24.13 cores=0,2,4,6 /proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 7451 0 0 0 2400 13 0 0 16 0 19 0 827462190 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5725 0 0 0 55 0 0 0 15 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1725.41 Current children cumulated vsize (KiB) 13703752 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/526 27802 /proc/meminfo: memFree=26631552/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13703752 CPUtime=1785.48 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 42796 0 1 0 178523 25 0 0 25 0 19 0 827462186 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3425938 38333 2269 9 0 3416672 0 [pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=1755.65 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 20105 0 1 0 175560 5 0 0 25 0 19 0 827462187 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505806468 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6 /proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 509 0 0 0 47 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 538 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0.46 cores=0,2,4,6 /proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 574 0 0 0 46 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 275 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0.46 cores=0,2,4,6 /proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 251 0 0 0 46 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6 /proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 636 0 0 0 47 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 755 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 804 0 0 0 44 0 0 0 16 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=25 cores=0,2,4,6 /proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 7517 0 0 0 2486 14 0 0 16 0 19 0 827462190 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5725 0 0 0 55 0 0 0 15 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (KiB) 13703752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.8 s] /proc/loadavg: 2.00 2.01 2.00 3/526 27803 /proc/meminfo: memFree=26630056/32951124 swapFree=63649284/67111528 [pid=27678] ppid=27676 vsize=13703752 CPUtime=1800.02 cores=0,2,4,6 /proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 42806 0 1 0 179976 26 0 0 25 0 19 0 827462186 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27678/statm: 3425938 38338 2269 9 0 3416672 0 [pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=1769.95 cores=0,2,4,6 /proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 20110 0 1 0 176990 5 0 0 25 0 19 0 827462187 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505802909 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0.48 cores=0,2,4,6 /proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 509 0 0 0 48 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 538 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6 /proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 574 0 0 0 47 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 275 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0.46 cores=0,2,4,6 /proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 251 0 0 0 46 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6 /proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 636 0 0 0 47 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6 /proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 755 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0.45 cores=0,2,4,6 /proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 804 0 0 0 45 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=25.2 cores=0,2,4,6 /proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 7522 0 0 0 2506 14 0 0 16 0 19 0 827462190 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0 [pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6 /proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5725 0 0 0 55 0 0 0 15 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0 [pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 [pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0 [pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6 /proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13703752 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): 1796.84 CPU time (s): 1800.07 CPU user time (s): 1799.8 CPU system time (s): 0.268959 CPU usage (%): 100.179 Max. virtual memory (cumulated for all children) (KiB): 13703752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.268959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42849 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= 54760 involuntary context switches= 13056 runsolver used 9.71352 second user time and 19.742 second system time The end
Begin job on node130 at 2011-06-04 05:37:17 IDJOB=3458298 IDBENCH=48118 IDSOLVER=1952 FILE ID=node130/3458298-1307158637 RUNJOBID= node130-1307156588-27164 PBS_JOBID= 13508786 Free space on /tmp= 73856 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_4.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458298-1307158637/watcher-3458298-1307158637 -o /tmp/evaluation-result-3458298-1307158637/solver-3458298-1307158637 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458298-1307158637.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa RANDOM SEED=258762070 node130.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.838 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.838 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.81 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.838 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.838 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.83 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.838 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27081860 kB Buffers: 274928 kB Cached: 419204 kB SwapCached: 9700 kB Active: 5215800 kB Inactive: 371660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27081860 kB SwapTotal: 67111528 kB SwapFree: 63649284 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 4891644 kB Mapped: 38924 kB Slab: 158124 kB PageTables: 54488 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 158533612 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= 73852 MiB End job on node130 at 2011-06-04 06:07:16