Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 52 | 1800.46 | 899.076 |
| 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 | SAT |
| Best value of the objective obtained on this benchmark | 45 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| 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.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4105458-1466253881.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 0.58/0.35 c ... done. Wall clock time 0.235s. 0.58/0.35 c declared #vars 2428 0.58/0.35 c #constraints 831 0.58/0.35 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.58/0.35 c constraints type 0.58/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 831 0.58/0.35 c 831 constraints processed. 0.58/0.35 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.58/0.35 c constraints type 0.58/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 831 0.58/0.35 c 831 constraints processed. 0.58/0.35 c objective function length is 2428 literals 0.58/0.39 c And the winner is solver0 0.79/0.85 c SATISFIABLE 0.79/0.85 c OPTIMIZING... 0.79/0.85 c Got one! Elapsed wall clock time (in seconds):0.743 0.79/0.85 o 61 0.93/0.90 c And the winner is solver0 1.08/1.37 c Got one! Elapsed wall clock time (in seconds):1.256 1.08/1.37 o 60 1.77/1.61 c And the winner is solver0 1.88/1.89 c Got one! Elapsed wall clock time (in seconds):1.781 1.88/1.89 o 59 4.18/2.81 c cleaning 2779 clauses out of 5561 with flag 15822/5561 6.77/4.05 c cleaning 4388 clauses out of 8782 with flag 35624/11561 6.97/4.17 c And the winner is solver1 7.14/4.40 c Got one! Elapsed wall clock time (in seconds):4.293 7.14/4.40 o 58 8.93/5.31 c cleaning 5002 clauses out of 10003 with flag 20804/17170 11.28/6.43 c cleaning 5458 clauses out of 10994 with flag 43394/23163 11.50/6.59 c And the winner is solver1 11.69/6.91 c Got one! Elapsed wall clock time (in seconds):6.797 11.69/6.91 o 57 13.72/7.90 c cleaning 5717 clauses out of 11435 with flag 19092/29062 15.93/9.07 c cleaning 5857 clauses out of 11714 with flag 41400/35058 18.74/10.46 c cleaning 6429 clauses out of 12858 with flag 68276/42059 21.97/12.03 c cleaning 7209 clauses out of 14428 with flag 98190/50058 25.65/13.81 c cleaning 8097 clauses out of 16219 with flag 132721/59058 29.70/15.81 c cleaning 9073 clauses out of 18146 with flag 170629/69082 34.13/18.01 c cleaning 10025 clauses out of 20049 with flag 217727/80058 38.97/20.48 c cleaning 11012 clauses out of 22024 with flag 270233/92058 43.97/22.99 c cleaning 12006 clauses out of 24012 with flag 320742/105058 49.86/25.83 c cleaning 12981 clauses out of 26006 with flag 381807/119058 56.11/28.90 c cleaning 14005 clauses out of 28025 with flag 437801/134058 62.66/32.12 c cleaning 15009 clauses out of 30020 with flag 495547/150058 69.66/35.66 c cleaning 16006 clauses out of 32012 with flag 556441/167059 77.06/39.39 c cleaning 16967 clauses out of 34005 with flag 618333/185058 85.54/43.53 c cleaning 18009 clauses out of 36038 with flag 689604/204058 94.03/47.75 c cleaning 18989 clauses out of 38029 with flag 764729/224058 103.41/52.36 c cleaning 20014 clauses out of 40040 with flag 841860/245058 113.07/57.17 c cleaning 20991 clauses out of 42026 with flag 925374/267058 123.13/62.16 c cleaning 21989 clauses out of 44035 with flag 1006366/290058 134.83/67.99 c cleaning 22998 clauses out of 46046 with flag 1091667/314058 146.89/73.90 c cleaning 24007 clauses out of 48048 with flag 1184544/339058 159.00/79.95 c cleaning 25022 clauses out of 50043 with flag 1283939/365060 172.70/86.73 c cleaning 26008 clauses out of 52019 with flag 1380858/392058 187.44/94.01 c cleaning 26964 clauses out of 54011 with flag 1482201/420058 200.94/100.79 c cleaning 27961 clauses out of 56047 with flag 1582851/449058 215.48/107.94 c cleaning 29042 clauses out of 58086 with flag 1691011/479058 230.11/115.27 c cleaning 30002 clauses out of 60044 with flag 1802572/510058 246.53/123.77 c cleaning 31012 clauses out of 62042 with flag 1919567/542058 263.38/132.19 c cleaning 31991 clauses out of 64030 with flag 2043163/575058 281.69/141.22 c cleaning 33010 clauses out of 66039 with flag 2161569/609058 299.21/149.98 c cleaning 33973 clauses out of 68029 with flag 2288030/644058 316.77/158.66 c cleaning 35020 clauses out of 70056 with flag 2425627/680058 336.84/168.69 c cleaning 36016 clauses out of 72038 with flag 2555145/717060 356.98/178.61 c cleaning 36996 clauses out of 74022 with flag 2694290/755060 379.09/189.64 c cleaning 38013 clauses out of 76027 with flag 2838078/794061 402.45/201.61 c cleaning 38994 clauses out of 78011 with flag 2982320/834058 403.08/201.91 c And the winner is solver1 403.08/201.98 c Got one! Elapsed wall clock time (in seconds):201.867 403.08/201.98 o 56 404.42/202.68 c cleaning 22221 clauses out of 44442 with flag 16664/839483 406.62/203.74 c cleaning 14050 clauses out of 28221 with flag 44075/845483 409.02/204.93 c cleaning 10582 clauses out of 21171 with flag 72009/852483 411.82/206.33 c cleaning 9268 clauses out of 18589 with flag 102406/860483 415.12/207.98 c cleaning 9153 clauses out of 18324 with flag 139082/869486 418.71/209.71 c cleaning 9561 clauses out of 19168 with flag 175296/879483 422.51/211.69 c cleaning 10304 clauses out of 20607 with flag 216622/890483 426.91/213.84 c cleaning 11081 clauses out of 22303 with flag 265200/902483 432.00/216.30 c cleaning 12111 clauses out of 24224 with flag 319328/915485 437.00/218.87 c cleaning 13040 clauses out of 26111 with flag 373566/929483 442.80/221.75 c cleaning 14024 clauses out of 28071 with flag 429043/944483 449.10/224.81 c cleaning 14994 clauses out of 30047 with flag 488599/960483 455.90/228.24 c cleaning 16028 clauses out of 32056 with flag 550651/977486 463.71/232.11 c cleaning 17011 clauses out of 34025 with flag 615962/995483 472.20/236.36 c cleaning 18007 clauses out of 36014 with flag 684988/1014483 481.72/241.07 c cleaning 19004 clauses out of 38007 with flag 757376/1034483 491.71/246.02 c cleaning 19980 clauses out of 40003 with flag 835547/1055483 502.84/251.52 c cleaning 21012 clauses out of 42023 with flag 917466/1077483 513.69/256.96 c cleaning 22006 clauses out of 44011 with flag 1001357/1100483 525.11/262.66 c cleaning 23005 clauses out of 46010 with flag 1091728/1124488 536.63/268.38 c cleaning 23971 clauses out of 48000 with flag 1192099/1149483 549.83/275.00 c cleaning 25016 clauses out of 50031 with flag 1290377/1175485 563.37/281.70 c cleaning 26002 clauses out of 52020 with flag 1393424/1202490 577.35/288.66 c cleaning 27006 clauses out of 54011 with flag 1501739/1230483 592.29/296.03 c cleaning 27999 clauses out of 56006 with flag 1618565/1259484 608.00/303.85 c cleaning 29002 clauses out of 58007 with flag 1734313/1289484 624.60/312.18 c cleaning 29962 clauses out of 60004 with flag 1852240/1320483 641.84/320.64 c cleaning 31003 clauses out of 62042 with flag 1964821/1352483 658.46/328.93 c cleaning 32020 clauses out of 64040 with flag 2086868/1385484 676.23/337.74 c cleaning 33004 clauses out of 66021 with flag 2229632/1419485 694.82/347.10 c cleaning 33977 clauses out of 68015 with flag 2355570/1454483 716.55/358.62 c cleaning 35012 clauses out of 70038 with flag 2478342/1490483 736.34/368.59 c cleaning 35989 clauses out of 72026 with flag 2622230/1527483 756.60/378.63 c cleaning 37019 clauses out of 74041 with flag 2762070/1565487 778.90/389.79 c cleaning 38009 clauses out of 76021 with flag 2910294/1604486 801.91/401.02 c cleaning 39000 clauses out of 78011 with flag 3062287/1644485 825.89/412.90 c cleaning 40001 clauses out of 80009 with flag 3208977/1685483 849.82/424.76 c cleaning 41004 clauses out of 82008 with flag 3353576/1727483 873.00/436.34 c cleaning 41997 clauses out of 84005 with flag 3511937/1770484 898.90/449.10 c cleaning 43002 clauses out of 86007 with flag 3669237/1814483 926.21/462.64 c cleaning 44004 clauses out of 88009 with flag 3833203/1859487 953.29/476.06 c cleaning 44999 clauses out of 90001 with flag 4001476/1905483 982.10/490.14 c cleaning 45994 clauses out of 92002 with flag 4168849/1952483 1011.35/504.56 c cleaning 46992 clauses out of 94008 with flag 4332075/2000483 1043.24/521.89 c cleaning 48001 clauses out of 96016 with flag 4509506/2049483 1069.24/534.74 c And the winner is solver1 1069.40/535.21 c Got one! Elapsed wall clock time (in seconds):535.097 1069.40/535.21 o 53 1071.23/536.17 c cleaning 48282 clauses out of 96564 with flag 20306/2098032 1073.23/537.17 c cleaning 27140 clauses out of 54280 with flag 43098/2104030 1075.62/538.33 c cleaning 17070 clauses out of 34140 with flag 69374/2111030 1078.42/539.71 c cleaning 12536 clauses out of 25071 with flag 101953/2119031 1081.43/541.26 c cleaning 10769 clauses out of 21543 with flag 136892/2128039 1084.82/542.96 c cleaning 10385 clauses out of 20769 with flag 175233/2138034 1088.62/544.84 c cleaning 10689 clauses out of 21380 with flag 219012/2149030 1092.82/546.94 c cleaning 11350 clauses out of 22699 with flag 261381/2161038 1097.62/549.31 c cleaning 12162 clauses out of 24341 with flag 312737/2174030 1102.63/551.82 c cleaning 13088 clauses out of 26180 with flag 363678/2188031 1108.37/554.61 c cleaning 14032 clauses out of 28091 with flag 417152/2203030 1114.37/557.67 c cleaning 15025 clauses out of 30059 with flag 476477/2219030 1120.97/560.99 c cleaning 15950 clauses out of 32034 with flag 540977/2236030 1128.17/564.55 c cleaning 17027 clauses out of 34084 with flag 612585/2254030 1135.57/568.25 c cleaning 18029 clauses out of 36057 with flag 686800/2273030 1143.57/572.24 c cleaning 18995 clauses out of 38028 with flag 766944/2293030 1151.76/576.38 c cleaning 20001 clauses out of 40033 with flag 854186/2314030 1161.39/581.02 c cleaning 21010 clauses out of 42032 with flag 941977/2336030 1170.59/585.63 c cleaning 22012 clauses out of 44023 with flag 1025003/2359031 1179.99/590.35 c cleaning 22988 clauses out of 46010 with flag 1109426/2383030 1189.98/595.32 c cleaning 24010 clauses out of 48028 with flag 1203491/2408036 1200.99/600.90 c cleaning 24983 clauses out of 50012 with flag 1301200/2434030 1212.39/606.56 c cleaning 26016 clauses out of 52031 with flag 1407843/2461032 1224.88/612.70 c cleaning 26997 clauses out of 54013 with flag 1514798/2489030 1237.48/618.99 c cleaning 28008 clauses out of 56016 with flag 1627011/2518030 1251.28/625.86 c cleaning 28974 clauses out of 58008 with flag 1746121/2548030 1265.69/633.00 c cleaning 30007 clauses out of 60034 with flag 1862322/2579030 1280.48/640.47 c cleaning 31006 clauses out of 62027 with flag 1982317/2611030 1297.29/648.66 c cleaning 32006 clauses out of 64021 with flag 2108613/2644030 1312.90/656.48 c cleaning 32987 clauses out of 66018 with flag 2237022/2678033 1329.89/664.95 c cleaning 34014 clauses out of 68028 with flag 2374847/2713030 1347.29/673.63 c cleaning 35003 clauses out of 70019 with flag 2512533/2749035 1366.64/683.12 c cleaning 36000 clauses out of 72011 with flag 2644208/2786030 1384.83/692.26 c cleaning 36999 clauses out of 74011 with flag 2780019/2824030 1387.43/693.60 c And the winner is solver1 1387.69/693.88 c Got one! Elapsed wall clock time (in seconds):693.773 1387.69/693.88 o 52 1389.29/694.76 c cleaning 24601 clauses out of 49201 with flag 20489/2836219 1391.29/695.77 c cleaning 15280 clauses out of 30600 with flag 47699/2842219 1393.69/696.95 c cleaning 11148 clauses out of 22320 with flag 76252/2849219 1396.29/698.27 c cleaning 9488 clauses out of 19172 with flag 107487/2857219 1399.48/699.80 c cleaning 9343 clauses out of 18685 with flag 150093/2866220 1403.74/701.78 c cleaning 9670 clauses out of 19346 with flag 189050/2876224 1407.74/703.79 c cleaning 10310 clauses out of 20671 with flag 232181/2887219 1412.14/705.99 c cleaning 11168 clauses out of 22361 with flag 278071/2899219 1416.93/708.37 c cleaning 12091 clauses out of 24193 with flag 331864/2912219 1422.13/710.99 c cleaning 13046 clauses out of 26102 with flag 383378/2926219 1428.73/714.07 c cleaning 14015 clauses out of 28056 with flag 439602/2941219 1435.13/717.23 c cleaning 15012 clauses out of 30041 with flag 502900/2957219 1441.53/720.48 c cleaning 16010 clauses out of 32029 with flag 567329/2974219 1449.12/724.24 c cleaning 17010 clauses out of 34021 with flag 635755/2992221 1457.72/728.28 c cleaning 18005 clauses out of 36009 with flag 702549/3011219 1465.91/732.32 c cleaning 18983 clauses out of 38004 with flag 781600/3031219 1474.51/736.68 c cleaning 20000 clauses out of 40023 with flag 866130/3052221 1484.11/741.43 c cleaning 21001 clauses out of 42021 with flag 962511/3074219 1494.38/746.30 c cleaning 22012 clauses out of 44024 with flag 1055144/3097223 1504.78/751.51 c cleaning 22999 clauses out of 46009 with flag 1146931/3121220 1515.39/756.85 c cleaning 24004 clauses out of 48009 with flag 1245943/3146219 1528.00/762.89 c cleaning 24972 clauses out of 50005 with flag 1344576/3172219 1540.80/769.24 c cleaning 25997 clauses out of 52033 with flag 1454617/3199219 1554.20/775.93 c cleaning 27011 clauses out of 54036 with flag 1559487/3227219 1567.20/782.48 c cleaning 27989 clauses out of 56025 with flag 1676985/3256219 1580.60/789.14 c cleaning 29017 clauses out of 58036 with flag 1796622/3286219 1595.90/796.51 c cleaning 30003 clauses out of 60019 with flag 1916170/3317219 1610.60/803.69 c cleaning 31002 clauses out of 62016 with flag 2048331/3349219 1627.00/811.82 c cleaning 31976 clauses out of 64014 with flag 2164554/3382219 1643.59/820.18 c cleaning 33010 clauses out of 66039 with flag 2293835/3416220 1660.79/828.50 c cleaning 34012 clauses out of 68031 with flag 2422491/3451222 1677.79/837.05 c cleaning 35002 clauses out of 70016 with flag 2567071/3487219 1700.07/849.49 c cleaning 36007 clauses out of 72014 with flag 2711439/3524219 1719.28/859.07 c cleaning 37004 clauses out of 74007 with flag 2855394/3562219 1739.25/868.80 c cleaning 37999 clauses out of 76003 with flag 3009556/3601219 1758.84/878.57 c cleaning 38990 clauses out of 78004 with flag 3182246/3641219 1779.91/888.93 c cleaning 40008 clauses out of 80018 with flag 3353881/3682223 1800.09/899.00 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.09/899.00 c starts : 60947 1800.09/899.00 c conflicts : 3723153 1800.09/899.00 c decisions : 43042713 1800.09/899.00 c propagations : 1511150422 1800.09/899.00 c inspects : 6063240000 1800.09/899.00 c shortcuts : 0 1800.09/899.00 c learnt literals : 0 1800.09/899.00 c learnt binary clauses : 0 1800.09/899.00 c learnt ternary clauses : 0 1800.09/899.00 c learnt constraints : 3723153 1800.09/899.00 c ignored constraints : 0 1800.09/899.00 c root simplifications : 0 1800.09/899.00 c removed literals (reason simplification) : 32426014 1800.09/899.00 c reason swapping (by a shorter reason) : 0 1800.09/899.00 c Calls to reduceDB : 156 1800.09/899.00 c Number of update (reduction) of LBD : 1877294 1800.09/899.00 c Imported unit clauses : 0 1800.09/899.00 c number of reductions to clauses (during analyze) : 0 1800.09/899.00 c number of learned constraints concerned by reduction : 0 1800.09/899.00 c number of learning phase by resolution : 0 1800.09/899.00 c number of learning phase by cutting planes : 0 1800.09/899.00 c speed (assignments/second) : 7367835.466428735 1800.09/899.00 c non guided choices 0 1800.09/899.03 c learnt constraints type 1800.09/899.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 80940 1800.09/899.03 c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<< 1800.09/899.03 c starts : 34 1800.09/899.03 c conflicts : 6312 1800.09/899.03 c decisions : 220191 1800.09/899.03 c propagations : 828080 1800.09/899.03 c inspects : 121082673 1800.09/899.03 c shortcuts : 0 1800.09/899.03 c learnt literals : 0 1800.09/899.03 c learnt binary clauses : 0 1800.09/899.03 c learnt ternary clauses : 0 1800.09/899.03 c learnt constraints : 6311 1800.09/899.03 c ignored constraints : 0 1800.09/899.03 c root simplifications : 0 1800.09/899.03 c removed literals (reason simplification) : 0 1800.09/899.03 c reason swapping (by a shorter reason) : 0 1800.09/899.03 c Calls to reduceDB : 0 1800.09/899.03 c Number of update (reduction) of LBD : 0 1800.09/899.03 c Imported unit clauses : 0 1800.09/899.03 c number of reductions to clauses (during analyze) : 0 1800.09/899.03 c number of learned constraints concerned by reduction : 0 1800.09/899.03 c number of learning phase by resolution : 0 1800.09/899.03 c number of learning phase by cutting planes : 0 1800.09/899.03 c speed (assignments/second) : 923.0354230783379 1800.09/899.03 c non guided choices 0 1800.09/899.03 c learnt constraints type 1800.09/899.03 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 983 1800.09/899.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5328 1800.09/899.03 s SATISFIABLE 1800.09/899.03 c Found 8 solution(s) 1800.09/899.04 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.09/899.04 c objective function=52 1800.09/899.04 c Total wall clock time (in seconds): 898.932
OK 52
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4105458-1466253881/watcher-4105458-1466253881 -o /tmp/evaluation-result-4105458-1466253881/solver-4105458-1466253881 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105458-1466253881.opb pid=1135 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.94 4.11 3.93 5/197 1138 /proc/meminfo: memFree=30454156/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9224 CPUtime=0 cores=0,2,4,6 /proc/1138/stat : 1138 (java) R 1135 1138 18358 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 1 0 27434852 9445376 97 33554432000 1073741824 1073778376 140734103285744 140734103282872 214360485767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2290 90 68 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 3.94 4.11 3.93 5/197 1138 /proc/meminfo: memFree=30454156/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 4431 0 1 0 8 1 0 0 20 0 18 0 27434852 9787879424 6053 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2389619 6053 2141 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 3.94 4.11 3.93 5/197 1138 /proc/meminfo: memFree=30454156/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 4921 0 1 0 27 1 0 0 20 0 18 0 27434852 9787879424 6977 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2389619 6977 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300236 s] /proc/loadavg: 3.94 4.11 3.93 5/197 1138 /proc/meminfo: memFree=30454156/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9558476 CPUtime=0.58 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 7605 0 1 0 56 2 0 0 20 0 18 0 27434852 9787879424 10594 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2389619 10594 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 9558476 [startup+0.700291 s] /proc/loadavg: 3.94 4.11 3.93 5/197 1138 /proc/meminfo: memFree=30454156/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 7820 0 1 0 75 4 0 0 20 0 19 0 27434852 10060525568 15782 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2456183 15782 2255 9 0 2446860 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 9824732 [startup+1.50074 s] /proc/loadavg: 3.94 4.11 3.93 3/216 1166 /proc/meminfo: memFree=30296540/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 9619 0 1 0 141 6 0 0 20 0 22 0 27434852 10060525568 20212 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2456183 20212 2264 9 0 2446860 0 [pid=1138/tid=1140] ppid=1135 vsize=9824732 CPUtime=0.35 cores=0,2,4,6 /proc/1138/task/1140/stat : 1140 (java) S 1135 1138 18358 0 -1 4202560 2442 0 1 0 33 2 0 0 20 0 22 0 27434853 10060525568 20212 33554432000 1073741824 1073778376 140734103285744 139972613784440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1141] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1141/stat : 1141 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 20212 33554432000 1073741824 1073778376 140734103285744 139972586236712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1142] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1142/stat : 1142 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 20212 33554432000 1073741824 1073778376 140734103285744 139972585183912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1143] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1143/stat : 1143 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 20212 33554432000 1073741824 1073778376 140734103285744 139972584131624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1144] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1144/stat : 1144 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139972583078824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1145] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1145/stat : 1145 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139972453116200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1146] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1146/stat : 1146 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139972452063400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1147] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1147/stat : 1147 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139972451011112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1148] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1148/stat : 1148 (java) S 1135 1138 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139972449958312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1149] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1149/stat : 1149 (java) S 1135 1138 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27434855 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139971967445736 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1150] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1150/stat : 1150 (java) S 1135 1138 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139971966391800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1151] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1151/stat : 1151 (java) S 1135 1138 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139971965339400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1152] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1152/stat : 1152 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139971964287888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1153] ppid=1135 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/1138/task/1153/stat : 1153 (java) R 1135 1138 18358 0 -1 4202560 2284 0 0 0 30 0 0 0 20 0 22 0 27434858 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139971963231760 139972620244144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1154] ppid=1135 vsize=9824732 CPUtime=0.35 cores=0,2,4,6 /proc/1138/task/1154/stat : 1154 (java) R 1135 1138 18358 0 -1 4202560 3544 0 0 0 35 0 0 0 20 0 22 0 27434858 10060525568 20213 33554432000 1073741824 1073778376 140734103285744 139971962169256 139972615352048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1155] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1155/stat : 1155 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 20214 33554432000 1073741824 1073778376 140734103285744 139971961129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1156] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1156/stat : 1156 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 20214 33554432000 1073741824 1073778376 140734103285744 139971960077000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1160] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1160/stat : 1160 (java) S 1135 1138 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27434889 10060525568 20215 33554432000 1073741824 1073778376 140734103285744 139971955865128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 9824732 [startup+3.10091 s] /proc/loadavg: 3.78 4.07 3.92 6/219 1175 /proc/meminfo: memFree=30273868/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9824732 CPUtime=4.81 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 15077 0 1 0 471 10 0 0 20 0 22 0 27434852 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2456183 28182 2278 9 0 2446860 0 [pid=1138/tid=1140] ppid=1135 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/1138/task/1140/stat : 1140 (java) S 1135 1138 18358 0 -1 4202560 2443 0 1 0 34 2 0 0 20 0 22 0 27434853 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972613784440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1141] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1141/stat : 1141 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972586236712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1142] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1142/stat : 1142 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972585183912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1143] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1143/stat : 1143 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972584131624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1144] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1144/stat : 1144 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972583078824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1145] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1145/stat : 1145 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972453116200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1146] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1146/stat : 1146 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972452063400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1147] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1147/stat : 1147 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972451011112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1148] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1148/stat : 1148 (java) S 1135 1138 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139972449958312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1149] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1149/stat : 1149 (java) S 1135 1138 18358 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27434855 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971967445736 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1150] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1150/stat : 1150 (java) S 1135 1138 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971966391800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1151] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1151/stat : 1151 (java) S 1135 1138 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971965339400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1152] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1152/stat : 1152 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971964287888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1153] ppid=1135 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/1138/task/1153/stat : 1153 (java) S 1135 1138 18358 0 -1 4202560 7510 0 0 0 78 2 0 0 20 0 22 0 27434858 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971963234488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1154] ppid=1135 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/1138/task/1154/stat : 1154 (java) S 1135 1138 18358 0 -1 4202560 3740 0 0 0 63 0 0 0 20 0 22 0 27434858 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971962181688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1155] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1155/stat : 1155 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971961129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1156] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1156/stat : 1156 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971960077000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1160] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1160/stat : 1160 (java) S 1135 1138 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27434889 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971955865128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1173] ppid=1135 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/1138/task/1173/stat : 1173 (java) R 1135 1138 18358 0 -1 4202560 5 0 0 0 119 0 0 0 20 0 22 0 27435043 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971957967808 139972464194785 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1174] ppid=1135 vsize=9824732 CPUtime=1.14 cores=0,2,4,6 /proc/1138/task/1174/stat : 1174 (java) R 1135 1138 18358 0 -1 4202560 26 0 0 0 114 0 0 0 20 0 22 0 27435043 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971959020472 139972464743779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1175] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1175/stat : 1175 (java) S 1135 1138 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27435043 10060525568 28182 33554432000 1073741824 1073778376 140734103285744 139971956917160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.81 Current children cumulated vsize (KiB) 9824732 [startup+6.30092 s] /proc/loadavg: 3.78 4.07 3.92 6/219 1184 /proc/meminfo: memFree=30072052/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9824732 CPUtime=11.08 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 15459 0 1 0 1095 13 0 0 20 0 22 0 27434852 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2456183 41052 2281 9 0 2446860 0 [pid=1138/tid=1140] ppid=1135 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/1138/task/1140/stat : 1140 (java) S 1135 1138 18358 0 -1 4202560 2444 0 1 0 34 2 0 0 20 0 22 0 27434853 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972613784440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1141] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1141/stat : 1141 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972586236712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1142] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1142/stat : 1142 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972585183912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1143] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1143/stat : 1143 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972584131624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1144] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1144/stat : 1144 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972583078824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1145] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1145/stat : 1145 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972453116200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1146] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1146/stat : 1146 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972452063400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1147] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1147/stat : 1147 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972451011112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1148] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1148/stat : 1148 (java) S 1135 1138 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27434854 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139972449958312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1149] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1149/stat : 1149 (java) S 1135 1138 18358 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27434855 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139971967445736 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1150] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1150/stat : 1150 (java) S 1135 1138 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139971966391800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1151] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1151/stat : 1151 (java) S 1135 1138 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139971965339400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1152] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1152/stat : 1152 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139971964287888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1153] ppid=1135 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/1138/task/1153/stat : 1153 (java) S 1135 1138 18358 0 -1 4202560 7523 0 0 0 103 2 0 0 20 0 22 0 27434858 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139971963234488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1154] ppid=1135 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/1138/task/1154/stat : 1154 (java) S 1135 1138 18358 0 -1 4202560 4071 0 0 0 75 0 0 0 20 0 22 0 27434858 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139971962181688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1155] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1155/stat : 1155 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 41052 33554432000 1073741824 1073778376 140734103285744 139971961129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1156] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.90 4.45 4.18 5/219 1227 /proc/meminfo: memFree=23468748/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9824732 CPUtime=1648.39 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 27849 0 1 0 164439 400 0 0 20 0 22 0 27434852 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2456183 910070 2302 9 0 2446860 0 [pid=1138/tid=1140] ppid=1135 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/1138/task/1140/stat : 1140 (java) S 1135 1138 18358 0 -1 4202560 2458 0 1 0 40 3 0 0 20 0 22 0 27434853 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972613784440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1141] ppid=1135 vsize=9824732 CPUtime=3.54 cores=0,2,4,6 /proc/1138/task/1141/stat : 1141 (java) S 1135 1138 18358 0 -1 4202560 1213 0 0 0 309 45 0 0 20 0 22 0 27434854 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972586236712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1142] ppid=1135 vsize=9824732 CPUtime=3.98 cores=0,2,4,6 /proc/1138/task/1142/stat : 1142 (java) S 1135 1138 18358 0 -1 4202560 1767 0 0 0 346 52 0 0 20 0 22 0 27434854 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972585183912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1143] ppid=1135 vsize=9824732 CPUtime=3.63 cores=0,2,4,6 /proc/1138/task/1143/stat : 1143 (java) S 1135 1138 18358 0 -1 4202560 1128 0 0 0 319 44 0 0 20 0 22 0 27434854 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972584131624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1144] ppid=1135 vsize=9824732 CPUtime=3.4 cores=0,2,4,6 /proc/1138/task/1144/stat : 1144 (java) S 1135 1138 18358 0 -1 4202560 997 0 0 0 301 39 0 0 20 0 22 0 27434854 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972583078824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1145] ppid=1135 vsize=9824732 CPUtime=3.06 cores=0,2,4,6 /proc/1138/task/1145/stat : 1145 (java) S 1135 1138 18358 0 -1 4202560 1160 0 0 0 266 40 0 0 20 0 22 0 27434854 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972453116200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1146] ppid=1135 vsize=9824732 CPUtime=3.08 cores=0,2,4,6 /proc/1138/task/1146/stat : 1146 (java) S 1135 1138 18358 0 -1 4202560 987 0 0 0 272 36 0 0 20 0 22 0 27434854 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972452063400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1147] ppid=1135 vsize=9824732 CPUtime=3.54 cores=0,2,4,6 /proc/1138/task/1147/stat : 1147 (java) S 1135 1138 18358 0 -1 4202560 1336 0 0 0 316 38 0 0 20 0 22 0 27434854 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972451011112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1148] ppid=1135 vsize=9824732 CPUtime=3.68 cores=0,2,4,6 /proc/1138/task/1148/stat : 1148 (java) S 1135 1138 18358 0 -1 4202560 1036 0 0 0 319 49 0 0 20 0 22 0 27434854 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139972449958312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1149] ppid=1135 vsize=9824732 CPUtime=6.5 cores=0,2,4,6 /proc/1138/task/1149/stat : 1149 (java) S 1135 1138 18358 0 -1 4202560 2539 0 0 0 642 8 0 0 20 0 22 0 27434855 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971967445736 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1150] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1150/stat : 1150 (java) S 1135 1138 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971966391800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1151] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1151/stat : 1151 (java) S 1135 1138 18358 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971965339400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1152] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1152/stat : 1152 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971964287888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1153] ppid=1135 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/1138/task/1153/stat : 1153 (java) S 1135 1138 18358 0 -1 4202560 7552 0 0 0 166 2 0 0 20 0 22 0 27434858 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971963234488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1154] ppid=1135 vsize=9824732 CPUtime=0.87 cores=0,2,4,6 /proc/1138/task/1154/stat : 1154 (java) S 1135 1138 18358 0 -1 4202560 4072 0 0 0 87 0 0 0 20 0 22 0 27434858 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971962181688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1155] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1155/stat : 1155 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971961129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1156] ppid=1135 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/1138/task/1156/stat : 1156 (java) S 1135 1138 18358 0 -1 4202560 47 0 0 0 7 12 0 0 20 0 22 0 27434858 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971960077000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1175] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1175/stat : 1175 (java) S 1135 1138 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27435043 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971956917160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1222] ppid=1135 vsize=9824732 CPUtime=126.33 cores=0,2,4,6 /proc/1138/task/1222/stat : 1222 (java) R 1135 1138 18358 0 -1 4202560 3 0 0 0 12632 1 0 0 20 0 22 0 27504243 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971957967616 139972464729203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1223] ppid=1135 vsize=9824732 CPUtime=126.33 cores=0,2,4,6 /proc/1138/task/1223/stat : 1223 (java) R 1135 1138 18358 0 -1 4202560 10 0 0 0 12632 1 0 0 20 0 22 0 27504243 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971959021600 139972464716738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1224] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1224/stat : 1224 (java) S 1135 1138 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27504243 10060525568 910070 33554432000 1073741824 1073778376 140734103285744 139971955865128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1648.39 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.57 4.44 4.19 6/219 1228 /proc/meminfo: memFree=23096096/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9824732 CPUtime=1766.71 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 29603 0 1 0 176243 428 0 0 20 0 22 0 27434852 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2456183 1002916 2302 9 0 2446860 0 [pid=1138/tid=1140] ppid=1135 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/1138/task/1140/stat : 1140 (java) S 1135 1138 18358 0 -1 4202560 2458 0 1 0 40 3 0 0 20 0 22 0 27434853 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972613784440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1141] ppid=1135 vsize=9824732 CPUtime=3.91 cores=0,2,4,6 /proc/1138/task/1141/stat : 1141 (java) S 1135 1138 18358 0 -1 4202560 1294 0 0 0 342 49 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972586236712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1142] ppid=1135 vsize=9824732 CPUtime=4.23 cores=0,2,4,6 /proc/1138/task/1142/stat : 1142 (java) S 1135 1138 18358 0 -1 4202560 1804 0 0 0 369 54 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972585183912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1143] ppid=1135 vsize=9824732 CPUtime=3.93 cores=0,2,4,6 /proc/1138/task/1143/stat : 1143 (java) S 1135 1138 18358 0 -1 4202560 1189 0 0 0 346 47 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972584131624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1144] ppid=1135 vsize=9824732 CPUtime=3.73 cores=0,2,4,6 /proc/1138/task/1144/stat : 1144 (java) S 1135 1138 18358 0 -1 4202560 1054 0 0 0 331 42 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972583078824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1145] ppid=1135 vsize=9824732 CPUtime=3.37 cores=0,2,4,6 /proc/1138/task/1145/stat : 1145 (java) S 1135 1138 18358 0 -1 4202560 1233 0 0 0 294 43 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972453116200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1146] ppid=1135 vsize=9824732 CPUtime=3.37 cores=0,2,4,6 /proc/1138/task/1146/stat : 1146 (java) S 1135 1138 18358 0 -1 4202560 1035 0 0 0 298 39 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972452063400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1147] ppid=1135 vsize=9824732 CPUtime=3.85 cores=0,2,4,6 /proc/1138/task/1147/stat : 1147 (java) S 1135 1138 18358 0 -1 4202560 1400 0 0 0 345 40 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972451011112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1148] ppid=1135 vsize=9824732 CPUtime=4.06 cores=0,2,4,6 /proc/1138/task/1148/stat : 1148 (java) S 1135 1138 18358 0 -1 4202560 1131 0 0 0 353 53 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972449958312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1149] ppid=1135 vsize=9824732 CPUtime=9.44 cores=0,2,4,6 /proc/1138/task/1149/stat : 1149 (java) S 1135 1138 18358 0 -1 4202560 3769 0 0 0 934 10 0 0 20 0 22 0 27434855 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971967445736 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1150] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1150/stat : 1150 (java) S 1135 1138 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971966391800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1151] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1151/stat : 1151 (java) S 1135 1138 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971965339400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1152] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1152/stat : 1152 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971964287888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1153] ppid=1135 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/1138/task/1153/stat : 1153 (java) S 1135 1138 18358 0 -1 4202560 7552 0 0 0 166 2 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971963234488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1154] ppid=1135 vsize=9824732 CPUtime=0.87 cores=0,2,4,6 /proc/1138/task/1154/stat : 1154 (java) S 1135 1138 18358 0 -1 4202560 4072 0 0 0 87 0 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971962181688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1155] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1155/stat : 1155 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971961129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1156] ppid=1135 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/1138/task/1156/stat : 1156 (java) S 1135 1138 18358 0 -1 4202560 51 0 0 0 8 13 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971960077000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1175] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1175/stat : 1175 (java) S 1135 1138 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27435043 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971956917160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1222] ppid=1135 vsize=9824732 CPUtime=182.75 cores=0,2,4,6 /proc/1138/task/1222/stat : 1222 (java) R 1135 1138 18358 0 -1 4202560 4 0 0 0 18273 2 0 0 20 0 22 0 27504243 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971957967728 139972464708368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1223] ppid=1135 vsize=9824732 CPUtime=182.74 cores=0,2,4,6 /proc/1138/task/1223/stat : 1223 (java) R 1135 1138 18358 0 -1 4202560 12 0 0 0 18272 2 0 0 20 0 22 0 27504243 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971959021376 139972465318377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1224] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1224/stat : 1224 (java) S 1135 1138 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27504243 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971955865128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1766.71 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.001 s] /proc/loadavg: 4.45 4.42 4.19 5/219 1228 /proc/meminfo: memFree=23095976/32872528 swapFree=1286400/1433568 [pid=1138] ppid=1135 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6 /proc/1138/stat : 1138 (java) S 1135 1138 18358 0 -1 4202496 29603 0 1 0 179580 429 0 0 20 0 22 0 27434852 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 140734103276880 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1138/statm: 2456183 1002916 2302 9 0 2446860 0 [pid=1138/tid=1140] ppid=1135 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/1138/task/1140/stat : 1140 (java) S 1135 1138 18358 0 -1 4202560 2458 0 1 0 40 3 0 0 20 0 22 0 27434853 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972613784440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1141] ppid=1135 vsize=9824732 CPUtime=3.91 cores=0,2,4,6 /proc/1138/task/1141/stat : 1141 (java) S 1135 1138 18358 0 -1 4202560 1294 0 0 0 342 49 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972586236712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1142] ppid=1135 vsize=9824732 CPUtime=4.23 cores=0,2,4,6 /proc/1138/task/1142/stat : 1142 (java) S 1135 1138 18358 0 -1 4202560 1804 0 0 0 369 54 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972585183912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1143] ppid=1135 vsize=9824732 CPUtime=3.93 cores=0,2,4,6 /proc/1138/task/1143/stat : 1143 (java) S 1135 1138 18358 0 -1 4202560 1189 0 0 0 346 47 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972584131624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1144] ppid=1135 vsize=9824732 CPUtime=3.73 cores=0,2,4,6 /proc/1138/task/1144/stat : 1144 (java) S 1135 1138 18358 0 -1 4202560 1054 0 0 0 331 42 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972583078824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1145] ppid=1135 vsize=9824732 CPUtime=3.37 cores=0,2,4,6 /proc/1138/task/1145/stat : 1145 (java) S 1135 1138 18358 0 -1 4202560 1233 0 0 0 294 43 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972453116200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1146] ppid=1135 vsize=9824732 CPUtime=3.37 cores=0,2,4,6 /proc/1138/task/1146/stat : 1146 (java) S 1135 1138 18358 0 -1 4202560 1035 0 0 0 298 39 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972452063400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1147] ppid=1135 vsize=9824732 CPUtime=3.85 cores=0,2,4,6 /proc/1138/task/1147/stat : 1147 (java) S 1135 1138 18358 0 -1 4202560 1400 0 0 0 345 40 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972451011112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1148] ppid=1135 vsize=9824732 CPUtime=4.06 cores=0,2,4,6 /proc/1138/task/1148/stat : 1148 (java) S 1135 1138 18358 0 -1 4202560 1131 0 0 0 353 53 0 0 20 0 22 0 27434854 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139972449958312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1149] ppid=1135 vsize=9824732 CPUtime=9.44 cores=0,2,4,6 /proc/1138/task/1149/stat : 1149 (java) S 1135 1138 18358 0 -1 4202560 3769 0 0 0 934 10 0 0 20 0 22 0 27434855 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971967445736 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1150] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1150/stat : 1150 (java) S 1135 1138 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971966391800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1151] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1151/stat : 1151 (java) S 1135 1138 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27434856 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971965339400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1152] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1152/stat : 1152 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971964287888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1153] ppid=1135 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/1138/task/1153/stat : 1153 (java) S 1135 1138 18358 0 -1 4202560 7552 0 0 0 166 2 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971963234488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1154] ppid=1135 vsize=9824732 CPUtime=0.87 cores=0,2,4,6 /proc/1138/task/1154/stat : 1154 (java) S 1135 1138 18358 0 -1 4202560 4072 0 0 0 87 0 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971962181688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1155] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1155/stat : 1155 (java) S 1135 1138 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971961129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1138/tid=1156] ppid=1135 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/1138/task/1156/stat : 1156 (java) S 1135 1138 18358 0 -1 4202560 51 0 0 0 9 13 0 0 20 0 22 0 27434858 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971960077000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1175] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1175/stat : 1175 (java) S 1135 1138 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27435043 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971956917160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1138/tid=1222] ppid=1135 vsize=9824732 CPUtime=199.45 cores=0,2,4,6 /proc/1138/task/1222/stat : 1222 (java) R 1135 1138 18358 0 -1 4202560 4 0 0 0 19942 3 0 0 20 0 22 0 27504243 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971957960864 139972464798091 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=1138/tid=1223] ppid=1135 vsize=9824732 CPUtime=199.43 cores=0,2,4,6 /proc/1138/task/1223/stat : 1223 (java) R 1135 1138 18358 0 -1 4202560 12 0 0 0 19940 3 0 0 20 0 22 0 27504243 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971959021376 139972465428670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1138/tid=1224] ppid=1135 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1138/task/1224/stat : 1224 (java) S 1135 1138 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27504243 10060525568 1002916 33554432000 1073741824 1073778376 140734103285744 139971955865128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 1138 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 899.076 CPU time (s): 1800.46 CPU user time (s): 1795.93 CPU system time (s): 4.53231 CPU usage (%): 200.257 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.93 system time used= 4.53231 maximum resident set size= 4011776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29640 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23968 involuntary context switches= 31389 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.63214 second user time and 7.35488 second system time The end
Begin job on node130 at 2016-06-18 14:44:41 IDJOB=4105458 IDBENCH=2873 IDSOLVER=2543 FILE ID=node130/4105458-1466253881 RUNJOBID= node130-1466240252-18374 PBS_JOBID= 19918180 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105458-1466253881/watcher-4105458-1466253881 -o /tmp/evaluation-result-4105458-1466253881/solver-4105458-1466253881 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105458-1466253881.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a65b7dae8af36ed37815bca4e48a5306 RANDOM SEED=292507424 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30456732 kB Buffers: 25068 kB Cached: 144072 kB SwapCached: 1896 kB Active: 114444 kB Inactive: 122424 kB Active(anon): 67620 kB Inactive(anon): 2208 kB Active(file): 46824 kB Inactive(file): 120216 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67098716 kB Dirty: 1728 kB Writeback: 0 kB AnonPages: 1549876 kB Mapped: 15320 kB Shmem: 0 kB Slab: 601008 kB SReclaimable: 43688 kB SUnreclaim: 557320 kB KernelStack: 1760 kB PageTables: 6620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2131316 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node130 at 2016-06-18 14:59:40