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) | 32 | 1800.43 | 900.365 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
| MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 27 |
| Best CPU time to get the best result obtained on this benchmark | 1.22881 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 30 |
| Optimality of the best value was proved | NO |
| Number of variables | 5256 |
| Total number of constraints | 15614 |
| Number of constraints which are clauses | 15614 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 2531 |
| 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 | 2531 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2531 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 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.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081467-1465239831.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.09/0.53 c ... done. Wall clock time 0.412s. 1.09/0.53 c declared #vars 5256 1.09/0.53 c #constraints 15614 1.09/0.53 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.09/0.53 c constraints type 1.09/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734 1.09/0.53 c org.sat4j.minisat.constraints.cnf.UnitClause => 222 1.09/0.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658 1.09/0.53 c 15614 constraints processed. 1.09/0.53 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.09/0.53 c constraints type 1.09/0.53 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12658 1.09/0.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2734 1.09/0.53 c org.sat4j.pb.constraints.pb.UnitClausePB => 222 1.09/0.53 c 15614 constraints processed. 1.09/0.53 c objective function length is 2531 literals 1.44/0.64 c And the winner is solver1 2.25/1.04 c SATISFIABLE 2.25/1.04 c OPTIMIZING... 2.25/1.04 c Got one! Elapsed wall clock time (in seconds):0.921 2.25/1.04 o 43 2.25/1.09 c And the winner is solver0 2.71/1.55 c Got one! Elapsed wall clock time (in seconds):1.433 2.71/1.55 o 42 7.46/3.67 c cleaning 2493 clauses out of 5013 with flag 20849/5014 13.13/6.49 c cleaning 4257 clauses out of 8520 with flag 50987/11014 16.23/7.96 c And the winner is solver1 16.39/8.06 c Got one! Elapsed wall clock time (in seconds):7.943 16.39/8.06 o 41 18.10/8.97 c cleaning 4737 clauses out of 9480 with flag 10430/16231 23.36/11.57 c cleaning 5363 clauses out of 10743 with flag 40114/22231 29.56/14.62 c cleaning 6189 clauses out of 12380 with flag 73807/29231 31.86/15.72 c And the winner is solver1 31.94/16.07 c Got one! Elapsed wall clock time (in seconds):15.949 31.94/16.07 o 40 34.40/17.37 c cleaning 5778 clauses out of 11558 with flag 14290/34598 39.81/20.04 c cleaning 5888 clauses out of 11780 with flag 44417/40598 46.29/23.29 c cleaning 6447 clauses out of 12893 with flag 74775/47599 53.67/26.99 c cleaning 7213 clauses out of 14445 with flag 114897/55598 62.34/31.23 c cleaning 8114 clauses out of 16232 with flag 159797/64598 72.10/36.05 c cleaning 9055 clauses out of 18120 with flag 218130/74600 77.98/38.90 c And the winner is solver1 78.04/39.15 c Got one! Elapsed wall clock time (in seconds):39.032 78.04/39.15 o 39 82.49/41.30 c cleaning 10090 clauses out of 20182 with flag 23687/85717 88.22/44.18 c cleaning 8037 clauses out of 16091 with flag 60378/91716 94.61/47.38 c cleaning 7527 clauses out of 15054 with flag 101600/98716 101.60/50.81 c cleaning 7761 clauses out of 15527 with flag 141194/106716 108.69/54.34 c cleaning 8370 clauses out of 16766 with flag 184858/115716 117.75/58.81 c cleaning 9195 clauses out of 18396 with flag 237346/125716 127.15/63.58 c cleaning 10101 clauses out of 20201 with flag 290263/136716 137.65/68.78 c cleaning 11045 clauses out of 22100 with flag 356486/148716 141.06/70.41 c And the winner is solver1 141.08/70.66 c Got one! Elapsed wall clock time (in seconds):70.539 141.08/70.66 o 38 142.77/71.53 c cleaning 8220 clauses out of 16443 with flag 9714/154104 147.95/74.13 c cleaning 7111 clauses out of 14221 with flag 40630/160102 154.83/77.52 c cleaning 7055 clauses out of 14111 with flag 78287/167103 162.23/81.26 c cleaning 7517 clauses out of 15055 with flag 116357/175102 171.03/85.62 c cleaning 8269 clauses out of 16538 with flag 159821/184102 180.32/90.30 c cleaning 9131 clauses out of 18269 with flag 213639/194102 190.51/95.37 c cleaning 10068 clauses out of 20138 with flag 270423/205102 201.26/100.64 c cleaning 11035 clauses out of 22070 with flag 332160/217102 213.26/106.60 c cleaning 12007 clauses out of 24035 with flag 389739/230102 226.31/113.10 c cleaning 13010 clauses out of 26032 with flag 451857/244106 239.97/119.99 c cleaning 14009 clauses out of 28018 with flag 524302/259102 253.82/126.86 c cleaning 14995 clauses out of 30009 with flag 595978/275102 267.89/133.82 c cleaning 16007 clauses out of 32014 with flag 683460/292102 285.57/142.62 c cleaning 16994 clauses out of 34007 with flag 762385/310102 293.26/146.40 c And the winner is solver1 293.30/146.69 c Got one! Elapsed wall clock time (in seconds):146.577 293.30/146.69 o 37 297.57/148.84 c cleaning 14787 clauses out of 29581 with flag 24025/322670 302.64/151.37 c cleaning 10396 clauses out of 20792 with flag 52703/328668 308.43/154.26 c cleaning 8694 clauses out of 17396 with flag 87517/335668 314.65/157.40 c cleaning 8351 clauses out of 16702 with flag 128898/343668 322.51/161.21 c cleaning 8662 clauses out of 17351 with flag 171283/352668 331.31/165.69 c cleaning 9344 clauses out of 18689 with flag 227586/362668 342.03/171.34 c cleaning 10160 clauses out of 20345 with flag 286128/373668 353.03/176.81 c cleaning 11093 clauses out of 22185 with flag 341815/385668 365.04/182.83 c cleaning 12024 clauses out of 24092 with flag 406890/398668 377.76/189.11 c cleaning 13008 clauses out of 26068 with flag 470123/412668 392.04/196.22 c cleaning 14023 clauses out of 28060 with flag 546056/427668 405.97/203.15 c And the winner is solver1 406.09/203.54 c Got one! Elapsed wall clock time (in seconds):203.418 406.09/203.54 o 36 410.43/205.76 c cleaning 16959 clauses out of 33924 with flag 24165/447555 415.61/208.35 c cleaning 11483 clauses out of 22965 with flag 55655/453555 421.51/211.25 c cleaning 9238 clauses out of 18482 with flag 93950/460555 428.11/214.56 c cleaning 8622 clauses out of 17244 with flag 134830/468555 435.29/218.14 c cleaning 8804 clauses out of 17622 with flag 184621/477555 442.89/221.90 c cleaning 9409 clauses out of 18818 with flag 237031/487555 451.96/226.49 c cleaning 10205 clauses out of 20410 with flag 295219/498556 461.95/231.49 c cleaning 11101 clauses out of 22204 with flag 358557/510555 473.15/237.01 c cleaning 12046 clauses out of 24103 with flag 426994/523555 485.61/243.22 c cleaning 13023 clauses out of 26057 with flag 504582/537555 496.79/248.82 c cleaning 14017 clauses out of 28034 with flag 572975/552555 508.45/254.65 c cleaning 14995 clauses out of 30017 with flag 646600/568555 521.45/261.14 c cleaning 16003 clauses out of 32022 with flag 729770/585555 535.11/267.92 c cleaning 17010 clauses out of 34020 with flag 820504/603556 549.18/274.97 c cleaning 17992 clauses out of 36009 with flag 923712/622555 563.58/282.16 c cleaning 18992 clauses out of 38017 with flag 1034201/642555 580.68/291.16 c cleaning 20000 clauses out of 40025 with flag 1148049/663555 598.94/300.28 c cleaning 21012 clauses out of 42025 with flag 1278629/685555 614.41/307.99 c cleaning 22006 clauses out of 44013 with flag 1404915/708555 630.39/315.85 c cleaning 22995 clauses out of 46007 with flag 1530374/732555 633.84/317.51 c And the winner is solver1 633.90/317.66 c Got one! Elapsed wall clock time (in seconds):317.537 633.90/317.66 o 35 638.23/319.86 c cleaning 16627 clauses out of 33268 with flag 21310/742811 643.63/322.54 c cleaning 11321 clauses out of 22641 with flag 45186/748811 649.84/325.63 c cleaning 9160 clauses out of 18320 with flag 74347/755811 656.54/328.99 c cleaning 8576 clauses out of 17160 with flag 113589/763811 664.65/332.96 c cleaning 8786 clauses out of 17584 with flag 172067/772811 672.45/336.86 c cleaning 9375 clauses out of 18798 with flag 225726/782811 681.06/341.18 c cleaning 10204 clauses out of 20423 with flag 287139/793811 691.13/346.16 c cleaning 11068 clauses out of 22219 with flag 350956/805811 701.73/351.40 c cleaning 12076 clauses out of 24151 with flag 413066/818811 712.63/356.80 c cleaning 13039 clauses out of 26077 with flag 484058/832813 725.83/363.43 c cleaning 14009 clauses out of 28036 with flag 567381/847811 740.32/370.69 c cleaning 15015 clauses out of 30029 with flag 653051/863813 756.32/378.65 c cleaning 15988 clauses out of 32012 with flag 755050/880811 773.24/387.00 c cleaning 16991 clauses out of 34024 with flag 854220/898811 790.84/395.83 c cleaning 17998 clauses out of 36033 with flag 971250/917811 810.19/406.26 c cleaning 19018 clauses out of 38035 with flag 1081601/937811 828.86/415.59 c cleaning 20005 clauses out of 40018 with flag 1199092/958812 849.28/425.79 c cleaning 21006 clauses out of 42012 with flag 1309031/980811 870.82/436.41 c cleaning 21997 clauses out of 44006 with flag 1430506/1003811 887.61/444.80 c And the winner is solver1 887.66/444.98 c Got one! Elapsed wall clock time (in seconds):444.866 887.66/444.98 o 34 892.08/447.20 c cleaning 22878 clauses out of 45765 with flag 24280/1027567 897.28/449.85 c cleaning 14444 clauses out of 28887 with flag 53467/1033567 904.06/453.12 c cleaning 10723 clauses out of 21445 with flag 85359/1040569 910.66/456.50 c cleaning 9343 clauses out of 18720 with flag 128682/1048567 918.06/460.18 c cleaning 9187 clauses out of 18377 with flag 176187/1057567 925.45/463.81 c cleaning 9574 clauses out of 19190 with flag 225582/1067567 933.45/467.82 c cleaning 10300 clauses out of 20616 with flag 282595/1078567 942.57/472.32 c cleaning 11153 clauses out of 22316 with flag 351543/1090567 950.97/476.52 c cleaning 12078 clauses out of 24163 with flag 414193/1103567 961.17/481.66 c cleaning 13032 clauses out of 26085 with flag 483046/1117567 973.16/487.66 c cleaning 14013 clauses out of 28053 with flag 561028/1132567 985.55/493.85 c cleaning 14999 clauses out of 30040 with flag 643085/1148567 1000.17/501.04 c cleaning 15997 clauses out of 32041 with flag 732899/1165567 1015.56/508.72 c cleaning 17004 clauses out of 34044 with flag 831017/1183567 1032.68/517.26 c cleaning 17998 clauses out of 36040 with flag 932458/1202567 1050.09/525.98 c cleaning 19010 clauses out of 38042 with flag 1051093/1222567 1068.27/535.06 c cleaning 20006 clauses out of 40032 with flag 1173125/1243567 1088.24/545.00 c cleaning 21005 clauses out of 42026 with flag 1300763/1265567 1090.08/545.79 c And the winner is solver1 1090.29/546.12 c Got one! Elapsed wall clock time (in seconds):545.999 1090.29/546.12 o 33 1093.65/547.85 c cleaning 13229 clauses out of 26482 with flag 19846/1271028 1099.04/550.56 c cleaning 9619 clauses out of 19257 with flag 52084/1277032 1105.44/553.74 c cleaning 8319 clauses out of 16638 with flag 93533/1284032 1112.63/557.38 c cleaning 8158 clauses out of 16315 with flag 138780/1292028 1120.84/561.42 c cleaning 8579 clauses out of 17157 with flag 189904/1301028 1130.44/566.14 c cleaning 9289 clauses out of 18578 with flag 242653/1311028 1140.63/571.26 c cleaning 10123 clauses out of 20289 with flag 302148/1322028 1151.83/576.83 c cleaning 11060 clauses out of 22166 with flag 367318/1334028 1164.04/582.93 c cleaning 12044 clauses out of 24106 with flag 431848/1347028 1177.24/589.55 c cleaning 13011 clauses out of 26062 with flag 508058/1361028 1194.38/599.38 c cleaning 14013 clauses out of 28051 with flag 590748/1376028 1209.64/606.95 c cleaning 15017 clauses out of 30038 with flag 676377/1392028 1225.12/614.68 c cleaning 15997 clauses out of 32021 with flag 758157/1409028 1241.72/622.98 c cleaning 17007 clauses out of 34024 with flag 850518/1427028 1259.24/631.68 c cleaning 18009 clauses out of 36018 with flag 947399/1446029 1278.23/641.14 c cleaning 18996 clauses out of 38010 with flag 1052243/1466030 1298.56/651.22 c cleaning 20006 clauses out of 40012 with flag 1170940/1487028 1318.92/661.37 c cleaning 21002 clauses out of 42006 with flag 1300848/1509028 1319.72/661.79 c And the winner is solver1 1319.94/662.08 c Got one! Elapsed wall clock time (in seconds):661.963 1319.94/662.08 o 32 1323.96/664.16 c cleaning 13475 clauses out of 26960 with flag 24091/1514984 1328.76/666.59 c cleaning 9743 clauses out of 19485 with flag 54379/1520984 1334.56/669.44 c cleaning 8354 clauses out of 16742 with flag 94596/1527984 1341.16/672.73 c cleaning 8195 clauses out of 16389 with flag 140887/1535985 1348.36/676.39 c cleaning 8581 clauses out of 17193 with flag 190339/1544984 1357.77/681.05 c cleaning 9290 clauses out of 18612 with flag 241598/1554984 1368.94/686.53 c cleaning 10147 clauses out of 20322 with flag 297626/1565984 1380.54/692.37 c cleaning 11078 clauses out of 22176 with flag 359366/1577985 1393.33/698.79 c cleaning 12046 clauses out of 24099 with flag 424842/1590986 1405.93/705.09 c cleaning 13024 clauses out of 26052 with flag 499197/1604985 1420.25/712.02 c cleaning 14008 clauses out of 28027 with flag 579927/1619984 1434.84/719.34 c cleaning 14985 clauses out of 30020 with flag 672293/1635985 1450.45/727.13 c cleaning 16018 clauses out of 32035 with flag 771126/1652985 1467.63/735.74 c cleaning 17000 clauses out of 34016 with flag 867879/1670984 1486.68/745.13 c cleaning 18009 clauses out of 36017 with flag 975777/1689985 1505.89/754.77 c cleaning 18986 clauses out of 38007 with flag 1080072/1709984 1526.07/764.88 c cleaning 20012 clauses out of 40023 with flag 1192506/1730986 1549.33/776.19 c cleaning 20989 clauses out of 42009 with flag 1316642/1752984 1570.95/786.79 c cleaning 21989 clauses out of 44020 with flag 1450644/1775984 1593.34/797.79 c cleaning 23015 clauses out of 46031 with flag 1592633/1799984 1616.34/809.24 c cleaning 24000 clauses out of 48016 with flag 1723414/1824984 1640.95/821.39 c cleaning 24998 clauses out of 50018 with flag 1875608/1850986 1666.72/834.01 c cleaning 26006 clauses out of 52018 with flag 2019450/1877984 1690.21/845.61 c cleaning 26976 clauses out of 54012 with flag 2157157/1905984 1717.21/859.00 c cleaning 28003 clauses out of 56036 with flag 2294221/1934984 1744.56/872.63 c cleaning 28989 clauses out of 58033 with flag 2439660/1964984 1774.28/887.43 c cleaning 30013 clauses out of 60044 with flag 2603740/1995984 1800.08/900.30 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.08/900.30 c starts : 39979 1800.08/900.30 c conflicts : 2024794 1800.08/900.30 c decisions : 18868956 1800.08/900.30 c propagations : 4491580817 1800.08/900.30 c inspects : 5272298808 1800.08/900.30 c shortcuts : 0 1800.08/900.30 c learnt literals : 1 1800.08/900.30 c learnt binary clauses : 0 1800.08/900.30 c learnt ternary clauses : 36 1800.08/900.30 c learnt constraints : 2024793 1800.08/900.30 c ignored constraints : 0 1800.08/900.30 c root simplifications : 0 1800.08/900.30 c removed literals (reason simplification) : 9758108 1800.08/900.30 c reason swapping (by a shorter reason) : 0 1800.08/900.30 c Calls to reduceDB : 146 1800.08/900.30 c Number of update (reduction) of LBD : 871811 1800.08/900.30 c Imported unit clauses : 0 1800.08/900.30 c number of reductions to clauses (during analyze) : 0 1800.08/900.30 c number of learned constraints concerned by reduction : 0 1800.08/900.30 c number of learning phase by resolution : 0 1800.08/900.30 c number of learning phase by cutting planes : 0 1800.08/900.30 c speed (assignments/second) : 1.885515528828999E7 1800.08/900.30 c non guided choices 0 1800.08/900.32 c learnt constraints type 1800.08/900.32 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 58841 1800.08/900.32 c >>>>>>>>>> Solver number 1 (11 answers) <<<<<<<<<<<<<<<<<< 1800.08/900.32 c starts : 33 1800.08/900.32 c conflicts : 4431 1800.08/900.32 c decisions : 373120 1800.08/900.32 c propagations : 2612760 1800.08/900.32 c inspects : 100044854 1800.08/900.32 c shortcuts : 0 1800.08/900.32 c learnt literals : 0 1800.08/900.32 c learnt binary clauses : 0 1800.08/900.32 c learnt ternary clauses : 1 1800.08/900.32 c learnt constraints : 4430 1800.08/900.32 c ignored constraints : 0 1800.08/900.32 c root simplifications : 0 1800.08/900.32 c removed literals (reason simplification) : 0 1800.08/900.32 c reason swapping (by a shorter reason) : 0 1800.08/900.32 c Calls to reduceDB : 0 1800.08/900.32 c Number of update (reduction) of LBD : 0 1800.08/900.32 c Imported unit clauses : 0 1800.08/900.32 c number of reductions to clauses (during analyze) : 0 1800.08/900.32 c number of learned constraints concerned by reduction : 0 1800.08/900.32 c number of learning phase by resolution : 0 1800.08/900.32 c number of learning phase by cutting planes : 0 1800.08/900.32 c speed (assignments/second) : 2907.0590277314177 1800.08/900.32 c non guided choices 0 1800.08/900.33 c learnt constraints type 1800.08/900.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 103 1800.08/900.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 112 1800.08/900.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4215 1800.08/900.33 s SATISFIABLE 1800.08/900.33 c Found 12 solution(s) 1800.08/900.34 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 x192 x193 x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 x3007 x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 x4397 x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 x5067 x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 x5219 x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 x5252 x5253 x5254 x5255 x5256 1800.08/900.34 c objective function=32 1800.08/900.34 c Total wall clock time (in seconds): 900.227
OK 32
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-4081467-1465239831/watcher-4081467-1465239831 -o /tmp/evaluation-result-4081467-1465239831/solver-4081467-1465239831 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12333 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081467-1465239831.opb pid=17136 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.04 4.05 4.00 4/197 17139 /proc/meminfo: memFree=30890140/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/17139/stat : 17139 (java) R 17136 17139 12316 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 105916347 9515008 130 33554432000 1073741824 1073778376 140737153802224 140737153799352 262962799498 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2323 141 104 9 0 71 0 [startup+0.10011 s] /proc/loadavg: 4.04 4.05 4.00 4/197 17139 /proc/meminfo: memFree=30890140/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 105916347 9787879424 6046 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2389619 6046 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.2003 s] /proc/loadavg: 4.04 4.05 4.00 4/197 17139 /proc/meminfo: memFree=30890140/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 4997 0 1 0 26 1 0 0 20 0 18 0 105916347 9787879424 6869 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2389619 6869 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.30022 s] /proc/loadavg: 4.04 4.05 4.00 4/197 17139 /proc/meminfo: memFree=30890140/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 6141 0 1 0 48 1 0 0 20 0 18 0 105916347 9787879424 9090 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2389619 9090 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700204 s] /proc/loadavg: 4.04 4.05 4.00 4/197 17139 /proc/meminfo: memFree=30890140/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 25288 0 1 0 168 6 0 0 20 0 19 0 105916347 10060525568 32036 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2456183 32036 2255 9 0 2446860 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 9824732 [startup+1.50081 s] /proc/loadavg: 4.04 4.05 4.00 6/217 17164 /proc/meminfo: memFree=30773220/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9824732 CPUtime=2.71 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 27179 0 1 0 263 8 0 0 20 0 19 0 105916347 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2456183 31250 2267 9 0 2446860 0 [pid=17139/tid=17141] ppid=17136 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/17139/task/17141/stat : 17141 (java) S 17136 17139 12316 0 -1 4202560 2444 0 1 0 50 2 0 0 20 0 19 0 105916348 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042615309176 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17142] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17142/stat : 17142 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916349 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042458622632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17143] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17143/stat : 17143 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916349 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042457570088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17144] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17144/stat : 17144 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916349 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042456517544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17145] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17145/stat : 17145 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916349 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042455465000 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17146] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17146/stat : 17146 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916349 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042454411432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17147] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17147/stat : 17147 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916349 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042453358888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17148] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17148/stat : 17148 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916349 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042452306344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17149] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17149/stat : 17149 (java) S 17136 17139 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105916349 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140042451253800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17150] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17150/stat : 17150 (java) S 17136 17139 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105916350 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041968925288 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17151] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17151/stat : 17151 (java) S 17136 17139 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105916351 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041967871608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17152] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17152/stat : 17152 (java) S 17136 17139 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105916351 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041966818952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17153] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17153/stat : 17153 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916353 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041965767696 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17154] ppid=17136 vsize=9824732 CPUtime=0.85 cores=1,3,5,7 /proc/17139/task/17154/stat : 17154 (java) S 17136 17139 12316 0 -1 4202560 12134 0 0 0 83 2 0 0 20 0 19 0 105916353 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041964714040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17155] ppid=17136 vsize=9824732 CPUtime=0.87 cores=1,3,5,7 /proc/17139/task/17155/stat : 17155 (java) S 17136 17139 12316 0 -1 4202560 11256 0 0 0 85 2 0 0 20 0 19 0 105916353 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041963661496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17156] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17156/stat : 17156 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916353 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041962609144 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17157] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17157/stat : 17157 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105916353 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041961556808 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17164] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17164/stat : 17164 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105916453 10060525568 31250 33554432000 1073741824 1073778376 140737153802224 140041956746280 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.71 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 4.04 4.05 4.00 5/219 17167 /proc/meminfo: memFree=30758372/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9824732 CPUtime=6.45 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 27231 0 1 0 635 10 0 0 20 0 22 0 105916347 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2456183 40498 2276 9 0 2446860 0 [pid=17139/tid=17141] ppid=17136 vsize=9824732 CPUtime=0.53 cores=1,3,5,7 /proc/17139/task/17141/stat : 17141 (java) S 17136 17139 12316 0 -1 4202560 2444 0 1 0 51 2 0 0 20 0 22 0 105916348 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042615309176 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17142] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17142/stat : 17142 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042458622632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17143] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17143/stat : 17143 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042457570088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17144] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17144/stat : 17144 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042456517544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17145] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17145/stat : 17145 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042455465000 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17146] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17146/stat : 17146 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042454411432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17147] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17147/stat : 17147 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042453358888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17148] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17148/stat : 17148 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042452306344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17149] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17149/stat : 17149 (java) S 17136 17139 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140042451253800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17150] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17150/stat : 17150 (java) S 17136 17139 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105916350 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041968925288 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17151] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17151/stat : 17151 (java) S 17136 17139 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041967871608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17152] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17152/stat : 17152 (java) S 17136 17139 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041966818952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17153] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17153/stat : 17153 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041965767696 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17154] ppid=17136 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/17139/task/17154/stat : 17154 (java) S 17136 17139 12316 0 -1 4202560 12144 0 0 0 123 2 0 0 20 0 22 0 105916353 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041964714040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17155] ppid=17136 vsize=9824732 CPUtime=1.17 cores=1,3,5,7 /proc/17139/task/17155/stat : 17155 (java) S 17136 17139 12316 0 -1 4202560 11261 0 0 0 115 2 0 0 20 0 22 0 105916353 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041963661496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17156] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17156/stat : 17156 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041962609144 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17157] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17157/stat : 17157 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041961556808 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17164] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17164/stat : 17164 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105916453 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041956746280 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17165] ppid=17136 vsize=9824732 CPUtime=1.5 cores=1,3,5,7 /proc/17139/task/17165/stat : 17165 (java) R 17136 17139 12316 0 -1 4202560 5 0 0 0 150 0 0 0 20 0 22 0 105916503 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041958849320 140042459824509 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17166] ppid=17136 vsize=9824732 CPUtime=1.49 cores=1,3,5,7 /proc/17139/task/17166/stat : 17166 (java) R 17136 17139 12316 0 -1 4202560 30 0 0 0 149 0 0 0 20 0 22 0 105916503 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041959901696 140042459845070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17167] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17167/stat : 17167 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105916504 10060525568 40498 33554432000 1073741824 1073778376 140737153802224 140041957799336 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.45 Current children cumulated vsize (KiB) 9824732 [startup+6.3008 s] /proc/loadavg: 4.04 4.05 4.00 5/219 17167 /proc/meminfo: memFree=30654224/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9824732 CPUtime=12.93 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 27302 0 1 0 1282 11 0 0 20 0 22 0 105916347 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2456183 53671 2292 9 0 2446860 0 [pid=17139/tid=17141] ppid=17136 vsize=9824732 CPUtime=0.53 cores=1,3,5,7 /proc/17139/task/17141/stat : 17141 (java) S 17136 17139 12316 0 -1 4202560 2444 0 1 0 51 2 0 0 20 0 22 0 105916348 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042615309176 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17142] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17142/stat : 17142 (java) S 17136 17139 12316 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042458622632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17143] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17143/stat : 17143 (java) S 17136 17139 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042457570088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17144] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17144/stat : 17144 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042456517544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17145] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17145/stat : 17145 (java) S 17136 17139 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042455465000 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17146] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17146/stat : 17146 (java) S 17136 17139 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042454411432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17147] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17147/stat : 17147 (java) S 17136 17139 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042453358888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17148] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17148/stat : 17148 (java) S 17136 17139 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042452306344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17149] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17149/stat : 17149 (java) S 17136 17139 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105916349 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140042451253800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17150] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17150/stat : 17150 (java) S 17136 17139 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105916350 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140041968925288 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17151] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17151/stat : 17151 (java) S 17136 17139 12316 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140041967871608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17152] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17152/stat : 17152 (java) S 17136 17139 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140041966818952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17153] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17153/stat : 17153 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140041965767696 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17154] ppid=17136 vsize=9824732 CPUtime=1.28 cores=1,3,5,7 /proc/17139/task/17154/stat : 17154 (java) S 17136 17139 12316 0 -1 4202560 12144 0 0 0 126 2 0 0 20 0 22 0 105916353 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140041964714040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17155] ppid=17136 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/17139/task/17155/stat : 17155 (java) S 17136 17139 12316 0 -1 4202560 11265 0 0 0 121 2 0 0 20 0 22 0 105916353 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140041963661496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17156] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17156/stat : 17156 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 53671 33554432000 1073741824 1073778376 140737153802224 140041962609144 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17157] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.04 4.03 4.00 5/219 17307 /proc/meminfo: memFree=27830640/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9824732 CPUtime=1763.97 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 38655 0 1 0 176062 335 0 0 20 0 22 0 105916347 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2456183 758637 2302 9 0 2446860 0 [pid=17139/tid=17141] ppid=17136 vsize=9824732 CPUtime=0.6 cores=1,3,5,7 /proc/17139/task/17141/stat : 17141 (java) S 17136 17139 12316 0 -1 4202560 2455 0 1 0 57 3 0 0 20 0 22 0 105916348 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042615309176 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17142] ppid=17136 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/17139/task/17142/stat : 17142 (java) S 17136 17139 12316 0 -1 4202560 1299 0 0 0 206 31 0 0 20 0 22 0 105916349 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042458622632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17143] ppid=17136 vsize=9824732 CPUtime=2.44 cores=1,3,5,7 /proc/17139/task/17143/stat : 17143 (java) S 17136 17139 12316 0 -1 4202560 1012 0 0 0 211 33 0 0 20 0 22 0 105916349 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042457570088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17144] ppid=17136 vsize=9824732 CPUtime=2.7 cores=1,3,5,7 /proc/17139/task/17144/stat : 17144 (java) S 17136 17139 12316 0 -1 4202560 1075 0 0 0 234 36 0 0 20 0 22 0 105916349 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042456517544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17145] ppid=17136 vsize=9824732 CPUtime=2.64 cores=1,3,5,7 /proc/17139/task/17145/stat : 17145 (java) S 17136 17139 12316 0 -1 4202560 1001 0 0 0 224 40 0 0 20 0 22 0 105916349 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042455465000 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17146] ppid=17136 vsize=9824732 CPUtime=2.52 cores=1,3,5,7 /proc/17139/task/17146/stat : 17146 (java) S 17136 17139 12316 0 -1 4202560 979 0 0 0 221 31 0 0 20 0 22 0 105916349 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042454411432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17147] ppid=17136 vsize=9824732 CPUtime=2.58 cores=1,3,5,7 /proc/17139/task/17147/stat : 17147 (java) S 17136 17139 12316 0 -1 4202560 1004 0 0 0 223 35 0 0 20 0 22 0 105916349 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042453358888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17148] ppid=17136 vsize=9824732 CPUtime=2.39 cores=1,3,5,7 /proc/17139/task/17148/stat : 17148 (java) S 17136 17139 12316 0 -1 4202560 1028 0 0 0 207 32 0 0 20 0 22 0 105916349 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042452306344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17149] ppid=17136 vsize=9824732 CPUtime=2.63 cores=1,3,5,7 /proc/17139/task/17149/stat : 17149 (java) S 17136 17139 12316 0 -1 4202560 879 0 0 0 228 35 0 0 20 0 22 0 105916349 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140042451253800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17150] ppid=17136 vsize=9824732 CPUtime=6.03 cores=1,3,5,7 /proc/17139/task/17150/stat : 17150 (java) S 17136 17139 12316 0 -1 4202560 2212 0 0 0 595 8 0 0 20 0 22 0 105916350 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041968925288 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17151] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17151/stat : 17151 (java) S 17136 17139 12316 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041967871608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17152] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17152/stat : 17152 (java) S 17136 17139 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041966818952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17153] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17153/stat : 17153 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041965767696 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17154] ppid=17136 vsize=9824732 CPUtime=1.69 cores=1,3,5,7 /proc/17139/task/17154/stat : 17154 (java) S 17136 17139 12316 0 -1 4202560 12190 0 0 0 167 2 0 0 20 0 22 0 105916353 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041964714040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17155] ppid=17136 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/17139/task/17155/stat : 17155 (java) S 17136 17139 12316 0 -1 4202560 11274 0 0 0 146 2 0 0 20 0 22 0 105916353 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041963661496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17156] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17156/stat : 17156 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041962609144 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17157] ppid=17136 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/17139/task/17157/stat : 17157 (java) S 17136 17139 12316 0 -1 4202560 51 0 0 0 8 12 0 0 20 0 22 0 105916353 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041961556808 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17167] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17167/stat : 17167 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105916504 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041957799336 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17301] ppid=17136 vsize=9824732 CPUtime=218.25 cores=1,3,5,7 /proc/17139/task/17301/stat : 17301 (java) R 17136 17139 12316 0 -1 4202560 3 0 0 0 21822 3 0 0 20 0 22 0 105982556 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041958842144 140042460051926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17302] ppid=17136 vsize=9824732 CPUtime=218.19 cores=1,3,5,7 /proc/17139/task/17302/stat : 17302 (java) R 17136 17139 12316 0 -1 4202560 14 0 0 0 21816 3 0 0 20 0 22 0 105982556 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041956744416 140042460001159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17303] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17303/stat : 17303 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105982556 10060525568 758637 33554432000 1073741824 1073778376 140737153802224 140041959904424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1763.97 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.301 s] /proc/loadavg: 4.03 4.03 4.00 6/219 17307 /proc/meminfo: memFree=27717508/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 38734 0 1 0 179672 336 0 0 20 0 22 0 105916347 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2456183 761263 2302 9 0 2446860 0 [pid=17139/tid=17141] ppid=17136 vsize=9824732 CPUtime=0.6 cores=1,3,5,7 /proc/17139/task/17141/stat : 17141 (java) S 17136 17139 12316 0 -1 4202560 2455 0 1 0 57 3 0 0 20 0 22 0 105916348 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042615309176 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17142] ppid=17136 vsize=9824732 CPUtime=2.38 cores=1,3,5,7 /proc/17139/task/17142/stat : 17142 (java) S 17136 17139 12316 0 -1 4202560 1300 0 0 0 207 31 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042458622632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17143] ppid=17136 vsize=9824732 CPUtime=2.46 cores=1,3,5,7 /proc/17139/task/17143/stat : 17143 (java) S 17136 17139 12316 0 -1 4202560 1013 0 0 0 213 33 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042457570088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17144] ppid=17136 vsize=9824732 CPUtime=2.73 cores=1,3,5,7 /proc/17139/task/17144/stat : 17144 (java) S 17136 17139 12316 0 -1 4202560 1076 0 0 0 237 36 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042456517544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17145] ppid=17136 vsize=9824732 CPUtime=2.66 cores=1,3,5,7 /proc/17139/task/17145/stat : 17145 (java) S 17136 17139 12316 0 -1 4202560 1003 0 0 0 226 40 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042455465000 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17146] ppid=17136 vsize=9824732 CPUtime=2.58 cores=1,3,5,7 /proc/17139/task/17146/stat : 17146 (java) S 17136 17139 12316 0 -1 4202560 981 0 0 0 227 31 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042454411432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17147] ppid=17136 vsize=9824732 CPUtime=2.6 cores=1,3,5,7 /proc/17139/task/17147/stat : 17147 (java) S 17136 17139 12316 0 -1 4202560 1004 0 0 0 225 35 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042453358888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17148] ppid=17136 vsize=9824732 CPUtime=2.43 cores=1,3,5,7 /proc/17139/task/17148/stat : 17148 (java) S 17136 17139 12316 0 -1 4202560 1029 0 0 0 211 32 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042452306344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17149] ppid=17136 vsize=9824732 CPUtime=2.7 cores=1,3,5,7 /proc/17139/task/17149/stat : 17149 (java) S 17136 17139 12316 0 -1 4202560 881 0 0 0 235 35 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042451253800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17150] ppid=17136 vsize=9824732 CPUtime=6.03 cores=1,3,5,7 /proc/17139/task/17150/stat : 17150 (java) S 17136 17139 12316 0 -1 4202560 2278 0 0 0 595 8 0 0 20 0 22 0 105916350 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041968925288 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17151] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17151/stat : 17151 (java) S 17136 17139 12316 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041967871608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17152] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17152/stat : 17152 (java) S 17136 17139 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041966818952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17153] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17153/stat : 17153 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041965767696 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17154] ppid=17136 vsize=9824732 CPUtime=1.69 cores=1,3,5,7 /proc/17139/task/17154/stat : 17154 (java) S 17136 17139 12316 0 -1 4202560 12190 0 0 0 167 2 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041964714040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17155] ppid=17136 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/17139/task/17155/stat : 17155 (java) S 17136 17139 12316 0 -1 4202560 11274 0 0 0 146 2 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041963661496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17156] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17156/stat : 17156 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041962609144 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17157] ppid=17136 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/17139/task/17157/stat : 17157 (java) S 17136 17139 12316 0 -1 4202560 53 0 0 0 8 12 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041961556808 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17167] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17167/stat : 17167 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105916504 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041957799336 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17301] ppid=17136 vsize=9824732 CPUtime=236.17 cores=1,3,5,7 /proc/17139/task/17301/stat : 17301 (java) R 17136 17139 12316 0 -1 4202560 3 0 0 0 23614 3 0 0 20 0 22 0 105982556 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041958842144 140042459824583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17302] ppid=17136 vsize=9824732 CPUtime=236.11 cores=1,3,5,7 /proc/17139/task/17302/stat : 17302 (java) R 17136 17139 12316 0 -1 4202560 15 0 0 0 23608 3 0 0 20 0 22 0 105982556 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041956744576 140042459932416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17303] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17303/stat : 17303 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105982556 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041959904424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 17139 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+900.301 s] /proc/loadavg: 4.03 4.03 4.00 6/219 17307 /proc/meminfo: memFree=27717508/32872528 swapFree=11320/319964 [pid=17139] ppid=17136 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7 /proc/17139/stat : 17139 (java) S 17136 17139 12316 0 -1 4202496 38734 0 1 0 179672 336 0 0 20 0 22 0 105916347 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140737153793360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17139/statm: 2456183 761263 2302 9 0 2446860 0 [pid=17139/tid=17141] ppid=17136 vsize=9824732 CPUtime=0.6 cores=1,3,5,7 /proc/17139/task/17141/stat : 17141 (java) S 17136 17139 12316 0 -1 4202560 2455 0 1 0 57 3 0 0 20 0 22 0 105916348 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042615309176 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17142] ppid=17136 vsize=9824732 CPUtime=2.38 cores=1,3,5,7 /proc/17139/task/17142/stat : 17142 (java) S 17136 17139 12316 0 -1 4202560 1300 0 0 0 207 31 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042458622632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17143] ppid=17136 vsize=9824732 CPUtime=2.46 cores=1,3,5,7 /proc/17139/task/17143/stat : 17143 (java) S 17136 17139 12316 0 -1 4202560 1013 0 0 0 213 33 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042457570088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17144] ppid=17136 vsize=9824732 CPUtime=2.73 cores=1,3,5,7 /proc/17139/task/17144/stat : 17144 (java) S 17136 17139 12316 0 -1 4202560 1076 0 0 0 237 36 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042456517544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17145] ppid=17136 vsize=9824732 CPUtime=2.66 cores=1,3,5,7 /proc/17139/task/17145/stat : 17145 (java) S 17136 17139 12316 0 -1 4202560 1003 0 0 0 226 40 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042455465000 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17146] ppid=17136 vsize=9824732 CPUtime=2.58 cores=1,3,5,7 /proc/17139/task/17146/stat : 17146 (java) S 17136 17139 12316 0 -1 4202560 981 0 0 0 227 31 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042454411432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17147] ppid=17136 vsize=9824732 CPUtime=2.6 cores=1,3,5,7 /proc/17139/task/17147/stat : 17147 (java) S 17136 17139 12316 0 -1 4202560 1004 0 0 0 225 35 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042453358888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17148] ppid=17136 vsize=9824732 CPUtime=2.43 cores=1,3,5,7 /proc/17139/task/17148/stat : 17148 (java) S 17136 17139 12316 0 -1 4202560 1029 0 0 0 211 32 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042452306344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17149] ppid=17136 vsize=9824732 CPUtime=2.7 cores=1,3,5,7 /proc/17139/task/17149/stat : 17149 (java) S 17136 17139 12316 0 -1 4202560 881 0 0 0 235 35 0 0 20 0 22 0 105916349 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140042451253800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17150] ppid=17136 vsize=9824732 CPUtime=6.03 cores=1,3,5,7 /proc/17139/task/17150/stat : 17150 (java) S 17136 17139 12316 0 -1 4202560 2278 0 0 0 595 8 0 0 20 0 22 0 105916350 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041968925288 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17151] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17151/stat : 17151 (java) S 17136 17139 12316 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041967871608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17152] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17152/stat : 17152 (java) S 17136 17139 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105916351 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041966818952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17153] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17153/stat : 17153 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041965767696 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17139/tid=17154] ppid=17136 vsize=9824732 CPUtime=1.69 cores=1,3,5,7 /proc/17139/task/17154/stat : 17154 (java) S 17136 17139 12316 0 -1 4202560 12190 0 0 0 167 2 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041964714040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17155] ppid=17136 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/17139/task/17155/stat : 17155 (java) S 17136 17139 12316 0 -1 4202560 11274 0 0 0 146 2 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041963661496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17156] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17156/stat : 17156 (java) S 17136 17139 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041962609144 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17157] ppid=17136 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/17139/task/17157/stat : 17157 (java) S 17136 17139 12316 0 -1 4202560 53 0 0 0 8 12 0 0 20 0 22 0 105916353 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041961556808 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17167] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17167/stat : 17167 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105916504 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041957799336 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17139/tid=17301] ppid=17136 vsize=9824732 CPUtime=236.17 cores=1,3,5,7 /proc/17139/task/17301/stat : 17301 (java) R 17136 17139 12316 0 -1 4202560 3 0 0 0 23614 3 0 0 20 0 22 0 105982556 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041958842144 140042459824583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17139/tid=17302] ppid=17136 vsize=9824732 CPUtime=236.11 cores=1,3,5,7 /proc/17139/task/17302/stat : 17302 (java) R 17136 17139 12316 0 -1 4202560 15 0 0 0 23608 3 0 0 20 0 22 0 105982556 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041956744576 140042459932416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17139/tid=17303] ppid=17136 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17139/task/17303/stat : 17303 (java) S 17136 17139 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105982556 10060525568 761263 33554432000 1073741824 1073778376 140737153802224 140041959904424 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 900.365 CPU time (s): 1800.43 CPU user time (s): 1796.79 CPU system time (s): 3.63945 CPU usage (%): 199.967 Max. virtual memory (cumulated for all children) (KiB): 9825316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.79 system time used= 3.63945 maximum resident set size= 3045168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38775 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23873 involuntary context switches= 23342 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.71413 second user time and 7.09392 second system time The end
Begin job on node128 at 2016-06-06 21:03:51 IDJOB=4081467 IDBENCH=24999 IDSOLVER=2543 FILE ID=node128/4081467-1465239831 RUNJOBID= node128-1465223671-12333 PBS_JOBID= 19843236 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081467-1465239831/watcher-4081467-1465239831 -o /tmp/evaluation-result-4081467-1465239831/solver-4081467-1465239831 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12333 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081467-1465239831.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=1689552378 node128.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.486 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.97 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.486 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.486 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.486 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.56 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.486 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.54 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.486 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.56 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.486 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.55 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.486 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30890412 kB Buffers: 33772 kB Cached: 97492 kB SwapCached: 1664 kB Active: 877284 kB Inactive: 69712 kB Active(anon): 817316 kB Inactive(anon): 528 kB Active(file): 59968 kB Inactive(file): 69184 kB Unevictable: 319964 kB Mlocked: 11320 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 860 kB Writeback: 0 kB AnonPages: 1258028 kB Mapped: 15440 kB Shmem: 0 kB Slab: 568452 kB SReclaimable: 12168 kB SUnreclaim: 556284 kB KernelStack: 1808 kB PageTables: 6600 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1438440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1165312 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= 71744 MiB End job on node128 at 2016-06-06 21:18:51