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) | 134219648 | 1800.15 | 905.394 |
| Name | normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/ normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irabcde.opb |
| MD5SUM | 58308e0f247892f6b7dab5d3236e608a |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 134219648 |
| Best CPU time to get the best result obtained on this benchmark | 249.716 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4308 |
| Total number of constraints | 15405 |
| Number of constraints which are clauses | 15345 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 60 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 84 |
| Number of terms in the objective function | 166 |
| Biggest coefficient in the objective function | 5242880 |
| Number of bits for the biggest coefficient in the objective function | 23 |
| Sum of the numbers in the objective function | 461373439 |
| Number of bits of the sum of numbers in the objective function | 29 |
| Biggest number in a constraint | 5242880 |
| Number of bits of the biggest number in a constraint | 23 |
| Biggest sum of numbers in a constraint | 461373439 |
| Number of bits of the biggest sum of numbers | 29 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.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.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Glucose 2.1 dynamic restart strategy 0.10/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.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/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.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-4111169-1466399436.opb 0.10/0.12 c reading problem ... 0.10/0.12 c objective function found 1.03/0.56 c ... done. Wall clock time 0.442s. 1.03/0.56 c declared #vars 4308 1.03/0.56 c #constraints 15405 1.03/0.56 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.03/0.56 c constraints type 1.03/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3461 1.03/0.56 c org.sat4j.specs.Constr$1 => 2368 1.03/0.56 c org.sat4j.minisat.constraints.card.MinWatchCard => 15 1.03/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9430 1.03/0.56 c org.sat4j.minisat.constraints.cnf.UnitClause => 131 1.03/0.56 c 15405 constraints processed. 1.03/0.56 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.03/0.56 c constraints type 1.03/0.56 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9430 1.03/0.56 c org.sat4j.specs.Constr$1 => 2368 1.03/0.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3461 1.03/0.56 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15 1.03/0.56 c org.sat4j.pb.constraints.pb.UnitClausePB => 131 1.03/0.56 c 15405 constraints processed. 1.03/0.56 c objective function length is 166 literals 1.75/0.77 c And the winner is solver0 2.33/1.07 c SATISFIABLE 2.33/1.07 c OPTIMIZING... 2.33/1.07 c Got one! Elapsed wall clock time (in seconds):0.95 2.33/1.07 o 192940624 2.45/1.15 c And the winner is solver0 2.73/1.57 c Got one! Elapsed wall clock time (in seconds):1.455 2.73/1.57 o 192940384 3.62/1.89 c And the winner is solver1 3.99/2.08 c Got one! Elapsed wall clock time (in seconds):1.959 3.99/2.08 o 177212944 3.99/2.09 c And the winner is solver0 4.07/2.58 c Got one! Elapsed wall clock time (in seconds):2.462 4.07/2.58 o 177211744 4.07/2.59 c And the winner is solver0 4.16/3.08 c Got one! Elapsed wall clock time (in seconds):2.963 4.16/3.08 o 177211504 4.73/3.31 c And the winner is solver0 4.77/3.58 c Got one! Elapsed wall clock time (in seconds):3.464 4.77/3.58 o 177211264 5.77/4.03 c cleaning 2702 clauses out of 5403 with flag 10931/5403 6.36/4.30 c And the winner is solver1 6.58/4.58 c Got one! Elapsed wall clock time (in seconds):4.466 6.58/4.58 o 166727184 6.83/4.79 c And the winner is solver0 7.06/5.08 c Got one! Elapsed wall clock time (in seconds):4.967 7.06/5.08 o 166725744 7.35/5.27 c cleaning 4565 clauses out of 9130 with flag 6364/11832 7.55/5.38 c And the winner is solver0 7.75/5.59 c Got one! Elapsed wall clock time (in seconds):5.468 7.75/5.59 o 165677408 7.78/5.69 c And the winner is solver0 8.03/6.09 c Got one! Elapsed wall clock time (in seconds):5.969 8.03/6.09 o 165677168 8.84/6.55 c cleaning 5519 clauses out of 11043 with flag 13722/18310 10.11/7.11 c cleaning 5760 clauses out of 11522 with flag 34387/24308 10.72/7.44 c And the winner is solver1 10.81/7.59 c Got one! Elapsed wall clock time (in seconds):7.47 10.81/7.59 o 160446768 10.82/7.68 c cleaning 5492 clauses out of 10984 with flag 3099/29530 11.89/8.14 c cleaning 5746 clauses out of 11491 with flag 20303/35529 12.88/8.64 c cleaning 6373 clauses out of 12745 with flag 40765/42529 13.50/9.00 c And the winner is solver1 13.68/9.09 c Got one! Elapsed wall clock time (in seconds):8.972 13.68/9.09 o 155337808 14.58/9.51 c cleaning 8223 clauses out of 16448 with flag 14338/52605 15.39/9.91 c cleaning 7111 clauses out of 14224 with flag 31356/58604 16.18/10.39 c cleaning 7057 clauses out of 14113 with flag 50826/65604 17.46/10.97 c cleaning 7528 clauses out of 15055 with flag 72306/73603 17.66/11.09 c And the winner is solver0 17.88/11.59 c Got one! Elapsed wall clock time (in seconds):11.473 17.88/11.59 o 155256928 18.63/11.90 c cleaning 6699 clauses out of 13399 with flag 10183/79475 19.42/12.30 c cleaning 6346 clauses out of 12698 with flag 26300/85473 20.23/12.75 c cleaning 6672 clauses out of 13352 with flag 45467/92473 21.44/13.33 c cleaning 7339 clauses out of 14680 with flag 69283/100473 22.93/14.01 c cleaning 8171 clauses out of 16341 with flag 94056/109473 24.53/14.82 c cleaning 9085 clauses out of 18173 with flag 123765/119476 26.33/15.72 c cleaning 10039 clauses out of 20085 with flag 155848/130473 28.59/16.82 c cleaning 11022 clauses out of 22046 with flag 191823/142473 29.39/17.22 c And the winner is solver0 29.47/17.59 c Got one! Elapsed wall clock time (in seconds):17.475 29.47/17.59 o 155195488 30.29/18.00 c cleaning 10692 clauses out of 21386 with flag 12751/152835 31.09/18.41 c cleaning 8344 clauses out of 16696 with flag 29227/158837 32.09/18.92 c cleaning 7672 clauses out of 15350 with flag 48213/165835 33.29/19.56 c cleaning 7835 clauses out of 15678 with flag 70563/173835 34.89/20.30 c cleaning 8422 clauses out of 16843 with flag 96416/182835 36.69/21.21 c cleaning 9210 clauses out of 18422 with flag 123899/192836 38.59/22.19 c cleaning 10103 clauses out of 20212 with flag 154493/203836 40.79/23.24 c cleaning 11053 clauses out of 22109 with flag 188753/215836 43.58/24.65 c cleaning 12025 clauses out of 24055 with flag 225965/228835 46.18/25.94 c cleaning 13015 clauses out of 26031 with flag 267730/242836 49.44/27.52 c cleaning 14007 clauses out of 28017 with flag 311920/257837 53.03/29.37 c cleaning 14999 clauses out of 30008 with flag 358595/273835 57.23/31.44 c cleaning 16004 clauses out of 32010 with flag 406677/290836 61.83/33.78 c cleaning 17002 clauses out of 34005 with flag 457491/308835 67.10/36.33 c cleaning 17999 clauses out of 36003 with flag 517004/327835 71.29/38.46 c cleaning 18996 clauses out of 38004 with flag 568827/347835 76.10/40.85 c cleaning 20002 clauses out of 40009 with flag 624364/368836 80.98/43.23 c cleaning 21001 clauses out of 42007 with flag 682192/390836 86.39/45.95 c cleaning 22000 clauses out of 44005 with flag 741981/413835 92.38/48.94 c cleaning 22998 clauses out of 46005 with flag 805724/437835 98.87/52.12 c cleaning 24002 clauses out of 48009 with flag 871681/462837 105.67/55.57 c cleaning 25003 clauses out of 50006 with flag 938140/488836 113.47/59.43 c cleaning 25998 clauses out of 52004 with flag 1007224/515837 121.15/63.23 c cleaning 27001 clauses out of 54005 with flag 1080447/543836 130.55/67.95 c cleaning 28000 clauses out of 56005 with flag 1161283/572837 141.42/73.38 c cleaning 28992 clauses out of 58004 with flag 1245350/602836 150.82/78.09 c cleaning 30003 clauses out of 60011 with flag 1324601/633835 160.69/82.93 c cleaning 31001 clauses out of 62008 with flag 1406741/665835 168.49/86.88 c And the winner is solver1 168.49/87.18 c Got one! Elapsed wall clock time (in seconds):87.059 168.49/87.18 o 151220304 170.79/88.35 c cleaning 31047 clauses out of 62097 with flag 13558/696925 172.19/89.08 c cleaning 18524 clauses out of 37049 with flag 29026/702924 173.59/89.72 c cleaning 12761 clauses out of 25526 with flag 46904/709925 174.99/90.48 c cleaning 10373 clauses out of 20764 with flag 69918/717924 176.59/91.28 c cleaning 9693 clauses out of 19392 with flag 95954/726925 178.39/92.10 c cleaning 9846 clauses out of 19698 with flag 123771/736924 180.19/93.07 c cleaning 10427 clauses out of 20853 with flag 154267/747925 182.19/94.08 c And the winner is solver0 182.46/94.28 c Got one! Elapsed wall clock time (in seconds):94.162 182.46/94.28 o 151000224 183.61/94.83 c cleaning 13389 clauses out of 26779 with flag 14005/764278 184.41/95.29 c cleaning 9689 clauses out of 19390 with flag 30032/770278 185.66/95.89 c cleaning 8344 clauses out of 16701 with flag 48051/777278 187.05/96.54 c cleaning 8172 clauses out of 16357 with flag 72286/785278 188.25/97.18 c cleaning 8585 clauses out of 17185 with flag 96885/794278 190.06/98.01 c cleaning 9300 clauses out of 18601 with flag 123916/804279 191.65/98.89 c cleaning 10145 clauses out of 20300 with flag 155315/815278 192.45/99.24 c And the winner is solver0 192.57/99.32 c Got one! Elapsed wall clock time (in seconds):99.2 192.57/99.32 o 150997584 192.72/99.41 c cleaning 7960 clauses out of 15934 with flag 2880/821057 193.52/99.80 c cleaning 6984 clauses out of 13974 with flag 19256/827057 194.34/100.27 c cleaning 6989 clauses out of 13990 with flag 37329/834057 195.32/100.78 c cleaning 7495 clauses out of 15002 with flag 59853/842058 196.54/101.37 c cleaning 8252 clauses out of 16508 with flag 84049/851059 197.92/102.01 c cleaning 9124 clauses out of 18254 with flag 110239/861057 199.52/102.82 c cleaning 10060 clauses out of 20130 with flag 139588/872057 201.57/103.87 c cleaning 11034 clauses out of 22070 with flag 173259/884057 203.97/105.09 c cleaning 12017 clauses out of 24036 with flag 211007/897057 206.77/106.40 c cleaning 13007 clauses out of 26019 with flag 248456/911057 209.57/107.82 c cleaning 14005 clauses out of 28013 with flag 287527/926058 212.77/109.42 c cleaning 15001 clauses out of 30007 with flag 330229/942057 216.43/111.27 c cleaning 16000 clauses out of 32006 with flag 376301/959057 220.42/113.30 c cleaning 17000 clauses out of 34006 with flag 425770/977057 225.02/115.51 c cleaning 18000 clauses out of 36006 with flag 481366/996057 226.82/116.45 c And the winner is solver0 226.95/116.82 c Got one! Elapsed wall clock time (in seconds):116.704 226.95/116.82 o 150997344 228.34/117.52 c cleaning 16178 clauses out of 32360 with flag 14399/1010411 229.34/118.04 c cleaning 11087 clauses out of 22182 with flag 31410/1016411 229.94/118.40 c And the winner is solver0 230.38/118.82 c Got one! Elapsed wall clock time (in seconds):118.706 230.38/118.82 o 150078848 230.54/118.91 c cleaning 8199 clauses out of 16405 with flag 2683/1021721 231.32/119.31 c cleaning 7102 clauses out of 14206 with flag 18860/1027721 232.12/119.76 c cleaning 7051 clauses out of 14104 with flag 37535/1034721 233.12/120.28 c cleaning 7527 clauses out of 15053 with flag 59757/1042721 234.52/120.90 c cleaning 8259 clauses out of 16526 with flag 84105/1051721 236.12/121.71 c cleaning 9128 clauses out of 18268 with flag 110926/1061722 237.72/122.56 c cleaning 10068 clauses out of 20139 with flag 141269/1072721 239.72/123.57 c cleaning 11033 clauses out of 22072 with flag 174489/1084722 242.17/124.73 c cleaning 12016 clauses out of 24038 with flag 209938/1097721 244.78/126.03 c cleaning 13008 clauses out of 26023 with flag 247426/1111722 247.77/127.58 c cleaning 14008 clauses out of 28015 with flag 292889/1126722 251.37/129.40 c cleaning 15002 clauses out of 30008 with flag 339276/1142723 255.23/131.29 c cleaning 15998 clauses out of 32004 with flag 389611/1159721 259.43/133.37 c cleaning 17002 clauses out of 34008 with flag 444558/1177723 260.03/133.66 c And the winner is solver0 260.25/133.88 c Got one! Elapsed wall clock time (in seconds):133.76 260.25/133.88 o 150017168 260.52/134.07 c cleaning 11141 clauses out of 22290 with flag 6609/1183007 261.52/134.52 c cleaning 8572 clauses out of 17149 with flag 25567/1189007 262.32/134.99 c cleaning 7784 clauses out of 15577 with flag 45717/1196007 263.52/135.50 c cleaning 7892 clauses out of 15793 with flag 66261/1204007 264.72/136.10 c cleaning 8444 clauses out of 16902 with flag 90285/1213008 266.37/136.92 c cleaning 9227 clauses out of 18457 with flag 120011/1223007 268.17/137.83 c cleaning 10111 clauses out of 20230 with flag 154077/1234007 270.17/138.86 c cleaning 11056 clauses out of 22120 with flag 190180/1246008 270.97/139.29 c And the winner is solver0 271.34/139.53 c Got one! Elapsed wall clock time (in seconds):139.413 271.34/139.53 o 149955728 271.47/139.63 c cleaning 8346 clauses out of 16703 with flag 3434/1251647 272.27/140.02 c cleaning 7175 clauses out of 14357 with flag 19568/1257647 273.27/140.51 c cleaning 7088 clauses out of 14183 with flag 38847/1264648 274.27/141.08 c And the winner is solver0 274.68/141.53 c Got one! Elapsed wall clock time (in seconds):141.415 274.68/141.53 o 149952368 275.67/142.03 c cleaning 9664 clauses out of 19328 with flag 16122/1276881 276.65/142.52 c cleaning 7830 clauses out of 15665 with flag 35385/1282882 277.66/143.02 c cleaning 7413 clauses out of 14834 with flag 56323/1289881 278.85/143.60 c cleaning 7708 clauses out of 15422 with flag 82752/1297882 280.07/144.26 c cleaning 8349 clauses out of 16713 with flag 110029/1306881 281.85/145.10 c cleaning 9183 clauses out of 18366 with flag 142304/1316883 283.67/146.04 c cleaning 10086 clauses out of 20181 with flag 176272/1327881 285.26/146.88 c And the winner is solver0 285.54/147.09 c Got one! Elapsed wall clock time (in seconds):146.968 285.54/147.09 o 149948768 286.66/147.69 c cleaning 12011 clauses out of 24021 with flag 14122/1341807 287.86/148.21 c cleaning 9002 clauses out of 18010 with flag 30516/1347807 288.86/148.75 c cleaning 7998 clauses out of 16007 with flag 49589/1354806 290.06/149.31 c cleaning 8000 clauses out of 16012 with flag 71981/1362809 291.46/150.09 c cleaning 8502 clauses out of 17009 with flag 97526/1371806 293.07/150.87 c cleaning 9252 clauses out of 18507 with flag 124957/1381806 294.86/151.79 c cleaning 10124 clauses out of 20255 with flag 157710/1392806 296.06/152.32 c And the winner is solver0 296.28/152.59 c Got one! Elapsed wall clock time (in seconds):152.47 296.28/152.59 o 149948528 297.34/153.12 c cleaning 11220 clauses out of 22445 with flag 15464/1405120 298.34/153.61 c cleaning 8610 clauses out of 17227 with flag 33368/1411122 299.36/154.13 c cleaning 7802 clauses out of 15617 with flag 54820/1418122 299.74/154.30 c And the winner is solver0 299.94/154.59 c Got one! Elapsed wall clock time (in seconds):154.472 299.94/154.59 o 149948288 300.39/154.81 c cleaning 6412 clauses out of 12842 with flag 8095/1423149 301.00/155.18 c cleaning 6209 clauses out of 12430 with flag 25146/1429149 301.99/155.63 c cleaning 6608 clauses out of 13222 with flag 46058/1436150 302.99/156.19 c cleaning 7304 clauses out of 14613 with flag 70320/1444149 304.39/156.82 c cleaning 8155 clauses out of 16310 with flag 98815/1453150 305.85/157.60 c cleaning 9076 clauses out of 18154 with flag 125839/1463149 307.05/158.20 c And the winner is solver0 307.47/158.59 c Got one! Elapsed wall clock time (in seconds):158.474 307.47/158.59 o 145754224 308.28/159.06 c cleaning 10652 clauses out of 21311 with flag 13481/1475382 309.28/159.51 c cleaning 8328 clauses out of 16660 with flag 29698/1481383 310.28/160.04 c cleaning 7664 clauses out of 15332 with flag 48068/1488383 311.48/160.65 c cleaning 7834 clauses out of 15667 with flag 70118/1496382 312.88/161.38 c cleaning 8414 clauses out of 16833 with flag 94939/1505382 314.72/162.24 c cleaning 9208 clauses out of 18420 with flag 124362/1515383 316.52/163.12 c cleaning 10107 clauses out of 20213 with flag 153967/1526384 318.52/164.18 c cleaning 11052 clauses out of 22106 with flag 187118/1538384 320.92/165.36 c cleaning 12026 clauses out of 24052 with flag 223055/1551382 323.52/166.68 c cleaning 13011 clauses out of 26026 with flag 261667/1565382 326.76/168.28 c cleaning 14004 clauses out of 28016 with flag 301259/1580383 330.36/170.03 c cleaning 15005 clauses out of 30013 with flag 345962/1596384 330.76/170.22 c And the winner is solver0 330.99/170.59 c Got one! Elapsed wall clock time (in seconds):170.478 330.99/170.59 o 145753984 331.60/170.90 c cleaning 10088 clauses out of 20180 with flag 9371/1601556 332.43/171.37 c cleaning 8042 clauses out of 16091 with flag 28470/1607555 333.42/171.85 c cleaning 7521 clauses out of 15051 with flag 48639/1614557 334.62/172.45 c cleaning 7760 clauses out of 15530 with flag 74356/1622557 336.02/173.15 c cleaning 8382 clauses out of 16768 with flag 103107/1631555 336.02/173.17 c And the winner is solver0 336.41/173.60 c Got one! Elapsed wall clock time (in seconds):173.48 336.41/173.60 o 144705888 337.02/173.95 c cleaning 6779 clauses out of 13569 with flag 14066/1636738 337.81/174.36 c cleaning 6392 clauses out of 12791 with flag 32446/1642739 338.80/174.87 c cleaning 6697 clauses out of 13398 with flag 51974/1649738 340.06/175.45 c cleaning 7348 clauses out of 14702 with flag 75185/1657739 341.26/176.08 c cleaning 8174 clauses out of 16353 with flag 103868/1666738 342.86/176.88 c cleaning 9088 clauses out of 18179 with flag 135779/1676738 344.85/177.81 c cleaning 10045 clauses out of 20093 with flag 170713/1687740 346.85/178.84 c cleaning 11021 clauses out of 22047 with flag 206542/1699739 349.10/179.96 c cleaning 12010 clauses out of 24025 with flag 243393/1712738 351.70/181.22 c cleaning 13006 clauses out of 26015 with flag 281046/1726738 352.51/181.61 c And the winner is solver0 352.70/182.10 c Got one! Elapsed wall clock time (in seconds):181.982 352.70/182.10 o 140579744 352.70/182.19 c cleaning 9479 clauses out of 18959 with flag 2501/1732688 353.49/182.58 c cleaning 7739 clauses out of 15481 with flag 18121/1738689 354.53/183.05 c cleaning 7369 clauses out of 14741 with flag 37957/1745688 355.73/183.62 c cleaning 7686 clauses out of 15373 with flag 62243/1753689 356.93/184.20 c cleaning 8337 clauses out of 16686 with flag 88771/1762688 358.34/184.92 c cleaning 9175 clauses out of 18352 with flag 116543/1772691 360.13/185.80 c cleaning 10085 clauses out of 20176 with flag 149336/1783690 362.18/186.83 c cleaning 11041 clauses out of 22090 with flag 187564/1795689 364.38/187.90 c cleaning 12024 clauses out of 24048 with flag 223380/1808688 365.18/188.36 c And the winner is solver0 365.37/188.60 c Got one! Elapsed wall clock time (in seconds):188.485 365.37/188.60 o 140518784 366.15/189.06 c cleaning 11700 clauses out of 23407 with flag 15206/1820071 366.95/189.47 c cleaning 8851 clauses out of 17707 with flag 32096/1826071 367.95/189.95 c cleaning 7925 clauses out of 15856 with flag 52677/1833071 369.17/190.51 c cleaning 7961 clauses out of 15932 with flag 77471/1841072 370.37/191.13 c cleaning 8478 clauses out of 16971 with flag 104317/1850072 371.77/191.85 c cleaning 9243 clauses out of 18492 with flag 133997/1860071 373.57/192.70 c cleaning 10125 clauses out of 20250 with flag 167894/1871072 375.63/193.71 c cleaning 11059 clauses out of 22125 with flag 207017/1883072 377.62/194.76 c cleaning 12028 clauses out of 24066 with flag 244282/1896072 379.82/195.90 c cleaning 13016 clauses out of 26037 with flag 279829/1910071 382.45/197.16 c cleaning 14009 clauses out of 28023 with flag 318143/1925073 385.44/198.62 c And the winner is solver0 385.65/199.11 c Got one! Elapsed wall clock time (in seconds):198.988 385.65/199.11 o 139462528 386.85/199.74 c cleaning 17242 clauses out of 34484 with flag 14498/1945543 388.09/200.32 c cleaning 11617 clauses out of 23239 with flag 32930/1951540 389.07/200.85 c cleaning 9309 clauses out of 18623 with flag 53368/1958541 390.28/201.49 c cleaning 8654 clauses out of 17313 with flag 78865/1966540 391.67/202.13 c cleaning 8826 clauses out of 17660 with flag 105787/1975541 393.31/202.93 c cleaning 9414 clauses out of 18833 with flag 136276/1985540 394.91/203.78 c cleaning 10210 clauses out of 20421 with flag 170523/1996542 396.72/204.69 c cleaning 11104 clauses out of 22210 with flag 205367/2008541 398.95/205.74 c cleaning 12051 clauses out of 24105 with flag 238670/2021540 401.54/207.03 c cleaning 13028 clauses out of 26055 with flag 275809/2035541 404.18/208.33 c cleaning 14008 clauses out of 28026 with flag 313539/2050540 407.38/209.95 c cleaning 15008 clauses out of 30019 with flag 359078/2066541 410.81/211.69 c cleaning 16003 clauses out of 32010 with flag 407316/2083540 414.84/213.65 c cleaning 17003 clauses out of 34008 with flag 456098/2101541 418.46/215.45 c cleaning 17997 clauses out of 36005 with flag 505295/2120541 422.06/217.27 c cleaning 19002 clauses out of 38007 with flag 552402/2140540 427.13/219.70 c cleaning 20001 clauses out of 40005 with flag 609132/2161540 433.54/222.97 c cleaning 20999 clauses out of 42004 with flag 676030/2183540 439.35/225.87 c cleaning 21998 clauses out of 44007 with flag 745858/2206542 446.22/229.20 c cleaning 23000 clauses out of 46007 with flag 817651/2230540 453.93/233.03 c cleaning 24000 clauses out of 48007 with flag 897344/2255540 461.36/236.76 c cleaning 25000 clauses out of 50009 with flag 969753/2281542 469.42/240.70 c cleaning 26004 clauses out of 52007 with flag 1043885/2308540 477.25/244.64 c cleaning 26999 clauses out of 54003 with flag 1119391/2336540 485.54/248.77 c cleaning 28002 clauses out of 56004 with flag 1197408/2365540 494.18/253.05 c cleaning 28995 clauses out of 58002 with flag 1274091/2395540 504.92/258.79 c cleaning 30000 clauses out of 60007 with flag 1359979/2426540 517.56/265.03 c cleaning 31001 clauses out of 62007 with flag 1441864/2458540 527.62/270.08 c cleaning 32002 clauses out of 64007 with flag 1522249/2491541 540.05/276.26 c cleaning 32999 clauses out of 66006 with flag 1610459/2525542 551.70/282.07 c cleaning 33997 clauses out of 68006 with flag 1695546/2560541 565.93/289.13 c cleaning 35001 clauses out of 70008 with flag 1787819/2596540 579.61/296.00 c cleaning 36004 clauses out of 72007 with flag 1878203/2633540 596.10/304.13 c cleaning 37001 clauses out of 74005 with flag 1978595/2671542 612.17/312.15 c cleaning 37998 clauses out of 76004 with flag 2080497/2710542 616.62/314.32 c cleaning 0 clauses out of 9989 with flag 0/10002 632.93/322.39 c cleaning 39003 clauses out of 78005 with flag 2201547/2750541 652.02/331.87 c cleaning 39998 clauses out of 80001 with flag 2315141/2791540 669.38/340.49 c cleaning 40997 clauses out of 82004 with flag 2427793/2833541 688.03/349.75 c cleaning 41997 clauses out of 84006 with flag 2542863/2876540 707.92/359.70 c cleaning 43003 clauses out of 86010 with flag 2660048/2920541 728.66/369.93 c cleaning 44002 clauses out of 88009 with flag 2779937/2965543 749.80/380.40 c cleaning 45000 clauses out of 90004 with flag 2901482/3011540 773.43/392.24 c cleaning 45997 clauses out of 92004 with flag 3031217/3058540 801.22/406.04 c cleaning 47003 clauses out of 94007 with flag 3149574/3106540 824.50/417.62 c cleaning 47997 clauses out of 96004 with flag 3270816/3155540 850.47/430.51 c cleaning 49004 clauses out of 98007 with flag 3398355/3205540 872.62/441.50 c cleaning 49998 clauses out of 100003 with flag 3519397/3256540 897.47/454.39 c cleaning 50999 clauses out of 102005 with flag 3648437/3308540 922.00/466.59 c cleaning 52003 clauses out of 104007 with flag 3778241/3361541 948.33/479.67 c cleaning 52999 clauses out of 106005 with flag 3920568/3415542 979.01/494.97 c cleaning 54000 clauses out of 108005 with flag 4069074/3470541 1003.92/507.39 c cleaning 55002 clauses out of 110005 with flag 4203110/3526541 1032.08/521.40 c cleaning 55993 clauses out of 112002 with flag 4342077/3583540 1062.82/536.62 c cleaning 56997 clauses out of 114009 with flag 4491791/3641540 1103.02/556.63 c cleaning 58000 clauses out of 116012 with flag 4648329/3700540 1142.55/576.40 c cleaning 59001 clauses out of 118012 with flag 4808615/3760540 1173.13/591.58 c cleaning 60002 clauses out of 120011 with flag 4961675/3821540 1210.08/609.90 c cleaning 61003 clauses out of 122009 with flag 5132608/3883540 1228.78/619.29 c And the winner is solver0 1229.28/619.86 c Got one! Elapsed wall clock time (in seconds):619.746 1229.28/619.86 o 134220368 1233.94/622.22 c cleaning 52184 clauses out of 104380 with flag 12797/3926914 1236.74/623.64 c cleaning 29092 clauses out of 58195 with flag 29284/3932913 1238.74/624.68 c cleaning 18045 clauses out of 36103 with flag 47395/3939913 1240.14/625.40 c cleaning 13026 clauses out of 26058 with flag 67275/3947913 1241.77/626.18 c cleaning 11011 clauses out of 22033 with flag 91168/3956914 1243.37/626.91 c cleaning 10504 clauses out of 21021 with flag 117234/3966913 1244.97/627.76 c cleaning 10759 clauses out of 21517 with flag 149016/3977913 1246.97/628.74 c cleaning 11379 clauses out of 22759 with flag 181851/3989914 1248.97/629.78 c cleaning 12188 clauses out of 24380 with flag 214990/4002914 1251.40/630.96 c cleaning 13094 clauses out of 26192 with flag 252307/4016914 1253.99/632.30 c cleaning 14050 clauses out of 28100 with flag 293983/4031916 1257.19/633.81 c cleaning 15020 clauses out of 30047 with flag 340170/4047913 1260.25/635.40 c cleaning 16011 clauses out of 32027 with flag 385269/4064913 1264.05/637.22 c cleaning 17003 clauses out of 34016 with flag 433744/4082913 1268.25/639.32 c cleaning 18005 clauses out of 36014 with flag 491088/4101914 1272.52/641.47 c cleaning 19003 clauses out of 38009 with flag 549383/4121914 1277.10/643.77 c cleaning 19999 clauses out of 40005 with flag 606867/4142913 1280.37/645.36 c And the winner is solver0 1280.87/645.85 c Got one! Elapsed wall clock time (in seconds):645.728 1280.87/645.85 o 134219888 1282.31/646.65 c cleaning 19923 clauses out of 39861 with flag 13381/4162768 1283.51/647.23 c cleaning 12965 clauses out of 25939 with flag 28415/4168769 1284.51/647.76 c cleaning 9979 clauses out of 19973 with flag 46160/4175768 1285.71/648.31 c cleaning 8991 clauses out of 17994 with flag 66534/4183768 1286.95/648.97 c cleaning 8998 clauses out of 18003 with flag 89213/4192768 1288.35/649.68 c cleaning 9500 clauses out of 19005 with flag 114843/4202768 1289.95/650.43 c cleaning 10251 clauses out of 20507 with flag 141480/4213770 1291.76/651.36 c cleaning 11127 clauses out of 22257 with flag 172875/4225771 1293.96/652.48 c cleaning 12063 clauses out of 24127 with flag 209059/4238768 1296.60/653.72 c cleaning 13027 clauses out of 26064 with flag 244613/4252768 1299.00/654.91 c cleaning 14015 clauses out of 28038 with flag 283081/4267769 1301.59/656.28 c cleaning 15008 clauses out of 30022 with flag 325700/4283768 1305.09/657.91 c cleaning 16006 clauses out of 32015 with flag 371150/4300769 1308.67/659.78 c cleaning 16996 clauses out of 34008 with flag 421384/4318768 1312.67/661.78 c cleaning 17998 clauses out of 36012 with flag 472250/4337768 1317.31/664.07 c cleaning 19008 clauses out of 38015 with flag 525343/4357769 1321.92/666.36 c cleaning 20003 clauses out of 40006 with flag 582064/4378768 1327.37/669.07 c cleaning 20996 clauses out of 42003 with flag 642834/4400768 1333.58/672.15 c cleaning 22003 clauses out of 44009 with flag 708108/4423770 1339.22/674.98 c cleaning 23001 clauses out of 46005 with flag 777311/4447769 1345.42/678.01 c cleaning 24000 clauses out of 48003 with flag 845726/4472768 1352.47/681.54 c cleaning 24998 clauses out of 50004 with flag 915158/4498769 1354.66/682.63 c And the winner is solver0 1355.21/683.25 c Got one! Elapsed wall clock time (in seconds):683.137 1355.21/683.25 o 134219648 1356.84/684.12 c cleaning 20171 clauses out of 40349 with flag 13548/4514112 1358.04/684.79 c cleaning 13082 clauses out of 26178 with flag 28699/4520112 1359.25/685.39 c cleaning 10046 clauses out of 20098 with flag 47201/4527114 1360.44/685.95 c cleaning 9014 clauses out of 18050 with flag 67313/4535112 1361.66/686.52 c cleaning 9013 clauses out of 18037 with flag 90703/4544113 1363.04/687.22 c cleaning 9509 clauses out of 19023 with flag 117883/4554112 1364.70/688.08 c cleaning 10254 clauses out of 20514 with flag 149319/4565112 1366.48/688.99 c cleaning 11124 clauses out of 22260 with flag 181168/4577112 1368.48/689.95 c cleaning 12070 clauses out of 24139 with flag 215196/4590115 1370.68/691.08 c cleaning 13030 clauses out of 26066 with flag 251204/4604112 1373.28/692.32 c cleaning 14013 clauses out of 28037 with flag 289805/4619113 1376.35/693.84 c cleaning 15010 clauses out of 30024 with flag 332645/4635113 1379.55/695.41 c cleaning 16005 clauses out of 32014 with flag 380548/4652113 1383.36/697.33 c cleaning 16998 clauses out of 34008 with flag 431376/4670112 1387.24/699.26 c cleaning 18007 clauses out of 36014 with flag 482428/4689116 1391.24/701.26 c cleaning 18999 clauses out of 38003 with flag 533849/4709112 1395.84/703.57 c cleaning 19998 clauses out of 40004 with flag 591333/4730112 1400.91/706.05 c cleaning 21001 clauses out of 42008 with flag 647901/4752114 1405.72/708.50 c cleaning 21998 clauses out of 44005 with flag 707005/4775112 1411.51/711.35 c cleaning 22999 clauses out of 46008 with flag 775267/4799113 1416.58/713.84 c cleaning 24004 clauses out of 48010 with flag 836325/4824114 1422.37/716.72 c cleaning 24998 clauses out of 50004 with flag 902268/4850112 1428.17/719.61 c cleaning 25995 clauses out of 52006 with flag 969827/4877112 1435.27/723.18 c cleaning 27002 clauses out of 54012 with flag 1039132/4905113 1443.55/727.28 c cleaning 28005 clauses out of 56010 with flag 1114620/4934113 1451.72/731.33 c cleaning 29003 clauses out of 58005 with flag 1192463/4964113 1459.39/735.19 c cleaning 29998 clauses out of 60001 with flag 1268061/4995112 1468.19/739.51 c cleaning 31000 clauses out of 62003 with flag 1347357/5027112 1478.25/744.50 c cleaning 31994 clauses out of 64003 with flag 1431096/5060112 1489.74/750.23 c cleaning 33005 clauses out of 66009 with flag 1518784/5094112 1501.75/756.24 c cleaning 33997 clauses out of 68004 with flag 1610087/5129112 1514.22/762.44 c cleaning 35003 clauses out of 70009 with flag 1710071/5165114 1526.67/768.67 c cleaning 36000 clauses out of 72004 with flag 1812912/5202112 1539.94/775.30 c cleaning 37000 clauses out of 74004 with flag 1915442/5240112 1555.30/782.81 c cleaning 37998 clauses out of 76005 with flag 2023028/5279113 1561.71/786.00 c cleaning 0 clauses out of 15819 with flag 0/15834 1570.01/790.10 c cleaning 39002 clauses out of 78007 with flag 2130151/5319113 1585.47/797.84 c cleaning 40000 clauses out of 80004 with flag 2237660/5360112 1602.74/806.41 c cleaning 40993 clauses out of 82004 with flag 2352447/5402112 1616.59/813.36 c cleaning 41998 clauses out of 84011 with flag 2459684/5445112 1632.64/821.31 c cleaning 43005 clauses out of 86013 with flag 2573074/5489112 1654.45/832.82 c cleaning 44001 clauses out of 88009 with flag 2692129/5534113 1676.29/843.75 c cleaning 44997 clauses out of 90008 with flag 2810321/5580113 1697.58/854.30 c cleaning 46006 clauses out of 92011 with flag 2936271/5627113 1717.68/864.34 c cleaning 47004 clauses out of 94007 with flag 3062478/5675115 1738.45/874.62 c cleaning 47999 clauses out of 96002 with flag 3196464/5724114 1764.15/887.48 c cleaning 48999 clauses out of 98003 with flag 3330919/5774114 1788.06/899.33 c cleaning 49995 clauses out of 100002 with flag 3467364/5825112 1800.15/905.32 c >>>>>>>>>> Solver number 0 (29 answers) <<<<<<<<<<<<<<<<<< 1800.15/905.32 c starts : 41596 1800.15/905.32 c conflicts : 5855829 1800.15/905.32 c decisions : 9098782 1800.15/905.33 c propagations : 295502862 1800.15/905.33 c inspects : 13742716313 1800.15/905.33 c shortcuts : 0 1800.15/905.33 c learnt literals : 0 1800.15/905.33 c learnt binary clauses : 8 1800.15/905.33 c learnt ternary clauses : 5 1800.15/905.33 c learnt constraints : 5855829 1800.15/905.33 c ignored constraints : 0 1800.15/905.33 c root simplifications : 0 1800.15/905.33 c removed literals (reason simplification) : 40415446 1800.15/905.33 c reason swapping (by a shorter reason) : 0 1800.15/905.33 c Calls to reduceDB : 317 1800.15/905.33 c Number of update (reduction) of LBD : 567770 1800.15/905.33 c Imported unit clauses : 0 1800.15/905.33 c number of reductions to clauses (during analyze) : 0 1800.15/905.33 c number of learned constraints concerned by reduction : 0 1800.15/905.33 c number of learning phase by resolution : 0 1800.15/905.33 c number of learning phase by cutting planes : 0 1800.15/905.33 c speed (assignments/second) : 361185.575452822 1800.15/905.33 c non guided choices 2581 1800.15/905.35 c learnt constraints type 1800.15/905.35 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 8 1800.15/905.35 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 80717 1800.15/905.35 c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<< 1800.15/905.35 c starts : 121 1800.15/905.35 c conflicts : 16947 1800.15/905.35 c decisions : 61486 1800.15/905.35 c propagations : 3639577 1800.15/905.35 c inspects : 838524352 1800.15/905.35 c shortcuts : 0 1800.15/905.35 c learnt literals : 0 1800.15/905.35 c learnt binary clauses : 1 1800.15/905.35 c learnt ternary clauses : 0 1800.15/905.35 c learnt constraints : 16932 1800.15/905.35 c ignored constraints : 0 1800.15/905.35 c root simplifications : 0 1800.15/905.35 c removed literals (reason simplification) : 0 1800.15/905.35 c reason swapping (by a shorter reason) : 0 1800.15/905.35 c Calls to reduceDB : 2 1800.15/905.35 c Number of update (reduction) of LBD : 0 1800.15/905.35 c Imported unit clauses : 0 1800.15/905.35 c number of reductions to clauses (during analyze) : 0 1800.15/905.35 c number of learned constraints concerned by reduction : 0 1800.15/905.35 c number of learning phase by resolution : 0 1800.15/905.35 c number of learning phase by cutting planes : 0 1800.15/905.35 c speed (assignments/second) : 16393.457169367695 1800.15/905.35 c non guided choices 220 1800.15/905.36 c learnt constraints type 1800.15/905.36 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 808 1800.15/905.36 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1 1800.15/905.36 c org.sat4j.pb.constraints.pb.MaxWatchPb => 16123 1800.15/905.36 s SATISFIABLE 1800.15/905.36 c Found 34 solution(s) 1800.15/905.37 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 1800.15/905.38 c objective function=134219648 1800.15/905.38 c Total wall clock time (in seconds): 905.26
OK 134219648
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-4111169-1466399436/watcher-4111169-1466399436 -o /tmp/evaluation-result-4111169-1466399436/solver-4111169-1466399436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466384123-26919 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4111169-1466399436.opb pid=496 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.30 4.23 4.24 4/200 499 /proc/meminfo: memFree=26664276/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/499/stat : 499 (java) D 496 499 26903 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 41990010 9515008 175 33554432000 1073741824 1073778376 140735891086368 140735891069096 273905697680 0 0 4096 0 18446744072100756772 0 0 17 4 0 0 0 0 0 /proc/499/statm: 2323 175 133 9 0 71 0 [startup+0.100157 s] /proc/loadavg: 4.30 4.23 4.24 4/200 499 /proc/meminfo: memFree=26664276/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 4417 0 1 0 9 1 0 0 20 0 18 0 41990010 9787879424 6038 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2389619 6038 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.20022 s] /proc/loadavg: 4.30 4.23 4.24 4/200 499 /proc/meminfo: memFree=26664276/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9558476 CPUtime=0.24 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 4671 0 1 0 23 1 0 0 20 0 18 0 41990010 9787879424 7263 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2389619 7263 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300223 s] /proc/loadavg: 4.30 4.23 4.24 4/200 499 /proc/meminfo: memFree=26664276/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9558476 CPUtime=0.46 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 5845 0 1 0 45 1 0 0 20 0 18 0 41990010 9787879424 9130 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2389619 9130 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700188 s] /proc/loadavg: 4.30 4.23 4.24 4/200 499 /proc/meminfo: memFree=26664276/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 20369 0 1 0 171 4 0 0 20 0 22 0 41990010 10060525568 27774 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2456183 27774 2256 9 0 2446860 0 Current children cumulated CPU time (s) 1.75 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 4.30 4.23 4.24 7/222 525 /proc/meminfo: memFree=26557160/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9824732 CPUtime=2.73 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 20430 0 1 0 265 8 0 0 20 0 19 0 41990010 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2456183 29280 2268 9 0 2446860 0 [pid=499/tid=501] ppid=496 vsize=9824732 CPUtime=0.54 cores=0,2,4,6 /proc/499/task/501/stat : 501 (java) S 496 499 26903 0 -1 4202560 2444 0 1 0 53 1 0 0 20 0 19 0 41990010 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049458217848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=502] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/502/stat : 502 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990012 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049430669992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=503] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/503/stat : 503 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990012 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049429617448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=504] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/504/stat : 504 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990012 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049428564904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=505] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/505/stat : 505 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990012 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049427512360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=506] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/506/stat : 506 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990012 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049426458792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=507] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/507/stat : 507 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990012 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049425406248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=508] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/508/stat : 508 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990012 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049424353704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=509] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/509/stat : 509 (java) S 496 499 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41990012 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140049423301160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=511] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/511/stat : 511 (java) S 496 499 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 41990013 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048810871400 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=512] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/512/stat : 512 (java) S 496 499 26903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 41990013 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048809817720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=513] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/513/stat : 513 (java) S 496 499 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41990013 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048808765064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=514] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/514/stat : 514 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990015 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048807713808 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=515] ppid=496 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/499/task/515/stat : 515 (java) S 496 499 26903 0 -1 4202560 8868 0 0 0 77 2 0 0 20 0 19 0 41990016 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048806660152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=516] ppid=496 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/499/task/516/stat : 516 (java) S 496 499 26903 0 -1 4202560 7783 0 0 0 78 0 0 0 20 0 19 0 41990016 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048805607608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=517] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/517/stat : 517 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990016 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048804555256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=518] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/518/stat : 518 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41990016 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048803502920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=522] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/522/stat : 522 (java) S 496 499 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41990067 10060525568 29280 33554432000 1073741824 1073778376 140735652016784 140048799291048 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 9824732 [startup+3.10072 s] /proc/loadavg: 4.30 4.23 4.24 3/219 531 /proc/meminfo: memFree=26526068/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9824732 CPUtime=4.21 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 23493 0 1 0 409 12 0 0 20 0 22 0 41990010 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2456183 39579 2271 9 0 2446860 0 [pid=499/tid=501] ppid=496 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/499/task/501/stat : 501 (java) S 496 499 26903 0 -1 4202560 2446 0 1 0 54 1 0 0 20 0 22 0 41990010 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049458217848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=502] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/502/stat : 502 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990012 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049430669992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=503] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/503/stat : 503 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990012 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049429617448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=504] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/504/stat : 504 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990012 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049428564904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=505] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/505/stat : 505 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990012 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049427512360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=506] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/506/stat : 506 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990012 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049426458792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=507] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/507/stat : 507 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990012 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049425406248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=508] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/508/stat : 508 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990012 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049424353704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=509] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/509/stat : 509 (java) S 496 499 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41990012 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140049423301160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=511] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/511/stat : 511 (java) S 496 499 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048810871400 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=512] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/512/stat : 512 (java) S 496 499 26903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048809817720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=513] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/513/stat : 513 (java) S 496 499 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048808765064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=514] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/514/stat : 514 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990015 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048807713808 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=515] ppid=496 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/499/task/515/stat : 515 (java) R 496 499 26903 0 -1 4202560 8914 0 0 0 117 2 0 0 20 0 22 0 41990016 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048806659992 140049464180004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=499/tid=516] ppid=496 vsize=9824732 CPUtime=1.14 cores=0,2,4,6 /proc/499/task/516/stat : 516 (java) R 496 499 26903 0 -1 4202560 10749 0 0 0 113 1 0 0 20 0 22 0 41990016 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048805607488 140049462304738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=499/tid=517] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/517/stat : 517 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990016 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048804555256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=518] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/518/stat : 518 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990016 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048803502920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=531] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/531/stat : 531 (java) S 496 499 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41990218 10060525568 39579 33554432000 1073741824 1073778376 140735652016784 140048799290152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 9824732 [startup+6.30083 s] /proc/loadavg: 4.27 4.23 4.24 3/219 546 /proc/meminfo: memFree=26452408/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9824732 CPUtime=8.44 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 24480 0 1 0 816 28 0 0 20 0 22 0 41990010 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2456183 59960 2295 9 0 2446860 0 [pid=499/tid=501] ppid=496 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/499/task/501/stat : 501 (java) S 496 499 26903 0 -1 4202560 2446 0 1 0 54 1 0 0 20 0 22 0 41990010 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049458217848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=502] ppid=496 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/499/task/502/stat : 502 (java) S 496 499 26903 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 41990012 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049430669992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=503] ppid=496 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/499/task/503/stat : 503 (java) S 496 499 26903 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 41990012 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049429617448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=504] ppid=496 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/499/task/504/stat : 504 (java) S 496 499 26903 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 22 0 41990012 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049428564904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=505] ppid=496 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/499/task/505/stat : 505 (java) S 496 499 26903 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 41990012 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049427512360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=506] ppid=496 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/499/task/506/stat : 506 (java) S 496 499 26903 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 22 0 41990012 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049426458792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=507] ppid=496 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/499/task/507/stat : 507 (java) S 496 499 26903 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 41990012 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049425406248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=508] ppid=496 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/499/task/508/stat : 508 (java) S 496 499 26903 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 41990012 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049424353704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=509] ppid=496 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/499/task/509/stat : 509 (java) S 496 499 26903 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 41990012 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140049423301160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=511] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/511/stat : 511 (java) S 496 499 26903 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048810871400 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=512] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/512/stat : 512 (java) S 496 499 26903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048809817720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=513] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/513/stat : 513 (java) S 496 499 26903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048808765064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=514] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/514/stat : 514 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990015 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048807713808 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=515] ppid=496 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/499/task/515/stat : 515 (java) S 496 499 26903 0 -1 4202560 8926 0 0 0 142 2 0 0 20 0 22 0 41990016 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048806660152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=516] ppid=496 vsize=9824732 CPUtime=1.39 cores=0,2,4,6 /proc/499/task/516/stat : 516 (java) S 496 499 26903 0 -1 4202560 11469 0 0 0 138 1 0 0 20 0 22 0 41990016 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048805607608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=517] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/517/stat : 517 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990016 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048804555256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=518] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/518/stat : 518 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990016 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048803502920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=543] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/543/stat : 543 (java) S 496 499 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41990468 10060525568 59960 33554432000 1073741824 1073778376 140735652016784 140048799290664 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 8.44 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ /proc/499/task/509/stat : 509 (java) S 496 499 26903 0 -1 4202560 411 0 0 0 236 10 0 0 20 0 22 0 41990012 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140049423301160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=511] ppid=496 vsize=9824732 CPUtime=3.16 cores=0,2,4,6 /proc/499/task/511/stat : 511 (java) S 496 499 26903 0 -1 4202560 1776 0 0 0 298 18 0 0 20 0 22 0 41990013 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048810871400 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=512] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/512/stat : 512 (java) S 496 499 26903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048809817720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=513] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/513/stat : 513 (java) S 496 499 26903 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048808765064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=514] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/514/stat : 514 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990015 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048807713808 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=515] ppid=496 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/499/task/515/stat : 515 (java) S 496 499 26903 0 -1 4202560 9035 0 0 0 179 2 0 0 20 0 22 0 41990016 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048806660152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=516] ppid=496 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/499/task/516/stat : 516 (java) S 496 499 26903 0 -1 4202560 11557 0 0 0 165 1 0 0 20 0 22 0 41990016 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048805607608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=517] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/517/stat : 517 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990016 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048804555256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=518] ppid=496 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/499/task/518/stat : 518 (java) S 496 499 26903 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 22 0 41990016 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048803502920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=672] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/672/stat : 672 (java) S 496 499 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41998728 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048800343336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=756] ppid=496 vsize=9824732 CPUtime=195.93 cores=0,2,4,6 /proc/499/task/756/stat : 756 (java) R 496 499 26903 0 -1 4202560 14 0 0 0 19591 2 0 0 20 0 22 0 42058336 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048799288896 140049304803166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=499/tid=757] ppid=496 vsize=9824732 CPUtime=195.89 cores=0,2,4,6 /proc/499/task/757/stat : 757 (java) R 496 499 26903 0 -1 4202560 27 0 0 0 19587 2 0 0 20 0 22 0 42058336 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048802446224 140049305009725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=499/tid=758] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/758/stat : 758 (java) S 496 499 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42058344 10060525568 606182 33554432000 1073741824 1073778376 140735652016784 140048801396136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1751.95 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+905.314 s] /proc/loadavg: 4.27 4.27 4.25 11/221 763 /proc/meminfo: memFree=24184072/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9824732 CPUtime=1798.19 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 31189 0 1 0 179586 233 0 0 20 0 22 0 41990010 10060525568 604276 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2456183 604276 2303 9 0 2446860 0 [pid=499/tid=501] ppid=496 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/499/task/501/stat : 501 (java) S 496 499 26903 0 -1 4202560 2453 0 1 0 60 3 0 0 20 0 22 0 41990010 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049458217848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=502] ppid=496 vsize=9824732 CPUtime=2.84 cores=0,2,4,6 /proc/499/task/502/stat : 502 (java) S 496 499 26903 0 -1 4202560 445 0 0 0 273 11 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049430669992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=503] ppid=496 vsize=9824732 CPUtime=2.66 cores=0,2,4,6 /proc/499/task/503/stat : 503 (java) S 496 499 26903 0 -1 4202560 398 0 0 0 255 11 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049429617448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=504] ppid=496 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/499/task/504/stat : 504 (java) S 496 499 26903 0 -1 4202560 370 0 0 0 255 9 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049428564904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=505] ppid=496 vsize=9824732 CPUtime=2.7 cores=0,2,4,6 /proc/499/task/505/stat : 505 (java) S 496 499 26903 0 -1 4202560 458 0 0 0 259 11 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049427512360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=506] ppid=496 vsize=9824732 CPUtime=2.68 cores=0,2,4,6 /proc/499/task/506/stat : 506 (java) S 496 499 26903 0 -1 4202560 452 0 0 0 258 10 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049426458792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=507] ppid=496 vsize=9824732 CPUtime=2.67 cores=0,2,4,6 /proc/499/task/507/stat : 507 (java) S 496 499 26903 0 -1 4202560 377 0 0 0 257 10 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049425406248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=508] ppid=496 vsize=9824732 CPUtime=2.56 cores=0,2,4,6 /proc/499/task/508/stat : 508 (java) S 496 499 26903 0 -1 4202560 317 0 0 0 246 10 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049424353704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=509] ppid=496 vsize=9824732 CPUtime=2.54 cores=0,2,4,6 /proc/499/task/509/stat : 509 (java) S 496 499 26903 0 -1 4202560 418 0 0 0 244 10 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049423301160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=511] ppid=496 vsize=9824732 CPUtime=3.17 cores=0,2,4,6 /proc/499/task/511/stat : 511 (java) S 496 499 26903 0 -1 4202560 1845 0 0 0 298 19 0 0 20 0 22 0 41990013 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048810871400 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=512] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/512/stat : 512 (java) S 496 499 26903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048809817720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=513] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/513/stat : 513 (java) S 496 499 26903 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048808765064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=514] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/514/stat : 514 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990015 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048807713808 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=515] ppid=496 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/499/task/515/stat : 515 (java) S 496 499 26903 0 -1 4202560 9035 0 0 0 179 2 0 0 20 0 22 0 41990016 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048806660152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=516] ppid=496 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/499/task/516/stat : 516 (java) S 496 499 26903 0 -1 4202560 11557 0 0 0 165 1 0 0 20 0 22 0 41990016 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048805607608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=517] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/517/stat : 517 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990016 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048804555256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=518] ppid=496 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/499/task/518/stat : 518 (java) S 496 499 26903 0 -1 4202560 53 0 0 0 17 16 0 0 20 0 22 0 41990016 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048803502920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=672] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/672/stat : 672 (java) S 496 499 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41998728 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048800343336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=756] ppid=496 vsize=9824732 CPUtime=218.71 cores=0,2,4,6 /proc/499/task/756/stat : 756 (java) R 496 499 26903 0 -1 4202560 16 0 0 0 21868 3 0 0 20 0 22 0 42058336 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048799288920 140049304742444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=499/tid=757] ppid=496 vsize=9824732 CPUtime=218.68 cores=0,2,4,6 /proc/499/task/757/stat : 757 (java) R 496 499 26903 0 -1 4202560 29 0 0 0 21865 3 0 0 20 0 22 0 42058336 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048802446344 140049304869656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=499/tid=758] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/758/stat : 758 (java) S 496 499 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42058344 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048801396136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.19 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 499 sig 9 ??? kill -499 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+905.314 s] /proc/loadavg: 4.27 4.27 4.25 11/221 763 /proc/meminfo: memFree=24184072/32872528 swapFree=1482636/1662508 [pid=499] ppid=496 vsize=9824732 CPUtime=1798.19 cores=0,2,4,6 /proc/499/stat : 499 (java) S 496 499 26903 0 -1 4202496 31189 0 1 0 179586 233 0 0 20 0 22 0 41990010 10060525568 604276 33554432000 1073741824 1073778376 140735652016784 140735652007920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/499/statm: 2456183 604276 2303 9 0 2446860 0 [pid=499/tid=501] ppid=496 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/499/task/501/stat : 501 (java) S 496 499 26903 0 -1 4202560 2453 0 1 0 60 3 0 0 20 0 22 0 41990010 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049458217848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=499/tid=502] ppid=496 vsize=9824732 CPUtime=2.84 cores=0,2,4,6 /proc/499/task/502/stat : 502 (java) S 496 499 26903 0 -1 4202560 445 0 0 0 273 11 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049430669992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=503] ppid=496 vsize=9824732 CPUtime=2.66 cores=0,2,4,6 /proc/499/task/503/stat : 503 (java) S 496 499 26903 0 -1 4202560 398 0 0 0 255 11 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049429617448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=504] ppid=496 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/499/task/504/stat : 504 (java) S 496 499 26903 0 -1 4202560 370 0 0 0 255 9 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049428564904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=505] ppid=496 vsize=9824732 CPUtime=2.7 cores=0,2,4,6 /proc/499/task/505/stat : 505 (java) S 496 499 26903 0 -1 4202560 458 0 0 0 259 11 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049427512360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=506] ppid=496 vsize=9824732 CPUtime=2.68 cores=0,2,4,6 /proc/499/task/506/stat : 506 (java) S 496 499 26903 0 -1 4202560 452 0 0 0 258 10 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049426458792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=507] ppid=496 vsize=9824732 CPUtime=2.67 cores=0,2,4,6 /proc/499/task/507/stat : 507 (java) S 496 499 26903 0 -1 4202560 377 0 0 0 257 10 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049425406248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=508] ppid=496 vsize=9824732 CPUtime=2.56 cores=0,2,4,6 /proc/499/task/508/stat : 508 (java) S 496 499 26903 0 -1 4202560 317 0 0 0 246 10 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049424353704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=509] ppid=496 vsize=9824732 CPUtime=2.54 cores=0,2,4,6 /proc/499/task/509/stat : 509 (java) S 496 499 26903 0 -1 4202560 418 0 0 0 244 10 0 0 20 0 22 0 41990012 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140049423301160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=511] ppid=496 vsize=9824732 CPUtime=3.17 cores=0,2,4,6 /proc/499/task/511/stat : 511 (java) S 496 499 26903 0 -1 4202560 1845 0 0 0 298 19 0 0 20 0 22 0 41990013 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048810871400 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=512] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/512/stat : 512 (java) S 496 499 26903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048809817720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=513] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/513/stat : 513 (java) S 496 499 26903 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 41990013 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048808765064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=514] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/514/stat : 514 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990015 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048807713808 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=515] ppid=496 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/499/task/515/stat : 515 (java) S 496 499 26903 0 -1 4202560 9035 0 0 0 179 2 0 0 20 0 22 0 41990016 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048806660152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=499/tid=516] ppid=496 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/499/task/516/stat : 516 (java) S 496 499 26903 0 -1 4202560 11557 0 0 0 165 1 0 0 20 0 22 0 41990016 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048805607608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=517] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/517/stat : 517 (java) S 496 499 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41990016 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048804555256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=518] ppid=496 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/499/task/518/stat : 518 (java) S 496 499 26903 0 -1 4202560 53 0 0 0 17 16 0 0 20 0 22 0 41990016 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048803502920 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=499/tid=672] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/672/stat : 672 (java) S 496 499 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41998728 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048800343336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=499/tid=756] ppid=496 vsize=9824732 CPUtime=218.71 cores=0,2,4,6 /proc/499/task/756/stat : 756 (java) R 496 499 26903 0 -1 4202560 16 0 0 0 21868 3 0 0 20 0 22 0 42058336 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048799288920 140049304742444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=499/tid=757] ppid=496 vsize=9824732 CPUtime=218.68 cores=0,2,4,6 /proc/499/task/757/stat : 757 (java) R 496 499 26903 0 -1 4202560 29 0 0 0 21865 3 0 0 20 0 22 0 42058336 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048802446344 140049304869656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=499/tid=758] ppid=496 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/499/task/758/stat : 758 (java) S 496 499 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42058344 10060525568 603522 33554432000 1073741824 1073778376 140735652016784 140048801396136 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.19 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 499 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=898134 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=602604 # CPU time returned by wait4() is 1797.5 # while last known CPU time is 1798.19 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.96005 # lost CPU user time (s): 2.13005 # lost CPU system time (s): -0.17 Real time (s): 905.394 CPU time (s): 1800.15 CPU user time (s): 1797.99 CPU system time (s): 2.16 CPU usage (%): 198.825 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.9 system time used= 2.6026 maximum resident set size= 2954060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31227 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27968 involuntary context switches= 49781 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.75497 second user time and 6.33204 second system time The end
Begin job on node134 at 2016-06-20 07:10:36 IDJOB=4111169 IDBENCH=108943 IDSOLVER=2543 FILE ID=node134/4111169-1466399436 RUNJOBID= node134-1466384123-26919 PBS_JOBID= 19923272 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irabcde.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111169-1466399436/watcher-4111169-1466399436 -o /tmp/evaluation-result-4111169-1466399436/solver-4111169-1466399436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466384123-26919 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4111169-1466399436.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 58308e0f247892f6b7dab5d3236e608a RANDOM SEED=601810796 node134.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 : 2667.020 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 : 5334.04 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 : 2667.020 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 : 7358.89 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 : 2667.020 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 : 2667.020 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 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.54 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 : 2667.020 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 : 2667.020 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26664284 kB Buffers: 82116 kB Cached: 172716 kB SwapCached: 34032 kB Active: 3536616 kB Inactive: 238204 kB Active(anon): 3487968 kB Inactive(anon): 34516 kB Active(file): 48648 kB Inactive(file): 203688 kB Unevictable: 1662508 kB Mlocked: 1482636 kB SwapTotal: 67108856 kB SwapFree: 67066964 kB Dirty: 924 kB Writeback: 0 kB AnonPages: 5173276 kB Mapped: 15564 kB Shmem: 0 kB Slab: 607836 kB SReclaimable: 51524 kB SUnreclaim: 556312 kB KernelStack: 1640 kB PageTables: 14148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5432460 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 3606528 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= 71716 MiB End job on node134 at 2016-06-20 07:25:41