Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | MSAT (TO) | 3600.25 | 3586.74 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 56f113729af746fd86a72114a36af771 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.333056 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1860 |
| Total number of constraints | 122 |
| Number of soft constraints | 122 |
| Number of constraints which are clauses | 62 |
| Number of constraints which are cardinality constraints (but not clauses) | 60 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 31 |
| Top cost | 5869 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 5868 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 32 |
| Number of bits of the biggest sum of numbers | 6 |
| 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-2024 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 PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.10 c Total memory 2113929216 0.11/0.10 c Number of processors 2 0.11/0.14 c Pseudo Boolean Optimization by upper bound 0.11/0.14 c --- Begin Solver configuration --- 0.11/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.11/0.14 c Learn all clauses as in MiniSAT 0.11/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.14 c Expensive reason simplification 0.11/0.14 c Glucose 2.1 dynamic restart strategy 0.11/0.14 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.11/0.14 c timeout=2147483s 0.11/0.14 c DB Simplification allowed=false 0.11/0.14 c Listener: none 0.11/0.14 c --- End Solver configuration --- 0.11/0.14 c solving HOME/instance-4524587-1751614174.wbo 0.11/0.14 c reading problem ... 0.11/0.20 c ... done. Wall clock time 0.055s. 0.11/0.20 c declared #vars 1860 0.11/0.20 c internal #vars 1982 0.11/0.20 c #constraints 123 0.11/0.20 c constraints type 0.11/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60 0.11/0.20 c org.sat4j.specs.Constr$1 => 1 0.11/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 62 0.11/0.20 c 123 constraints processed. 0.30/0.21 c objective function length is 122 literals 0.68/0.44 c SATISFIABLE 0.68/0.44 c OPTIMIZING... 0.68/0.44 c Got one! Elapsed wall clock time (in seconds):0.303 0.68/0.44 o 151 1.80/1.01 c cleaning 2849 clauses out of 5704 with flag 22903/5704 1.80/1.05 c Got one! Elapsed wall clock time (in seconds):0.911 1.80/1.05 o 109 2.55/1.68 c cleaning 4107 clauses out of 8228 with flag 34491/11077 3.07/2.15 c cleaning 5057 clauses out of 10120 with flag 71916/17076 3.88/3.00 c cleaning 6025 clauses out of 12063 with flag 123199/24076 5.17/4.22 c cleaning 7014 clauses out of 14038 with flag 182038/32076 6.68/5.78 c cleaning 8001 clauses out of 16024 with flag 249312/41076 7.52/6.51 c Got one! Elapsed wall clock time (in seconds):6.376 7.52/6.51 o 105 7.52/6.57 c cleaning 6908 clauses out of 13824 with flag 6698/46877 7.69/6.64 c Got one! Elapsed wall clock time (in seconds):6.501 7.69/6.64 o 80 8.18/6.90 c cleaning 5945 clauses out of 11916 with flag 18088/51877 8.68/7.40 c cleaning 5974 clauses out of 11970 with flag 56975/57876 9.39/8.15 c cleaning 6483 clauses out of 12998 with flag 108418/64878 10.64/9.28 c cleaning 7241 clauses out of 14514 with flag 170009/72877 12.04/10.69 c cleaning 8118 clauses out of 16272 with flag 240009/81876 13.74/12.31 c cleaning 9066 clauses out of 18155 with flag 311968/91877 15.84/14.40 c cleaning 10030 clauses out of 20088 with flag 394672/102876 18.39/16.97 c cleaning 11015 clauses out of 22058 with flag 489756/114876 18.52/17.08 c Got one! Elapsed wall clock time (in seconds):16.943 18.52/17.08 o 66 18.52/17.09 c Got one! Elapsed wall clock time (in seconds):16.952 18.52/17.09 o 53 18.63/17.13 c Got one! Elapsed wall clock time (in seconds):16.989 18.63/17.13 o 33 18.92/17.48 c cleaning 8844 clauses out of 17738 with flag 33078/121571 19.04/17.53 c Got one! Elapsed wall clock time (in seconds):17.391 19.04/17.53 o 13 19.24/17.74 c cleaning 6937 clauses out of 13916 with flag 21241/126593 19.55/18.09 c Got one! Elapsed wall clock time (in seconds):17.953 19.55/18.09 o 10 19.65/18.14 c cleaning 6376 clauses out of 12770 with flag 4843/132384 20.04/18.52 c cleaning 6183 clauses out of 12393 with flag 40546/138383 20.24/18.77 c Got one! Elapsed wall clock time (in seconds):18.628 20.24/18.77 o 5 20.38/18.80 c cleaning 5622 clauses out of 11261 with flag 4889/143434 20.69/19.19 c cleaning 5795 clauses out of 11640 with flag 47518/149435 21.43/19.81 c cleaning 6364 clauses out of 12846 with flag 91945/156436 22.30/20.60 c cleaning 7210 clauses out of 14482 with flag 145491/164436 23.40/21.71 c cleaning 8108 clauses out of 16271 with flag 208063/173435 24.73/23.09 c cleaning 9056 clauses out of 18162 with flag 275671/183434 26.72/25.07 c cleaning 10022 clauses out of 20106 with flag 363640/194434 29.01/27.39 c cleaning 11008 clauses out of 22084 with flag 455906/206434 31.57/29.87 c cleaning 12011 clauses out of 24077 with flag 555685/219435 34.82/33.09 c cleaning 13002 clauses out of 26065 with flag 663556/233434 37.91/36.12 c cleaning 14004 clauses out of 28065 with flag 781612/248436 39.41/37.66 c cleaning 15006 clauses out of 30060 with flag 882353/264435 46.39/44.43 c cleaning 15910 clauses out of 32054 with flag 1065361/281435 48.38/46.49 c cleaning 17052 clauses out of 34143 with flag 1190527/299434 51.33/49.31 c cleaning 17996 clauses out of 36092 with flag 1328929/318435 53.49/51.42 c cleaning 19017 clauses out of 38098 with flag 1457887/338437 57.79/55.72 c cleaning 20028 clauses out of 40078 with flag 1608932/359434 62.23/60.15 c cleaning 21010 clauses out of 42050 with flag 1764828/381434 65.88/63.71 c cleaning 21958 clauses out of 44041 with flag 1919626/404435 70.72/68.33 c cleaning 22997 clauses out of 46082 with flag 2100970/428434 73.57/71.13 c cleaning 24015 clauses out of 48085 with flag 2253921/453434 82.50/79.91 c cleaning 24827 clauses out of 50072 with flag 2515446/479436 88.60/85.82 c cleaning 26075 clauses out of 52243 with flag 2860222/506434 127.36/124.06 c cleaning 27083 clauses out of 54168 with flag 3191061/534434 149.09/145.78 c cleaning 27951 clauses out of 56088 with flag 3526885/563437 154.47/150.98 c cleaning 28816 clauses out of 58134 with flag 3761943/593434 160.66/157.13 c cleaning 30119 clauses out of 60318 with flag 3975072/624434 165.59/161.98 c cleaning 31060 clauses out of 62200 with flag 4194267/656435 176.05/172.20 c cleaning 32052 clauses out of 64140 with flag 4422170/689435 181.03/177.29 c cleaning 32997 clauses out of 66087 with flag 4694071/723434 193.07/189.13 c cleaning 33988 clauses out of 68091 with flag 4934728/758435 199.00/194.92 c cleaning 35016 clauses out of 70102 with flag 5201982/794434 212.13/207.73 c cleaning 36028 clauses out of 72086 with flag 5492771/831434 224.78/220.32 c cleaning 37010 clauses out of 74059 with flag 5802884/869435 234.11/229.56 c cleaning 38003 clauses out of 76050 with flag 6158312/908436 241.30/236.74 c cleaning 38976 clauses out of 78046 with flag 6483517/948435 255.99/251.36 c cleaning 39982 clauses out of 80070 with flag 6785425/989435 269.23/264.42 c cleaning 41000 clauses out of 82088 with flag 7131095/1031435 282.61/277.81 c cleaning 42000 clauses out of 84088 with flag 7529062/1074435 298.66/293.77 c cleaning 42999 clauses out of 86092 with flag 7955812/1118439 314.12/309.25 c cleaning 44000 clauses out of 88091 with flag 8379938/1163437 329.71/324.80 c cleaning 44995 clauses out of 90088 with flag 8812048/1209434 345.07/340.05 c cleaning 45999 clauses out of 92093 with flag 9269279/1256434 363.35/358.23 c cleaning 47003 clauses out of 94097 with flag 9732152/1304437 383.63/378.14 c cleaning 47998 clauses out of 96092 with flag 10204786/1353435 401.44/395.90 c cleaning 49000 clauses out of 98093 with flag 10675401/1403434 425.89/420.48 c cleaning 49993 clauses out of 100093 with flag 11162379/1454434 452.91/447.36 c cleaning 51000 clauses out of 102100 with flag 11650233/1506434 478.63/472.90 c cleaning 52002 clauses out of 104101 with flag 12163319/1559435 501.38/495.77 c cleaning 53003 clauses out of 106099 with flag 12684978/1613435 529.77/524.02 c cleaning 54002 clauses out of 108095 with flag 13255690/1668434 558.72/553.05 c cleaning 54997 clauses out of 110093 with flag 13824100/1724434 587.50/581.71 c cleaning 55999 clauses out of 112096 with flag 14398165/1781434 616.50/610.64 c cleaning 57001 clauses out of 114097 with flag 14974088/1839434 644.76/638.81 c cleaning 57997 clauses out of 116096 with flag 15607586/1898434 675.09/669.24 c cleaning 59000 clauses out of 118099 with flag 16256919/1958434 706.83/700.99 c cleaning 59999 clauses out of 120099 with flag 16902803/2019434 744.30/738.30 c cleaning 60997 clauses out of 122100 with flag 17565474/2081434 788.22/781.86 c cleaning 62000 clauses out of 124105 with flag 18290469/2144436 825.89/819.58 c cleaning 63004 clauses out of 126104 with flag 18918407/2208435 869.81/863.37 c cleaning 64000 clauses out of 128099 with flag 19587554/2273434 905.82/899.47 c cleaning 64999 clauses out of 130100 with flag 20215623/2339435 942.31/935.85 c cleaning 66003 clauses out of 132102 with flag 20891340/2406436 988.31/981.86 c cleaning 66997 clauses out of 134098 with flag 21580404/2474435 1030.41/1024.01 c cleaning 68003 clauses out of 136101 with flag 22343990/2543435 1084.09/1077.73 c cleaning 69000 clauses out of 138097 with flag 23169793/2613434 1138.67/1132.28 c cleaning 70001 clauses out of 140098 with flag 24021402/2684435 1189.06/1182.71 c cleaning 70997 clauses out of 142096 with flag 24851936/2756434 1243.03/1236.71 c cleaning 72002 clauses out of 144100 with flag 25750392/2829435 1295.29/1288.99 c cleaning 72999 clauses out of 146097 with flag 26637060/2903434 1354.73/1348.31 c cleaning 74003 clauses out of 148099 with flag 27526211/2978435 1420.79/1414.51 c cleaning 75000 clauses out of 150096 with flag 28383593/3054435 1476.46/1470.27 c cleaning 76002 clauses out of 152098 with flag 29318709/3131437 1535.48/1529.28 c cleaning 76994 clauses out of 154093 with flag 30285254/3209434 1596.20/1589.90 c cleaning 78001 clauses out of 156101 with flag 31207126/3288436 1661.43/1654.75 c cleaning 79001 clauses out of 158100 with flag 32116492/3368436 1734.03/1727.42 c cleaning 80003 clauses out of 160099 with flag 32970880/3449436 1802.58/1795.93 c cleaning 81001 clauses out of 162094 with flag 33892828/3531434 1870.74/1864.30 c cleaning 82002 clauses out of 164095 with flag 34742581/3614436 1941.65/1935.15 c cleaning 82997 clauses out of 166092 with flag 35602085/3698435 1991.83/1985.02 c cleaning 83910 clauses out of 168095 with flag 36446378/3783435 2018.87/2011.73 c cleaning 85067 clauses out of 170185 with flag 37055862/3869435 2080.61/2073.40 c cleaning 86032 clauses out of 172117 with flag 37758746/3956434 2153.71/2146.58 c cleaning 87029 clauses out of 174086 with flag 38423041/4044435 2189.22/2181.91 c cleaning 88017 clauses out of 176056 with flag 38999691/4133434 2213.26/2205.27 c cleaning 88835 clauses out of 178039 with flag 39588064/4223434 2236.39/2228.21 c cleaning 90101 clauses out of 180205 with flag 40138909/4314435 2260.91/2252.63 c cleaning 91034 clauses out of 182104 with flag 40697996/4406435 2285.90/2277.55 c cleaning 92026 clauses out of 184070 with flag 41263524/4499435 2308.30/2299.89 c cleaning 93009 clauses out of 186043 with flag 41839811/4593434 2332.28/2323.77 c cleaning 93981 clauses out of 188036 with flag 42431331/4688436 2357.25/2348.62 c cleaning 95022 clauses out of 190056 with flag 43024295/4784437 2381.22/2372.50 c cleaning 96000 clauses out of 192031 with flag 43637069/4881434 2403.47/2394.75 c cleaning 96991 clauses out of 194032 with flag 44257937/4979435 2429.03/2420.28 c cleaning 98003 clauses out of 196041 with flag 44877105/5078435 2453.21/2444.38 c cleaning 99004 clauses out of 198037 with flag 45507388/5178434 2478.25/2469.13 c cleaning 100009 clauses out of 200034 with flag 46152564/5279435 2503.11/2493.97 c cleaning 101010 clauses out of 202024 with flag 46799562/5381434 2530.08/2520.80 c cleaning 101996 clauses out of 204016 with flag 47446484/5484436 2556.55/2547.27 c cleaning 103002 clauses out of 206018 with flag 48102762/5588434 2583.26/2573.82 c cleaning 104007 clauses out of 208016 with flag 48766391/5693434 2610.09/2600.09 c cleaning 104986 clauses out of 210010 with flag 49435029/5799435 2639.01/2628.93 c cleaning 106000 clauses out of 212023 with flag 50113540/5906434 2667.34/2657.11 c cleaning 106995 clauses out of 214023 with flag 50806127/6014434 2696.68/2686.32 c cleaning 108006 clauses out of 216028 with flag 51504991/6123434 2725.28/2714.84 c cleaning 108996 clauses out of 218022 with flag 52223048/6233434 2753.28/2742.75 c cleaning 110001 clauses out of 220026 with flag 52941900/6344434 2781.06/2770.43 c cleaning 111002 clauses out of 222025 with flag 53675684/6456434 2810.96/2800.28 c cleaning 112010 clauses out of 224023 with flag 54415298/6569434 2839.76/2828.96 c cleaning 112989 clauses out of 226015 with flag 55161100/6683436 2870.23/2859.29 c cleaning 114008 clauses out of 228024 with flag 55913521/6798434 2902.44/2891.31 c cleaning 115003 clauses out of 230016 with flag 56677827/6914434 2933.82/2922.65 c cleaning 115995 clauses out of 232014 with flag 57439620/7031435 2964.23/2952.90 c cleaning 116992 clauses out of 234018 with flag 58206938/7149434 2995.47/2984.03 c cleaning 118003 clauses out of 236026 with flag 58989074/7268434 3027.25/3015.79 c cleaning 119004 clauses out of 238024 with flag 59770924/7388435 3059.07/3047.45 c cleaning 120003 clauses out of 240019 with flag 60566336/7509434 3091.60/3079.83 c cleaning 120992 clauses out of 242016 with flag 61363895/7631434 3124.79/3112.96 c cleaning 121995 clauses out of 244024 with flag 62169831/7754434 3159.86/3147.90 c cleaning 123007 clauses out of 246030 with flag 62983990/7878435 3195.53/3183.07 c cleaning 124002 clauses out of 248024 with flag 63812792/8003436 3231.69/3219.25 c cleaning 124991 clauses out of 250023 with flag 64640825/8129437 3266.37/3253.76 c cleaning 126004 clauses out of 252029 with flag 65481629/8256434 3300.94/3288.22 c cleaning 127001 clauses out of 254027 with flag 66335278/8384436 3338.31/3325.55 c cleaning 128006 clauses out of 256024 with flag 67185446/8513434 3376.22/3363.38 c cleaning 129000 clauses out of 258019 with flag 68055159/8643435 3414.12/3401.13 c cleaning 129998 clauses out of 260020 with flag 68931417/8774436 3452.00/3438.94 c cleaning 131002 clauses out of 262020 with flag 69813888/8906434 3490.47/3477.37 c cleaning 132001 clauses out of 264020 with flag 70710019/9039436 3530.26/3517.10 c cleaning 133000 clauses out of 266017 with flag 71608557/9173434 3570.43/3557.19 c cleaning 134002 clauses out of 268018 with flag 72526099/9308435 3600.00/3586.61 c starts : 43563 3600.00/3586.63 c conflicts : 9415200 3600.00/3586.63 c decisions : 47427348 3600.00/3586.63 c propagations : 312481175 3600.00/3586.63 c inspects : 32342006857 3600.00/3586.63 c shortcuts : 0 3600.00/3586.63 c learnt literals : 0 3600.00/3586.63 c learnt binary clauses : 0 3600.00/3586.63 c learnt ternary clauses : 0 3600.00/3586.63 c learnt constraints : 9415200 3600.00/3586.63 c ignored constraints : 0 3600.00/3586.63 c root simplifications : 0 3600.00/3586.63 c removed literals (reason simplification) : 6899643 3600.00/3586.63 c reason swapping (by a shorter reason) : 0 3600.00/3586.63 c Calls to reduceDB : 150 3600.00/3586.63 c Number of update (reduction) of LBD : 4368481 3600.00/3586.63 c Imported unit clauses : 0 3600.00/3586.63 c No decision after first conflict : false 3600.00/3586.63 c number of reductions to clauses (during analyze) : 0 3600.00/3586.63 c number of learned constraints concerned by reduction : 0 3600.00/3586.63 c number of learning phase by resolution : 0 3600.00/3586.63 c number of learning phase by cutting planes : 0 3600.00/3586.63 c number of rounding to 1 operations : 0 3600.00/3586.63 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3586.63 c number of reductions of the coefficients by power 2 : 0 3600.00/3586.63 c number of right shift for reduction by power 2 : 0 3600.00/3586.64 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3586.64 c number of ending skipping : 0 3600.00/3586.64 c number of internal skipping : 0 3600.00/3586.64 c number of derivation steps : 0 3600.00/3586.64 c number of skipped derivation steps : 0 3600.00/3586.64 c number of remaining unassigned : 0 3600.00/3586.64 c number of remaining assigned : 0 3600.00/3586.64 c number of falsified literals weakened from reason : 0 3600.00/3586.64 c number of falsified literals weakened from conflict : 0 3600.00/3586.64 c time for arithmetic operations : 0 3600.00/3586.64 c minimum degree of deleted constraints : null 3600.00/3586.64 c maximum degree of deleted constraints : null 3600.00/3586.64 c number of deleted constraints : 0 3600.00/3586.64 c speed (assignments/second) : 87128.97203089097 3600.00/3586.64 c non guided choices : 542089 3600.20/3586.70 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 240781 3600.20/3586.70 s SATISFIABLE 3600.20/3586.70 c Found 10 solution(s) 3600.20/3586.71 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 3600.20/3586.71 c objective function=5 3600.20/3586.71 c Total wall clock time (in seconds): 3586.572
OK 5
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62948 MiB free)
memory of node 1: 64465 MiB (63900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524587-1751614174/watcher-4524587-1751614174 -o /tmp/evaluation-result-4524587-1751614174/solver-4524587-1751614174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86866 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524587-1751614174.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86917, runsolver pid=86907
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.51 1.43 2.61 12/333 86994
/proc/meminfo: memFree=129799464/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=18930384 memory=55384 CPUtime=0.11 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 6498 0 0 0 9 2 0 0 20 0 18 0 77095253 19384713216 13846 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4732596 13846 5339 1 0 547574 0
[pid=86917/tid=86928] ppid=86907 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 5018 0 0 0 6 1 0 0 20 0 18 0 77095255 19384713216 13846 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77095257 19384713216 13846 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77095258 19384713216 13846 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55384 KiB
[startup+0.205302 s]*
/proc/loadavg: 0.51 1.43 2.61 13/333 86994
/proc/meminfo: memFree=129770744/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=18930384 memory=64312 CPUtime=0.3 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 7060 0 0 0 28 2 0 0 20 0 18 0 77095253 19384713216 16078 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4732596 16078 5467 1 0 547945 0
[pid=86917/tid=86928] ppid=86907 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 5320 0 0 0 14 1 0 0 20 0 18 0 77095255 19384713216 16078 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77095257 19384713216 16078 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77095258 19384713216 16078 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64312 KiB
[startup+0.305295 s]*
/proc/loadavg: 0.51 1.43 2.61 11/337 86998
/proc/meminfo: memFree=129751044/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=18996948 memory=68848 CPUtime=0.49 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 8994 0 0 0 46 3 0 0 20 0 19 0 77095253 19452874752 17212 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4749237 17212 5467 1 0 549279 0
[pid=86917/tid=86928] ppid=86907 vsize=18996948 memory=-6000919468495169127 CPUtime=0.22 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 5369 0 0 0 21 1 0 0 20 0 19 0 77095255 19452874752 17212 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095257 19452874752 17212 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 17212 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095275 19452874752 17212 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68848 KiB
[startup+0.700216 s]
/proc/loadavg: 0.51 1.43 2.61 10/337 86998
/proc/meminfo: memFree=129716076/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=18996948 memory=87988 CPUtime=1.25 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 13526 0 0 0 122 3 0 0 20 0 19 0 77095253 19452874752 21997 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4749237 21997 5467 1 0 552435 0
[pid=86917/tid=86928] ppid=86907 vsize=18996948 memory=14336 CPUtime=0.59 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 5410 0 0 0 58 1 0 0 20 0 19 0 77095255 19452874752 21997 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095257 19452874752 21997 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 21997 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095275 19452874752 21997 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87988 KiB
[startup+1.50021 s]
/proc/loadavg: 0.51 1.43 2.61 7/337 86998
/proc/meminfo: memFree=129650164/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=18996948 memory=107000 CPUtime=2.45 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 15322 0 0 0 241 4 0 0 20 0 19 0 77095253 19452874752 26750 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4749237 26750 5467 1 0 552468 0
[pid=86917/tid=86928] ppid=86907 vsize=18996948 memory=10624 CPUtime=1.39 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 5526 0 0 0 137 2 0 0 20 0 19 0 77095255 19452874752 26750 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095257 19452874752 26750 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 26750 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095275 19452874752 26750 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 107000 KiB
[startup+3.105 s]
/proc/loadavg: 0.79 1.47 2.62 5/338 86999
/proc/meminfo: memFree=129419008/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=18996948 memory=143968 CPUtime=4.08 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 16142 0 0 0 403 5 0 0 20 0 19 0 77095253 19452874752 35992 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4749237 35992 5467 1 0 552471 0
[pid=86917/tid=86928] ppid=86907 vsize=18996948 memory=10624 CPUtime=2.98 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 6042 0 0 0 296 2 0 0 20 0 19 0 77095255 19452874752 35992 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=18996948 memory=-6000919477085103719 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095257 19452874752 35992 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 35992 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095275 19452874752 35992 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143968 KiB
[startup+6.30018 s]
/proc/loadavg: 0.79 1.47 2.62 5/340 87001
/proc/meminfo: memFree=129230376/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=178192 CPUtime=7.32 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 19102 0 0 0 726 6 0 0 20 0 20 0 77095253 19521036288 44548 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 44548 5531 1 0 552760 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=0 CPUtime=6.16 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 6072 0 0 0 613 3 0 0 20 0 20 0 77095255 19521036288 44548 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 44548 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 44548 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 44548 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178192 KiB
[startup+12.7002 s]
/proc/loadavg: 1.36 1.57 2.64 5/341 87002
/proc/meminfo: memFree=128947248/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=210224 CPUtime=14.14 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 24551 0 0 0 1407 7 0 0 20 0 20 0 77095253 19521036288 52556 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 52556 5563 1 0 552776 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=10624 CPUtime=12.51 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 6821 0 0 0 1248 3 0 0 20 0 20 0 77095255 19521036288 52556 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=210096 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 52556 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 52556 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=-6000919477085103719 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 52556 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 14.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 210224 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 1.65 2.65 5/341 87004
/proc/meminfo: memFree=128316480/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=378800 CPUtime=27.21 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 31125 0 0 0 2710 11 0 0 20 0 20 0 77095253 19521036288 94700 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 94700 5563 1 0 552776 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=210096 CPUtime=25.12 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 8215 0 0 0 2509 3 0 0 20 0 20 0 77095255 19521036288 94700 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 94700 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=-6000919477085103719 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 94700 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=178192 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 94700 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 27.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 378800 KiB
[startup+51.1056 s]
/proc/loadavg: 2.66 1.87 2.70 7/341 87004
/proc/meminfo: memFree=126488444/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=913664 CPUtime=53.19 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 32427 0 0 0 5297 22 0 0 20 0 20 0 77095253 19521036288 228416 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 228416 5563 1 0 552776 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=835740 CPUtime=50.2 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 8340 0 0 0 5017 3 0 0 20 0 20 0 77095255 19521036288 228416 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/339 87174
/proc/meminfo: memFree=103983152/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3295.05 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 161722 0 0 0 329266 239 0 0 20 0 20 0 77095253 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 1561390 5563 1 0 1904568 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3258.05 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 71089 0 0 0 325743 62 0 0 20 0 20 0 77095255 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 3295.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6245560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/339 87176
/proc/meminfo: memFree=103450276/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3355.27 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 164558 0 0 0 335286 241 0 0 20 0 20 0 77095253 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 1561390 5563 1 0 1904573 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=14336 CPUtime=3317.53 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 71940 0 0 0 331691 62 0 0 20 0 20 0 77095255 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 1818 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 3355.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6245560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/341 87182
/proc/meminfo: memFree=102762512/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3415.31 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 166744 0 0 0 341288 243 0 0 20 0 20 0 77095253 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 1561390 5563 1 0 1904573 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=5632 CPUtime=3377.2 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 73759 0 0 0 337657 63 0 0 20 0 20 0 77095255 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 1818 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 3415.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6245560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/342 87189
/proc/meminfo: memFree=101802076/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3475.5 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 169102 0 0 0 347306 244 0 0 20 0 20 0 77095253 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 1561390 5563 1 0 1904573 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3436.72 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 74993 0 0 0 343609 63 0 0 20 0 20 0 77095255 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 1856 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 3475.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6245560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/342 87191
/proc/meminfo: memFree=101699480/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3535.54 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 170201 0 0 0 353308 246 0 0 20 0 20 0 77095253 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 1561390 5563 1 0 1904573 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=3200 CPUtime=3496.37 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 75266 0 0 0 349574 63 0 0 20 0 20 0 77095255 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 3535.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6245560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/318 87427
/proc/meminfo: memFree=120365292/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3595.72 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 171443 0 0 0 359322 250 0 0 20 0 20 0 77095253 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 1561390 5563 1 0 1904573 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3555.84 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 76367 0 0 0 355520 64 0 0 20 0 20 0 77095255 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 3595.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6245560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3586.6 s]
/proc/loadavg: 4.39 4.19 4.11 7/343 87591
/proc/meminfo: memFree=120040936/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19063512 memory=6245560 CPUtime=3600 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 171573 0 0 0 359749 251 0 0 20 0 20 0 77095253 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4765878 1561390 5563 1 0 1904573 0
[pid=86917/tid=86928] ppid=86907 vsize=19063512 memory=5120 CPUtime=3560.12 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 76467 0 0 0 355947 65 0 0 20 0 20 0 77095255 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19063512 memory=-6000919477085103719 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86997] ppid=86907 vsize=19063512 memory=4624 CPUtime=0 cores=0,2
/proc/86917/task/86997/stat : 86997 (Timer-0) S 86907 86917 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095275 19521036288 1561390 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6245560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3586.74 s]
# the end of solver process 86917 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.72 s, system=2.53471 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3586.71 s]
/proc/loadavg: 4.39 4.19 4.11 7/343 87591
/proc/meminfo: memFree=120040936/131249996 swapFree=33000896/33010684
[pid=86917] ppid=86907 vsize=19263204 memory=6246456 CPUtime=3600.2 cores=0,2
/proc/86917/stat : 86917 (java) S 86907 86917 86856 0 -1 4194304 173835 0 0 0 359769 251 0 0 20 0 21 0 77095253 19725520896 1561614 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
/proc/86917/statm: 4815801 1561614 5595 1 0 1905543 0
[pid=86917/tid=86928] ppid=86907 vsize=19263204 memory=14156 CPUtime=3560.2 cores=0,2
/proc/86917/task/86928/stat : 86928 (java) R 86907 86917 86856 0 -1 4194368 76716 0 0 0 355955 65 0 0 20 0 21 0 77095255 19725520896 1561614 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86962] ppid=86907 vsize=19263204 memory=6245560 CPUtime=0 cores=0,2
/proc/86917/task/86962/stat : 86962 (Finalizer) S 86907 86917 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77095257 19725520896 1561614 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
[pid=86917/tid=86974] ppid=86907 vsize=19263204 memory=14156 CPUtime=0 cores=0,2
/proc/86917/task/86974/stat : 86974 (Common-Cleaner) S 86907 86917 86856 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 21 0 77095258 19725520896 1561614 18446744073709551615 94306021695488 94306021699184 140723029235264 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94306021707000 94306021707792 94306030522368 140723029244287 140723029244388 140723029244388 140723029249992 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6246456 KiB
Child status: 143
Real time (s): 3586.74
CPU time (s): 3600.25
CPU user time (s): 3597.72
CPU system time (s): 2.53471
CPU usage (%): 100.377
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6246456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.72
system time used= 2.53471
maximum resident set size= 6246584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111099
involuntary context switches= 10615
# summary of solver processes directly reported to runsolver:
# pid: 86917
# total CPU time (s): 3600.25
# total CPU user time (s): 3597.72
# total CPU system time (s): 2.53471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39178 second user time and 16.2282 second system time
The end
Begin job on nodeC023 at 2025-07-04 09:29:34 IDJOB=4524587 IDBENCH=143137 IDSOLVER=3380 FILE ID=nodeC023/4524587-1751614174 RUNJOBID= nodeC023-1751614174-86866 SLURM_JOB_ID= 9598917 Free space on /tmp= 431872 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524587-1751614174/watcher-4524587-1751614174 -o /tmp/evaluation-result-4524587-1751614174/solver-4524587-1751614174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86866 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524587-1751614174.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 56f113729af746fd86a72114a36af771 RANDOM SEED=911934909 nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.898 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.202 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.232 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2734.145 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.935 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2018.282 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.816 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2993.822 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129894212 kB MemAvailable: 129638064 kB Buffers: 16 kB Cached: 486892 kB SwapCached: 2900 kB Active: 218992 kB Inactive: 347444 kB Active(anon): 38684 kB Inactive(anon): 53368 kB Active(file): 180308 kB Inactive(file): 294076 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1296 kB Writeback: 0 kB AnonPages: 79668 kB Mapped: 97420 kB Shmem: 12524 kB KReclaimable: 217416 kB Slab: 308884 kB SReclaimable: 217416 kB SUnreclaim: 91468 kB KernelStack: 4108 kB PageTables: 2728 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 340756 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431864 MiB End job on nodeC023 at 2025-07-04 10:29:21