Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | MSAT (TO) | 3600.38 | 3566.32 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo |
| MD5SUM | dddb0d744d834e2d5f9db141b6c49ab7 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 28.0548 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 899 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 46330 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46329 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 749 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.23/0.81 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.23/0.81 c This is free software under the dual EPL/GNU LGPL licenses. 0.23/0.81 c See www.sat4j.org for details. 0.23/0.83 c version CUSTOM.v20240707 0.23/0.86 c java.runtime.name OpenJDK Runtime Environment 0.23/0.86 c java.vm.name OpenJDK 64-Bit Server VM 0.23/0.86 c java.vm.version 22.0.1+8-16 0.23/0.86 c java.vm.vendor Oracle Corporation 0.23/0.86 c sun.arch.data.model 64 0.23/0.86 c java.version 22.0.1 0.23/0.86 c os.name Linux 0.23/0.86 c os.version 4.18.0-301.1.el8.x86_64 0.23/0.86 c os.arch amd64 0.23/0.86 c Free memory 2115194816 0.23/0.87 c Max memory 16282288128 0.23/0.87 c Total memory 2122317824 0.23/0.88 c Number of processors 2 0.58/1.05 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.58/1.05 - never skip resolution steps 0.58/1.05 - Auto-division on coefficients is disabled 0.58/1.05 - No postprocessing 0.58/1.05 - Conflict is considered as is when resolving 0.58/1.05 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.58/1.05 - Weaken first using unassigned literals 0.58/1.05 - Bump strategy: ALWAYS_ONE 0.58/1.05 - Bumper: ASSIGNED 0.58/1.05 --- Begin Solver configuration --- 0.58/1.05 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.58/1.05 Learn all clauses as in MiniSAT 0.58/1.05 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.58/1.05 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.58/1.05 No reason simplification 0.58/1.05 Armin Biere (Picosat) restarts strategy 0.58/1.05 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.58/1.05 timeout=2147483s 0.58/1.05 DB Simplification allowed=false 0.58/1.05 Listener: none 0.58/1.05 --- End Solver configuration --- 0.58/1.05 c Pseudo Boolean Optimization by upper bound 0.58/1.05 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.58/1.05 c - never skip resolution steps 0.58/1.05 c - Auto-division on coefficients is disabled 0.58/1.05 c - No postprocessing 0.58/1.05 c - Conflict is considered as is when resolving 0.58/1.05 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.58/1.05 c - Weaken first using unassigned literals 0.58/1.05 c - Bump strategy: ALWAYS_ONE 0.58/1.05 c - Bumper: ASSIGNED 0.58/1.05 c --- Begin Solver configuration --- 0.58/1.05 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.58/1.05 c Learn all clauses as in MiniSAT 0.58/1.05 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.58/1.05 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.58/1.05 c No reason simplification 0.58/1.05 c Armin Biere (Picosat) restarts strategy 0.58/1.05 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.58/1.05 c timeout=2147483s 0.58/1.05 c DB Simplification allowed=false 0.58/1.05 c Listener: none 0.58/1.05 c --- End Solver configuration --- 0.58/1.05 c solving HOME/instance-4424279-1720874152.wbo 0.58/1.05 c reading problem ... 0.92/1.28 c ... done. Wall clock time 0.212s. 0.92/1.28 c declared #vars 231 0.92/1.28 c internal #vars 1130 0.92/1.28 c #constraints 2708 0.92/1.28 c constraints type 0.92/1.28 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 161 0.92/1.28 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11 0.92/1.28 c org.sat4j.specs.Constr$1 => 1 0.92/1.28 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 12 0.92/1.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2523 0.92/1.28 c 2708 constraints processed. 1.12/1.30 c objective function length is 899 literals 1.52/1.57 c SATISFIABLE 1.52/1.57 c OPTIMIZING... 1.52/1.58 c Got one! Elapsed wall clock time (in seconds):0.515 1.52/1.58 o 5394 1.92/1.77 c Got one! Elapsed wall clock time (in seconds):0.708 1.92/1.77 o 5390 2.51/2.06 c Got one! Elapsed wall clock time (in seconds):1.004 2.51/2.07 o 5389 2.88/2.21 c Got one! Elapsed wall clock time (in seconds):1.154 2.88/2.21 o 5388 3.08/2.40 c Got one! Elapsed wall clock time (in seconds):1.342 3.08/2.40 o 5387 3.89/2.70 c Got one! Elapsed wall clock time (in seconds):1.652 3.89/2.70 o 5386 4.08/2.86 c Got one! Elapsed wall clock time (in seconds):1.801 4.08/2.86 o 5385 4.48/3.09 c Got one! Elapsed wall clock time (in seconds):2.035 4.48/3.09 o 5384 5.26/3.40 c Got one! Elapsed wall clock time (in seconds):2.35 5.26/3.40 o 5383 6.24/4.00 c Got one! Elapsed wall clock time (in seconds):2.945 6.45/4.02 o 1336 6.82/4.22 c Got one! Elapsed wall clock time (in seconds):3.161 6.82/4.22 o 1335 7.36/4.55 c Got one! Elapsed wall clock time (in seconds):3.497 7.36/4.55 o 1334 7.96/5.08 c Got one! Elapsed wall clock time (in seconds):4.026 7.96/5.08 o 1333 8.79/5.81 c Got one! Elapsed wall clock time (in seconds):4.759 8.79/5.81 o 1332 10.18/7.05 c Got one! Elapsed wall clock time (in seconds):6.0 10.18/7.05 o 1331 10.50/7.32 c Got one! Elapsed wall clock time (in seconds):6.263 10.50/7.32 o 1330 10.86/7.67 c Got one! Elapsed wall clock time (in seconds):6.616 10.86/7.67 o 1300 11.59/8.31 c Got one! Elapsed wall clock time (in seconds):7.255 11.59/8.31 o 1299 12.49/9.22 c Got one! Elapsed wall clock time (in seconds):8.168 12.49/9.22 o 1288 14.25/10.98 c Got one! Elapsed wall clock time (in seconds):9.932 14.25/10.98 o 1254 17.09/13.69 c Got one! Elapsed wall clock time (in seconds):12.638 17.09/13.69 o 1253 17.68/14.23 c Got one! Elapsed wall clock time (in seconds):13.18 17.68/14.23 o 1231 18.38/14.96 c Got one! Elapsed wall clock time (in seconds):13.908 18.38/14.96 o 1192 19.28/15.88 c Got one! Elapsed wall clock time (in seconds):14.832 19.28/15.88 o 1191 20.89/17.41 c Got one! Elapsed wall clock time (in seconds):16.359 20.89/17.41 o 1190 23.63/20.12 c Got one! Elapsed wall clock time (in seconds):19.066 23.63/20.12 o 1189 27.86/24.30 c Got one! Elapsed wall clock time (in seconds):23.247 27.86/24.30 o 1188 34.53/30.94 c Got one! Elapsed wall clock time (in seconds):29.883 34.53/30.94 o 1187 35.23/31.65 c Got one! Elapsed wall clock time (in seconds):30.597 35.23/31.65 o 1176 36.23/32.65 c Got one! Elapsed wall clock time (in seconds):31.599 36.23/32.65 o 1000 37.94/34.30 c Got one! Elapsed wall clock time (in seconds):33.244 37.94/34.30 o 525 40.34/36.73 c Got one! Elapsed wall clock time (in seconds):35.681 40.34/36.73 o 514 46.67/42.92 c Got one! Elapsed wall clock time (in seconds):41.865 46.67/42.92 o 513 49.95/46.19 c Got one! Elapsed wall clock time (in seconds):45.14 49.95/46.19 o 484 60.30/55.98 c Got one! Elapsed wall clock time (in seconds):54.931 60.30/55.98 o 480 76.11/71.37 c Got one! Elapsed wall clock time (in seconds):70.313 76.11/71.37 o 477 77.39/72.56 c Got one! Elapsed wall clock time (in seconds):71.506 77.39/72.56 o 467 79.08/74.13 c Got one! Elapsed wall clock time (in seconds):73.078 79.08/74.13 o 454 81.97/77.10 c Got one! Elapsed wall clock time (in seconds):76.046 81.97/77.10 o 448 86.64/81.50 c Got one! Elapsed wall clock time (in seconds):80.444 86.64/81.50 o 442 93.33/88.12 c Got one! Elapsed wall clock time (in seconds):87.068 93.33/88.12 o 429 100.15/94.97 c Got one! Elapsed wall clock time (in seconds):93.917 100.15/94.97 o 397 114.98/109.59 c Got one! Elapsed wall clock time (in seconds):108.539 114.98/109.59 o 392 129.94/124.06 c cleaning 8817 clauses out of 17641 with flag 0/17641 131.25/125.32 c Got one! Elapsed wall clock time (in seconds):124.265 131.25/125.32 o 390 141.44/135.49 c Got one! Elapsed wall clock time (in seconds):134.439 141.44/135.49 o 385 142.40/136.32 c Got one! Elapsed wall clock time (in seconds):135.264 142.40/136.32 o 368 143.40/137.37 c Got one! Elapsed wall clock time (in seconds):136.314 143.40/137.37 o 343 145.20/139.14 c Got one! Elapsed wall clock time (in seconds):138.087 145.20/139.14 o 342 148.36/142.21 c Got one! Elapsed wall clock time (in seconds):141.156 148.36/142.21 o 313 152.85/146.65 c Got one! Elapsed wall clock time (in seconds):145.597 152.85/146.65 o 309 161.61/155.24 c Got one! Elapsed wall clock time (in seconds):154.186 161.61/155.24 o 299 175.57/169.07 c Got one! Elapsed wall clock time (in seconds):168.015 175.57/169.07 o 269 185.51/178.61 c cleaning 9014 clauses out of 18030 with flag 0/26847 188.13/181.15 c Got one! Elapsed wall clock time (in seconds):180.102 188.13/181.15 o 246 199.99/192.73 c Got one! Elapsed wall clock time (in seconds):191.678 199.99/192.74 o 241 201.87/194.56 c Got one! Elapsed wall clock time (in seconds):193.508 201.87/194.56 o 230 205.08/197.77 c Got one! Elapsed wall clock time (in seconds):196.716 205.08/197.77 o 228 208.42/200.83 c Got one! Elapsed wall clock time (in seconds):199.777 208.42/200.83 o 196 212.01/204.45 c Got one! Elapsed wall clock time (in seconds):203.395 212.01/204.45 o 187 220.03/212.41 c cleaning 8649 clauses out of 17349 with flag 0/35180 221.03/213.45 c Got one! Elapsed wall clock time (in seconds):212.399 221.03/213.45 o 176 241.61/233.94 c Got one! Elapsed wall clock time (in seconds):232.89 241.61/233.94 o 172 247.58/239.73 c cleaning 4952 clauses out of 14513 with flag 0/40993 257.58/249.62 c Got one! Elapsed wall clock time (in seconds):248.565 257.58/249.62 o 167 265.02/256.91 c cleaning 4316 clauses out of 14982 with flag 0/46414 271.88/263.68 c Got one! Elapsed wall clock time (in seconds):262.632 271.88/263.68 o 149 278.36/269.94 c Got one! Elapsed wall clock time (in seconds):268.893 278.36/269.94 o 134 280.97/272.51 c Got one! Elapsed wall clock time (in seconds):271.454 280.97/272.51 o 133 287.07/278.41 c cleaning 4768 clauses out of 16707 with flag 0/52455 357.49/348.03 c cleaning 5011 clauses out of 17940 with flag 0/58456 358.07/348.64 c Got one! Elapsed wall clock time (in seconds):347.591 358.07/348.64 o 127 393.62/383.96 c cleaning 4389 clauses out of 18171 with flag 0/63698 417.34/407.58 c Got one! Elapsed wall clock time (in seconds):406.529 417.34/407.58 o 121 426.34/416.42 c cleaning 4233 clauses out of 18802 with flag 0/68718 452.83/442.50 c cleaning 5008 clauses out of 20570 with flag 0/74719 463.56/453.15 c Got one! Elapsed wall clock time (in seconds):452.095 463.56/453.15 o 97 473.45/463.06 c Got one! Elapsed wall clock time (in seconds):462.011 473.45/463.06 o 95 486.58/475.81 c Got one! Elapsed wall clock time (in seconds):474.756 486.58/475.81 o 81 508.09/497.09 c cleaning 6394 clauses out of 23161 with flag 0/82318 533.04/521.71 c Got one! Elapsed wall clock time (in seconds):520.662 533.04/521.71 o 77 545.24/533.71 c cleaning 5036 clauses out of 22722 with flag 0/88273 563.84/551.94 c Got one! Elapsed wall clock time (in seconds):550.883 563.84/551.94 o 74 615.32/602.63 c cleaning 8367 clauses out of 27692 with flag 0/98279 646.65/633.28 c Got one! Elapsed wall clock time (in seconds):632.225 646.65/633.28 o 73 701.04/686.95 c cleaning 8914 clauses out of 29848 with flag 0/108802 746.81/732.33 c cleaning 5095 clauses out of 26934 with flag 0/114802 754.04/739.57 c Got one! Elapsed wall clock time (in seconds):738.517 754.04/739.57 o 53 800.90/785.74 c cleaning 4982 clauses out of 27616 with flag 0/120579 863.29/847.56 c cleaning 5036 clauses out of 28636 with flag 0/126581 863.50/847.73 c Got one! Elapsed wall clock time (in seconds):846.682 863.50/847.73 o 48 886.62/870.76 c cleaning 4359 clauses out of 28739 with flag 0/131720 892.51/876.58 c Got one! Elapsed wall clock time (in seconds):875.531 892.51/876.58 o 43 917.74/901.58 c cleaning 4322 clauses out of 29492 with flag 0/136832 920.86/904.58 c Got one! Elapsed wall clock time (in seconds):903.531 920.86/904.58 o 42 962.48/945.81 c cleaning 4906 clauses out of 30909 with flag 0/142571 975.48/958.68 c Got one! Elapsed wall clock time (in seconds):957.624 975.48/958.68 o 40 989.70/972.77 c cleaning 4756 clauses out of 31554 with flag 0/148122 1027.22/1009.76 c cleaning 4995 clauses out of 32803 with flag 0/154127 1080.24/1061.92 c cleaning 5961 clauses out of 34802 with flag 0/161121 1098.97/1080.21 c Got one! Elapsed wall clock time (in seconds):1079.154 1098.97/1080.21 o 39 1125.07/1105.12 c cleaning 4889 clauses out of 34760 with flag 0/167040 1161.51/1141.28 c cleaning 5077 clauses out of 35871 with flag 0/173040 1208.03/1187.54 c cleaning 5878 clauses out of 37794 with flag 0/180040 1217.28/1196.57 c Got one! Elapsed wall clock time (in seconds):1195.517 1217.28/1196.57 o 21 1255.62/1234.58 c cleaning 4772 clauses out of 37489 with flag 0/185613 1347.53/1325.72 c cleaning 5239 clauses out of 38718 with flag 0/191614 1366.05/1344.17 c Got one! Elapsed wall clock time (in seconds):1343.113 1366.05/1344.17 o 19 1404.71/1382.42 c cleaning 4877 clauses out of 39032 with flag 0/197167 1473.45/1450.73 c Got one! Elapsed wall clock time (in seconds):1449.675 1473.45/1450.73 o 16 1557.86/1534.94 c cleaning 9043 clauses out of 44841 with flag 0/207853 1601.29/1577.88 c cleaning 5130 clauses out of 41798 with flag 0/213853 1721.45/1697.64 c cleaning 6163 clauses out of 43668 with flag 0/220853 1910.50/1885.77 c cleaning 7171 clauses out of 45506 with flag 0/228854 2135.49/2109.44 c cleaning 8166 clauses out of 47334 with flag 0/237853 2460.18/2431.75 c cleaning 9071 clauses out of 49168 with flag 0/247853 2868.40/2838.35 c cleaning 10023 clauses out of 51100 with flag 0/258856 3249.11/3217.26 c cleaning 10750 clauses out of 53074 with flag 0/270853 3600.02/3566.13 c starts : 198 3600.02/3566.14 c conflicts : 282025 3600.02/3566.16 c decisions : 1003515 3600.02/3566.16 c propagations : 17200814 3600.02/3566.16 c inspects : 1493934004 3600.02/3566.16 c shortcuts : 0 3600.02/3566.16 c learnt literals : 0 3600.02/3566.16 c learnt binary clauses : 0 3600.02/3566.16 c learnt ternary clauses : 1 3600.02/3566.16 c learnt constraints : 282025 3600.02/3566.16 c ignored constraints : 0 3600.02/3566.16 c root simplifications : 0 3600.02/3566.16 c removed literals (reason simplification) : 0 3600.02/3566.16 c reason swapping (by a shorter reason) : 0 3600.02/3566.16 c Calls to reduceDB : 37 3600.02/3566.16 c Number of update (reduction) of LBD : 54561 3600.02/3566.16 c Imported unit clauses : 0 3600.02/3566.16 c No decision after first conflict : false 3600.02/3566.16 c number of reductions to clauses (during analyze) : 0 3600.02/3566.16 c number of learned constraints concerned by reduction : 0 3600.02/3566.16 c number of learning phase by resolution : 0 3600.02/3566.16 c number of learning phase by cutting planes : 0 3600.02/3566.16 c number of rounding to 1 operations : 926750 3600.02/3566.16 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3566.16 c number of reductions of the coefficients by power 2 : 0 3600.02/3566.16 c number of right shift for reduction by power 2 : 0 3600.02/3566.16 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3566.16 c number of ending skipping : 0 3600.02/3566.16 c number of internal skipping : 0 3600.02/3566.16 c number of derivation steps : 3031519 3600.02/3566.16 c number of skipped derivation steps : 0 3600.02/3566.16 c number of remaining unassigned : 868845 3600.02/3566.17 c number of remaining assigned : 118825216 3600.02/3566.17 c number of falsified literals weakened from reason : 0 3600.02/3566.17 c number of falsified literals weakened from conflict : 0 3600.02/3566.17 c time for arithmetic operations : 9471699611 3600.02/3566.17 c minimum degree of deleted constraints : 4 3600.02/3566.17 c maximum degree of deleted constraints : 119498846 3600.02/3566.17 c number of deleted constraints : 228529 3600.02/3566.18 c speed (assignments/second) : 4825.092773447088 3600.02/3566.18 c non guided choices : 7108 3600.19/3566.26 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 39309 3600.19/3566.26 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 363 3600.19/3566.26 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 13824 3600.19/3566.27 s SATISFIABLE 3600.19/3566.27 c Found 81 solution(s) 3600.19/3566.27 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 3600.19/3566.27 c objective function=16 3600.19/3566.27 c Total wall clock time (in seconds): 3565.219
OK 16
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: 64059 MiB (63390 MiB free)
memory of node 1: 64510 MiB (63709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424279-1720874152/watcher-4424279-1720874152 -o /tmp/evaluation-result-4424279-1720874152/solver-4424279-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720874164-697258 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424279-1720874152.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=697321, runsolver pid=697318
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 0.06 0.08 0.09 1/247 697323
/proc/meminfo: memFree=130139232/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=37736 memory=6300 CPUtime=0 cores=5,7
/proc/697321/stat : 697321 (java) D 697318 697321 697245 0 -1 4194304 488 0 11 0 0 0 0 0 20 0 1 0 139571369 38641664 1575 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 0 0 0 0 17 5 0 0 11 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 9434 1575 1272 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 6300 KiB
[startup+0.214434 s]*
/proc/loadavg: 0.06 0.08 0.09 1/251 697327
/proc/meminfo: memFree=130133452/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=104392 memory=8224 CPUtime=0.01 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 578 0 36 0 0 1 0 0 20 0 2 0 139571369 106897408 2056 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 0 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 26098 2056 1680 1 0 582 0
[pid=697321/tid=697326] ppid=697318 vsize=104392 memory=6874026233295995011 CPUtime=0 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) D 697318 697321 697245 0 -1 4194368 19 0 7 0 0 0 0 0 20 0 2 0 139571388 106897408 2056 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 0 0 0 0 -1 5 0 0 2 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 8224 KiB
[startup+0.31313 s]*
/proc/loadavg: 0.06 0.08 0.09 1/251 697327
/proc/meminfo: memFree=130131056/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=239396 memory=8712 CPUtime=0.01 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 600 0 45 0 0 1 0 0 20 0 2 0 139571369 245141504 2178 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 0 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 59849 2178 1793 1 0 583 0
[pid=697321/tid=697326] ppid=697318 vsize=239396 memory=-8600863073560404668 CPUtime=0 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) D 697318 697321 697245 0 -1 4194368 41 0 16 0 0 0 0 0 20 0 2 0 139571388 245141504 2178 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 0 0 0 0 -1 7 0 0 8 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 239396 KiB
Current children cumulated memory: 8712 KiB
[startup+0.700403 s]
/proc/loadavg: 0.53 0.18 0.12 1/252 697328
/proc/meminfo: memFree=130097904/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=18840904 memory=47096 CPUtime=0.08 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 5860 0 109 0 3 5 0 0 20 0 16 0 139571369 19293085696 11774 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4710226 11774 4471 1 0 549835 0
[pid=697321/tid=697326] ppid=697318 vsize=18840904 memory=5616 CPUtime=0.07 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 5191 0 80 0 3 4 0 0 20 0 16 0 139571388 19293085696 11774 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18840904 KiB
Current children cumulated memory: 47096 KiB
[startup+1.50111 s]
/proc/loadavg: 0.53 0.18 0.12 14/316 697392
/proc/meminfo: memFree=129940324/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19041612 memory=100968 CPUtime=1.52 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 8653 0 124 0 141 11 0 0 20 0 19 0 139571369 19498610688 25242 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4760403 25242 5829 1 0 552446 0
[pid=697321/tid=697326] ppid=697318 vsize=19041612 memory=5616 CPUtime=0.73 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 6238 0 86 0 66 7 0 0 20 0 19 0 139571388 19498610688 25242 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19041612 memory=11580 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139571438 19498610688 25242 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19041612 memory=34984 CPUtime=0 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139571440 19498610688 25242 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100968 KiB
[startup+3.1141 s]
/proc/loadavg: 0.53 0.18 0.12 9/320 697464
/proc/meminfo: memFree=124244408/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=214504 CPUtime=4.68 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 21893 0 124 0 451 17 0 0 20 0 20 0 139571369 19566772224 53626 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 53626 5838 1 0 557174 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=34984 CPUtime=2.21 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 7411 0 86 0 211 10 0 0 20 0 20 0 139571388 19566772224 53626 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 53626 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 139571440 19566772224 53626 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=34984 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 53626 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 214504 KiB
[startup+6.30045 s]
/proc/loadavg: 1.13 0.31 0.16 7/322 697667
/proc/meminfo: memFree=125821652/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=683336 CPUtime=9.39 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 27122 0 124 0 909 30 0 0 20 0 20 0 139571369 19566772224 170834 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 170834 5841 1 0 560048 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=-8600863073560404668 CPUtime=5.33 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 7876 0 86 0 512 21 0 0 20 0 20 0 139571388 19566772224 171346 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 171346 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 139571440 19566772224 171346 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=34984 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 171346 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 683336 KiB
[startup+12.7005 s]
/proc/loadavg: 1.60 0.42 0.20 7/324 697670
/proc/meminfo: memFree=118155644/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=1364264 CPUtime=16.19 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 28405 0 124 0 1573 46 0 0 20 0 20 0 139571369 19566772224 341066 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 341066 5841 1 0 666574 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=806220 CPUtime=11.62 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 8791 0 86 0 1128 34 0 0 20 0 20 0 139571388 19566772224 341066 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 341066 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=1364264 CPUtime=0 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 139571440 19566772224 341066 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 341066 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 16.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1364264 KiB
[startup+25.5005 s]
/proc/loadavg: 2.20 0.59 0.26 6/324 697672
/proc/meminfo: memFree=117018940/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=2407148 CPUtime=29.11 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 34615 0 124 0 2841 70 0 0 20 0 20 0 139571369 19566772224 601787 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 601787 5841 1 0 921412 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=0 CPUtime=23.82 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 11430 0 86 0 2326 56 0 0 20 0 20 0 139571388 19566772224 601787 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=1364264 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 601787 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 139571440 19566772224 601787 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=34984 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 601787 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 29.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2407148 KiB
[startup+51.1136 s]
/proc/loadavg: 3.21 0.98 0.40 5/324 697675
/proc/meminfo: memFree=116599312/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=2663720 CPUtime=55.16 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 42661 0 124 0 5437 79 0 0 20 0 20 0 139571369 19566772224 665930 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 665930 5842 1 0 921425 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=2663668 CPUtime=48.45 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 15223 0 86 0 4784 61 0 0 20 0 20 0 139571388 19566772224 665930 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=2634780 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 665930 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=-8600863073560404668 CPUtime=0 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 139571440 19566772224 665930 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 665930 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 55.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2663720 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 1.50 0.60 6/324 697685
/proc/meminfo: memFree=116304592/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=2680524 CPUtime=107.63 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 58507 0 124 0 10677 86 0 0 20 0 20 0 139571369 19566772224 670131 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 670131 5843 1 0 921425 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=2548 CPUtime=98.71 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 20802 0 86 0 9808 63 0 0 20 0 20 0 139571388 19566772224 670131 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 48 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=2680524 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 670131 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=34984 CPUtime=0 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 149 0 0 0 0 0 0 0 20 0 20 0 139571440 19566772224 670131 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=2664128 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 670131 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 107.63 s
################
# More data... #
################
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 219419 0 86 0 317527 166 0 0 20 0 20 0 139571388 19566772224 1450416 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 65 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 1450416 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=5801664 CPUtime=0.01 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 3588 0 0 0 1 0 0 0 20 0 20 0 139571440 19566772224 1450416 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=5801664 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 1450416 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 3254.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5801664 KiB
[startup+3282.3 s]
/proc/loadavg: 4.73 4.51 4.23 5/322 699436
/proc/meminfo: memFree=107195832/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=5801672 CPUtime=3314.76 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 396958 0 124 0 331057 419 0 0 20 0 20 0 139571369 19566772224 1450418 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 1450418 5894 1 0 1465459 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=5801672 CPUtime=3236.09 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 220379 0 86 0 323442 167 0 0 20 0 20 0 139571388 19566772224 1450418 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 65 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 1450418 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=5801672 CPUtime=0.01 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 3636 0 0 0 1 0 0 0 20 0 20 0 139571440 19566772224 1450418 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=5801672 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 1450418 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 3314.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5801672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.37 4.44 4.22 5/322 699447
/proc/meminfo: memFree=107195544/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=5801740 CPUtime=3375.13 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 401617 0 124 0 337090 423 0 0 20 0 20 0 139571369 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 1450435 5894 1 0 1465459 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=5801672 CPUtime=3295.44 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 223699 0 86 0 329377 167 0 0 20 0 20 0 139571388 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 65 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=35176 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=5801740 CPUtime=0.01 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 3636 0 0 0 1 0 0 0 20 0 20 0 139571440 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=5801740 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 3375.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5801740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.39 4.21 5/322 699458
/proc/meminfo: memFree=107195172/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=5801740 CPUtime=3435.33 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 402541 0 124 0 343107 426 0 0 20 0 20 0 139571369 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 1450435 5894 1 0 1465459 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=35176 CPUtime=3354.94 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 224288 0 86 0 335327 167 0 0 20 0 20 0 139571388 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 65 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=5801740 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=11580 CPUtime=0.01 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 3719 0 0 0 1 0 0 0 20 0 20 0 139571440 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=5801740 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 3435.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5801740 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.33 4.20 5/321 699468
/proc/meminfo: memFree=107194748/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=5801740 CPUtime=3495.72 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 406954 0 124 0 349141 431 0 0 20 0 20 0 139571369 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 1450435 5894 1 0 1465459 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=5801740 CPUtime=3414.26 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 227191 0 86 0 341258 168 0 0 20 0 20 0 139571388 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 66 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=35176 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=5801740 CPUtime=0.01 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 3719 0 0 0 1 0 0 0 20 0 20 0 139571440 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 3495.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5801740 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.30 4.20 5/321 699478
/proc/meminfo: memFree=107192352/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=5801740 CPUtime=3555.95 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 408053 0 124 0 355161 434 0 0 20 0 20 0 139571369 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 1450435 5894 1 0 1465459 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=5801740 CPUtime=3473.7 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 228035 0 86 0 347202 168 0 0 20 0 20 0 139571388 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 66 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=5801740 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=5801740 CPUtime=0.01 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 3805 0 0 0 1 0 0 0 20 0 20 0 139571440 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=5801740 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 1450435 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 3555.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5801740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3566.11 s]
/proc/loadavg: 4.14 4.28 4.19 5/319 699486
/proc/meminfo: memFree=107190104/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19108176 memory=5801744 CPUtime=3600.02 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 410875 0 124 0 359564 438 0 0 20 0 20 0 139571369 19566772224 1450436 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4777044 1450436 5894 1 0 1465459 0
[pid=697321/tid=697326] ppid=697318 vsize=19108176 memory=11580 CPUtime=3517.08 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 230160 0 86 0 351539 169 0 0 20 0 20 0 139571388 19566772224 1450436 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 66 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19108176 memory=5801744 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571438 19566772224 1450436 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19108176 memory=5801744 CPUtime=0.01 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 3811 0 0 0 1 0 0 0 20 0 20 0 139571440 19566772224 1450436 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697398] ppid=697318 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/697321/task/697398/stat : 697398 (Timer-0) S 697318 697321 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571500 19566772224 1450436 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5801744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3566.32 s]
# the end of solver process 697321 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.96 s, system=4.42137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3566.21 s]
/proc/loadavg: 4.14 4.28 4.19 5/319 699486
/proc/meminfo: memFree=107190104/131655788 swapFree=131071996/131071996
[pid=697321] ppid=697318 vsize=19307868 memory=5802540 CPUtime=3600.19 cores=5,7
/proc/697321/stat : 697321 (java) S 697318 697321 697245 0 -1 1077936128 415037 0 124 0 359581 438 0 0 20 0 21 0 139571369 19771256832 1450635 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 19 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
/proc/697321/statm: 4826967 1450635 5894 1 0 1466411 0
[pid=697321/tid=697326] ppid=697318 vsize=19307868 memory=5801744 CPUtime=3517.15 cores=5,7
/proc/697321/task/697326/stat : 697326 (java) R 697318 697321 697245 0 -1 4194368 230526 0 86 0 351546 169 0 0 20 0 21 0 139571388 19771256832 1450635 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 66 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697362] ppid=697318 vsize=19307868 memory=2796 CPUtime=0 cores=5,7
/proc/697321/task/697362/stat : 697362 (Finalizer) S 697318 697321 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 139571438 19771256832 1450635 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
[pid=697321/tid=697391] ppid=697318 vsize=19307868 memory=4868 CPUtime=0.01 cores=5,7
/proc/697321/task/697391/stat : 697391 (Common-Cleaner) S 697318 697321 697245 0 -1 1077936192 3811 0 0 0 1 0 0 0 20 0 21 0 139571440 19771256832 1450635 134679101440 94408841601024 94408841604720 140735473808032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94408841612536 94408841613328 94408866992128 140735473812438 140735473812551 140735473812551 140735473819592 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5802540 KiB
[startup+3566.3 s]*
/proc/loadavg: 4.13 4.27 4.19 5/301 699489
/proc/meminfo: memFree=112839668/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3566.32
CPU time (s): 3600.38
CPU user time (s): 3595.96
CPU system time (s): 4.42137
CPU usage (%): 100.955
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5802540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.96
system time used= 4.42137
maximum resident set size= 5803272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415691
page faults= 124
swaps= 0
block input operations= 21184
block output operations= 3792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118347
involuntary context switches= 4712
# summary of solver processes directly reported to runsolver:
# pid: 697321
# total CPU time (s): 3600.38
# total CPU user time (s): 3595.96
# total CPU system time (s): 4.42137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1264 second user time and 36.7698 second system time
The end
Begin job on nodeC003 at 2024-07-13 14:36:05 IDJOB=4424279 IDBENCH=143599 IDSOLVER=3035 FILE ID=nodeC003/4424279-1720874152 RUNJOBID= nodeC003-1720874164-697258 SLURM_JOB_ID= 7483751 Free space on /tmp= 723776 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424279-1720874152/watcher-4424279-1720874152 -o /tmp/evaluation-result-4424279-1720874152/solver-4424279-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720874164-697258 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424279-1720874152.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dddb0d744d834e2d5f9db141b6c49ab7 RANDOM SEED=450756964 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 0xb00001f cpu MHz : 1197.296 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 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 : 0xb00001f cpu MHz : 1197.229 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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 : 0xb00001f cpu MHz : 1197.219 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 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 : 0xb00001f cpu MHz : 1197.234 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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 : 0xb00001f cpu MHz : 1197.228 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 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 : 0xb00001f cpu MHz : 1197.234 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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 : 0xb00001f cpu MHz : 1197.237 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 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 : 0xb00001f cpu MHz : 1197.225 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130143532 kB MemAvailable: 129962316 kB Buffers: 317724 kB Cached: 351660 kB SwapCached: 0 kB Active: 445284 kB Inactive: 573944 kB Active(anon): 1380 kB Inactive(anon): 386512 kB Active(file): 443904 kB Inactive(file): 187432 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5408 kB Writeback: 0 kB AnonPages: 350616 kB Mapped: 101572 kB Shmem: 37704 kB KReclaimable: 54956 kB Slab: 143412 kB SReclaimable: 54956 kB SUnreclaim: 88456 kB KernelStack: 3968 kB PageTables: 9936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 584508 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45376 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205640 kB DirectMap2M: 8087552 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 723772 MiB End job on nodeC003 at 2024-07-13 15:35:31