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) | 42 | 1800.18 | 898.171 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
| MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | NO |
| Number of variables | 1108 |
| Total number of constraints | 2313 |
| Number of constraints which are clauses | 2313 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 295 |
| Number of terms in the objective function | 1108 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1108 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1108 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4105506-1466254546.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 0.59/0.39 c ... done. Wall clock time 0.281s. 0.59/0.39 c declared #vars 1108 0.59/0.39 c #constraints 2313 0.59/0.39 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.59/0.39 c constraints type 0.59/0.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2091 0.59/0.40 c org.sat4j.specs.Constr$1 => 202 0.59/0.40 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12 0.59/0.40 c org.sat4j.minisat.constraints.cnf.UnitClause => 8 0.59/0.40 c 2313 constraints processed. 0.59/0.40 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.59/0.40 c constraints type 0.59/0.40 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12 0.59/0.40 c org.sat4j.specs.Constr$1 => 202 0.59/0.40 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2091 0.59/0.40 c org.sat4j.pb.constraints.pb.UnitClausePB => 8 0.59/0.40 c 2313 constraints processed. 0.59/0.40 c objective function length is 1108 literals 0.71/0.42 c And the winner is solver0 0.79/0.90 c SATISFIABLE 0.79/0.90 c OPTIMIZING... 0.79/0.90 c Got one! Elapsed wall clock time (in seconds):0.788 0.79/0.90 o 53 0.79/0.94 c And the winner is solver0 1.09/1.41 c Got one! Elapsed wall clock time (in seconds):1.296 1.09/1.41 o 52 1.77/1.69 c And the winner is solver1 2.44/1.92 c Got one! Elapsed wall clock time (in seconds):1.808 2.44/1.92 o 51 3.77/2.55 c cleaning 2970 clauses out of 5940 with flag 18491/5940 5.81/3.46 c cleaning 4472 clauses out of 8967 with flag 45902/11937 7.92/4.50 c cleaning 5737 clauses out of 11495 with flag 77998/18937 10.65/5.79 c cleaning 6878 clauses out of 13758 with flag 110098/26937 12.83/6.77 c And the winner is solver1 12.95/6.92 c Got one! Elapsed wall clock time (in seconds):6.813 12.95/6.92 o 50 14.30/7.65 c cleaning 9007 clauses out of 18013 with flag 24594/38070 16.40/8.60 c cleaning 7474 clauses out of 15005 with flag 47894/44069 18.60/9.75 c cleaning 7261 clauses out of 14532 with flag 71838/51070 21.41/11.11 c cleaning 7636 clauses out of 15271 with flag 98047/59070 24.65/12.70 c cleaning 8308 clauses out of 16634 with flag 127258/68069 28.22/14.42 c cleaning 9165 clauses out of 18329 with flag 161588/78072 32.01/16.34 c cleaning 10071 clauses out of 20161 with flag 198638/89069 36.42/18.51 c cleaning 11039 clauses out of 22090 with flag 239701/101069 41.38/20.98 c cleaning 12026 clauses out of 24051 with flag 283001/114069 46.94/23.64 c cleaning 13011 clauses out of 26025 with flag 329567/128069 52.34/26.31 c cleaning 14005 clauses out of 28014 with flag 381584/143069 54.34/27.33 c And the winner is solver1 54.34/27.43 c Got one! Elapsed wall clock time (in seconds):27.319 54.34/27.43 o 49 55.72/28.17 c cleaning 12828 clauses out of 25658 with flag 20696/154718 57.51/29.09 c cleaning 9413 clauses out of 18830 with flag 45593/160718 60.13/30.25 c cleaning 8195 clauses out of 16416 with flag 69845/167717 62.53/31.45 c cleaning 8112 clauses out of 16224 with flag 95367/175720 65.33/32.81 c cleaning 8556 clauses out of 17112 with flag 126318/184720 68.33/34.39 c cleaning 9263 clauses out of 18553 with flag 161190/194717 72.13/36.21 c cleaning 10134 clauses out of 20290 with flag 196751/205717 74.78/37.44 c And the winner is solver1 74.83/37.93 c Got one! Elapsed wall clock time (in seconds):37.824 74.83/37.93 o 48 76.16/38.63 c cleaning 10880 clauses out of 21763 with flag 20089/217324 78.01/39.52 c cleaning 8441 clauses out of 16881 with flag 41998/223322 80.20/40.63 c cleaning 7700 clauses out of 15440 with flag 68128/230322 82.82/41.92 c cleaning 7871 clauses out of 15741 with flag 100402/238323 85.60/43.37 c cleaning 8435 clauses out of 16870 with flag 131919/247323 89.00/45.00 c cleaning 9215 clauses out of 18435 with flag 164222/257323 92.80/46.90 c cleaning 10105 clauses out of 20219 with flag 201619/268322 97.41/49.10 c cleaning 11051 clauses out of 22114 with flag 242326/280322 102.01/51.40 c cleaning 12030 clauses out of 24064 with flag 285359/293323 107.03/53.96 c cleaning 13005 clauses out of 26033 with flag 332304/307322 112.21/56.54 c cleaning 14014 clauses out of 28028 with flag 386712/322322 117.61/59.25 c cleaning 15001 clauses out of 30014 with flag 455948/338322 124.41/62.50 c cleaning 16007 clauses out of 32013 with flag 520661/355322 131.21/65.95 c cleaning 16975 clauses out of 34006 with flag 580805/373322 139.01/69.90 c cleaning 18017 clauses out of 36036 with flag 639453/392327 143.01/71.81 c And the winner is solver1 143.01/71.94 c Got one! Elapsed wall clock time (in seconds):71.833 143.01/71.94 o 47 144.34/72.65 c cleaning 16429 clauses out of 32862 with flag 19972/407170 146.12/73.56 c cleaning 11217 clauses out of 22434 with flag 45127/413171 149.45/75.55 c cleaning 9108 clauses out of 18216 with flag 71511/420170 151.85/76.73 c cleaning 8554 clauses out of 17108 with flag 99545/428170 154.86/78.21 c cleaning 8768 clauses out of 17555 with flag 132520/437171 158.04/79.81 c cleaning 9393 clauses out of 18786 with flag 168235/447170 161.46/81.54 c cleaning 10176 clauses out of 20393 with flag 208555/458170 165.65/83.65 c cleaning 11102 clauses out of 22217 with flag 255492/470170 170.25/85.94 c cleaning 12047 clauses out of 24115 with flag 297157/483170 175.93/88.76 c cleaning 13035 clauses out of 26069 with flag 341737/497171 181.34/91.44 c cleaning 14017 clauses out of 28037 with flag 398026/512174 187.53/94.58 c cleaning 15005 clauses out of 30023 with flag 453335/528177 194.13/97.82 c cleaning 15990 clauses out of 32013 with flag 510313/545172 202.07/101.70 c cleaning 17010 clauses out of 34021 with flag 569821/563170 209.07/105.27 c cleaning 17998 clauses out of 36013 with flag 632021/582172 216.07/108.73 c cleaning 19005 clauses out of 38016 with flag 700907/602173 223.67/112.52 c cleaning 19991 clauses out of 40009 with flag 774859/623171 231.47/116.42 c cleaning 20985 clauses out of 42017 with flag 853472/645170 240.51/120.89 c cleaning 22011 clauses out of 44032 with flag 935581/668170 251.31/126.24 c cleaning 23013 clauses out of 46025 with flag 1017280/692174 261.31/131.28 c cleaning 24002 clauses out of 48011 with flag 1099161/717173 272.35/136.67 c cleaning 24995 clauses out of 50006 with flag 1186834/743170 284.17/142.53 c cleaning 26001 clauses out of 52011 with flag 1270801/770170 297.01/148.90 c cleaning 26989 clauses out of 54010 with flag 1357952/798170 308.41/154.59 c cleaning 28004 clauses out of 56021 with flag 1461866/827170 323.60/162.15 c cleaning 29000 clauses out of 58017 with flag 1558130/857170 337.21/168.83 c cleaning 29961 clauses out of 60017 with flag 1657898/888170 350.21/175.33 c cleaning 31018 clauses out of 62056 with flag 1768107/920170 363.40/182.00 c cleaning 32017 clauses out of 64038 with flag 1883294/953170 378.27/189.23 c cleaning 32979 clauses out of 66021 with flag 2008449/987170 387.07/193.70 c And the winner is solver1 389.06/195.59 c Got one! Elapsed wall clock time (in seconds):195.477 389.06/195.59 o 46 391.02/196.53 c cleaning 31410 clauses out of 62870 with flag 21469/1016998 393.02/197.52 c cleaning 18717 clauses out of 37460 with flag 43685/1022998 395.22/198.65 c cleaning 12863 clauses out of 25744 with flag 69263/1029999 397.62/199.82 c cleaning 10436 clauses out of 20880 with flag 99339/1037998 400.22/201.16 c cleaning 9719 clauses out of 19447 with flag 129154/1047001 403.42/202.72 c cleaning 9848 clauses out of 19725 with flag 165734/1056998 406.82/204.46 c cleaning 10421 clauses out of 20877 with flag 208152/1067998 411.08/206.56 c cleaning 11205 clauses out of 22456 with flag 246103/1079998 415.48/208.74 c cleaning 12120 clauses out of 24253 with flag 289285/1093000 420.08/211.05 c cleaning 13030 clauses out of 26131 with flag 339366/1106998 424.89/213.47 c cleaning 14051 clauses out of 28101 with flag 395483/1121998 430.58/216.29 c cleaning 15021 clauses out of 30050 with flag 451832/1137998 436.78/219.36 c cleaning 16002 clauses out of 32029 with flag 511211/1154998 443.18/222.50 c cleaning 17011 clauses out of 34027 with flag 577552/1172998 450.11/225.92 c cleaning 18003 clauses out of 36016 with flag 646440/1191998 457.31/229.57 c cleaning 19007 clauses out of 38013 with flag 713417/1211998 465.24/233.40 c cleaning 19998 clauses out of 40008 with flag 789296/1233000 473.86/237.77 c cleaning 20999 clauses out of 42011 with flag 863098/1255001 481.85/241.74 c cleaning 21984 clauses out of 44009 with flag 943795/1277998 490.42/245.93 c cleaning 23010 clauses out of 46026 with flag 1030155/1301999 499.42/250.45 c cleaning 24001 clauses out of 48015 with flag 1114547/1326998 509.82/255.61 c cleaning 25002 clauses out of 50016 with flag 1207348/1353000 509.82/255.62 c And the winner is solver1 509.82/255.65 c Got one! Elapsed wall clock time (in seconds):255.535 509.82/255.65 o 45 511.19/256.38 c cleaning 15029 clauses out of 30067 with flag 20819/1358053 512.77/257.17 c cleaning 10502 clauses out of 21038 with flag 44464/1364053 513.97/257.77 c And the winner is solver1 514.12/258.21 c Got one! Elapsed wall clock time (in seconds):258.104 514.12/258.21 o 44 514.30/258.34 c cleaning 7915 clauses out of 15844 with flag 3689/1369361 515.90/259.16 c cleaning 6960 clauses out of 13928 with flag 27697/1375360 518.10/260.21 c cleaning 6984 clauses out of 13968 with flag 53607/1382360 519.74/261.03 c And the winner is solver1 519.81/261.22 c Got one! Elapsed wall clock time (in seconds):261.112 519.81/261.22 o 43 520.97/261.88 c cleaning 8783 clauses out of 17569 with flag 20282/1392945 522.56/262.66 c cleaning 7388 clauses out of 14788 with flag 49250/1398947 523.96/263.39 c And the winner is solver1 524.14/263.73 c Got one! Elapsed wall clock time (in seconds):263.619 524.14/263.73 o 42 525.27/264.38 c cleaning 8705 clauses out of 17414 with flag 23926/1408961 527.08/265.22 c cleaning 7356 clauses out of 14712 with flag 48308/1414964 529.08/266.22 c cleaning 7177 clauses out of 14353 with flag 71887/1421961 531.69/267.44 c cleaning 7576 clauses out of 15176 with flag 101287/1429961 534.48/268.81 c cleaning 8284 clauses out of 16600 with flag 129906/1438961 537.48/270.39 c cleaning 9142 clauses out of 18316 with flag 163973/1448961 541.08/272.17 c cleaning 10084 clauses out of 20174 with flag 198362/1459961 544.69/273.94 c cleaning 11044 clauses out of 22091 with flag 238337/1471962 548.48/275.89 c cleaning 12019 clauses out of 24046 with flag 286498/1484961 553.54/278.22 c cleaning 13007 clauses out of 26027 with flag 338044/1498961 558.15/280.51 c cleaning 13995 clauses out of 28020 with flag 396250/1513961 562.93/282.96 c cleaning 15013 clauses out of 30026 with flag 458612/1529962 568.93/285.91 c cleaning 15997 clauses out of 32013 with flag 521933/1546962 575.41/289.02 c cleaning 17008 clauses out of 34016 with flag 589943/1564962 581.80/292.22 c cleaning 17983 clauses out of 36007 with flag 653857/1583961 589.21/295.98 c cleaning 19013 clauses out of 38025 with flag 717597/1603962 596.40/299.60 c cleaning 19999 clauses out of 40011 with flag 797911/1624961 603.20/302.96 c cleaning 20970 clauses out of 42012 with flag 877615/1646961 611.96/307.12 c cleaning 22023 clauses out of 44048 with flag 956662/1669967 620.16/311.28 c cleaning 22995 clauses out of 46019 with flag 1037116/1693961 628.75/315.52 c cleaning 24001 clauses out of 48024 with flag 1122492/1718961 637.76/320.07 c cleaning 24993 clauses out of 50023 with flag 1212554/1744961 648.53/325.29 c cleaning 26010 clauses out of 52030 with flag 1308848/1771961 658.53/330.21 c cleaning 26998 clauses out of 54020 with flag 1423489/1799961 669.14/335.53 c cleaning 27992 clauses out of 56022 with flag 1533517/1828961 683.15/342.34 c cleaning 29012 clauses out of 58032 with flag 1635851/1858963 695.59/348.39 c cleaning 30001 clauses out of 60018 with flag 1751518/1889961 708.19/354.63 c cleaning 31002 clauses out of 62017 with flag 1868540/1921961 722.84/361.71 c cleaning 31985 clauses out of 64015 with flag 1983836/1954961 735.83/368.24 c cleaning 33019 clauses out of 66037 with flag 2109945/1988968 751.02/375.86 c cleaning 33999 clauses out of 68011 with flag 2246763/2023961 767.29/383.77 c cleaning 35001 clauses out of 70012 with flag 2377243/2059961 781.69/390.91 c cleaning 36002 clauses out of 72013 with flag 2509492/2096963 798.35/399.00 c cleaning 36991 clauses out of 74009 with flag 2647600/2134961 815.34/407.52 c cleaning 38005 clauses out of 76018 with flag 2779915/2173961 833.36/416.33 c cleaning 38996 clauses out of 78014 with flag 2919469/2213962 849.16/424.26 c cleaning 40008 clauses out of 80019 with flag 3079542/2254963 870.20/434.56 c cleaning 41005 clauses out of 82009 with flag 3223686/2296961 873.87/436.30 c cleaning 0 clauses out of 8324 with flag 0/8324 893.17/445.63 c cleaning 42000 clauses out of 84004 with flag 3378807/2339961 914.89/457.36 c cleaning 42966 clauses out of 86004 with flag 3547979/2383961 933.00/466.37 c cleaning 43987 clauses out of 88038 with flag 3716494/2428961 952.74/476.12 c cleaning 45014 clauses out of 90056 with flag 3891273/2474966 972.37/485.85 c cleaning 45990 clauses out of 92037 with flag 4066985/2521961 993.43/496.23 c cleaning 47013 clauses out of 94047 with flag 4241881/2569961 1018.55/508.77 c cleaning 48012 clauses out of 96034 with flag 4415219/2618961 1041.69/520.28 c cleaning 48989 clauses out of 98022 with flag 4586697/2668961 1067.65/533.19 c cleaning 50017 clauses out of 100034 with flag 4758712/2719962 1092.59/545.51 c cleaning 51011 clauses out of 102021 with flag 4942335/2771966 1120.43/559.34 c cleaning 51997 clauses out of 104005 with flag 5132912/2824961 1149.00/573.58 c cleaning 52995 clauses out of 106008 with flag 5311877/2878961 1173.77/585.84 c cleaning 54006 clauses out of 108013 with flag 5513632/2933961 1199.36/598.57 c cleaning 54981 clauses out of 110007 with flag 5714762/2989961 1227.76/612.67 c cleaning 56003 clauses out of 112029 with flag 5925174/3046964 1259.23/628.22 c cleaning 56989 clauses out of 114024 with flag 6136554/3104962 1290.49/643.70 c cleaning 58010 clauses out of 116034 with flag 6345886/3163961 1322.57/659.69 c cleaning 58997 clauses out of 118035 with flag 6561811/3223972 1352.32/674.39 c cleaning 60007 clauses out of 120027 with flag 6792438/3284961 1386.21/691.15 c cleaning 61010 clauses out of 122020 with flag 7018400/3346961 1422.41/708.98 c cleaning 62006 clauses out of 124011 with flag 7242148/3409962 1455.73/725.46 c cleaning 62998 clauses out of 126004 with flag 7467845/3473961 1487.48/741.19 c cleaning 64006 clauses out of 128012 with flag 7696917/3538967 1524.89/759.58 c cleaning 64994 clauses out of 130000 with flag 7927345/3604961 1560.55/777.21 c cleaning 65975 clauses out of 132008 with flag 8161901/3671963 1605.74/801.58 c cleaning 67016 clauses out of 134035 with flag 8394460/3739965 1642.94/820.00 c cleaning 67990 clauses out of 136015 with flag 8636380/3808961 1679.87/838.49 c cleaning 69013 clauses out of 138025 with flag 8890331/3878961 1724.58/860.64 c cleaning 70006 clauses out of 140015 with flag 9143871/3949964 1766.35/881.43 c cleaning 70994 clauses out of 142006 with flag 9399750/4021961 1800.18/898.10 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.18/898.10 c starts : 79751 1800.18/898.10 c conflicts : 4084597 1800.18/898.10 c decisions : 40610655 1800.18/898.10 c propagations : 1172979230 1800.18/898.10 c inspects : 9455015922 1800.18/898.10 c shortcuts : 0 1800.18/898.10 c learnt literals : 0 1800.18/898.10 c learnt binary clauses : 0 1800.18/898.10 c learnt ternary clauses : 0 1800.18/898.10 c learnt constraints : 4084597 1800.18/898.10 c ignored constraints : 0 1800.18/898.10 c root simplifications : 0 1800.18/898.10 c removed literals (reason simplification) : 23064253 1800.18/898.10 c reason swapping (by a shorter reason) : 0 1800.18/898.10 c Calls to reduceDB : 164 1800.18/898.10 c Number of update (reduction) of LBD : 1900850 1800.18/898.10 c Imported unit clauses : 0 1800.18/898.10 c number of reductions to clauses (during analyze) : 0 1800.18/898.10 c number of learned constraints concerned by reduction : 0 1800.18/898.10 c number of learning phase by resolution : 0 1800.18/898.10 c number of learning phase by cutting planes : 0 1800.18/898.10 c speed (assignments/second) : 1849054.616649353 1800.18/898.10 c non guided choices 0 1800.18/898.13 c learnt constraints type 1800.18/898.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 133649 1800.18/898.13 c >>>>>>>>>> Solver number 1 (10 answers) <<<<<<<<<<<<<<<<<< 1800.18/898.13 c starts : 48 1800.18/898.13 c conflicts : 12294 1800.18/898.13 c decisions : 325264 1800.18/898.13 c propagations : 1092755 1800.18/898.13 c inspects : 548541632 1800.18/898.13 c shortcuts : 0 1800.18/898.13 c learnt literals : 0 1800.18/898.13 c learnt binary clauses : 0 1800.18/898.13 c learnt ternary clauses : 0 1800.18/898.13 c learnt constraints : 12293 1800.18/898.13 c ignored constraints : 0 1800.18/898.13 c root simplifications : 0 1800.18/898.13 c removed literals (reason simplification) : 0 1800.18/898.13 c reason swapping (by a shorter reason) : 0 1800.18/898.13 c Calls to reduceDB : 1 1800.18/898.13 c Number of update (reduction) of LBD : 0 1800.18/898.13 c Imported unit clauses : 0 1800.18/898.13 c number of reductions to clauses (during analyze) : 0 1800.18/898.13 c number of learned constraints concerned by reduction : 0 1800.18/898.13 c number of learning phase by resolution : 0 1800.18/898.13 c number of learning phase by cutting planes : 0 1800.18/898.13 c speed (assignments/second) : 1218.6310578594791 1800.18/898.13 c non guided choices 1 1800.18/898.14 c learnt constraints type 1800.18/898.14 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 104 1800.18/898.14 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 240 1800.18/898.14 c org.sat4j.pb.constraints.pb.MaxWatchPb => 11949 1800.18/898.14 s SATISFIABLE 1800.18/898.14 c Found 12 solution(s) 1800.18/898.14 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 1800.18/898.14 c objective function=42 1800.18/898.14 c Total wall clock time (in seconds): 898.03
OK 42
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-4105506-1466254546/watcher-4105506-1466254546 -o /tmp/evaluation-result-4105506-1466254546/solver-4105506-1466254546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22107 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105506-1466254546.opb pid=25795 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.07 4.21 4.21 4/197 25798 /proc/meminfo: memFree=27214008/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/25798/stat : 25798 (java) R 25795 25798 22091 0 -1 4202496 1064 0 0 0 0 0 0 0 20 0 1 0 27500093 23793664 714 33554432000 1073741824 1073778376 140735838485312 140735838474376 239863897216 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 5809 715 530 9 0 128 0 [startup+0.100164 s] /proc/loadavg: 4.07 4.21 4.21 4/197 25798 /proc/meminfo: memFree=27214008/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 4427 0 1 0 9 1 0 0 20 0 18 0 27500093 9787879424 6056 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2389619 6062 2141 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.20023 s] /proc/loadavg: 4.07 4.21 4.21 4/197 25798 /proc/meminfo: memFree=27214008/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 6156 0 1 0 28 1 0 0 20 0 18 0 27500093 9787879424 7766 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2389619 7767 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300213 s] /proc/loadavg: 4.07 4.21 4.21 4/197 25798 /proc/meminfo: memFree=27214008/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9558476 CPUtime=0.59 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 7446 0 1 0 57 2 0 0 20 0 18 0 27500093 9787879424 10805 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2389619 10805 2237 9 0 2380296 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 9558476 [startup+0.700263 s] /proc/loadavg: 4.07 4.21 4.21 4/197 25798 /proc/meminfo: memFree=27214008/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 7813 0 1 0 75 4 0 0 20 0 19 0 27500093 10060525568 18952 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2456183 18952 2251 9 0 2446860 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 9824732 [startup+1.5007 s] /proc/loadavg: 4.07 4.21 4.21 3/216 25823 /proc/meminfo: memFree=27141732/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9824732 CPUtime=1.38 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 8924 0 1 0 132 6 0 0 20 0 22 0 27500093 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2456183 22482 2263 9 0 2446860 0 [pid=25798/tid=25800] ppid=25795 vsize=9824732 CPUtime=0.39 cores=0,2,4,6 /proc/25798/task/25800/stat : 25800 (java) S 25795 25798 22091 0 -1 4202560 2446 0 1 0 37 2 0 0 20 0 22 0 27500093 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963511169912 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25801] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25801/stat : 25801 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963472660776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25802] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25802/stat : 25802 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963471607976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25803] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25803/stat : 25803 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963470555688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25804] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25804/stat : 25804 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963469502888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25805] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25805/stat : 25805 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963468450600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25806] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25806/stat : 25806 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963467397800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25807] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25807/stat : 25807 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963466345512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25808] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25808/stat : 25808 (java) S 25795 25798 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963465292712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25809] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25809/stat : 25809 (java) S 25795 25798 22091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27500095 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963335166184 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25810] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25810/stat : 25810 (java) S 25795 25798 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963334112248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25811] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25811/stat : 25811 (java) S 25795 25798 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963333059848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25812] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25812/stat : 25812 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963332008336 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25813] ppid=25795 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/25798/task/25813/stat : 25813 (java) S 25795 25798 22091 0 -1 4202560 2252 0 0 0 31 0 0 0 20 0 22 0 27500098 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963330955960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25814] ppid=25795 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/25798/task/25814/stat : 25814 (java) R 25795 25798 22091 0 -1 4202560 2873 0 0 0 32 0 0 0 20 0 22 0 27500098 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963329903160 139963514044529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25815] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25815/stat : 25815 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963328851064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25816] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25816/stat : 25816 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963327798472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25820] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25820/stat : 25820 (java) S 25795 25798 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27500133 10060525568 22482 33554432000 1073741824 1073778376 140735838485312 139963323585576 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 9824732 [startup+3.1009 s] /proc/loadavg: 4.07 4.21 4.21 6/219 25829 /proc/meminfo: memFree=27080320/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9824732 CPUtime=5.13 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 20028 0 1 0 501 12 0 0 20 0 22 0 27500093 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2456183 49375 2292 9 0 2446860 0 [pid=25798/tid=25800] ppid=25795 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/25798/task/25800/stat : 25800 (java) S 25795 25798 22091 0 -1 4202560 2447 0 1 0 38 2 0 0 20 0 22 0 27500093 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963511169912 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25801] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25801/stat : 25801 (java) S 25795 25798 22091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963472660776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25802] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25802/stat : 25802 (java) S 25795 25798 22091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963471607976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25803] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25803/stat : 25803 (java) S 25795 25798 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963470555688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25804] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25804/stat : 25804 (java) S 25795 25798 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963469502888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25805] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25805/stat : 25805 (java) S 25795 25798 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963468450600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25806] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25806/stat : 25806 (java) S 25795 25798 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963467397800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25807] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25807/stat : 25807 (java) S 25795 25798 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963466345512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25808] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25808/stat : 25808 (java) S 25795 25798 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963465292712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25809] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25809/stat : 25809 (java) S 25795 25798 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27500095 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963335166184 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25810] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25810/stat : 25810 (java) S 25795 25798 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963334112248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25811] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25811/stat : 25811 (java) S 25795 25798 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963333059848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25812] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25812/stat : 25812 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963332008336 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25813] ppid=25795 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/25798/task/25813/stat : 25813 (java) R 25795 25798 22091 0 -1 4202560 6517 0 0 0 79 0 0 0 20 0 22 0 27500098 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963330955960 139963516990651 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25814] ppid=25795 vsize=9824732 CPUtime=0.83 cores=0,2,4,6 /proc/25798/task/25814/stat : 25814 (java) S 25795 25798 22091 0 -1 4202560 9621 0 0 0 81 2 0 0 20 0 22 0 27500098 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963329903160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25815] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25815/stat : 25815 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963328851064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25816] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25816/stat : 25816 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963327798472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25826] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25826/stat : 25826 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27500235 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963324637992 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25827] ppid=25795 vsize=9824732 CPUtime=1.14 cores=0,2,4,6 /proc/25798/task/25827/stat : 25827 (java) R 25795 25798 22091 0 -1 4202560 4 0 0 0 114 0 0 0 20 0 22 0 27500285 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963326742872 139963338451542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25828] ppid=25795 vsize=9824732 CPUtime=1.14 cores=0,2,4,6 /proc/25798/task/25828/stat : 25828 (java) R 25795 25798 22091 0 -1 4202560 34 0 0 0 113 1 0 0 20 0 22 0 27500285 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963325688840 139963337942397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25829] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25829/stat : 25829 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27500286 10060525568 49375 33554432000 1073741824 1073778376 140735838485312 139963323585960 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.13 Current children cumulated vsize (KiB) 9824732 [startup+6.30091 s] /proc/loadavg: 3.91 4.17 4.20 5/219 25829 /proc/meminfo: memFree=26997564/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9824732 CPUtime=11.87 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 21274 0 1 0 1171 16 0 0 20 0 22 0 27500093 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2456183 56146 2292 9 0 2446860 0 [pid=25798/tid=25800] ppid=25795 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/25798/task/25800/stat : 25800 (java) S 25795 25798 22091 0 -1 4202560 2447 0 1 0 38 2 0 0 20 0 22 0 27500093 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963511169912 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25801] ppid=25795 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/25798/task/25801/stat : 25801 (java) S 25795 25798 22091 0 -1 4202560 141 0 0 0 1 0 0 0 20 0 22 0 27500094 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963472660776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25802] ppid=25795 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/25798/task/25802/stat : 25802 (java) S 25795 25798 22091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 27500094 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963471607976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25803] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25803/stat : 25803 (java) S 25795 25798 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963470555688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25804] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25804/stat : 25804 (java) S 25795 25798 22091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963469502888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25805] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25805/stat : 25805 (java) S 25795 25798 22091 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 22 0 27500094 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963468450600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25806] ppid=25795 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/25798/task/25806/stat : 25806 (java) S 25795 25798 22091 0 -1 4202560 127 0 0 0 3 0 0 0 20 0 22 0 27500094 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963467397800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25807] ppid=25795 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/25798/task/25807/stat : 25807 (java) S 25795 25798 22091 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 27500094 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963466345512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25808] ppid=25795 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/25798/task/25808/stat : 25808 (java) S 25795 25798 22091 0 -1 4202560 129 0 0 0 2 0 0 0 20 0 22 0 27500094 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963465292712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25809] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25809/stat : 25809 (java) S 25795 25798 22091 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 27500095 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963335166184 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25810] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25810/stat : 25810 (java) S 25795 25798 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963334112248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25811] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25811/stat : 25811 (java) S 25795 25798 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963333059848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25812] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25812/stat : 25812 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963332008336 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25813] ppid=25795 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 /proc/25798/task/25813/stat : 25813 (java) S 25795 25798 22091 0 -1 4202560 7108 0 0 0 95 0 0 0 20 0 22 0 27500098 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963330955960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25814] ppid=25795 vsize=9824732 CPUtime=0.97 cores=0,2,4,6 /proc/25798/task/25814/stat : 25814 (java) S 25795 25798 22091 0 -1 4202560 9679 0 0 0 95 2 0 0 20 0 22 0 27500098 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963329903160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25815] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25815/stat : 25815 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 56146 33554432000 1073741824 1073778376 140735838485312 139963328851064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25816] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [pid=25798/tid=25808] ppid=25795 vsize=9824732 CPUtime=4.29 cores=0,2,4,6 /proc/25798/task/25808/stat : 25808 (java) S 25795 25798 22091 0 -1 4202560 825 0 0 0 411 18 0 0 20 0 22 0 27500094 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963465292712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25809] ppid=25795 vsize=9824732 CPUtime=8.58 cores=0,2,4,6 /proc/25798/task/25809/stat : 25809 (java) S 25795 25798 22091 0 -1 4202560 3347 0 0 0 851 7 0 0 20 0 22 0 27500095 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963335166184 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25810] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25810/stat : 25810 (java) S 25795 25798 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963334112248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25811] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25811/stat : 25811 (java) S 25795 25798 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963333059848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25812] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25812/stat : 25812 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963332008336 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25813] ppid=25795 vsize=9824732 CPUtime=1.73 cores=0,2,4,6 /proc/25798/task/25813/stat : 25813 (java) S 25795 25798 22091 0 -1 4202560 7848 0 0 0 173 0 0 0 20 0 22 0 27500098 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963330955960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25814] ppid=25795 vsize=9824732 CPUtime=1.06 cores=0,2,4,6 /proc/25798/task/25814/stat : 25814 (java) S 25795 25798 22091 0 -1 4202560 9680 0 0 0 104 2 0 0 20 0 22 0 27500098 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963329903160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25815] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25815/stat : 25815 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963328851064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25816] ppid=25795 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/25798/task/25816/stat : 25816 (java) S 25795 25798 22091 0 -1 4202560 51 0 0 0 12 16 0 0 20 0 22 0 27500098 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963327798472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25826] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25826/stat : 25826 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27500235 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963324637992 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25945] ppid=25795 vsize=9824732 CPUtime=603.75 cores=0,2,4,6 /proc/25798/task/25945/stat : 25945 (java) R 25795 25798 22091 0 -1 4202560 23 0 0 0 60366 9 0 0 20 0 22 0 27526467 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963326734480 139963338015489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25946] ppid=25795 vsize=9824732 CPUtime=603.74 cores=0,2,4,6 /proc/25798/task/25946/stat : 25946 (java) R 25795 25798 22091 0 -1 4202560 34 0 0 0 60365 9 0 0 20 0 22 0 27526467 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963323583632 139963338409301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25947] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25947/stat : 25947 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27526467 10060525568 1018680 33554432000 1073741824 1073778376 140735838485312 139963325691432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1767.44 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+898.101 s] /proc/loadavg: 4.39 4.32 4.26 5/220 25986 /proc/meminfo: memFree=23947720/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9824732 CPUtime=1799.46 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 33571 0 1 0 179691 255 0 0 20 0 22 0 27500093 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2456183 1018704 2302 9 0 2446860 0 [pid=25798/tid=25800] ppid=25795 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/25798/task/25800/stat : 25800 (java) S 25795 25798 22091 0 -1 4202560 2459 0 1 0 45 3 0 0 20 0 22 0 27500093 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963511169912 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25801] ppid=25795 vsize=9824732 CPUtime=4.52 cores=0,2,4,6 /proc/25798/task/25801/stat : 25801 (java) S 25795 25798 22091 0 -1 4202560 845 0 0 0 432 20 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963472660776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25802] ppid=25795 vsize=9824732 CPUtime=4.74 cores=0,2,4,6 /proc/25798/task/25802/stat : 25802 (java) S 25795 25798 22091 0 -1 4202560 864 0 0 0 454 20 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963471607976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25803] ppid=25795 vsize=9824732 CPUtime=4.31 cores=0,2,4,6 /proc/25798/task/25803/stat : 25803 (java) S 25795 25798 22091 0 -1 4202560 898 0 0 0 408 23 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963470555688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25804] ppid=25795 vsize=9824732 CPUtime=4.71 cores=0,2,4,6 /proc/25798/task/25804/stat : 25804 (java) S 25795 25798 22091 0 -1 4202560 761 0 0 0 448 23 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963469502888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25805] ppid=25795 vsize=9824732 CPUtime=4.2 cores=0,2,4,6 /proc/25798/task/25805/stat : 25805 (java) S 25795 25798 22091 0 -1 4202560 924 0 0 0 400 20 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963468450600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25806] ppid=25795 vsize=9824732 CPUtime=4.92 cores=0,2,4,6 /proc/25798/task/25806/stat : 25806 (java) S 25795 25798 22091 0 -1 4202560 1048 0 0 0 468 24 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963467397800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25807] ppid=25795 vsize=9824732 CPUtime=4.51 cores=0,2,4,6 /proc/25798/task/25807/stat : 25807 (java) S 25795 25798 22091 0 -1 4202560 856 0 0 0 432 19 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963466345512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25808] ppid=25795 vsize=9824732 CPUtime=4.38 cores=0,2,4,6 /proc/25798/task/25808/stat : 25808 (java) S 25795 25798 22091 0 -1 4202560 825 0 0 0 420 18 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963465292712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25809] ppid=25795 vsize=9824732 CPUtime=8.59 cores=0,2,4,6 /proc/25798/task/25809/stat : 25809 (java) S 25795 25798 22091 0 -1 4202560 3362 0 0 0 852 7 0 0 20 0 22 0 27500095 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963335166184 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25810] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25810/stat : 25810 (java) S 25795 25798 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963334112248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25811] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25811/stat : 25811 (java) S 25795 25798 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963333059848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25812] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25812/stat : 25812 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963332008336 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25813] ppid=25795 vsize=9824732 CPUtime=1.73 cores=0,2,4,6 /proc/25798/task/25813/stat : 25813 (java) S 25795 25798 22091 0 -1 4202560 7848 0 0 0 173 0 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963330955960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25814] ppid=25795 vsize=9824732 CPUtime=1.06 cores=0,2,4,6 /proc/25798/task/25814/stat : 25814 (java) S 25795 25798 22091 0 -1 4202560 9680 0 0 0 104 2 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963329903160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25815] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25815/stat : 25815 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963328851064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25816] ppid=25795 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/25798/task/25816/stat : 25816 (java) S 25795 25798 22091 0 -1 4202560 51 0 0 0 13 16 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963327798472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25826] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25826/stat : 25826 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27500235 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963324637992 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25945] ppid=25795 vsize=9824732 CPUtime=619.26 cores=0,2,4,6 /proc/25798/task/25945/stat : 25945 (java) R 25795 25798 22091 0 -1 4202560 24 0 0 0 61917 9 0 0 20 0 22 0 27526467 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963326741424 139963338159715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25946] ppid=25795 vsize=9824732 CPUtime=619.26 cores=0,2,4,6 /proc/25798/task/25946/stat : 25946 (java) R 25795 25798 22091 0 -1 4202560 35 0 0 0 61917 9 0 0 20 0 22 0 27526467 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963323584608 139963337920243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25947] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25947/stat : 25947 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27526467 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963325691432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.46 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 25798 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+898.101 s] /proc/loadavg: 4.39 4.32 4.26 5/220 25986 /proc/meminfo: memFree=23947720/32872528 swapFree=1459628/1655852 [pid=25798] ppid=25795 vsize=9824732 CPUtime=1799.46 cores=0,2,4,6 /proc/25798/stat : 25798 (java) S 25795 25798 22091 0 -1 4202496 33571 0 1 0 179691 255 0 0 20 0 22 0 27500093 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 140735838476448 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25798/statm: 2456183 1018704 2302 9 0 2446860 0 [pid=25798/tid=25800] ppid=25795 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/25798/task/25800/stat : 25800 (java) S 25795 25798 22091 0 -1 4202560 2459 0 1 0 45 3 0 0 20 0 22 0 27500093 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963511169912 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25801] ppid=25795 vsize=9824732 CPUtime=4.52 cores=0,2,4,6 /proc/25798/task/25801/stat : 25801 (java) S 25795 25798 22091 0 -1 4202560 845 0 0 0 432 20 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963472660776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25802] ppid=25795 vsize=9824732 CPUtime=4.74 cores=0,2,4,6 /proc/25798/task/25802/stat : 25802 (java) S 25795 25798 22091 0 -1 4202560 864 0 0 0 454 20 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963471607976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25803] ppid=25795 vsize=9824732 CPUtime=4.31 cores=0,2,4,6 /proc/25798/task/25803/stat : 25803 (java) S 25795 25798 22091 0 -1 4202560 898 0 0 0 408 23 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963470555688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25804] ppid=25795 vsize=9824732 CPUtime=4.71 cores=0,2,4,6 /proc/25798/task/25804/stat : 25804 (java) S 25795 25798 22091 0 -1 4202560 761 0 0 0 448 23 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963469502888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25805] ppid=25795 vsize=9824732 CPUtime=4.2 cores=0,2,4,6 /proc/25798/task/25805/stat : 25805 (java) S 25795 25798 22091 0 -1 4202560 924 0 0 0 400 20 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963468450600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25806] ppid=25795 vsize=9824732 CPUtime=4.92 cores=0,2,4,6 /proc/25798/task/25806/stat : 25806 (java) S 25795 25798 22091 0 -1 4202560 1048 0 0 0 468 24 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963467397800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25807] ppid=25795 vsize=9824732 CPUtime=4.51 cores=0,2,4,6 /proc/25798/task/25807/stat : 25807 (java) S 25795 25798 22091 0 -1 4202560 856 0 0 0 432 19 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963466345512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25808] ppid=25795 vsize=9824732 CPUtime=4.38 cores=0,2,4,6 /proc/25798/task/25808/stat : 25808 (java) S 25795 25798 22091 0 -1 4202560 825 0 0 0 420 18 0 0 20 0 22 0 27500094 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963465292712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25809] ppid=25795 vsize=9824732 CPUtime=8.59 cores=0,2,4,6 /proc/25798/task/25809/stat : 25809 (java) S 25795 25798 22091 0 -1 4202560 3362 0 0 0 852 7 0 0 20 0 22 0 27500095 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963335166184 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25810] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25810/stat : 25810 (java) S 25795 25798 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963334112248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25811] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25811/stat : 25811 (java) S 25795 25798 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27500096 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963333059848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25812] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25812/stat : 25812 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963332008336 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25813] ppid=25795 vsize=9824732 CPUtime=1.73 cores=0,2,4,6 /proc/25798/task/25813/stat : 25813 (java) S 25795 25798 22091 0 -1 4202560 7848 0 0 0 173 0 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963330955960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25814] ppid=25795 vsize=9824732 CPUtime=1.06 cores=0,2,4,6 /proc/25798/task/25814/stat : 25814 (java) S 25795 25798 22091 0 -1 4202560 9680 0 0 0 104 2 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963329903160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25815] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25815/stat : 25815 (java) S 25795 25798 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963328851064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25798/tid=25816] ppid=25795 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/25798/task/25816/stat : 25816 (java) S 25795 25798 22091 0 -1 4202560 51 0 0 0 13 16 0 0 20 0 22 0 27500098 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963327798472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25826] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25826/stat : 25826 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27500235 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963324637992 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25798/tid=25945] ppid=25795 vsize=9824732 CPUtime=619.26 cores=0,2,4,6 /proc/25798/task/25945/stat : 25945 (java) R 25795 25798 22091 0 -1 4202560 24 0 0 0 61917 9 0 0 20 0 22 0 27526467 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963326741424 139963338159715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25798/tid=25946] ppid=25795 vsize=9824732 CPUtime=619.26 cores=0,2,4,6 /proc/25798/task/25946/stat : 25946 (java) R 25795 25798 22091 0 -1 4202560 35 0 0 0 61917 9 0 0 20 0 22 0 27526467 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963323584608 139963337920243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25798/tid=25947] ppid=25795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/25798/task/25947/stat : 25947 (java) S 25795 25798 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27526467 10060525568 1018704 33554432000 1073741824 1073778376 140735838485312 139963325691432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25798 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=678319 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=872563 # CPU time returned by wait4() is 1796.55 # while last known CPU time is 1799.46 # # 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): 0.719982 # lost CPU user time (s): 0.789997 # lost CPU system time (s): -0.0699999 Real time (s): 898.171 CPU time (s): 1800.18 CPU user time (s): 1797.7 CPU system time (s): 2.48 CPU usage (%): 200.427 Max. virtual memory (cumulated for all children) (KiB): 9826700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.68 system time used= 2.87256 maximum resident set size= 4074928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33607 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23709 involuntary context switches= 28783 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.68198 second user time and 6.24605 second system time The end
Begin job on node136 at 2016-06-18 14:55:46 IDJOB=4105506 IDBENCH=2883 IDSOLVER=2543 FILE ID=node136/4105506-1466254546 RUNJOBID= node136-1466240588-22107 PBS_JOBID= 19918192 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105506-1466254546/watcher-4105506-1466254546 -o /tmp/evaluation-result-4105506-1466254546/solver-4105506-1466254546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22107 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105506-1466254546.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED=1391479672 node136.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.278 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.55 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.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.56 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.278 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.278 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.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.67 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.278 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: 27214536 kB Buffers: 19644 kB Cached: 103728 kB SwapCached: 47324 kB Active: 3158848 kB Inactive: 128528 kB Active(anon): 3118592 kB Inactive(anon): 47248 kB Active(file): 40256 kB Inactive(file): 81280 kB Unevictable: 1655852 kB Mlocked: 1459628 kB SwapTotal: 67108856 kB SwapFree: 67054628 kB Dirty: 948 kB Writeback: 8 kB AnonPages: 4777812 kB Mapped: 16888 kB Shmem: 0 kB Slab: 569772 kB SReclaimable: 13760 kB SUnreclaim: 556012 kB KernelStack: 1616 kB PageTables: 13120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5123220 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3274752 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= 71736 MiB End job on node136 at 2016-06-18 15:10:44