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) | -99 | 1800.4 | 911.962 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb |
| MD5SUM | fc8bff78845ab9a14b2d06ab749e4dc4 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -113 |
| 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 | -137 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 12656 |
| Sum of products size (including duplicates) | 25312 |
| Number of different products | 6328 |
| Sum of products size | 12656 |
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.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081729-1465257773.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.60/0.73 c ... done. Wall clock time 0.609s. 1.60/0.73 c declared #vars 1000 1.60/0.73 c internal #vars 7328 1.60/0.73 c #constraints 14158 1.60/0.73 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.60/0.73 c constraints type 1.60/0.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6328 1.60/0.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 1002 1.60/0.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1.60/0.73 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328 1.60/0.73 c 14158 constraints processed. 1.60/0.73 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.60/0.73 c constraints type 1.60/0.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1.60/0.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6328 1.60/0.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002 1.60/0.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328 1.60/0.73 c 14158 constraints processed. 1.60/0.73 c objective function length is 500 literals 5.15/1.61 c And the winner is solver1 5.32/1.73 c SATISFIABLE 5.32/1.73 c OPTIMIZING... 5.32/1.73 c Got one! Elapsed wall clock time (in seconds):1.614 5.32/1.73 o -8 5.57/1.81 c And the winner is solver1 5.66/2.24 c Got one! Elapsed wall clock time (in seconds):2.117 5.66/2.24 o -9 5.66/2.28 c And the winner is solver1 5.81/2.74 c Got one! Elapsed wall clock time (in seconds):2.62 5.81/2.74 o -21 5.97/2.81 c And the winner is solver1 6.03/3.24 c Got one! Elapsed wall clock time (in seconds):3.122 6.03/3.24 o -25 6.25/3.33 c And the winner is solver1 6.35/3.74 c Got one! Elapsed wall clock time (in seconds):3.624 6.35/3.74 o -26 6.35/3.79 c And the winner is solver1 6.46/4.24 c Got one! Elapsed wall clock time (in seconds):4.125 6.46/4.24 o -27 6.59/4.34 c And the winner is solver1 6.72/4.74 c Got one! Elapsed wall clock time (in seconds):4.626 6.72/4.74 o -28 6.72/4.78 c And the winner is solver1 6.86/5.25 c Got one! Elapsed wall clock time (in seconds):5.127 6.86/5.25 o -29 6.86/5.28 c And the winner is solver1 6.94/5.75 c Got one! Elapsed wall clock time (in seconds):5.628 6.94/5.75 o -40 7.06/5.81 c And the winner is solver1 7.12/6.25 c Got one! Elapsed wall clock time (in seconds):6.13 7.12/6.25 o -41 7.25/6.34 c And the winner is solver1 7.36/6.75 c Got one! Elapsed wall clock time (in seconds):6.632 7.36/6.75 o -42 7.46/6.85 c And the winner is solver1 7.59/7.25 c Got one! Elapsed wall clock time (in seconds):7.133 7.59/7.25 o -43 7.59/7.29 c And the winner is solver1 7.69/7.75 c Got one! Elapsed wall clock time (in seconds):7.634 7.69/7.75 o -44 7.84/7.85 c And the winner is solver1 7.96/8.25 c Got one! Elapsed wall clock time (in seconds):8.134 7.96/8.25 o -45 8.05/8.35 c And the winner is solver1 8.17/8.75 c Got one! Elapsed wall clock time (in seconds):8.635 8.17/8.75 o -46 8.17/8.79 c And the winner is solver1 8.25/9.25 c Got one! Elapsed wall clock time (in seconds):9.136 8.25/9.25 o -49 8.35/9.37 c And the winner is solver1 8.54/9.75 c Got one! Elapsed wall clock time (in seconds):9.637 8.54/9.75 o -50 8.63/9.81 c And the winner is solver1 8.65/10.26 c Got one! Elapsed wall clock time (in seconds):10.137 8.65/10.26 o -51 8.73/10.30 c And the winner is solver1 8.75/10.76 c Got one! Elapsed wall clock time (in seconds):10.638 8.75/10.76 o -57 8.83/10.89 c And the winner is solver1 9.03/11.26 c Got one! Elapsed wall clock time (in seconds):11.139 9.03/11.26 o -58 9.10/11.33 c And the winner is solver1 9.19/11.76 c Got one! Elapsed wall clock time (in seconds):11.64 9.19/11.76 o -59 9.28/11.85 c And the winner is solver1 9.40/12.26 c Got one! Elapsed wall clock time (in seconds):12.141 9.40/12.26 o -60 9.72/12.40 c And the winner is solver1 9.74/12.76 c Got one! Elapsed wall clock time (in seconds):12.642 9.74/12.76 o -61 9.83/12.82 c And the winner is solver1 9.86/13.26 c Got one! Elapsed wall clock time (in seconds):13.142 9.86/13.26 o -70 9.86/13.30 c And the winner is solver1 9.94/13.76 c Got one! Elapsed wall clock time (in seconds):13.643 9.94/13.76 o -71 10.01/13.82 c And the winner is solver1 10.09/14.26 c Got one! Elapsed wall clock time (in seconds):14.143 10.09/14.26 o -72 10.17/14.39 c And the winner is solver1 10.35/14.76 c Got one! Elapsed wall clock time (in seconds):14.644 10.35/14.76 o -73 10.42/14.86 c And the winner is solver1 10.55/15.26 c Got one! Elapsed wall clock time (in seconds):15.145 10.55/15.26 o -74 10.64/15.30 c And the winner is solver1 10.65/15.76 c Got one! Elapsed wall clock time (in seconds):15.646 10.65/15.76 o -75 10.71/15.80 c And the winner is solver1 10.73/16.26 c Got one! Elapsed wall clock time (in seconds):16.146 10.73/16.26 o -76 17.75/19.77 c cleaning 4014 clauses out of 8036 with flag 53633/8036 25.50/23.53 c And the winner is solver1 25.59/23.77 c Got one! Elapsed wall clock time (in seconds):23.648 25.59/23.77 o -77 32.34/27.20 c cleaning 7142 clauses out of 14290 with flag 51533/18304 36.15/29.01 c And the winner is solver1 36.18/29.27 c Got one! Elapsed wall clock time (in seconds):29.151 36.18/29.27 o -78 40.51/31.43 c cleaning 6318 clauses out of 12646 with flag 30844/23802 49.44/35.80 c cleaning 6161 clauses out of 12327 with flag 87461/29801 55.64/38.92 c And the winner is solver0 55.72/39.27 c Got one! Elapsed wall clock time (in seconds):39.153 55.72/39.27 o -83 56.17/39.51 c And the winner is solver1 56.20/39.77 c Got one! Elapsed wall clock time (in seconds):39.654 56.20/39.77 o -84 57.45/40.45 c cleaning 5933 clauses out of 11866 with flag 10171/35501 66.11/44.79 c cleaning 5959 clauses out of 11934 with flag 69374/41502 75.31/49.32 c cleaning 6482 clauses out of 12974 with flag 134256/48501 83.97/53.62 c And the winner is solver1 84.02/53.78 c Got one! Elapsed wall clock time (in seconds):53.657 84.02/53.78 o -85 92.72/58.12 c cleaning 9668 clauses out of 19341 with flag 56603/61350 100.53/62.04 c And the winner is solver1 100.63/62.28 c Got one! Elapsed wall clock time (in seconds):62.16 100.63/62.28 o -86 107.47/65.79 c cleaning 10103 clauses out of 20218 with flag 50171/71895 116.09/70.09 c cleaning 8040 clauses out of 16114 with flag 107410/77894 120.69/72.33 c And the winner is solver1 120.78/72.78 c Got one! Elapsed wall clock time (in seconds):72.662 120.78/72.78 o -87 123.65/74.27 c cleaning 7013 clauses out of 14038 with flag 21136/83858 131.85/78.32 c cleaning 6509 clauses out of 13028 with flag 79614/89861 137.71/81.23 c And the winner is solver1 137.71/81.29 c Got one! Elapsed wall clock time (in seconds):81.167 137.71/81.29 o -88 145.85/85.35 c cleaning 8290 clauses out of 16589 with flag 51853/99931 152.05/88.40 c cleaning 7144 clauses out of 14300 with flag 111603/105932 157.70/91.29 c cleaning 7071 clauses out of 14155 with flag 190545/112931 162.91/93.89 c And the winner is solver1 163.12/94.29 c Got one! Elapsed wall clock time (in seconds):94.17 163.12/94.29 o -89 170.76/98.17 c cleaning 9067 clauses out of 18139 with flag 63655/123986 176.65/101.08 c cleaning 7475 clauses out of 15072 with flag 129179/129986 184.09/104.74 c cleaning 7308 clauses out of 14615 with flag 190448/137004 191.34/108.31 c cleaning 7503 clauses out of 15289 with flag 271385/144986 201.18/113.27 c cleaning 8390 clauses out of 16795 with flag 343450/153995 210.23/117.73 c cleaning 9156 clauses out of 18396 with flag 462116/163986 222.05/123.68 c cleaning 10120 clauses out of 20240 with flag 635996/174986 237.79/131.48 c cleaning 11028 clauses out of 22137 with flag 821683/187003 252.73/138.87 c cleaning 11976 clauses out of 24093 with flag 1056750/199987 263.05/144.00 c And the winner is solver1 263.27/144.30 c Got one! Elapsed wall clock time (in seconds):144.179 263.27/144.30 o -90 273.01/149.47 c cleaning 13848 clauses out of 27696 with flag 62790/215566 279.44/152.60 c cleaning 9911 clauses out of 19846 with flag 125872/221564 286.69/156.21 c cleaning 8429 clauses out of 16938 with flag 197052/228567 294.70/160.25 c cleaning 8178 clauses out of 16506 with flag 296041/236564 304.54/165.15 c cleaning 8646 clauses out of 17328 with flag 413035/245564 315.41/170.51 c cleaning 9357 clauses out of 18714 with flag 507020/255596 327.63/176.64 c cleaning 10076 clauses out of 20329 with flag 604788/266568 340.88/183.22 c cleaning 11050 clauses out of 22251 with flag 695662/278566 353.15/189.33 c cleaning 12057 clauses out of 24199 with flag 811205/291564 368.79/197.11 c cleaning 12955 clauses out of 26142 with flag 946951/305564 383.29/204.32 c cleaning 14028 clauses out of 28188 with flag 1083693/320565 399.23/212.29 c And the winner is solver1 399.45/212.37 c Got one! Elapsed wall clock time (in seconds):212.25 399.45/212.37 o -91 408.55/217.23 c cleaning 16116 clauses out of 32231 with flag 56819/338636 414.36/220.15 c cleaning 11033 clauses out of 22115 with flag 122069/344636 421.19/223.52 c cleaning 8915 clauses out of 18083 with flag 200637/351637 430.58/228.22 c cleaning 8582 clauses out of 17167 with flag 294176/359636 439.64/232.78 c cleaning 8711 clauses out of 17586 with flag 394527/368637 449.52/237.61 c cleaning 9352 clauses out of 18874 with flag 494569/378636 459.97/242.87 c cleaning 10234 clauses out of 20529 with flag 583634/389643 472.17/248.98 c cleaning 11012 clauses out of 22291 with flag 687607/401639 487.03/256.31 c cleaning 12073 clauses out of 24279 with flag 818737/414639 499.84/262.74 c cleaning 13066 clauses out of 26210 with flag 951803/428643 514.09/269.81 c cleaning 13968 clauses out of 28140 with flag 1090554/443639 532.96/279.27 c cleaning 15085 clauses out of 30169 with flag 1236021/459636 551.62/288.51 c cleaning 16021 clauses out of 32094 with flag 1417767/476646 569.74/297.56 c cleaning 16980 clauses out of 34065 with flag 1604384/494638 594.80/310.01 c cleaning 18011 clauses out of 36083 with flag 1855564/513636 611.87/318.60 c cleaning 19041 clauses out of 38081 with flag 2022800/533645 634.81/329.91 c cleaning 20020 clauses out of 40039 with flag 2232365/554644 659.38/342.18 c cleaning 20954 clauses out of 42012 with flag 2461604/576637 686.46/355.67 c cleaning 21995 clauses out of 44060 with flag 2695812/599639 688.54/356.69 c And the winner is solver1 688.82/357.05 c Got one! Elapsed wall clock time (in seconds):356.93 688.82/357.05 o -92 693.25/359.20 c cleaning 13891 clauses out of 27782 with flag 48502/605356 699.25/362.28 c cleaning 9829 clauses out of 19892 with flag 114317/611357 705.92/365.54 c cleaning 8503 clauses out of 17062 with flag 175886/618356 712.51/368.84 c cleaning 8251 clauses out of 16558 with flag 255566/626355 720.56/372.84 c cleaning 8663 clauses out of 17326 with flag 359214/635374 730.16/377.65 c cleaning 9244 clauses out of 18644 with flag 471605/645355 741.61/383.32 c cleaning 10126 clauses out of 20400 with flag 586582/656355 755.47/390.22 c cleaning 11068 clauses out of 22274 with flag 706091/668355 768.75/396.86 c cleaning 11975 clauses out of 24209 with flag 828463/681358 775.96/400.48 c And the winner is solver1 776.12/400.56 c Got one! Elapsed wall clock time (in seconds):400.437 776.12/400.56 o -93 783.27/404.17 c cleaning 11857 clauses out of 23721 with flag 61455/692845 789.66/407.32 c cleaning 8848 clauses out of 17864 with flag 129508/698845 796.73/410.89 c cleaning 7888 clauses out of 16015 with flag 195610/705844 804.53/414.77 c cleaning 8037 clauses out of 16127 with flag 269840/713844 813.41/419.16 c cleaning 8546 clauses out of 17091 with flag 371596/722845 822.87/423.82 c cleaning 9213 clauses out of 18547 with flag 465620/732847 834.97/429.86 c cleaning 10149 clauses out of 20331 with flag 589759/743844 847.96/436.38 c cleaning 11055 clauses out of 22183 with flag 766541/755845 862.73/444.06 c cleaning 12065 clauses out of 24130 with flag 892533/768847 876.79/451.08 c cleaning 13023 clauses out of 26063 with flag 1044206/782845 889.05/457.17 c cleaning 14019 clauses out of 28039 with flag 1172822/797844 906.10/465.69 c cleaning 14988 clauses out of 30022 with flag 1350189/813846 914.59/469.82 c And the winner is solver1 914.65/470.05 c Got one! Elapsed wall clock time (in seconds):469.934 914.65/470.05 o -96 919.94/472.79 c cleaning 14633 clauses out of 29266 with flag 59199/828078 923.60/474.53 c And the winner is solver1 923.60/474.55 c Got one! Elapsed wall clock time (in seconds):474.435 923.60/474.55 o -97 925.74/475.64 c cleaning 10005 clauses out of 20100 with flag 24304/833545 931.76/478.69 c cleaning 8029 clauses out of 16094 with flag 94286/839544 938.23/481.82 c cleaning 7432 clauses out of 15065 with flag 166047/846544 945.82/485.69 c cleaning 7667 clauses out of 15635 with flag 245156/854546 951.21/488.38 c cleaning 8471 clauses out of 16966 with flag 317920/863544 958.33/491.82 c cleaning 9248 clauses out of 18495 with flag 407269/873544 969.62/497.49 c cleaning 9991 clauses out of 20247 with flag 518054/884544 982.53/503.88 c cleaning 11068 clauses out of 22256 with flag 631546/896544 992.31/508.78 c cleaning 12087 clauses out of 24188 with flag 744105/909544 1000.21/512.64 c cleaning 13044 clauses out of 26101 with flag 856034/923544 1007.61/516.36 c cleaning 14022 clauses out of 28057 with flag 972286/938544 1015.31/520.12 c cleaning 15008 clauses out of 30035 with flag 1095137/954544 1029.22/527.03 c cleaning 16003 clauses out of 32027 with flag 1262921/971544 1050.10/537.41 c cleaning 16970 clauses out of 34025 with flag 1521589/989545 1072.21/548.40 c cleaning 18027 clauses out of 36054 with flag 1678833/1008544 1091.86/558.30 c cleaning 19015 clauses out of 38046 with flag 1872929/1028563 1114.31/569.47 c cleaning 19937 clauses out of 40014 with flag 2121448/1049546 1129.17/576.86 c cleaning 21030 clauses out of 42076 with flag 2307599/1071545 1142.22/583.36 c cleaning 22006 clauses out of 44046 with flag 2496090/1094545 1162.12/593.27 c cleaning 23000 clauses out of 46039 with flag 2704506/1118544 1174.26/599.83 c And the winner is solver1 1174.37/600.17 c Got one! Elapsed wall clock time (in seconds):600.053 1174.37/600.17 o -98 1181.28/603.61 c cleaning 22182 clauses out of 44364 with flag 61857/1139869 1186.49/606.28 c cleaning 14091 clauses out of 28182 with flag 133092/1145869 1192.28/609.18 c cleaning 10550 clauses out of 21100 with flag 204657/1152878 1199.33/612.68 c cleaning 9234 clauses out of 18541 with flag 288887/1160869 1206.53/616.30 c cleaning 9118 clauses out of 18309 with flag 378904/1169871 1216.19/621.08 c cleaning 9479 clauses out of 19189 with flag 489323/1179869 1226.25/626.02 c cleaning 10173 clauses out of 20711 with flag 590709/1190870 1236.43/631.15 c cleaning 11130 clauses out of 22538 with flag 699787/1202870 1247.68/636.78 c cleaning 12169 clauses out of 24407 with flag 829449/1215869 1258.75/642.20 c cleaning 13113 clauses out of 26239 with flag 966232/1229870 1267.74/646.77 c cleaning 14025 clauses out of 28127 with flag 1086913/1244871 1276.83/651.21 c cleaning 15050 clauses out of 30100 with flag 1212320/1260869 1288.50/657.04 c cleaning 16013 clauses out of 32050 with flag 1361801/1277869 1301.61/663.52 c cleaning 17013 clauses out of 34039 with flag 1520826/1295871 1318.31/671.83 c cleaning 17897 clauses out of 36024 with flag 1701762/1314869 1337.21/681.21 c cleaning 18920 clauses out of 38127 with flag 1888398/1334869 1358.02/691.51 c cleaning 20075 clauses out of 40209 with flag 2125121/1355871 1375.67/700.32 c cleaning 21060 clauses out of 42133 with flag 2344976/1377870 1387.76/706.38 c cleaning 22032 clauses out of 44074 with flag 2527309/1400871 1401.83/713.37 c cleaning 23016 clauses out of 46041 with flag 2720259/1424870 1422.31/723.58 c cleaning 23996 clauses out of 48024 with flag 2987361/1449869 1427.71/726.24 c And the winner is solver1 1427.71/726.26 c Got one! Elapsed wall clock time (in seconds):726.142 1427.71/726.26 o -99 1432.81/728.79 c cleaning 20165 clauses out of 40330 with flag 66010/1466171 1438.21/731.42 c cleaning 12990 clauses out of 26165 with flag 132323/1472171 1444.41/734.52 c cleaning 10053 clauses out of 20176 with flag 201827/1479172 1451.26/737.95 c cleaning 9028 clauses out of 18135 with flag 281890/1487184 1458.66/741.69 c cleaning 9049 clauses out of 18098 with flag 368490/1496175 1464.93/744.78 c cleaning 9519 clauses out of 19045 with flag 460046/1506171 1474.12/749.34 c cleaning 10200 clauses out of 20526 with flag 573877/1517171 1485.01/754.72 c cleaning 11080 clauses out of 22326 with flag 696111/1529171 1497.47/760.97 c cleaning 12114 clauses out of 24246 with flag 851359/1542171 1507.56/765.98 c cleaning 13038 clauses out of 26132 with flag 980083/1556171 1518.56/771.45 c cleaning 14030 clauses out of 28094 with flag 1123430/1571171 1531.26/777.71 c cleaning 15034 clauses out of 30068 with flag 1303491/1587175 1545.16/784.70 c cleaning 15997 clauses out of 32030 with flag 1470393/1604171 1560.48/792.29 c cleaning 17009 clauses out of 34033 with flag 1650885/1622171 1573.62/798.76 c cleaning 17989 clauses out of 36025 with flag 1821576/1641172 1594.30/809.02 c cleaning 18912 clauses out of 38036 with flag 2055564/1661172 1611.37/817.54 c cleaning 20054 clauses out of 40123 with flag 2240285/1682171 1623.17/823.43 c cleaning 21034 clauses out of 42069 with flag 2416665/1704171 1636.07/829.89 c cleaning 22018 clauses out of 44036 with flag 2595098/1727172 1649.35/836.98 c cleaning 23001 clauses out of 46017 with flag 2779308/1751171 1659.35/841.92 c cleaning 0 clauses out of 12176 with flag 0/12176 1662.45/843.48 c cleaning 24009 clauses out of 48017 with flag 2972990/1776172 1676.11/850.20 c cleaning 25003 clauses out of 50009 with flag 3167864/1802173 1690.59/857.46 c cleaning 26001 clauses out of 52005 with flag 3370437/1829172 1708.67/866.40 c cleaning 26987 clauses out of 54004 with flag 3605280/1857172 1727.78/875.97 c cleaning 28009 clauses out of 56018 with flag 3836803/1886173 1757.09/890.51 c cleaning 28948 clauses out of 58008 with flag 4107674/1916172 1793.21/908.59 c cleaning 29974 clauses out of 60081 with flag 4442475/1947193 1800.07/911.91 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.07/911.91 c starts : 36470 1800.07/911.91 c conflicts : 1953387 1800.07/911.91 c decisions : 83981319 1800.07/911.91 c propagations : 684050962 1800.07/911.91 c inspects : 5020295769 1800.07/911.91 c shortcuts : 0 1800.07/911.91 c learnt literals : 0 1800.07/911.91 c learnt binary clauses : 32 1800.07/911.91 c learnt ternary clauses : 1562 1800.07/911.91 c learnt constraints : 1953387 1800.07/911.91 c ignored constraints : 0 1800.07/911.91 c root simplifications : 0 1800.07/911.91 c removed literals (reason simplification) : 705056786 1800.07/911.91 c reason swapping (by a shorter reason) : 0 1800.07/911.91 c Calls to reduceDB : 144 1800.07/911.91 c Number of update (reduction) of LBD : 723746 1800.07/911.91 c Imported unit clauses : 0 1800.07/911.91 c number of reductions to clauses (during analyze) : 0 1800.07/911.91 c number of learned constraints concerned by reduction : 0 1800.07/911.91 c number of learning phase by resolution : 0 1800.07/911.91 c number of learning phase by cutting planes : 0 1800.07/911.91 c speed (assignments/second) : 3684646.6288533737 1800.07/911.91 c non guided choices 1 1800.07/911.92 c learnt constraints type 1800.07/911.92 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 32 1800.07/911.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36269 1800.07/911.92 c >>>>>>>>>> Solver number 1 (46 answers) <<<<<<<<<<<<<<<<<< 1800.07/911.92 c starts : 94 1800.07/911.92 c conflicts : 12552 1800.07/911.92 c decisions : 708964 1800.07/911.92 c propagations : 8448119 1800.07/911.92 c inspects : 1347443267 1800.07/911.92 c shortcuts : 0 1800.07/911.92 c learnt literals : 0 1800.07/911.92 c learnt binary clauses : 0 1800.07/911.92 c learnt ternary clauses : 0 1800.07/911.92 c learnt constraints : 12552 1800.07/911.92 c ignored constraints : 0 1800.07/911.92 c root simplifications : 0 1800.07/911.92 c removed literals (reason simplification) : 0 1800.07/911.92 c reason swapping (by a shorter reason) : 0 1800.07/911.92 c Calls to reduceDB : 1 1800.07/911.92 c Number of update (reduction) of LBD : 0 1800.07/911.92 c Imported unit clauses : 0 1800.07/911.92 c number of reductions to clauses (during analyze) : 0 1800.07/911.92 c number of learned constraints concerned by reduction : 0 1800.07/911.92 c number of learning phase by resolution : 0 1800.07/911.92 c number of learning phase by cutting planes : 0 1800.07/911.92 c speed (assignments/second) : 9680.98243169377 1800.07/911.92 c non guided choices 423 1800.07/911.93 c learnt constraints type 1800.07/911.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4 1800.07/911.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 12548 1800.07/911.93 s SATISFIABLE 1800.07/911.93 c Found 47 solution(s) 1800.07/911.93 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 1800.07/911.93 c objective function=-99 1800.07/911.93 c Total wall clock time (in seconds): 911.814
OK -99
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-4081729-1465257773/watcher-4081729-1465257773 -o /tmp/evaluation-result-4081729-1465257773/solver-4081729-1465257773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15693 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081729-1465257773.opb pid=21192 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.24 4.25 4.19 4/200 21195 /proc/meminfo: memFree=27213840/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/21195/stat : 21195 (java) R 21192 21195 15677 0 -1 4202496 492 0 0 0 0 0 0 0 20 0 1 0 107710079 9515008 146 33554432000 1073741824 1073778376 140737470907552 140737470904680 140224488416066 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2323 151 110 9 0 71 0 [startup+0.100117 s] /proc/loadavg: 4.24 4.25 4.19 4/200 21195 /proc/meminfo: memFree=27213840/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 107710079 9787879424 6046 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2389619 6046 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 4.24 4.25 4.19 4/200 21195 /proc/meminfo: memFree=27213840/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9558476 CPUtime=0.22 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 4602 0 1 0 21 1 0 0 20 0 18 0 107710079 9787879424 7233 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2389619 7233 2212 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300217 s] /proc/loadavg: 4.24 4.25 4.19 4/200 21195 /proc/meminfo: memFree=27213840/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9558476 CPUtime=0.46 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 5825 0 1 0 44 2 0 0 20 0 18 0 107710079 9787879424 9702 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2389619 9702 2240 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700179 s] /proc/loadavg: 4.24 4.25 4.19 4/200 21195 /proc/meminfo: memFree=27213840/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9558476 CPUtime=1.6 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 21663 0 1 0 152 8 0 0 20 0 18 0 107710079 9787879424 46352 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2389619 46352 2257 9 0 2380296 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 9558476 [startup+1.50084 s] /proc/loadavg: 4.24 4.25 4.19 7/222 21217 /proc/meminfo: memFree=27018920/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9824732 CPUtime=4.74 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 33669 0 1 0 464 10 0 0 20 0 22 0 107710079 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2456183 53650 2282 9 0 2446860 0 [pid=21195/tid=21197] ppid=21192 vsize=9824732 CPUtime=0.7 cores=0,2,4,6 /proc/21195/task/21197/stat : 21197 (java) S 21192 21195 15677 0 -1 4202560 2474 0 1 0 66 4 0 0 20 0 22 0 107710080 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224476803960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21198] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21198/stat : 21198 (java) S 21192 21195 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224449256104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21199] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21199/stat : 21199 (java) S 21192 21195 15677 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224448203560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21200] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21200/stat : 21200 (java) S 21192 21195 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224447151016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21201] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21201/stat : 21201 (java) S 21192 21195 15677 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224446098472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21202] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21202/stat : 21202 (java) S 21192 21195 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224445044904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21203] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21203/stat : 21203 (java) S 21192 21195 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224443992360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21204] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21204/stat : 21204 (java) S 21192 21195 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224442939816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21205] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21205/stat : 21205 (java) S 21192 21195 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140224312683048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21206] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21206/stat : 21206 (java) S 21192 21195 15677 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223829736040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21207] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21207/stat : 21207 (java) S 21192 21195 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223828682360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21208] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21208/stat : 21208 (java) S 21192 21195 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223827629704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21209] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21209/stat : 21209 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223826578448 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21210] ppid=21192 vsize=9824732 CPUtime=1.23 cores=0,2,4,6 /proc/21195/task/21210/stat : 21210 (java) R 21192 21195 15677 0 -1 4202560 17782 0 0 0 120 3 0 0 20 0 22 0 107710085 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223825512320 140224484520659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21211] ppid=21192 vsize=9824732 CPUtime=1.22 cores=0,2,4,6 /proc/21195/task/21211/stat : 21211 (java) R 21192 21195 15677 0 -1 4202560 11972 0 0 0 119 3 0 0 20 0 22 0 107710085 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223824448256 140224480921014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21212] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21212/stat : 21212 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223823419896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21213] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21213/stat : 21213 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223822367560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21214] ppid=21192 vsize=9824732 CPUtime=0.72 cores=0,2,4,6 /proc/21195/task/21214/stat : 21214 (java) R 21192 21195 15677 0 -1 4202560 18 0 0 0 72 0 0 0 20 0 22 0 107710152 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223821311656 140224480088983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21215] ppid=21192 vsize=9824732 CPUtime=0.72 cores=0,2,4,6 /proc/21195/task/21215/stat : 21215 (java) R 21192 21195 15677 0 -1 4202560 38 0 0 0 72 0 0 0 20 0 22 0 107710152 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223820258968 140224480088966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21216] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21216/stat : 21216 (java) S 21192 21195 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107710154 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223819208232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21217] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21217/stat : 21217 (java) S 21192 21195 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107710154 10060525568 53650 33554432000 1073741824 1073778376 140737470907552 140223818155688 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.74 Current children cumulated vsize (KiB) 9824732 [startup+3.10083 s] /proc/loadavg: 4.24 4.25 4.19 3/219 21220 /proc/meminfo: memFree=27006904/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9824732 CPUtime=6.03 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 37865 0 1 0 584 19 0 0 20 0 19 0 107710079 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2456183 53641 2285 9 0 2446860 0 [pid=21195/tid=21197] ppid=21192 vsize=9824732 CPUtime=0.71 cores=0,2,4,6 /proc/21195/task/21197/stat : 21197 (java) S 21192 21195 15677 0 -1 4202560 2475 0 1 0 67 4 0 0 20 0 19 0 107710080 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224476803960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21198] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21198/stat : 21198 (java) S 21192 21195 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107710081 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224449256104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21199] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21199/stat : 21199 (java) S 21192 21195 15677 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107710081 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224448203560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21200] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21200/stat : 21200 (java) S 21192 21195 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107710081 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224447151016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21201] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21201/stat : 21201 (java) S 21192 21195 15677 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107710081 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224446098472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21202] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21202/stat : 21202 (java) S 21192 21195 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107710081 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224445044904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21203] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21203/stat : 21203 (java) S 21192 21195 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107710081 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224443992360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21204] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21204/stat : 21204 (java) S 21192 21195 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107710081 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224442939816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21205] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21205/stat : 21205 (java) S 21192 21195 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107710081 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140224312683048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21206] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21206/stat : 21206 (java) S 21192 21195 15677 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 107710082 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223829736040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21207] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21207/stat : 21207 (java) S 21192 21195 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107710082 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223828682360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21208] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21208/stat : 21208 (java) S 21192 21195 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107710082 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223827629704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21209] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21209/stat : 21209 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107710085 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223826578448 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21210] ppid=21192 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/21195/task/21210/stat : 21210 (java) S 21192 21195 15677 0 -1 4202560 21955 0 0 0 160 4 0 0 20 0 19 0 107710085 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223825524792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21211] ppid=21192 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/21195/task/21211/stat : 21211 (java) S 21192 21195 15677 0 -1 4202560 11973 0 0 0 141 3 0 0 20 0 19 0 107710085 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223824472248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21212] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21212/stat : 21212 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107710085 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223823419896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21213] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21213/stat : 21213 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107710085 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223822367560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21216] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21216/stat : 21216 (java) S 21192 21195 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107710154 10060525568 53641 33554432000 1073741824 1073778376 140737470907552 140223819208232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.03 Current children cumulated vsize (KiB) 9824732 [startup+6.30089 s] /proc/loadavg: 4.06 4.21 4.18 3/219 21241 /proc/meminfo: memFree=26983384/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9824732 CPUtime=7.25 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 37978 0 1 0 692 33 0 0 20 0 22 0 107710079 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2456183 56247 2290 9 0 2446860 0 [pid=21195/tid=21197] ppid=21192 vsize=9824732 CPUtime=0.72 cores=0,2,4,6 /proc/21195/task/21197/stat : 21197 (java) S 21192 21195 15677 0 -1 4202560 2477 0 1 0 68 4 0 0 20 0 22 0 107710080 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224476803960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21198] ppid=21192 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21195/task/21198/stat : 21198 (java) S 21192 21195 15677 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 107710081 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224449256104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21199] ppid=21192 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21195/task/21199/stat : 21199 (java) S 21192 21195 15677 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 107710081 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224448203560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21200] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21200/stat : 21200 (java) S 21192 21195 15677 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224447151016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21201] ppid=21192 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21195/task/21201/stat : 21201 (java) S 21192 21195 15677 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 107710081 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224446098472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21202] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21202/stat : 21202 (java) S 21192 21195 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224445044904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21203] ppid=21192 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/21195/task/21203/stat : 21203 (java) S 21192 21195 15677 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 107710081 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224443992360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21204] ppid=21192 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21195/task/21204/stat : 21204 (java) S 21192 21195 15677 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 107710081 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224442939816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21205] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21205/stat : 21205 (java) S 21192 21195 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107710081 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140224312683048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21206] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21206/stat : 21206 (java) S 21192 21195 15677 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140223829736040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21207] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21207/stat : 21207 (java) S 21192 21195 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140223828682360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21208] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21208/stat : 21208 (java) S 21192 21195 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140223827629704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21209] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21209/stat : 21209 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140223826578448 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21210] ppid=21192 vsize=9824732 CPUtime=1.74 cores=0,2,4,6 /proc/21195/task/21210/stat : 21210 (java) S 21192 21195 15677 0 -1 4202560 21956 0 0 0 170 4 0 0 20 0 22 0 107710085 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140223825524792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21211] ppid=21192 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/21195/task/21211/stat : 21211 (java) S 21192 21195 15677 0 -1 4202560 11988 0 0 0 164 3 0 0 20 0 22 0 107710085 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140223824472248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21212] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21212/stat : 21212 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 56247 33554432000 1073741824 1073778376 140737470907552 140223823419896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21213] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.33 4.25 4.19 5/222 21447 /proc/meminfo: memFree=23397296/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9824732 CPUtime=1740.64 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 48068 0 1 0 173751 313 0 0 20 0 22 0 107710079 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2456183 905383 2303 9 0 2446860 0 [pid=21195/tid=21197] ppid=21192 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/21195/task/21197/stat : 21197 (java) S 21192 21195 15677 0 -1 4202560 2488 0 1 0 72 6 0 0 20 0 22 0 107710080 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224476803960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21198] ppid=21192 vsize=9824732 CPUtime=2.61 cores=0,2,4,6 /proc/21195/task/21198/stat : 21198 (java) S 21192 21195 15677 0 -1 4202560 749 0 0 0 244 17 0 0 20 0 22 0 107710081 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224449256104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21199] ppid=21192 vsize=9824732 CPUtime=2.57 cores=0,2,4,6 /proc/21195/task/21199/stat : 21199 (java) S 21192 21195 15677 0 -1 4202560 536 0 0 0 242 15 0 0 20 0 22 0 107710081 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224448203560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21200] ppid=21192 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/21195/task/21200/stat : 21200 (java) S 21192 21195 15677 0 -1 4202560 640 0 0 0 220 16 0 0 20 0 22 0 107710081 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224447151016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21201] ppid=21192 vsize=9824732 CPUtime=2.63 cores=0,2,4,6 /proc/21195/task/21201/stat : 21201 (java) S 21192 21195 15677 0 -1 4202560 666 0 0 0 248 15 0 0 20 0 22 0 107710081 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224446098472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21202] ppid=21192 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/21195/task/21202/stat : 21202 (java) S 21192 21195 15677 0 -1 4202560 521 0 0 0 222 14 0 0 20 0 22 0 107710081 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224445044904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21203] ppid=21192 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/21195/task/21203/stat : 21203 (java) S 21192 21195 15677 0 -1 4202560 506 0 0 0 239 16 0 0 20 0 22 0 107710081 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224443992360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21204] ppid=21192 vsize=9824732 CPUtime=2.39 cores=0,2,4,6 /proc/21195/task/21204/stat : 21204 (java) S 21192 21195 15677 0 -1 4202560 705 0 0 0 223 16 0 0 20 0 22 0 107710081 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224442939816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21205] ppid=21192 vsize=9824732 CPUtime=2.53 cores=0,2,4,6 /proc/21195/task/21205/stat : 21205 (java) S 21192 21195 15677 0 -1 4202560 481 0 0 0 237 16 0 0 20 0 22 0 107710081 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140224312683048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21206] ppid=21192 vsize=9824732 CPUtime=4.19 cores=0,2,4,6 /proc/21195/task/21206/stat : 21206 (java) S 21192 21195 15677 0 -1 4202560 2495 0 0 0 407 12 0 0 20 0 22 0 107710082 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223829736040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21207] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21207/stat : 21207 (java) S 21192 21195 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223828682360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21208] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21208/stat : 21208 (java) S 21192 21195 15677 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223827629704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21209] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21209/stat : 21209 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223826578448 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21210] ppid=21192 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/21195/task/21210/stat : 21210 (java) S 21192 21195 15677 0 -1 4202560 21966 0 0 0 193 4 0 0 20 0 22 0 107710085 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223825524792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21211] ppid=21192 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/21195/task/21211/stat : 21211 (java) S 21192 21195 15677 0 -1 4202560 12011 0 0 0 214 3 0 0 20 0 22 0 107710085 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223824472248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21212] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21212/stat : 21212 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223823419896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21213] ppid=21192 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/21195/task/21213/stat : 21213 (java) S 21192 21195 15677 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 107710085 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223822367560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21316] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21316/stat : 21316 (java) S 21192 21195 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107714006 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223819207720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21441] ppid=21192 vsize=9824732 CPUtime=153.97 cores=0,2,4,6 /proc/21195/task/21441/stat : 21441 (java) R 21192 21195 15677 0 -1 4202560 6 0 0 0 15395 2 0 0 20 0 22 0 107782705 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223818152608 140224324389523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21442] ppid=21192 vsize=9824732 CPUtime=153.96 cores=0,2,4,6 /proc/21195/task/21442/stat : 21442 (java) R 21192 21195 15677 0 -1 4202560 26 0 0 0 15394 2 0 0 20 0 22 0 107782705 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223821311552 140224324821857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21443] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21443/stat : 21443 (java) S 21192 21195 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107782705 10060525568 905383 33554432000 1073741824 1073778376 140737470907552 140223820260648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1740.64 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+911.901 s] /proc/loadavg: 4.25 4.24 4.19 6/222 21448 /proc/meminfo: memFree=23377248/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9824732 CPUtime=1800.07 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 48078 0 1 0 179693 314 0 0 20 0 22 0 107710079 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2456183 905384 2303 9 0 2446860 0 [pid=21195/tid=21197] ppid=21192 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/21195/task/21197/stat : 21197 (java) S 21192 21195 15677 0 -1 4202560 2488 0 1 0 72 6 0 0 20 0 22 0 107710080 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224476803960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21198] ppid=21192 vsize=9824732 CPUtime=2.66 cores=0,2,4,6 /proc/21195/task/21198/stat : 21198 (java) S 21192 21195 15677 0 -1 4202560 749 0 0 0 249 17 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224449256104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21199] ppid=21192 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/21195/task/21199/stat : 21199 (java) S 21192 21195 15677 0 -1 4202560 536 0 0 0 249 15 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224448203560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21200] ppid=21192 vsize=9824732 CPUtime=2.47 cores=0,2,4,6 /proc/21195/task/21200/stat : 21200 (java) S 21192 21195 15677 0 -1 4202560 640 0 0 0 231 16 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224447151016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21201] ppid=21192 vsize=9824732 CPUtime=2.66 cores=0,2,4,6 /proc/21195/task/21201/stat : 21201 (java) S 21192 21195 15677 0 -1 4202560 667 0 0 0 251 15 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224446098472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21202] ppid=21192 vsize=9824732 CPUtime=2.44 cores=0,2,4,6 /proc/21195/task/21202/stat : 21202 (java) S 21192 21195 15677 0 -1 4202560 521 0 0 0 230 14 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224445044904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21203] ppid=21192 vsize=9824732 CPUtime=2.6 cores=0,2,4,6 /proc/21195/task/21203/stat : 21203 (java) S 21192 21195 15677 0 -1 4202560 506 0 0 0 244 16 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224443992360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21204] ppid=21192 vsize=9824732 CPUtime=2.42 cores=0,2,4,6 /proc/21195/task/21204/stat : 21204 (java) S 21192 21195 15677 0 -1 4202560 705 0 0 0 226 16 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224442939816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21205] ppid=21192 vsize=9824732 CPUtime=2.61 cores=0,2,4,6 /proc/21195/task/21205/stat : 21205 (java) S 21192 21195 15677 0 -1 4202560 481 0 0 0 245 16 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224312683048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21206] ppid=21192 vsize=9824732 CPUtime=4.19 cores=0,2,4,6 /proc/21195/task/21206/stat : 21206 (java) S 21192 21195 15677 0 -1 4202560 2498 0 0 0 407 12 0 0 20 0 22 0 107710082 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223829736040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21207] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21207/stat : 21207 (java) S 21192 21195 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223828682360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21208] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21208/stat : 21208 (java) S 21192 21195 15677 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223827629704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21209] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21209/stat : 21209 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223826578448 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21210] ppid=21192 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/21195/task/21210/stat : 21210 (java) S 21192 21195 15677 0 -1 4202560 21966 0 0 0 193 4 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223825524792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21211] ppid=21192 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/21195/task/21211/stat : 21211 (java) S 21192 21195 15677 0 -1 4202560 12011 0 0 0 214 3 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223824472248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21212] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21212/stat : 21212 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223823419896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21213] ppid=21192 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/21195/task/21213/stat : 21213 (java) S 21192 21195 15677 0 -1 4202560 53 0 0 0 14 19 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223822367560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21316] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21316/stat : 21316 (java) S 21192 21195 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107714006 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223819207720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21441] ppid=21192 vsize=9824732 CPUtime=183.42 cores=0,2,4,6 /proc/21195/task/21441/stat : 21441 (java) R 21192 21195 15677 0 -1 4202560 7 0 0 0 18340 2 0 0 20 0 22 0 107782705 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223818153376 140224324784972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21442] ppid=21192 vsize=9824732 CPUtime=183.42 cores=0,2,4,6 /proc/21195/task/21442/stat : 21442 (java) R 21192 21195 15677 0 -1 4202560 29 0 0 0 18340 2 0 0 20 0 22 0 107782705 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223821312672 140224324821887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21443] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21443/stat : 21443 (java) S 21192 21195 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107782705 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223820260648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 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 21195 sig 9 ??? kill -21195 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+911.901 s] /proc/loadavg: 4.25 4.24 4.19 6/222 21448 /proc/meminfo: memFree=23377248/32872528 swapFree=15540/1663004 [pid=21195] ppid=21192 vsize=9824732 CPUtime=1800.07 cores=0,2,4,6 /proc/21195/stat : 21195 (java) S 21192 21195 15677 0 -1 4202496 48078 0 1 0 179693 314 0 0 20 0 22 0 107710079 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140737470898688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21195/statm: 2456183 905384 2303 9 0 2446860 0 [pid=21195/tid=21197] ppid=21192 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/21195/task/21197/stat : 21197 (java) S 21192 21195 15677 0 -1 4202560 2488 0 1 0 72 6 0 0 20 0 22 0 107710080 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224476803960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21198] ppid=21192 vsize=9824732 CPUtime=2.66 cores=0,2,4,6 /proc/21195/task/21198/stat : 21198 (java) S 21192 21195 15677 0 -1 4202560 749 0 0 0 249 17 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224449256104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21199] ppid=21192 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/21195/task/21199/stat : 21199 (java) S 21192 21195 15677 0 -1 4202560 536 0 0 0 249 15 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224448203560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21200] ppid=21192 vsize=9824732 CPUtime=2.47 cores=0,2,4,6 /proc/21195/task/21200/stat : 21200 (java) S 21192 21195 15677 0 -1 4202560 640 0 0 0 231 16 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224447151016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21201] ppid=21192 vsize=9824732 CPUtime=2.66 cores=0,2,4,6 /proc/21195/task/21201/stat : 21201 (java) S 21192 21195 15677 0 -1 4202560 667 0 0 0 251 15 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224446098472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21202] ppid=21192 vsize=9824732 CPUtime=2.44 cores=0,2,4,6 /proc/21195/task/21202/stat : 21202 (java) S 21192 21195 15677 0 -1 4202560 521 0 0 0 230 14 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224445044904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21203] ppid=21192 vsize=9824732 CPUtime=2.6 cores=0,2,4,6 /proc/21195/task/21203/stat : 21203 (java) S 21192 21195 15677 0 -1 4202560 506 0 0 0 244 16 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224443992360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21204] ppid=21192 vsize=9824732 CPUtime=2.42 cores=0,2,4,6 /proc/21195/task/21204/stat : 21204 (java) S 21192 21195 15677 0 -1 4202560 705 0 0 0 226 16 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224442939816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21205] ppid=21192 vsize=9824732 CPUtime=2.61 cores=0,2,4,6 /proc/21195/task/21205/stat : 21205 (java) S 21192 21195 15677 0 -1 4202560 481 0 0 0 245 16 0 0 20 0 22 0 107710081 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140224312683048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21206] ppid=21192 vsize=9824732 CPUtime=4.19 cores=0,2,4,6 /proc/21195/task/21206/stat : 21206 (java) S 21192 21195 15677 0 -1 4202560 2498 0 0 0 407 12 0 0 20 0 22 0 107710082 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223829736040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21207] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21207/stat : 21207 (java) S 21192 21195 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223828682360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21208] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21208/stat : 21208 (java) S 21192 21195 15677 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 107710082 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223827629704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21209] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21209/stat : 21209 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223826578448 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21210] ppid=21192 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/21195/task/21210/stat : 21210 (java) S 21192 21195 15677 0 -1 4202560 21966 0 0 0 193 4 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223825524792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21211] ppid=21192 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/21195/task/21211/stat : 21211 (java) S 21192 21195 15677 0 -1 4202560 12011 0 0 0 214 3 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223824472248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21195/tid=21212] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21212/stat : 21212 (java) S 21192 21195 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223823419896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21213] ppid=21192 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/21195/task/21213/stat : 21213 (java) S 21192 21195 15677 0 -1 4202560 53 0 0 0 14 19 0 0 20 0 22 0 107710085 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223822367560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21316] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21316/stat : 21316 (java) S 21192 21195 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107714006 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223819207720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21195/tid=21441] ppid=21192 vsize=9824732 CPUtime=183.42 cores=0,2,4,6 /proc/21195/task/21441/stat : 21441 (java) R 21192 21195 15677 0 -1 4202560 7 0 0 0 18340 2 0 0 20 0 22 0 107782705 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223818153376 140224324784972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21195/tid=21442] ppid=21192 vsize=9824732 CPUtime=183.42 cores=0,2,4,6 /proc/21195/task/21442/stat : 21442 (java) R 21192 21195 15677 0 -1 4202560 29 0 0 0 18340 2 0 0 20 0 22 0 107782705 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223821312672 140224324821887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21195/tid=21443] ppid=21192 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21195/task/21443/stat : 21443 (java) S 21192 21195 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107782705 10060525568 905384 33554432000 1073741824 1073778376 140737470907552 140223820260648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 911.962 CPU time (s): 1800.4 CPU user time (s): 1797 CPU system time (s): 3.40248 CPU usage (%): 197.421 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797 system time used= 3.40248 maximum resident set size= 3621648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48113 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26903 involuntary context switches= 34834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.83411 second user time and 7.62284 second system time The end
Begin job on node134 at 2016-06-07 02:02:53 IDJOB=4081729 IDBENCH=48256 IDSOLVER=2543 FILE ID=node134/4081729-1465257773 RUNJOBID= node134-1465243580-15693 PBS_JOBID= 19843249 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_2.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081729-1465257773/watcher-4081729-1465257773 -o /tmp/evaluation-result-4081729-1465257773/solver-4081729-1465257773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15693 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081729-1465257773.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4 RANDOM SEED=289693727 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 : 2666.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 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 : 2666.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 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: 27214220 kB Buffers: 56160 kB Cached: 122072 kB SwapCached: 1804 kB Active: 3167524 kB Inactive: 107796 kB Active(anon): 3097588 kB Inactive(anon): 1868 kB Active(file): 69936 kB Inactive(file): 105928 kB Unevictable: 1663004 kB Mlocked: 15540 kB SwapTotal: 67108856 kB SwapFree: 67098296 kB Dirty: 856 kB Writeback: 0 kB AnonPages: 4769976 kB Mapped: 15412 kB Shmem: 0 kB Slab: 569248 kB SReclaimable: 12972 kB SUnreclaim: 556276 kB KernelStack: 1616 kB PageTables: 13760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5013732 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 4679680 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= 71732 MiB End job on node134 at 2016-06-07 02:18:05