Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 48 | 1800.33 | 968.487 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5.r.opb |
MD5SUM | a65b7dae8af36ed37815bca4e48a5306 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 7.72782 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | YES |
Number of variables | 2428 |
Total number of constraints | 831 |
Number of constraints which are clauses | 831 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 146 |
Number of terms in the objective function | 2428 |
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 | 2428 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2428 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.08 c version 2.3.1.v20110525 0.03/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.08 c java.vm.version 19.1-b02 0.03/0.08 c java.vm.vendor Sun Microsystems Inc. 0.03/0.08 c sun.arch.data.model 64 0.03/0.08 c java.version 1.6.0_24 0.03/0.08 c os.name Linux 0.03/0.08 c os.version 2.6.18-164.el5 0.03/0.08 c os.arch amd64 0.03/0.08 c Free memory 9996466904 0.03/0.08 c Max memory 10048897024 0.03/0.08 c Total memory 10048897024 0.03/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3455290-1307192095.opb 0.11/0.11 c reading problem ... 0.59/0.35 c ... done. Wall clock time 0.237s. 0.59/0.35 c #vars 2428 0.59/0.35 c #constraints 831 0.59/0.35 c constraints type 0.59/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 831 0.59/0.35 c constraints type 0.59/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 831 0.59/0.39 c And the winner is Resolution 0.82/0.86 c SATISFIABLE 0.82/0.86 c OPTIMIZING... 0.82/0.86 c Got one! Elapsed wall clock time (in seconds):0.748 0.82/0.86 o 61 0.96/0.91 c And the winner is Resolution 1.17/1.37 c Got one! Elapsed wall clock time (in seconds):1.267 1.17/1.37 o 60 1.29/1.46 c And the winner is Resolution 1.52/1.89 c Got one! Elapsed wall clock time (in seconds):1.779 1.52/1.89 o 59 4.47/3.06 c cleaning 2543 clauses out of 5094 with flag 5000/5094 7.20/4.40 c cleaning 4266 clauses out of 8551 with flag 11000/11094 7.65/4.59 c And the winner is CuttingPlanes 7.83/4.93 c Got one! Elapsed wall clock time (in seconds):4.821 7.83/4.93 o 58 10.01/6.01 c cleaning 4930 clauses out of 9869 with flag 5002/16678 10.41/6.23 c And the winner is CuttingPlanes 10.48/6.44 c Got one! Elapsed wall clock time (in seconds):6.333 10.48/6.44 o 57 12.66/7.60 c cleaning 5378 clauses out of 10770 with flag 5000/22509 15.31/8.85 c cleaning 5690 clauses out of 11392 with flag 11000/28509 17.66/10.01 c And the winner is CuttingPlanes 17.69/10.46 c Got one! Elapsed wall clock time (in seconds):10.353 17.69/10.46 o 56 18.85/11.09 c cleaning 5636 clauses out of 11276 with flag 2000/34083 21.79/12.57 c cleaning 5813 clauses out of 11640 with flag 8000/40083 25.44/14.33 c cleaning 6407 clauses out of 12827 with flag 15000/47083 29.19/16.28 c cleaning 7208 clauses out of 14420 with flag 23000/55083 34.55/18.97 c cleaning 8097 clauses out of 16213 with flag 32001/64084 39.52/21.46 c cleaning 9053 clauses out of 18115 with flag 42000/74083 44.51/23.98 c cleaning 9529 clauses out of 19066 with flag 52004/84087 50.06/26.77 c cleaning 9761 clauses out of 19533 with flag 62000/94083 55.24/29.36 c cleaning 9880 clauses out of 19772 with flag 72000/104083 60.79/32.11 c cleaning 9942 clauses out of 19893 with flag 82001/114084 64.93/34.27 c cleaning 9974 clauses out of 19950 with flag 92000/124083 71.49/37.58 c cleaning 9984 clauses out of 19976 with flag 102000/134083 78.23/40.93 c cleaning 9991 clauses out of 19992 with flag 112000/144083 83.19/43.47 c cleaning 9990 clauses out of 20001 with flag 122000/154083 88.92/46.38 c cleaning 9998 clauses out of 20012 with flag 132001/164084 95.02/49.50 c cleaning 9999 clauses out of 20014 with flag 142001/174084 101.13/52.54 c cleaning 10004 clauses out of 20016 with flag 152002/184085 108.64/56.38 c cleaning 9996 clauses out of 20010 with flag 162000/194083 115.54/59.82 c cleaning 10002 clauses out of 20014 with flag 172000/204083 121.23/62.74 c cleaning 10001 clauses out of 20012 with flag 182000/214083 127.30/65.83 c cleaning 9998 clauses out of 20011 with flag 192000/224083 133.40/68.96 c cleaning 10002 clauses out of 20014 with flag 202001/234084 139.69/72.15 c cleaning 10002 clauses out of 20012 with flag 212001/244084 145.52/75.11 c cleaning 10001 clauses out of 20010 with flag 222001/254084 149.41/77.15 c cleaning 9997 clauses out of 20008 with flag 232000/264083 152.53/78.78 c cleaning 9996 clauses out of 20011 with flag 242000/274083 155.41/80.32 c cleaning 10003 clauses out of 20015 with flag 252000/284083 159.85/82.52 c cleaning 10004 clauses out of 20013 with flag 262001/294084 164.88/85.10 c cleaning 10001 clauses out of 20009 with flag 272001/304084 169.75/87.62 c cleaning 9995 clauses out of 20007 with flag 282000/314083 175.62/90.68 c cleaning 9997 clauses out of 20012 with flag 292000/324083 181.62/93.73 c cleaning 9996 clauses out of 20015 with flag 302000/334083 187.89/96.96 c cleaning 10003 clauses out of 20021 with flag 312002/344085 194.56/100.37 c cleaning 10002 clauses out of 20016 with flag 322000/354083 199.82/103.05 c cleaning 9999 clauses out of 20014 with flag 332000/364083 207.21/106.87 c cleaning 9992 clauses out of 20015 with flag 342000/374083 212.67/109.65 c cleaning 10006 clauses out of 20024 with flag 352001/384084 215.92/111.35 c cleaning 10001 clauses out of 20017 with flag 362000/394083 219.58/113.22 c cleaning 10000 clauses out of 20016 with flag 372000/404083 223.15/115.16 c cleaning 9998 clauses out of 20016 with flag 382000/414083 227.20/117.22 c cleaning 10004 clauses out of 20019 with flag 392001/424084 233.44/120.42 c cleaning 10005 clauses out of 20015 with flag 402001/434084 239.48/123.50 c cleaning 9999 clauses out of 20009 with flag 412000/444083 244.24/126.08 c cleaning 10000 clauses out of 20010 with flag 422000/454083 250.48/129.23 c cleaning 10003 clauses out of 20013 with flag 432003/464086 256.71/132.48 c cleaning 9997 clauses out of 20008 with flag 442001/474084 263.12/135.71 c cleaning 9994 clauses out of 20010 with flag 452000/484083 266.48/137.54 c cleaning 9997 clauses out of 20016 with flag 462000/494083 269.85/139.30 c cleaning 9999 clauses out of 20019 with flag 472000/504083 275.26/142.11 c cleaning 10005 clauses out of 20020 with flag 482000/514083 284.29/146.73 c cleaning 10001 clauses out of 20015 with flag 492000/524083 296.81/153.15 c cleaning 9999 clauses out of 20014 with flag 502000/534083 304.41/157.08 c cleaning 9996 clauses out of 20015 with flag 512000/544083 311.61/160.78 c cleaning 10004 clauses out of 20020 with flag 522001/554084 316.40/163.27 c cleaning 10002 clauses out of 20016 with flag 532001/564084 321.30/165.80 c cleaning 10003 clauses out of 20013 with flag 542000/574083 325.90/168.24 c cleaning 9994 clauses out of 20010 with flag 552000/584083 330.08/170.44 c cleaning 9997 clauses out of 20017 with flag 562001/594084 333.86/172.47 c cleaning 9998 clauses out of 20019 with flag 572000/604083 337.74/174.54 c cleaning 9997 clauses out of 20021 with flag 582000/614083 342.75/177.19 c cleaning 10008 clauses out of 20024 with flag 592000/624083 348.73/180.29 c cleaning 9997 clauses out of 20016 with flag 602000/634083 354.91/183.49 c cleaning 10003 clauses out of 20019 with flag 612000/644083 360.98/186.62 c cleaning 10000 clauses out of 20016 with flag 622000/654083 366.95/189.72 c cleaning 10005 clauses out of 20017 with flag 632001/664084 371.12/191.93 c cleaning 9995 clauses out of 20012 with flag 642001/674084 375.50/194.23 c cleaning 10002 clauses out of 20016 with flag 652000/684083 379.96/196.65 c cleaning 10000 clauses out of 20014 with flag 662000/694083 383.53/198.58 c cleaning 10000 clauses out of 20015 with flag 672001/704084 389.17/201.43 c cleaning 9998 clauses out of 20015 with flag 682001/714084 394.93/204.46 c cleaning 10001 clauses out of 20020 with flag 692004/724087 400.39/207.39 c cleaning 9993 clauses out of 20015 with flag 702000/734083 406.15/210.34 c cleaning 10006 clauses out of 20023 with flag 712001/744084 411.32/213.09 c cleaning 10002 clauses out of 20017 with flag 722001/754084 415.88/215.49 c cleaning 10000 clauses out of 20015 with flag 732001/764084 419.13/217.26 c cleaning 10001 clauses out of 20014 with flag 742000/774083 425.09/220.36 c cleaning 9999 clauses out of 20013 with flag 752000/784083 429.06/222.44 c cleaning 10000 clauses out of 20014 with flag 762000/794083 431.63/223.81 c And the winner is CuttingPlanes 431.65/224.20 c Got one! Elapsed wall clock time (in seconds):224.091 431.65/224.20 o 50 434.05/225.45 c cleaning 10952 clauses out of 21913 with flag 5000/805982 437.89/227.58 c cleaning 8477 clauses out of 16961 with flag 11000/811982 441.84/229.63 c cleaning 7737 clauses out of 15485 with flag 18001/818983 445.99/231.83 c cleaning 7869 clauses out of 15748 with flag 26001/826983 450.54/234.30 c cleaning 8437 clauses out of 16881 with flag 35003/835985 455.76/237.00 c cleaning 9215 clauses out of 18441 with flag 45000/845982 460.71/239.66 c cleaning 9608 clauses out of 19226 with flag 55000/855982 464.64/241.76 c cleaning 9804 clauses out of 19618 with flag 65000/865982 469.99/244.54 c cleaning 9904 clauses out of 19814 with flag 75000/875982 476.60/248.08 c cleaning 9947 clauses out of 19910 with flag 85000/885982 482.52/251.16 c cleaning 9972 clauses out of 19963 with flag 95000/895982 487.25/253.65 c cleaning 9990 clauses out of 19991 with flag 105000/905982 491.77/256.08 c cleaning 9995 clauses out of 20001 with flag 115000/915982 497.56/259.16 c cleaning 10000 clauses out of 20006 with flag 125000/925982 505.08/263.07 c cleaning 9995 clauses out of 20006 with flag 135000/935982 511.40/266.31 c cleaning 9998 clauses out of 20011 with flag 145000/945982 517.11/269.37 c cleaning 10001 clauses out of 20013 with flag 155000/955982 521.71/271.81 c cleaning 9998 clauses out of 20013 with flag 165001/965983 526.82/274.54 c cleaning 10000 clauses out of 20014 with flag 175000/975982 532.54/277.54 c cleaning 9995 clauses out of 20014 with flag 185000/985982 537.25/280.05 c cleaning 10007 clauses out of 20020 with flag 195001/995983 542.28/282.72 c cleaning 10003 clauses out of 20014 with flag 205002/1005984 547.56/285.57 c cleaning 9998 clauses out of 20011 with flag 215002/1015984 554.07/288.99 c cleaning 9993 clauses out of 20011 with flag 225000/1025982 560.39/292.20 c cleaning 10002 clauses out of 20018 with flag 235000/1035982 566.57/295.54 c cleaning 10002 clauses out of 20016 with flag 245000/1045982 573.48/299.13 c cleaning 9998 clauses out of 20015 with flag 255001/1055983 578.98/302.04 c cleaning 10005 clauses out of 20017 with flag 265001/1065983 585.10/305.20 c cleaning 10003 clauses out of 20014 with flag 275003/1075985 590.66/308.23 c cleaning 10002 clauses out of 20009 with flag 285001/1085983 595.57/310.87 c cleaning 9998 clauses out of 20008 with flag 295002/1095984 600.72/313.54 c cleaning 9994 clauses out of 20008 with flag 305000/1105982 606.39/316.59 c cleaning 9999 clauses out of 20014 with flag 315000/1115982 612.96/320.04 c cleaning 10002 clauses out of 20015 with flag 325000/1125982 620.25/323.83 c cleaning 9999 clauses out of 20013 with flag 335000/1135982 626.56/327.15 c cleaning 10000 clauses out of 20014 with flag 345000/1145982 631.66/329.84 c cleaning 10002 clauses out of 20017 with flag 355003/1155985 636.22/332.37 c cleaning 10001 clauses out of 20015 with flag 365003/1165985 641.11/334.92 c cleaning 9999 clauses out of 20011 with flag 375000/1175982 646.01/337.56 c cleaning 9994 clauses out of 20012 with flag 385000/1185982 651.49/340.43 c cleaning 10007 clauses out of 20018 with flag 395000/1195982 658.02/343.94 c cleaning 10000 clauses out of 20012 with flag 405001/1205983 659.09/344.65 c And the winner is CuttingPlanes 659.21/344.95 c Got one! Elapsed wall clock time (in seconds):344.838 659.21/344.95 o 49 661.10/345.98 c cleaning 7772 clauses out of 15561 with flag 4000/1211532 664.58/347.82 c cleaning 6890 clauses out of 13789 with flag 10000/1217532 668.45/349.98 c cleaning 6942 clauses out of 13899 with flag 17000/1224532 672.56/352.23 c cleaning 7475 clauses out of 14958 with flag 25001/1232533 677.63/354.93 c cleaning 8235 clauses out of 16482 with flag 34000/1241532 683.10/357.85 c cleaning 9120 clauses out of 18248 with flag 44001/1251533 688.57/360.78 c cleaning 9550 clauses out of 19127 with flag 54000/1261532 695.07/364.21 c cleaning 9781 clauses out of 19578 with flag 64001/1271533 699.33/366.51 c cleaning 9890 clauses out of 19796 with flag 74000/1281532 705.40/369.76 c cleaning 9946 clauses out of 19906 with flag 84000/1291532 710.86/372.62 c cleaning 9975 clauses out of 19961 with flag 94001/1301533 716.17/375.51 c cleaning 9985 clauses out of 19988 with flag 104003/1311535 721.45/378.37 c cleaning 9995 clauses out of 20000 with flag 114000/1321532 727.51/381.54 c cleaning 10000 clauses out of 20008 with flag 124003/1331535 732.97/384.47 c cleaning 9998 clauses out of 20006 with flag 134001/1341533 739.07/387.71 c cleaning 9999 clauses out of 20008 with flag 144001/1351533 745.34/391.02 c cleaning 10001 clauses out of 20009 with flag 154001/1361533 749.80/393.45 c cleaning 9998 clauses out of 20008 with flag 164001/1371533 756.26/396.87 c cleaning 10003 clauses out of 20010 with flag 174001/1381533 761.56/399.79 c cleaning 9999 clauses out of 20006 with flag 184000/1391532 766.23/402.25 c cleaning 9997 clauses out of 20007 with flag 194000/1401532 771.88/405.26 c cleaning 9996 clauses out of 20010 with flag 204000/1411532 779.14/409.03 c cleaning 10001 clauses out of 20014 with flag 214000/1421532 787.66/413.62 c cleaning 10002 clauses out of 20014 with flag 224001/1431533 796.51/418.11 c cleaning 9998 clauses out of 20012 with flag 234001/1441533 804.16/422.18 c cleaning 9995 clauses out of 20013 with flag 244000/1451532 810.01/425.23 c cleaning 9997 clauses out of 20018 with flag 254000/1461532 816.50/428.71 c cleaning 10001 clauses out of 20021 with flag 264000/1471532 821.95/431.64 c cleaning 10008 clauses out of 20021 with flag 274001/1481533 829.20/435.47 c cleaning 10002 clauses out of 20013 with flag 284001/1491533 834.45/438.27 c cleaning 10002 clauses out of 20011 with flag 294001/1501533 840.33/441.47 c cleaning 10000 clauses out of 20009 with flag 304001/1511533 846.18/444.55 c cleaning 9993 clauses out of 20008 with flag 314000/1521532 853.42/448.35 c cleaning 9998 clauses out of 20015 with flag 324000/1531532 859.87/451.72 c cleaning 10005 clauses out of 20018 with flag 334001/1541533 869.95/457.06 c cleaning 9999 clauses out of 20013 with flag 344001/1551533 875.00/459.80 c cleaning 9999 clauses out of 20013 with flag 354000/1561532 881.24/463.09 c cleaning 10003 clauses out of 20014 with flag 364000/1571532 886.88/466.00 c cleaning 9998 clauses out of 20011 with flag 374000/1581532 892.75/469.24 c cleaning 9998 clauses out of 20013 with flag 384000/1591532 898.99/472.50 c cleaning 10002 clauses out of 20015 with flag 394000/1601532 906.42/476.45 c cleaning 10001 clauses out of 20016 with flag 404003/1611535 912.27/479.55 c cleaning 10000 clauses out of 20012 with flag 414000/1621532 919.14/483.23 c cleaning 10000 clauses out of 20013 with flag 424001/1631533 924.97/486.31 c cleaning 9998 clauses out of 20012 with flag 434000/1641532 931.40/489.74 c cleaning 10001 clauses out of 20015 with flag 444001/1651533 938.03/493.20 c cleaning 10003 clauses out of 20013 with flag 454000/1661532 943.34/496.20 c cleaning 9999 clauses out of 20011 with flag 464001/1671533 949.13/499.24 c cleaning 9998 clauses out of 20012 with flag 474001/1681533 954.15/501.93 c cleaning 10001 clauses out of 20014 with flag 484001/1691533 958.98/504.59 c cleaning 9998 clauses out of 20012 with flag 494000/1701532 965.02/507.88 c cleaning 9998 clauses out of 20014 with flag 504000/1711532 970.83/510.98 c cleaning 9996 clauses out of 20016 with flag 514000/1721532 977.43/514.40 c cleaning 10003 clauses out of 20020 with flag 524000/1731532 981.22/516.55 c cleaning 10003 clauses out of 20017 with flag 534000/1741532 985.43/518.94 c cleaning 9998 clauses out of 20014 with flag 544000/1751532 989.42/521.11 c cleaning 9995 clauses out of 20016 with flag 554000/1761532 993.62/523.51 c cleaning 10006 clauses out of 20023 with flag 564002/1771534 998.04/525.85 c cleaning 9999 clauses out of 20016 with flag 574001/1781533 1002.20/528.22 c cleaning 10000 clauses out of 20016 with flag 584000/1791532 1008.02/531.36 c cleaning 10000 clauses out of 20016 with flag 594000/1801532 1013.76/534.40 c cleaning 10001 clauses out of 20016 with flag 604000/1811532 1020.14/537.85 c cleaning 10003 clauses out of 20015 with flag 614000/1821532 1026.90/541.50 c cleaning 9999 clauses out of 20012 with flag 624000/1831532 1032.49/544.57 c And the winner is CuttingPlanes 1032.60/544.99 c Got one! Elapsed wall clock time (in seconds):544.883 1032.60/544.99 o 48 1035.20/546.30 c cleaning 12049 clauses out of 24109 with flag 5001/1845628 1038.35/548.18 c cleaning 9027 clauses out of 18059 with flag 11000/1851627 1043.09/550.74 c cleaning 8008 clauses out of 16032 with flag 18000/1858627 1048.24/553.60 c cleaning 8009 clauses out of 16025 with flag 26001/1866628 1052.59/556.08 c cleaning 8502 clauses out of 17015 with flag 35000/1875627 1057.53/558.80 c cleaning 9252 clauses out of 18515 with flag 45002/1885629 1062.87/561.61 c cleaning 9627 clauses out of 19262 with flag 55001/1895628 1069.20/565.17 c cleaning 9810 clauses out of 19634 with flag 65000/1905627 1073.94/567.78 c cleaning 9908 clauses out of 19824 with flag 75000/1915627 1079.28/570.67 c cleaning 9954 clauses out of 19917 with flag 85001/1925628 1084.82/573.60 c cleaning 9973 clauses out of 19962 with flag 95000/1935627 1091.15/577.12 c cleaning 9990 clauses out of 19990 with flag 105001/1945628 1096.69/580.15 c cleaning 9997 clauses out of 20000 with flag 115001/1955628 1101.62/582.89 c cleaning 9998 clauses out of 20002 with flag 125000/1965627 1107.97/586.27 c cleaning 9994 clauses out of 20005 with flag 135001/1975628 1113.68/589.50 c cleaning 9998 clauses out of 20013 with flag 145003/1985630 1119.20/592.46 c cleaning 9994 clauses out of 20012 with flag 155000/1995627 1125.71/595.90 c cleaning 10006 clauses out of 20022 with flag 165004/2005631 1131.83/599.23 c cleaning 10003 clauses out of 20013 with flag 175001/2015628 1137.93/602.70 c cleaning 9997 clauses out of 20009 with flag 185000/2025627 1144.04/605.94 c cleaning 9998 clauses out of 20012 with flag 195000/2035627 1148.76/608.53 c cleaning 10002 clauses out of 20014 with flag 205000/2045627 1153.87/611.38 c cleaning 10002 clauses out of 20012 with flag 215000/2055627 1160.76/615.14 c cleaning 9996 clauses out of 20010 with flag 225000/2065627 1165.27/617.65 c cleaning 10002 clauses out of 20017 with flag 235003/2075630 1170.78/620.65 c cleaning 10000 clauses out of 20012 with flag 245000/2085627 1174.50/622.76 c cleaning 10001 clauses out of 20013 with flag 255001/2095628 1181.19/626.46 c cleaning 10003 clauses out of 20011 with flag 265000/2105627 1187.90/630.02 c cleaning 9999 clauses out of 20011 with flag 275003/2115630 1194.21/633.44 c cleaning 10001 clauses out of 20009 with flag 285000/2125627 1199.73/636.46 c cleaning 9999 clauses out of 20009 with flag 295001/2135628 1205.81/639.86 c cleaning 10000 clauses out of 20009 with flag 305000/2145627 1214.73/644.54 c cleaning 10000 clauses out of 20010 with flag 315001/2155628 1221.06/647.92 c cleaning 9998 clauses out of 20010 with flag 325001/2165628 1225.73/650.52 c cleaning 10002 clauses out of 20012 with flag 335001/2175628 1229.81/652.98 c cleaning 10000 clauses out of 20009 with flag 345000/2185627 1235.90/656.29 c cleaning 10000 clauses out of 20009 with flag 355000/2195627 1243.40/660.24 c cleaning 9997 clauses out of 20010 with flag 365001/2205628 1251.11/664.40 c cleaning 10000 clauses out of 20013 with flag 375001/2215628 1258.17/668.22 c cleaning 10001 clauses out of 20012 with flag 385000/2225627 1264.86/671.88 c cleaning 10002 clauses out of 20011 with flag 395000/2235627 1273.15/676.23 c cleaning 9997 clauses out of 20009 with flag 405000/2245627 1279.45/679.63 c cleaning 9999 clauses out of 20012 with flag 415000/2255627 1286.70/683.68 c cleaning 9998 clauses out of 20013 with flag 425000/2265627 1293.58/687.36 c cleaning 10002 clauses out of 20016 with flag 435001/2275628 1298.87/690.28 c cleaning 9996 clauses out of 20013 with flag 445000/2285627 1305.14/693.67 c cleaning 10003 clauses out of 20018 with flag 455001/2295628 1311.40/697.17 c cleaning 9998 clauses out of 20014 with flag 465000/2305627 1317.68/700.53 c cleaning 10003 clauses out of 20017 with flag 475001/2315628 1325.36/704.60 c cleaning 10000 clauses out of 20014 with flag 485001/2325628 1334.45/709.51 c cleaning 9998 clauses out of 20013 with flag 495000/2335627 1340.69/712.99 c cleaning 10002 clauses out of 20016 with flag 505001/2345628 1349.57/717.64 c cleaning 10000 clauses out of 20013 with flag 515000/2355627 1356.05/721.19 c cleaning 9997 clauses out of 20013 with flag 525000/2365627 1361.52/724.18 c cleaning 9999 clauses out of 20016 with flag 535000/2375627 1366.79/727.19 c cleaning 10004 clauses out of 20018 with flag 545001/2385628 1371.22/729.65 c cleaning 9996 clauses out of 20014 with flag 555001/2395628 1375.50/732.09 c cleaning 9997 clauses out of 20017 with flag 565000/2405627 1380.18/734.71 c cleaning 10007 clauses out of 20021 with flag 575001/2415628 1385.01/737.42 c cleaning 9993 clauses out of 20013 with flag 585000/2425627 1390.69/740.53 c cleaning 10002 clauses out of 20020 with flag 595000/2435627 1396.56/743.77 c cleaning 10003 clauses out of 20019 with flag 605001/2445628 1402.83/747.10 c cleaning 10001 clauses out of 20017 with flag 615002/2455629 1410.86/751.55 c cleaning 9994 clauses out of 20014 with flag 625000/2465627 1417.73/755.24 c cleaning 10000 clauses out of 20020 with flag 635000/2475627 1424.19/758.72 c cleaning 10003 clauses out of 20021 with flag 645001/2485628 1428.85/761.32 c cleaning 9998 clauses out of 20018 with flag 655001/2495628 1433.08/763.89 c cleaning 10002 clauses out of 20020 with flag 665001/2505628 1437.94/766.51 c cleaning 10006 clauses out of 20018 with flag 675001/2515628 1444.21/769.99 c cleaning 9997 clauses out of 20011 with flag 685000/2525627 1452.27/774.30 c cleaning 10003 clauses out of 20015 with flag 695001/2535628 1459.88/778.44 c cleaning 9998 clauses out of 20012 with flag 705001/2545628 1467.15/782.35 c cleaning 10000 clauses out of 20013 with flag 715000/2555627 1474.81/786.47 c cleaning 10000 clauses out of 20013 with flag 725000/2565627 1481.46/790.01 c cleaning 9999 clauses out of 20013 with flag 735000/2575627 1487.67/793.51 c cleaning 9997 clauses out of 20014 with flag 745000/2585627 1493.52/796.76 c cleaning 9997 clauses out of 20018 with flag 755001/2595628 1498.76/799.64 c cleaning 10002 clauses out of 20022 with flag 765002/2605629 1505.03/803.03 c cleaning 10000 clauses out of 20018 with flag 775000/2615627 1511.19/806.50 c cleaning 9995 clauses out of 20018 with flag 785000/2625627 1517.02/809.74 c cleaning 10009 clauses out of 20023 with flag 795000/2635627 1523.45/813.28 c cleaning 10002 clauses out of 20015 with flag 805001/2645628 1530.27/816.92 c cleaning 9997 clauses out of 20012 with flag 815000/2655627 1537.43/820.98 c cleaning 9998 clauses out of 20015 with flag 825000/2665627 1544.23/824.67 c cleaning 10001 clauses out of 20017 with flag 835000/2675627 1550.44/828.00 c cleaning 10002 clauses out of 20016 with flag 845000/2685627 1555.84/831.04 c cleaning 10000 clauses out of 20014 with flag 855000/2695627 1563.78/835.40 c cleaning 10000 clauses out of 20014 with flag 865000/2705627 1569.58/838.60 c cleaning 9997 clauses out of 20014 with flag 875000/2715627 1576.56/842.40 c cleaning 10004 clauses out of 20017 with flag 885000/2725627 1582.99/845.92 c cleaning 10003 clauses out of 20013 with flag 895000/2735627 1589.26/849.50 c cleaning 10000 clauses out of 20011 with flag 905001/2745628 1598.45/854.49 c cleaning 9998 clauses out of 20010 with flag 915000/2755627 1606.42/858.70 c cleaning 10001 clauses out of 20013 with flag 925001/2765628 1611.61/861.67 c cleaning 10001 clauses out of 20011 with flag 935000/2775627 1617.51/865.02 c cleaning 10003 clauses out of 20010 with flag 945000/2785627 1624.48/868.83 c cleaning 10001 clauses out of 20007 with flag 955000/2795627 1631.24/872.55 c cleaning 9993 clauses out of 20007 with flag 965001/2805628 1637.19/875.81 c cleaning 10003 clauses out of 20013 with flag 975000/2815627 1642.27/878.90 c cleaning 9998 clauses out of 20011 with flag 985001/2825628 1648.44/882.25 c cleaning 10002 clauses out of 20012 with flag 995000/2835627 1655.55/886.13 c cleaning 9998 clauses out of 20010 with flag 1005000/2845627 1661.09/889.25 c cleaning 9995 clauses out of 20012 with flag 1015000/2855627 1668.19/893.23 c cleaning 10003 clauses out of 20017 with flag 1025000/2865627 1674.89/896.94 c cleaning 9999 clauses out of 20014 with flag 1035000/2875627 1680.63/900.15 c cleaning 10001 clauses out of 20015 with flag 1045000/2885627 1686.76/903.53 c cleaning 9994 clauses out of 20014 with flag 1055000/2895627 1694.00/907.68 c cleaning 10002 clauses out of 20020 with flag 1065000/2905627 1700.93/911.44 c cleaning 9997 clauses out of 20018 with flag 1075000/2915627 1708.04/915.36 c cleaning 10004 clauses out of 20021 with flag 1085000/2925627 1713.81/918.56 c cleaning 10003 clauses out of 20017 with flag 1095000/2935627 1719.00/921.65 c cleaning 9993 clauses out of 20014 with flag 1105000/2945627 1725.73/925.35 c cleaning 10002 clauses out of 20021 with flag 1115000/2955627 1731.45/928.57 c cleaning 10005 clauses out of 20019 with flag 1125000/2965627 1736.98/931.70 c cleaning 10001 clauses out of 20018 with flag 1135004/2975631 1742.59/934.94 c cleaning 9996 clauses out of 20014 with flag 1145001/2985628 1748.50/938.27 c cleaning 10002 clauses out of 20017 with flag 1155000/2995627 1754.20/941.40 c cleaning 10002 clauses out of 20015 with flag 1165000/3005627 1759.91/944.63 c cleaning 9999 clauses out of 20014 with flag 1175001/3015628 1764.91/947.64 c cleaning 9999 clauses out of 20014 with flag 1185000/3025627 1769.21/950.11 c cleaning 10000 clauses out of 20015 with flag 1195000/3035627 1773.71/952.70 c cleaning 10005 clauses out of 20016 with flag 1205001/3045628 1777.80/955.11 c cleaning 9999 clauses out of 20010 with flag 1215000/3055627 1782.40/957.98 c cleaning 9998 clauses out of 20012 with flag 1225001/3065628 1786.70/960.42 c cleaning 10000 clauses out of 20013 with flag 1235000/3075627 1791.60/963.29 c cleaning 10000 clauses out of 20014 with flag 1245001/3085628 1796.12/965.88 c cleaning 9999 clauses out of 20013 with flag 1255000/3095627 1800.08/968.32 c starts : 24 1800.08/968.32 c conflicts : 3221 1800.08/968.32 c decisions : 136278 1800.08/968.32 c propagations : 603120 1800.08/968.32 c inspects : 31338386 1800.08/968.32 c shortcuts : 0 1800.08/968.32 c learnt literals : 0 1800.08/968.32 c learnt binary clauses : 0 1800.08/968.32 c learnt ternary clauses : 0 1800.08/968.32 c learnt constraints : 3220 1800.08/968.32 c ignored constraints : 0 1800.08/968.32 c root simplifications : 0 1800.08/968.32 c removed literals (reason simplification) : 0 1800.08/968.32 c reason swapping (by a shorter reason) : 0 1800.08/968.32 c Calls to reduceDB : 0 1800.08/968.32 c number of reductions to clauses (during analyze) : 0 1800.08/968.32 c number of learned constraints concerned by reduction : 0 1800.08/968.32 c number of learning phase by resolution : 0 1800.08/968.32 c number of learning phase by cutting planes : 0 1800.08/968.32 c speed (assignments/second) : 1424.7276902034616 1800.08/968.32 c non guided choices 0 1800.08/968.33 c learnt constraints type 1800.08/968.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 807 1800.08/968.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2413 1800.08/968.33 c constraints type 1800.08/968.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 831 1800.08/968.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/968.33 c constraints type 1800.08/968.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 831 1800.08/968.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.08/968.33 s SATISFIABLE 1800.08/968.34 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1800.08/968.34 c objective function=48 1800.08/968.34 c Total wall clock time (in seconds): 968.231
OK 48
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-3455290-1307192095/watcher-3455290-1307192095 -o /tmp/evaluation-result-3455290-1307192095/solver-3455290-1307192095 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455290-1307192095.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.95 3.11 3.25 3/542 1196 /proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/1196/stat : 1196 (java) R 1193 1196 30263 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 811624929 23580672 693 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228090488296 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/1196/statm: 5757 693 509 9 0 124 0 [pid=1196/tid=1198] ppid=1193 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) R 1193 1196 30263 0 -1 4202560 7672 0 1 0 0 0 0 0 25 0 2 0 811624929 10694979584 8488 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.038343 s] /proc/loadavg: 3.95 3.11 3.25 3/542 1196 /proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10533016 CPUtime=0.03 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 11155 0 1 0 2 1 0 0 25 0 13 0 811624929 10785808384 10853 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2633254 10854 1653 9 0 2624002 0 [pid=1196/tid=1198] ppid=1193 vsize=10533016 CPUtime=0.02 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) R 1193 1196 30263 0 -1 4202560 10008 0 1 0 2 0 0 0 18 0 13 0 811624929 10785808384 10854 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 47175754465285 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10533016 [startup+0.104375 s] /proc/loadavg: 3.95 3.11 3.25 3/542 1196 /proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10539808 CPUtime=0.11 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 13107 0 1 0 10 1 0 0 25 0 18 0 811624929 10792763392 12805 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2634952 12805 2092 9 0 2625686 0 [pid=1196/tid=1198] ppid=1193 vsize=10539808 CPUtime=0.09 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) R 1193 1196 30263 0 -1 4202560 11205 0 1 0 8 1 0 0 22 0 18 0 811624929 10792763392 12805 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912496202530 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10539808 [startup+0.305337 s] /proc/loadavg: 3.95 3.11 3.25 3/542 1196 /proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10543996 CPUtime=0.59 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 18951 0 1 0 57 2 0 0 25 0 18 0 811624929 10797051904 17660 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2635999 17662 2204 9 0 2626733 0 [pid=1196/tid=1198] ppid=1193 vsize=10543996 CPUtime=0.28 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) R 1193 1196 30263 0 -1 4202560 14314 0 1 0 27 1 0 0 22 0 18 0 811624929 10797051904 17664 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505586187 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 10543996 [startup+0.700227 s] /proc/loadavg: 3.95 3.11 3.25 3/542 1196 /proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10548560 CPUtime=0.82 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 22830 0 1 0 79 3 0 0 25 0 19 0 811624929 10801725440 21114 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2637140 21114 2225 9 0 2627874 0 [pid=1196/tid=1198] ppid=1193 vsize=10548560 CPUtime=0.33 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 17394 0 1 0 31 2 0 0 23 0 19 0 811624929 10801725440 21114 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.82 Current children cumulated vsize (KiB) 10548560 [startup+1.50108 s] /proc/loadavg: 3.95 3.11 3.25 4/562 1227 /proc/meminfo: memFree=18313680/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10548560 CPUtime=1.49 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 25820 0 1 0 145 4 0 0 25 0 20 0 811624929 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2637140 22665 2234 9 0 2627874 0 [pid=1196/tid=1198] ppid=1193 vsize=10548560 CPUtime=0.36 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 17859 0 1 0 34 2 0 0 16 0 20 0 811624929 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1200] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1201] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1202] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1203] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1204] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1206] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1207] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1208] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1210] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 811624932 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1211] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 811624932 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1212] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 20 0 811624932 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1214] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1215] ppid=1193 vsize=10548560 CPUtime=0.33 cores=1,3,5,7 /proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 2382 0 0 0 33 0 0 0 16 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1216] ppid=1193 vsize=10548560 CPUtime=0.37 cores=1,3,5,7 /proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 3733 0 0 0 37 0 0 0 16 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1217] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1218] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1223] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1223/stat : 1223 (java) S 1193 1196 30263 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 811624966 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10548560 [startup+3.10078 s] /proc/loadavg: 3.95 3.11 3.25 6/564 1234 /proc/meminfo: memFree=18296924/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10564160 CPUtime=4.68 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 40520 0 1 0 463 5 0 0 25 0 22 0 811624929 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2641040 34050 2265 9 0 2631774 0 [pid=1196/tid=1198] ppid=1193 vsize=10564160 CPUtime=0.36 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18077 0 1 0 34 2 0 0 15 0 22 0 811624929 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1200] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1201] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1202] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1203] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1204] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 227 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1206] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 252 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0 [pid=1196/tid=1207] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 292 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1208] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 348 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1210] ppid=1193 vsize=10564160 CPUtime=0.01 cores=1,3,5,7 /proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 1096 0 0 0 1 0 0 0 15 0 22 0 811624932 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1211] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811624932 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1212] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811624932 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1214] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1215] ppid=1193 vsize=10564160 CPUtime=0.6 cores=1,3,5,7 /proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 3662 0 0 0 60 0 0 0 15 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1216] ppid=1193 vsize=10564160 CPUtime=0.89 cores=1,3,5,7 /proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 10390 0 0 0 88 1 0 0 15 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0 [pid=1196/tid=1217] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1218] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1223] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1223/stat : 1223 (java) S 1193 1196 30263 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811624966 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1232] ppid=1193 vsize=10564160 CPUtime=1.17 cores=1,3,5,7 /proc/1196/task/1232/stat : 1232 (java) R 1193 1196 30263 0 -1 4202560 837 0 0 0 117 0 0 0 17 0 22 0 811625118 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505854489 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1196/tid=1233] ppid=1193 vsize=10564160 CPUtime=1.17 cores=1,3,5,7 /proc/1196/task/1233/stat : 1233 (java) R 1193 1196 30263 0 -1 4202560 3492 0 0 0 117 0 0 0 20 0 22 0 811625118 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505794615 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=1196/tid=1234] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1234/stat : 1234 (java) S 1193 1196 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811625118 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.68 Current children cumulated vsize (KiB) 10564160 [startup+6.30122 s] /proc/loadavg: 3.87 3.11 3.25 5/564 1238 /proc/meminfo: memFree=18247976/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10555452 CPUtime=10.48 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 50644 0 1 0 1041 7 0 0 25 0 19 0 811624929 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2638863 40336 2265 9 0 2629597 0 [pid=1196/tid=1198] ppid=1193 vsize=10555452 CPUtime=0.37 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18208 0 1 0 35 2 0 0 15 0 19 0 811624929 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0 [pid=1196/tid=1200] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0 [pid=1196/tid=1201] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1202] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 271 0 0 0 0 0 0 0 18 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1203] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1204] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1206] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 665 0 0 0 0 0 0 0 15 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0 [pid=1196/tid=1207] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 293 0 0 0 0 0 0 0 16 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1208] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 505 0 0 0 0 0 0 0 18 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0 [pid=1196/tid=1210] ppid=1193 vsize=10555452 CPUtime=0.06 cores=1,3,5,7 /proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 2555 0 0 0 6 0 0 0 16 0 19 0 811624932 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1211] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811624932 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1212] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 811624932 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=15740332/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10555452 CPUtime=1648.57 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 871882 0 1 0 164759 98 0 0 25 0 22 0 811624929 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2638863 861103 2267 9 0 2629597 0 [pid=1196/tid=1198] ppid=1193 vsize=10555452 CPUtime=0.41 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18371 0 1 0 39 2 0 0 15 0 22 0 811624929 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1200] ppid=1193 vsize=10555452 CPUtime=1.1 cores=1,3,5,7 /proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 2371 0 0 0 110 0 0 0 16 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1201] ppid=1193 vsize=10555452 CPUtime=1.03 cores=1,3,5,7 /proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 1033 0 0 0 103 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1202] ppid=1193 vsize=10555452 CPUtime=1.09 cores=1,3,5,7 /proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1638 0 0 0 109 0 0 0 16 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1203] ppid=1193 vsize=10555452 CPUtime=1.12 cores=1,3,5,7 /proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1061 0 0 0 112 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1204] ppid=1193 vsize=10555452 CPUtime=1.01 cores=1,3,5,7 /proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 1097 0 0 0 101 0 0 0 16 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1206] ppid=1193 vsize=10555452 CPUtime=1.11 cores=1,3,5,7 /proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 1842 0 0 0 111 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1207] ppid=1193 vsize=10555452 CPUtime=1.11 cores=1,3,5,7 /proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 1480 0 0 0 111 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1208] ppid=1193 vsize=10555452 CPUtime=1.03 cores=1,3,5,7 /proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 1291 0 0 0 103 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1210] ppid=1193 vsize=10555452 CPUtime=114.31 cores=1,3,5,7 /proc/1196/task/1210/stat : 1210 (java) R 1193 1196 30263 0 -1 4202560 93660 0 0 0 11420 11 0 0 15 0 22 0 811624932 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 47175757324675 0 0 0 16800975 0 0 0 -1 5 0 0 0 [pid=1196/tid=1211] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1212] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1214] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1215] ppid=1193 vsize=10555452 CPUtime=1.19 cores=1,3,5,7 /proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 5655 0 0 0 118 1 0 0 15 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1216] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7 /proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 10409 0 0 0 120 1 0 0 15 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1217] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1218] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1234] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1234/stat : 1234 (java) S 1193 1196 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811625118 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1276] ppid=1193 vsize=10555452 CPUtime=276 cores=1,3,5,7 /proc/1196/task/1276/stat : 1276 (java) S 1193 1196 30263 0 -1 4202560 216 0 0 0 27600 0 0 0 19 0 22 0 811679429 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1277] ppid=1193 vsize=10555452 CPUtime=276.01 cores=1,3,5,7 /proc/1196/task/1277/stat : 1277 (java) S 1193 1196 30263 0 -1 4202560 97500 0 0 0 27592 9 0 0 19 0 22 0 811679429 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1278] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1278/stat : 1278 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811679429 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1648.57 Current children cumulated vsize (KiB) 10555452 [startup+942.301 s] /proc/loadavg: 3.62 3.63 3.51 5/564 1368 /proc/meminfo: memFree=14902104/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10555452 CPUtime=1755.31 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 939301 0 1 0 175425 106 0 0 25 0 22 0 811624929 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2638863 928475 2267 9 0 2629597 0 [pid=1196/tid=1198] ppid=1193 vsize=10555452 CPUtime=0.41 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18389 0 1 0 39 2 0 0 15 0 22 0 811624929 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1200] ppid=1193 vsize=10555452 CPUtime=1.22 cores=1,3,5,7 /proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 2967 0 0 0 122 0 0 0 16 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1201] ppid=1193 vsize=10555452 CPUtime=1.14 cores=1,3,5,7 /proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 1461 0 0 0 114 0 0 0 15 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1202] ppid=1193 vsize=10555452 CPUtime=1.17 cores=1,3,5,7 /proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1753 0 0 0 117 0 0 0 15 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1203] ppid=1193 vsize=10555452 CPUtime=1.2 cores=1,3,5,7 /proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1065 0 0 0 120 0 0 0 15 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1204] ppid=1193 vsize=10555452 CPUtime=1.11 cores=1,3,5,7 /proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 1386 0 0 0 111 0 0 0 15 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1206] ppid=1193 vsize=10555452 CPUtime=1.22 cores=1,3,5,7 /proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 2293 0 0 0 122 0 0 0 16 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1207] ppid=1193 vsize=10555452 CPUtime=1.17 cores=1,3,5,7 /proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 1699 0 0 0 117 0 0 0 16 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1208] ppid=1193 vsize=10555452 CPUtime=1.14 cores=1,3,5,7 /proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 1488 0 0 0 114 0 0 0 16 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1210] ppid=1193 vsize=10555452 CPUtime=127.84 cores=1,3,5,7 /proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 106618 0 0 0 12772 12 0 0 16 0 22 0 811624932 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 5 0 0 0 [pid=1196/tid=1211] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1212] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1214] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1215] ppid=1193 vsize=10555452 CPUtime=1.19 cores=1,3,5,7 /proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 5655 0 0 0 118 1 0 0 15 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1216] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7 /proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 10409 0 0 0 120 1 0 0 15 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1217] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1218] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1234] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1234/stat : 1234 (java) S 1193 1196 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811625118 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1276] ppid=1193 vsize=10555452 CPUtime=322.21 cores=1,3,5,7 /proc/1196/task/1276/stat : 1276 (java) R 1193 1196 30263 0 -1 4202560 276 0 0 0 32221 0 0 0 16 0 22 0 811679429 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505854461 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=1196/tid=1277] ppid=1193 vsize=10555452 CPUtime=322.21 cores=1,3,5,7 /proc/1196/task/1277/stat : 1277 (java) R 1193 1196 30263 0 -1 4202560 149580 0 0 0 32206 15 0 0 16 0 22 0 811679429 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505795031 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1196/tid=1278] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1278/stat : 1278 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811679429 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1755.31 Current children cumulated vsize (KiB) 10555452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+968.302 s] /proc/loadavg: 3.73 3.66 3.52 5/564 1368 /proc/meminfo: memFree=14238440/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=10555452 CPUtime=1800.08 cores=1,3,5,7 /proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 940260 0 1 0 179902 106 0 0 25 0 22 0 811624929 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 2638863 929421 2267 9 0 2629597 0 [pid=1196/tid=1198] ppid=1193 vsize=10555452 CPUtime=0.41 cores=1,3,5,7 /proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18398 0 1 0 39 2 0 0 15 0 22 0 811624929 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1200] ppid=1193 vsize=10555452 CPUtime=1.26 cores=1,3,5,7 /proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 2969 0 0 0 126 0 0 0 15 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1201] ppid=1193 vsize=10555452 CPUtime=1.19 cores=1,3,5,7 /proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 1461 0 0 0 119 0 0 0 15 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1202] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7 /proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1754 0 0 0 121 0 0 0 16 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1203] ppid=1193 vsize=10555452 CPUtime=1.28 cores=1,3,5,7 /proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1070 0 0 0 128 0 0 0 16 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1204] ppid=1193 vsize=10555452 CPUtime=1.13 cores=1,3,5,7 /proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 1386 0 0 0 113 0 0 0 15 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1206] ppid=1193 vsize=10555452 CPUtime=1.23 cores=1,3,5,7 /proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 2293 0 0 0 123 0 0 0 15 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1207] ppid=1193 vsize=10555452 CPUtime=1.23 cores=1,3,5,7 /proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 1702 0 0 0 123 0 0 0 16 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1208] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7 /proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 1488 0 0 0 121 0 0 0 16 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1210] ppid=1193 vsize=10555452 CPUtime=135.21 cores=1,3,5,7 /proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 107555 0 0 0 13509 12 0 0 15 0 22 0 811624932 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 5 0 0 0 [pid=1196/tid=1211] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1212] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1214] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1215] ppid=1193 vsize=10555452 CPUtime=1.19 cores=1,3,5,7 /proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 5655 0 0 0 118 1 0 0 15 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1216] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7 /proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 10409 0 0 0 120 1 0 0 15 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1217] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 [pid=1196/tid=1218] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0 [pid=1196/tid=1234] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1234/stat : 1234 (java) S 1193 1196 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811625118 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0 [pid=1196/tid=1276] ppid=1193 vsize=10555452 CPUtime=340.76 cores=1,3,5,7 /proc/1196/task/1276/stat : 1276 (java) R 1193 1196 30263 0 -1 4202560 276 0 0 0 34076 0 0 0 19 0 22 0 811679429 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505812052 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=1196/tid=1277] ppid=1193 vsize=10555452 CPUtime=340.76 cores=1,3,5,7 /proc/1196/task/1277/stat : 1277 (java) R 1193 1196 30263 0 -1 4202560 149580 0 0 0 34061 15 0 0 19 0 22 0 811679429 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912506417658 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1196/tid=1278] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7 /proc/1196/task/1278/stat : 1278 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811679429 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10555452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+968.427 s] /proc/loadavg: 3.73 3.66 3.52 5/564 1368 /proc/meminfo: memFree=14238440/32951124 swapFree=58800704/67111528 [pid=1196] ppid=1193 vsize=0 CPUtime=1800.26 cores=1,3,5,7 /proc/1196/stat : 1196 (java) Z 1193 1196 30263 0 -1 4203548 940290 0 1 0 179911 115 0 0 17 0 2 0 811624929 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1196/statm: 0 0 0 0 0 0 0 [pid=1196/tid=1276] ppid=1193 vsize=0 CPUtime=340.86 cores=1,3,5,7 /proc/1196/task/1276/stat : 1276 (java) R 1193 1196 30263 0 -1 4203588 276 0 0 0 34078 8 0 0 20 0 2 0 811679429 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 968.487 CPU time (s): 1800.33 CPU user time (s): 1799.12 CPU system time (s): 1.21081 CPU usage (%): 185.891 Max. virtual memory (cumulated for all children) (KiB): 10564160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.12 system time used= 1.21081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 940290 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= 31311 involuntary context switches= 18499 runsolver used 5.14022 second user time and 12.0172 second system time The end
Begin job on node142 at 2011-06-04 14:54:55 IDJOB=3455290 IDBENCH=2873 IDSOLVER=1950 FILE ID=node142/3455290-1307192095 RUNJOBID= node142-1307191934-1005 PBS_JOBID= 13508862 Free space on /tmp= 73940 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455290-1307192095/watcher-3455290-1307192095 -o /tmp/evaluation-result-3455290-1307192095/solver-3455290-1307192095 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455290-1307192095.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a65b7dae8af36ed37815bca4e48a5306 RANDOM SEED=829415667 node142.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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 : 5131.95 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.67 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 18393656 kB Buffers: 284732 kB Cached: 456492 kB SwapCached: 11452 kB Active: 12474072 kB Inactive: 1816044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18393656 kB SwapTotal: 67111528 kB SwapFree: 58800704 kB Dirty: 1068 kB Writeback: 0 kB AnonPages: 13546676 kB Mapped: 39992 kB Slab: 117120 kB PageTables: 81236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 155762140 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= 73928 MiB End job on node142 at 2011-06-04 15:11:05