Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | -738 | 3600.41 | 3518.79 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-08.opb |
| MD5SUM | be5851356e38c2321294cad1ea2d3ea1 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -738 |
| Best CPU time to get the best result obtained on this benchmark | 1667.2 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 926 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 41584 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 41584 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 896 |
| Sum of products size (including duplicates) | 2726 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 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.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4512242-1751523175.opb 0.12/0.13 c reading problem ... 0.12/0.13 c objective function found 0.32/0.21 c ... done. Wall clock time 0.082s. 0.32/0.21 c declared #vars 30 0.32/0.21 c internal #vars 926 0.32/0.21 c #constraints 1792 0.32/0.21 c constraints type 0.32/0.21 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 896 0.32/0.21 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 896 0.32/0.21 c 1792 constraints processed. 0.32/0.22 c objective function length is 926 literals 0.32/0.23 c SATISFIABLE 0.32/0.23 c OPTIMIZING... 0.32/0.23 c Got one! Elapsed wall clock time (in seconds):0.105 0.32/0.23 o 0 0.32/0.24 c Got one! Elapsed wall clock time (in seconds):0.114 0.32/0.24 o -21 0.32/0.25 c Got one! Elapsed wall clock time (in seconds):0.119 0.32/0.25 o -42 0.32/0.25 c Got one! Elapsed wall clock time (in seconds):0.125 0.32/0.25 o -68 0.32/0.26 c Got one! Elapsed wall clock time (in seconds):0.131 0.32/0.26 o -93 0.32/0.27 c Got one! Elapsed wall clock time (in seconds):0.144 0.32/0.27 o -94 0.32/0.28 c Got one! Elapsed wall clock time (in seconds):0.148 0.32/0.28 o -117 0.32/0.28 c Got one! Elapsed wall clock time (in seconds):0.154 0.32/0.28 o -122 0.32/0.29 c Got one! Elapsed wall clock time (in seconds):0.159 0.32/0.29 o -123 0.32/0.29 c Got one! Elapsed wall clock time (in seconds):0.164 0.32/0.29 o -126 0.32/0.30 c Got one! Elapsed wall clock time (in seconds):0.171 0.32/0.30 o -149 0.50/0.31 c Got one! Elapsed wall clock time (in seconds):0.184 0.50/0.31 o -158 0.50/0.32 c Got one! Elapsed wall clock time (in seconds):0.191 0.50/0.32 o -182 0.50/0.33 c Got one! Elapsed wall clock time (in seconds):0.199 0.50/0.33 o -184 0.50/0.33 c Got one! Elapsed wall clock time (in seconds):0.206 0.50/0.33 o -185 0.50/0.34 c Got one! Elapsed wall clock time (in seconds):0.209 0.50/0.34 o -186 0.50/0.34 c Got one! Elapsed wall clock time (in seconds):0.214 0.50/0.34 o -188 0.50/0.35 c Got one! Elapsed wall clock time (in seconds):0.22 0.50/0.35 o -191 0.50/0.35 c Got one! Elapsed wall clock time (in seconds):0.224 0.50/0.35 o -211 0.50/0.37 c Got one! Elapsed wall clock time (in seconds):0.243 0.50/0.37 o -221 0.50/0.38 c Got one! Elapsed wall clock time (in seconds):0.255 0.50/0.38 o -224 0.50/0.39 c Got one! Elapsed wall clock time (in seconds):0.264 0.50/0.39 o -243 0.70/0.42 c Got one! Elapsed wall clock time (in seconds):0.291 0.70/0.42 o -247 0.70/0.43 c Got one! Elapsed wall clock time (in seconds):0.298 0.70/0.43 o -248 0.70/0.43 c Got one! Elapsed wall clock time (in seconds):0.301 0.70/0.43 o -249 0.70/0.43 c Got one! Elapsed wall clock time (in seconds):0.305 0.70/0.43 o -252 0.70/0.44 c Got one! Elapsed wall clock time (in seconds):0.313 0.70/0.44 o -254 0.70/0.45 c Got one! Elapsed wall clock time (in seconds):0.319 0.70/0.45 o -257 0.70/0.46 c Got one! Elapsed wall clock time (in seconds):0.327 0.70/0.46 o -276 0.70/0.49 c Got one! Elapsed wall clock time (in seconds):0.362 0.70/0.49 o -283 0.90/0.51 c Got one! Elapsed wall clock time (in seconds):0.378 0.90/0.51 o -284 0.90/0.51 c Got one! Elapsed wall clock time (in seconds):0.382 0.90/0.51 o -285 0.90/0.52 c Got one! Elapsed wall clock time (in seconds):0.388 0.90/0.52 o -290 0.90/0.53 c Got one! Elapsed wall clock time (in seconds):0.405 0.90/0.53 o -293 0.90/0.60 c Got one! Elapsed wall clock time (in seconds):0.469 0.90/0.60 o -307 1.08/0.61 c Got one! Elapsed wall clock time (in seconds):0.479 1.08/0.61 o -308 1.08/0.61 c Got one! Elapsed wall clock time (in seconds):0.484 1.08/0.61 o -311 1.08/0.62 c Got one! Elapsed wall clock time (in seconds):0.495 1.08/0.62 o -316 1.08/0.65 c Got one! Elapsed wall clock time (in seconds):0.517 1.08/0.65 o -322 1.08/0.68 c Got one! Elapsed wall clock time (in seconds):0.553 1.08/0.68 o -326 1.27/0.77 c Got one! Elapsed wall clock time (in seconds):0.637 1.27/0.77 o -333 1.27/0.77 c Got one! Elapsed wall clock time (in seconds):0.643 1.27/0.77 o -334 1.27/0.78 c Got one! Elapsed wall clock time (in seconds):0.647 1.27/0.78 o -336 1.27/0.78 c Got one! Elapsed wall clock time (in seconds):0.649 1.27/0.78 o -337 1.27/0.78 c Got one! Elapsed wall clock time (in seconds):0.653 1.27/0.78 o -338 1.27/0.79 c Got one! Elapsed wall clock time (in seconds):0.658 1.27/0.79 o -339 1.27/0.79 c Got one! Elapsed wall clock time (in seconds):0.661 1.27/0.79 o -340 1.47/0.80 c Got one! Elapsed wall clock time (in seconds):0.67 1.47/0.80 o -341 1.47/0.80 c Got one! Elapsed wall clock time (in seconds):0.674 1.47/0.80 o -342 1.47/0.81 c Got one! Elapsed wall clock time (in seconds):0.681 1.47/0.81 o -343 1.47/0.82 c Got one! Elapsed wall clock time (in seconds):0.687 1.47/0.82 o -344 1.47/0.82 c Got one! Elapsed wall clock time (in seconds):0.69 1.47/0.82 o -345 1.47/0.83 c Got one! Elapsed wall clock time (in seconds):0.698 1.47/0.83 o -347 1.47/0.83 c Got one! Elapsed wall clock time (in seconds):0.701 1.47/0.83 o -348 1.47/0.84 c Got one! Elapsed wall clock time (in seconds):0.713 1.47/0.84 o -351 1.47/0.86 c Got one! Elapsed wall clock time (in seconds):0.731 1.47/0.86 o -352 1.47/0.86 c Got one! Elapsed wall clock time (in seconds):0.736 1.47/0.86 o -353 1.47/0.87 c Got one! Elapsed wall clock time (in seconds):0.738 1.47/0.87 o -354 1.47/0.87 c Got one! Elapsed wall clock time (in seconds):0.742 1.47/0.87 o -357 1.65/0.99 c Got one! Elapsed wall clock time (in seconds):0.86 1.65/0.99 o -361 1.78/1.00 c Got one! Elapsed wall clock time (in seconds):0.869 1.78/1.00 o -363 1.78/1.00 c Got one! Elapsed wall clock time (in seconds):0.873 1.78/1.00 o -369 1.78/1.00 c Got one! Elapsed wall clock time (in seconds):0.876 1.78/1.01 o -371 1.78/1.01 c Got one! Elapsed wall clock time (in seconds):0.885 1.78/1.01 o -372 1.78/1.02 c Got one! Elapsed wall clock time (in seconds):0.892 1.78/1.02 o -374 1.78/1.04 c Got one! Elapsed wall clock time (in seconds):0.907 1.78/1.04 o -375 1.78/1.05 c Got one! Elapsed wall clock time (in seconds):0.919 1.78/1.05 o -376 1.78/1.06 c Got one! Elapsed wall clock time (in seconds):0.926 1.78/1.06 o -378 1.78/1.07 c Got one! Elapsed wall clock time (in seconds):0.941 1.78/1.07 o -381 1.78/1.09 c Got one! Elapsed wall clock time (in seconds):0.958 1.78/1.09 o -384 1.95/1.12 c Got one! Elapsed wall clock time (in seconds):0.987 1.95/1.12 o -385 1.95/1.12 c Got one! Elapsed wall clock time (in seconds):0.995 1.95/1.12 o -386 1.95/1.13 c Got one! Elapsed wall clock time (in seconds):1.004 1.95/1.13 o -401 2.40/1.42 c Got one! Elapsed wall clock time (in seconds):1.295 2.40/1.42 o -402 2.40/1.46 c Got one! Elapsed wall clock time (in seconds):1.331 2.40/1.46 o -404 2.40/1.46 c Got one! Elapsed wall clock time (in seconds):1.336 2.40/1.46 o -405 2.40/1.49 c Got one! Elapsed wall clock time (in seconds):1.364 2.40/1.49 o -408 2.54/1.50 c Got one! Elapsed wall clock time (in seconds):1.376 2.54/1.50 o -410 2.54/1.54 c Got one! Elapsed wall clock time (in seconds):1.416 2.54/1.54 o -411 2.54/1.55 c Got one! Elapsed wall clock time (in seconds):1.425 2.54/1.55 o -413 2.54/1.57 c Got one! Elapsed wall clock time (in seconds):1.44 2.54/1.57 o -414 2.66/1.63 c Got one! Elapsed wall clock time (in seconds):1.504 2.66/1.63 o -416 2.66/1.64 c Got one! Elapsed wall clock time (in seconds):1.511 2.66/1.64 o -418 2.66/1.65 c Got one! Elapsed wall clock time (in seconds):1.523 2.66/1.65 o -557 2.86/1.86 c cleaning 7425 clauses out of 14849 with flag 4003/14849 3.03/1.93 c Got one! Elapsed wall clock time (in seconds):1.801 3.03/1.93 o -560 3.34/2.12 c Got one! Elapsed wall clock time (in seconds):1.992 3.34/2.12 o -562 3.34/2.13 c Got one! Elapsed wall clock time (in seconds):2.0 3.34/2.13 o -563 3.34/2.13 c Got one! Elapsed wall clock time (in seconds):2.003 3.34/2.13 o -569 3.34/2.13 c Got one! Elapsed wall clock time (in seconds):2.006 3.34/2.13 o -571 3.34/2.14 c Got one! Elapsed wall clock time (in seconds):2.015 3.34/2.14 o -572 3.34/2.15 c Got one! Elapsed wall clock time (in seconds):2.021 3.34/2.15 o -574 3.34/2.16 c Got one! Elapsed wall clock time (in seconds):2.036 3.34/2.16 o -575 3.34/2.18 c Got one! Elapsed wall clock time (in seconds):2.048 3.34/2.18 o -576 3.34/2.18 c Got one! Elapsed wall clock time (in seconds):2.054 3.34/2.18 o -578 3.49/2.20 c Got one! Elapsed wall clock time (in seconds):2.069 3.49/2.20 o -580 3.49/2.20 c Got one! Elapsed wall clock time (in seconds):2.071 3.49/2.20 o -581 3.49/2.21 c Got one! Elapsed wall clock time (in seconds):2.078 3.49/2.21 o -584 3.49/2.25 c Got one! Elapsed wall clock time (in seconds):2.123 3.49/2.25 o -586 3.49/2.26 c Got one! Elapsed wall clock time (in seconds):2.133 3.49/2.26 o -587 3.71/2.49 c Got one! Elapsed wall clock time (in seconds):2.359 3.71/2.49 o -588 3.71/2.50 c Got one! Elapsed wall clock time (in seconds):2.367 3.71/2.50 o -593 3.81/2.50 c Got one! Elapsed wall clock time (in seconds):2.371 3.81/2.50 o -594 3.81/2.50 c Got one! Elapsed wall clock time (in seconds):2.374 3.81/2.50 o -601 3.81/2.51 c Got one! Elapsed wall clock time (in seconds):2.383 3.81/2.51 o -602 3.81/2.51 c Got one! Elapsed wall clock time (in seconds):2.386 3.81/2.51 o -605 3.81/2.54 c Got one! Elapsed wall clock time (in seconds):2.41 3.81/2.54 o -608 3.81/2.58 c Got one! Elapsed wall clock time (in seconds):2.456 3.81/2.58 o -610 3.92/2.62 c Got one! Elapsed wall clock time (in seconds):2.492 3.92/2.62 o -611 3.92/2.62 c Got one! Elapsed wall clock time (in seconds):2.493 3.92/2.62 o -613 3.92/2.65 c Got one! Elapsed wall clock time (in seconds):2.519 3.92/2.65 o -616 4.18/2.81 c Got one! Elapsed wall clock time (in seconds):2.674 4.18/2.81 o -618 4.18/2.82 c Got one! Elapsed wall clock time (in seconds):2.693 4.18/2.82 o -621 4.42/3.03 c cleaning 9817 clauses out of 19633 with flag 4003/27058 4.96/3.52 c cleaning 7909 clauses out of 15817 with flag 16005/33059 5.06/3.67 c Got one! Elapsed wall clock time (in seconds):3.537 5.06/3.67 o -622 5.33/3.88 c Got one! Elapsed wall clock time (in seconds):3.755 5.33/3.88 o -627 5.53/4.06 c cleaning 6858 clauses out of 13715 with flag 4007/38866 5.63/4.12 c Got one! Elapsed wall clock time (in seconds):3.991 5.63/4.12 o -628 5.63/4.13 c Got one! Elapsed wall clock time (in seconds):4.001 5.63/4.13 o -629 5.63/4.13 c Got one! Elapsed wall clock time (in seconds):4.003 5.63/4.13 o -630 5.63/4.13 c Got one! Elapsed wall clock time (in seconds):4.005 5.63/4.13 o -631 5.92/4.36 c Got one! Elapsed wall clock time (in seconds):4.231 5.92/4.36 o -634 5.92/4.39 c Got one! Elapsed wall clock time (in seconds):4.264 5.92/4.39 o -636 6.07/4.40 c Got one! Elapsed wall clock time (in seconds):4.269 6.07/4.40 o -637 6.07/4.48 c Got one! Elapsed wall clock time (in seconds):4.353 6.07/4.48 o -640 6.07/4.49 c Got one! Elapsed wall clock time (in seconds):4.365 6.07/4.49 o -642 6.24/4.53 c Got one! Elapsed wall clock time (in seconds):4.397 6.24/4.53 o -645 6.24/4.56 c Got one! Elapsed wall clock time (in seconds):4.433 6.24/4.56 o -647 6.35/4.62 c Got one! Elapsed wall clock time (in seconds):4.487 6.35/4.62 o -648 6.35/4.63 c Got one! Elapsed wall clock time (in seconds):4.497 6.35/4.63 o -650 6.55/4.87 c cleaning 8295 clauses out of 16591 with flag 6028/48600 7.05/5.33 c cleaning 7146 clauses out of 14296 with flag 18028/54600 7.65/5.91 c cleaning 7074 clauses out of 14150 with flag 32028/61600 8.01/6.20 c Got one! Elapsed wall clock time (in seconds):6.076 8.01/6.21 o -651 8.23/6.44 c cleaning 6486 clauses out of 12974 with flag 6002/67498 8.63/6.82 c Got one! Elapsed wall clock time (in seconds):6.696 8.63/6.82 o -653 9.03/7.24 c cleaning 8422 clauses out of 16847 with flag 10147/77857 9.03/7.24 c Got one! Elapsed wall clock time (in seconds):7.111 9.03/7.24 o -656 9.43/7.53 c Got one! Elapsed wall clock time (in seconds):7.401 9.43/7.53 o -657 9.43/7.57 c Got one! Elapsed wall clock time (in seconds):7.443 9.43/7.57 o -658 9.53/7.61 c Got one! Elapsed wall clock time (in seconds):7.483 9.53/7.61 o -661 9.53/7.65 c Got one! Elapsed wall clock time (in seconds):7.52 9.53/7.65 o -662 9.63/7.76 c Got one! Elapsed wall clock time (in seconds):7.637 9.63/7.77 o -664 9.73/7.88 c cleaning 7869 clauses out of 15745 with flag 2001/85177 10.23/8.30 c cleaning 6936 clauses out of 13877 with flag 14003/91178 10.73/8.84 c cleaning 6969 clauses out of 13941 with flag 28003/98178 11.08/9.16 c Got one! Elapsed wall clock time (in seconds):9.03 11.08/9.16 o -668 11.28/9.31 c cleaning 6223 clauses out of 12454 with flag 4004/103660 11.68/9.75 c cleaning 6114 clauses out of 12230 with flag 16002/109659 11.80/9.87 c Got one! Elapsed wall clock time (in seconds):9.74 11.80/9.87 o -672 12.10/10.18 c cleaning 5926 clauses out of 11856 with flag 8003/115399 12.45/10.41 c Got one! Elapsed wall clock time (in seconds):10.28 12.45/10.41 o -674 12.65/10.65 c cleaning 5749 clauses out of 11501 with flag 6166/120970 13.17/11.11 c cleaning 5874 clauses out of 11753 with flag 18248/126971 13.67/11.65 c cleaning 6437 clauses out of 12879 with flag 32248/133971 14.43/12.33 c cleaning 7220 clauses out of 14442 with flag 48248/141971 15.13/13.04 c cleaning 8111 clauses out of 16221 with flag 66246/150970 15.42/13.32 c Got one! Elapsed wall clock time (in seconds):13.191 15.42/13.32 o -675 15.66/13.59 c cleaning 6897 clauses out of 13802 with flag 4003/156662 16.23/14.01 c cleaning 6450 clauses out of 12904 with flag 16001/162661 16.33/14.19 c Got one! Elapsed wall clock time (in seconds):14.066 16.33/14.19 o -676 16.62/14.41 c cleaning 6143 clauses out of 12286 with flag 6004/168493 16.92/14.77 c Got one! Elapsed wall clock time (in seconds):14.646 16.92/14.77 o -677 17.49/15.20 c Got one! Elapsed wall clock time (in seconds):15.076 17.49/15.20 o -680 17.49/15.30 c cleaning 8624 clauses out of 17248 with flag 2015/179598 17.69/15.41 c Got one! Elapsed wall clock time (in seconds):15.284 17.69/15.41 o -682 17.89/15.69 c cleaning 7215 clauses out of 14429 with flag 8147/185403 18.40/16.14 c cleaning 6602 clauses out of 13214 with flag 20147/191403 19.04/16.70 c cleaning 6805 clauses out of 13612 with flag 34147/198403 19.14/16.88 c Got one! Elapsed wall clock time (in seconds):16.754 19.14/16.88 o -687 19.44/17.11 c cleaning 6236 clauses out of 12473 with flag 6020/204069 19.74/17.40 c Got one! Elapsed wall clock time (in seconds):17.271 19.74/17.40 o -688 19.74/17.48 c cleaning 5811 clauses out of 11630 with flag 2018/209462 20.04/17.77 c Got one! Elapsed wall clock time (in seconds):17.64 20.04/17.77 o -690 20.14/17.85 c cleaning 5527 clauses out of 11061 with flag 2006/214704 20.37/18.07 c Got one! Elapsed wall clock time (in seconds):17.943 20.37/18.07 o -691 20.47/18.12 c Got one! Elapsed wall clock time (in seconds):17.988 20.47/18.12 o -692 20.47/18.12 c Got one! Elapsed wall clock time (in seconds):17.992 20.47/18.12 o -693 20.47/18.14 c Got one! Elapsed wall clock time (in seconds):18.015 20.47/18.14 o -694 20.57/18.24 c Got one! Elapsed wall clock time (in seconds):18.107 20.57/18.24 o -696 20.77/18.40 c cleaning 6447 clauses out of 12900 with flag 4004/222070 21.17/18.82 c cleaning 6221 clauses out of 12452 with flag 16002/228069 21.66/19.32 c cleaning 6613 clauses out of 13231 with flag 30006/235069 21.80/19.44 c Got one! Elapsed wall clock time (in seconds):19.308 21.80/19.44 o -706 22.10/19.72 c cleaning 5993 clauses out of 11989 with flag 8005/240440 22.50/20.14 c cleaning 5995 clauses out of 11995 with flag 20005/246439 22.99/20.65 c cleaning 6499 clauses out of 13000 with flag 34005/253439 23.73/21.37 c cleaning 7246 clauses out of 14501 with flag 50005/261439 24.49/22.07 c cleaning 8124 clauses out of 16255 with flag 68005/270439 25.28/22.82 c cleaning 9066 clauses out of 18131 with flag 88005/280439 25.99/23.46 c Got one! Elapsed wall clock time (in seconds):23.334 25.99/23.46 o -709 26.41/23.88 c cleaning 10396 clauses out of 20804 with flag 10001/292178 26.91/24.37 c cleaning 8201 clauses out of 16409 with flag 22003/298179 27.40/24.88 c cleaning 7600 clauses out of 15208 with flag 36003/305179 28.17/25.54 c cleaning 7801 clauses out of 15608 with flag 52003/313179 28.87/26.26 c cleaning 8401 clauses out of 16807 with flag 70003/322179 29.77/27.11 c cleaning 9200 clauses out of 18405 with flag 90001/332178 30.85/28.14 c cleaning 10102 clauses out of 20206 with flag 112003/343179 31.65/28.90 c Got one! Elapsed wall clock time (in seconds):28.768 31.65/28.90 o -710 32.15/29.43 c cleaning 11993 clauses out of 23985 with flag 10467/357060 32.52/29.76 c Got one! Elapsed wall clock time (in seconds):29.632 32.52/29.76 o -711 32.75/29.99 c cleaning 8959 clauses out of 17921 with flag 6004/362989 33.25/30.43 c cleaning 7478 clauses out of 14961 with flag 18002/368988 33.75/30.97 c cleaning 7239 clauses out of 14484 with flag 32004/375989 34.15/31.34 c Got one! Elapsed wall clock time (in seconds):31.209 34.15/31.34 o -712 34.25/31.42 c cleaning 6473 clauses out of 12956 with flag 2003/381700 34.79/31.95 c cleaning 6235 clauses out of 12483 with flag 14003/387700 35.23/32.32 c Got one! Elapsed wall clock time (in seconds):32.191 35.23/32.32 o -713 35.33/32.48 c Got one! Elapsed wall clock time (in seconds):32.348 35.33/32.48 o -714 35.53/32.61 c Got one! Elapsed wall clock time (in seconds):32.485 35.53/32.61 o -716 35.63/32.73 c Got one! Elapsed wall clock time (in seconds):32.604 35.63/32.73 o -717 35.73/32.83 c cleaning 8783 clauses out of 17565 with flag 2006/399017 35.73/32.87 c Got one! Elapsed wall clock time (in seconds):32.742 35.73/32.87 o -718 35.73/32.88 c Got one! Elapsed wall clock time (in seconds):32.752 35.73/32.88 o -719 36.13/33.21 c Got one! Elapsed wall clock time (in seconds):33.086 36.13/33.21 o -720 36.22/33.30 c cleaning 7572 clauses out of 15144 with flag 2129/405379 36.22/33.34 c Got one! Elapsed wall clock time (in seconds):33.215 36.22/33.34 o -722 36.62/33.71 c cleaning 6614 clauses out of 13238 with flag 10090/411045 37.03/34.17 c cleaning 6310 clauses out of 12625 with flag 22092/417046 37.62/34.74 c cleaning 6654 clauses out of 13315 with flag 36092/424046 38.32/35.42 c cleaning 7330 clauses out of 14661 with flag 52092/432046 39.02/36.18 c cleaning 8161 clauses out of 16330 with flag 70090/441045 39.81/36.95 c cleaning 9081 clauses out of 18170 with flag 90092/451046 40.61/37.77 c cleaning 10042 clauses out of 20088 with flag 112093/462045 41.11/38.24 c Got one! Elapsed wall clock time (in seconds):38.107 41.11/38.24 o -723 41.41/38.60 c cleaning 10715 clauses out of 21435 with flag 10172/473434 41.91/39.02 c cleaning 8360 clauses out of 16721 with flag 22381/479435 42.41/39.52 c cleaning 7678 clauses out of 15360 with flag 36403/486434 43.01/40.15 c cleaning 7837 clauses out of 15683 with flag 52783/494435 43.70/40.83 c cleaning 8420 clauses out of 16846 with flag 71002/503435 44.94/41.85 c cleaning 9205 clauses out of 18426 with flag 91290/513435 45.84/42.74 c cleaning 10111 clauses out of 20221 with flag 114286/524435 46.04/42.91 c Got one! Elapsed wall clock time (in seconds):42.78 46.04/42.91 o -724 46.24/43.12 c cleaning 7646 clauses out of 15299 with flag 6003/529624 46.64/43.53 c cleaning 6826 clauses out of 13653 with flag 18173/535624 46.84/43.72 c Got one! Elapsed wall clock time (in seconds):43.587 46.84/43.72 o -726 47.04/43.92 c cleaning 6304 clauses out of 12615 with flag 6004/541412 47.43/44.32 c cleaning 6154 clauses out of 12311 with flag 18022/547412 47.93/44.87 c cleaning 6577 clauses out of 13158 with flag 32247/554413 48.63/45.50 c cleaning 7289 clauses out of 14580 with flag 48504/562412 49.54/46.30 c cleaning 8140 clauses out of 16292 with flag 66597/571413 50.24/47.06 c cleaning 9073 clauses out of 18152 with flag 86602/581413 51.14/47.92 c cleaning 10037 clauses out of 20079 with flag 108604/592413 52.04/48.85 c cleaning 11020 clauses out of 22041 with flag 132603/604412 53.54/50.12 c cleaning 12007 clauses out of 24022 with flag 158605/617413 54.73/51.35 c cleaning 13006 clauses out of 26015 with flag 186690/631413 57.56/53.86 c cleaning 14001 clauses out of 28008 with flag 228183/646412 61.82/57.72 c cleaning 14998 clauses out of 30009 with flag 282958/662414 67.17/62.24 c cleaning 15992 clauses out of 32009 with flag 355471/679412 71.70/66.63 c cleaning 17009 clauses out of 34018 with flag 445044/697413 76.89/71.84 c cleaning 18005 clauses out of 36009 with flag 548051/716413 79.52/74.38 c Got one! Elapsed wall clock time (in seconds):74.251 79.52/74.38 o -728 80.13/75.01 c cleaning 17571 clauses out of 35142 with flag 11241/733551 80.95/75.79 c cleaning 11777 clauses out of 23573 with flag 23963/739553 82.03/76.72 c cleaning 9390 clauses out of 18794 with flag 38299/746551 83.03/77.70 c cleaning 8694 clauses out of 17406 with flag 55529/754553 84.13/78.81 c cleaning 8852 clauses out of 17711 with flag 74781/763552 85.50/80.15 c cleaning 9427 clauses out of 18859 with flag 98041/773552 86.79/81.49 c cleaning 10208 clauses out of 20431 with flag 121747/784551 87.09/81.80 c Got one! Elapsed wall clock time (in seconds):81.667 87.09/81.80 o -731 87.39/82.00 c cleaning 7609 clauses out of 15224 with flag 5190/789552 88.05/82.67 c cleaning 6801 clauses out of 13615 with flag 19522/795552 88.84/83.40 c cleaning 6905 clauses out of 13814 with flag 37212/802552 89.64/84.26 c cleaning 7454 clauses out of 14910 with flag 57080/810553 90.64/85.25 c cleaning 8225 clauses out of 16455 with flag 78653/819552 91.74/86.31 c cleaning 9115 clauses out of 18230 with flag 102088/829552 92.96/87.58 c cleaning 10055 clauses out of 20116 with flag 129746/840553 94.36/88.91 c cleaning 11031 clauses out of 22061 with flag 159203/852553 95.76/90.38 c cleaning 12012 clauses out of 24030 with flag 190360/865553 97.46/92.06 c cleaning 13008 clauses out of 26018 with flag 221960/879553 99.41/93.94 c cleaning 14003 clauses out of 28010 with flag 257575/894553 101.40/95.92 c cleaning 15000 clauses out of 30007 with flag 294851/910553 103.60/98.15 c cleaning 16003 clauses out of 32006 with flag 330209/927552 106.14/100.56 c cleaning 17002 clauses out of 34003 with flag 367546/945552 108.44/102.83 c cleaning 17999 clauses out of 36001 with flag 410422/964552 111.19/105.46 c cleaning 19000 clauses out of 38003 with flag 453222/984553 113.79/108.04 c cleaning 20000 clauses out of 40002 with flag 501192/1005552 116.84/110.92 c cleaning 20998 clauses out of 42003 with flag 548849/1027553 120.13/114.00 c cleaning 22003 clauses out of 44006 with flag 598348/1050554 123.02/116.95 c cleaning 22996 clauses out of 46002 with flag 650657/1074553 126.45/120.24 c cleaning 23999 clauses out of 48005 with flag 703379/1099552 131.05/124.12 c cleaning 25004 clauses out of 50007 with flag 757890/1125553 134.54/127.68 c cleaning 25996 clauses out of 52002 with flag 815688/1152552 138.39/131.40 c cleaning 27000 clauses out of 54006 with flag 877665/1180552 143.04/135.88 c cleaning 27999 clauses out of 56006 with flag 941551/1209552 147.30/139.93 c cleaning 28998 clauses out of 58008 with flag 1006657/1239553 151.47/143.92 c cleaning 29996 clauses out of 60010 with flag 1070657/1270553 156.04/148.30 c cleaning 31006 clauses out of 62014 with flag 1137154/1302553 160.58/152.73 c cleaning 32004 clauses out of 64007 with flag 1204034/1335552 165.72/157.74 c cleaning 33001 clauses out of 66005 with flag 1274028/1369554 170.97/162.84 c cleaning 33997 clauses out of 68002 with flag 1346560/1404552 173.27/165.15 c Got one! Elapsed wall clock time (in seconds):165.025 173.27/165.15 o -733 174.97/166.26 c cleaning 28688 clauses out of 57391 with flag 10663/1427938 175.92/166.94 c cleaning 17352 clauses out of 34703 with flag 23497/1433938 176.62/167.68 c cleaning 12169 clauses out of 24351 with flag 38247/1440938 177.52/168.51 c cleaning 10083 clauses out of 20183 with flag 55101/1448939 178.41/169.45 c cleaning 9543 clauses out of 19100 with flag 73610/1457939 179.54/170.55 c cleaning 9776 clauses out of 19556 with flag 93876/1467938 180.73/171.78 c cleaning 10386 clauses out of 20780 with flag 116883/1478938 182.13/173.13 c cleaning 11195 clauses out of 22394 with flag 142822/1490938 183.52/174.55 c cleaning 12094 clauses out of 24199 with flag 170202/1503938 185.27/176.25 c cleaning 13050 clauses out of 26106 with flag 199946/1517939 187.07/178.03 c cleaning 14028 clauses out of 28056 with flag 232028/1532939 188.87/179.89 c cleaning 15013 clauses out of 30027 with flag 266291/1548938 191.30/182.17 c cleaning 16004 clauses out of 32015 with flag 302023/1565939 193.59/184.43 c cleaning 17006 clauses out of 34011 with flag 341473/1583939 195.68/186.54 c cleaning 17999 clauses out of 36004 with flag 381280/1602938 196.48/187.32 c Got one! Elapsed wall clock time (in seconds):187.194 196.48/187.32 o -734 196.98/187.84 c cleaning 15157 clauses out of 30325 with flag 10462/1615258 197.78/188.53 c cleaning 10582 clauses out of 21168 with flag 22937/1621258 198.48/189.22 c cleaning 8788 clauses out of 17587 with flag 37529/1628259 199.29/190.06 c cleaning 8394 clauses out of 16798 with flag 54125/1636258 200.28/191.06 c cleaning 8699 clauses out of 17404 with flag 73132/1645258 201.38/192.15 c cleaning 9348 clauses out of 18705 with flag 93831/1655258 202.57/193.33 c cleaning 10179 clauses out of 20358 with flag 117058/1666259 204.04/194.72 c cleaning 11085 clauses out of 22179 with flag 143239/1678259 205.44/196.13 c cleaning 12042 clauses out of 24093 with flag 171223/1691258 207.03/197.74 c cleaning 13024 clauses out of 26051 with flag 200442/1705258 208.54/199.24 c cleaning 14006 clauses out of 28028 with flag 232246/1720259 210.45/201.09 c cleaning 15009 clauses out of 30021 with flag 265529/1736258 212.24/202.86 c cleaning 16004 clauses out of 32012 with flag 300347/1753258 214.23/204.87 c cleaning 17000 clauses out of 34009 with flag 337268/1771259 216.64/207.16 c cleaning 18004 clauses out of 36008 with flag 376362/1790258 219.13/209.65 c cleaning 19000 clauses out of 38005 with flag 418819/1810259 221.73/212.23 c cleaning 19999 clauses out of 40005 with flag 463224/1831259 224.50/214.85 c cleaning 21000 clauses out of 42005 with flag 510561/1853258 226.89/217.29 c cleaning 22003 clauses out of 44006 with flag 558746/1876259 229.59/219.93 c cleaning 22998 clauses out of 46004 with flag 608813/1900260 232.99/223.28 c cleaning 24000 clauses out of 48004 with flag 660486/1925258 236.18/226.40 c cleaning 25002 clauses out of 50004 with flag 714632/1951258 239.77/229.86 c cleaning 25996 clauses out of 52002 with flag 770170/1978258 243.07/233.13 c cleaning 27001 clauses out of 54006 with flag 828710/2006258 247.30/237.29 c cleaning 28003 clauses out of 56006 with flag 890647/2035259 252.28/242.27 c cleaning 29001 clauses out of 58002 with flag 953535/2065258 257.09/246.89 c cleaning 29993 clauses out of 60001 with flag 1017889/2096258 261.90/251.42 c cleaning 31003 clauses out of 62009 with flag 1083286/2128259 266.79/256.13 c cleaning 31998 clauses out of 64006 with flag 1151827/2161259 272.09/261.27 c cleaning 33004 clauses out of 66008 with flag 1222194/2195259 278.26/267.21 c cleaning 33996 clauses out of 68003 with flag 1295577/2230258 284.41/273.28 c cleaning 35001 clauses out of 70008 with flag 1370923/2266259 289.95/278.63 c cleaning 36002 clauses out of 72007 with flag 1447814/2303259 296.39/284.96 c cleaning 37001 clauses out of 74005 with flag 1527091/2341259 303.06/290.89 c cleaning 38001 clauses out of 76004 with flag 1608603/2380259 309.96/297.63 c cleaning 39001 clauses out of 78002 with flag 1692884/2420258 316.11/303.64 c cleaning 39992 clauses out of 80001 with flag 1778626/2461258 322.87/310.20 c cleaning 40999 clauses out of 82010 with flag 1868244/2503259 327.37/314.55 c Got one! Elapsed wall clock time (in seconds):314.416 327.37/314.55 o -737 328.47/315.65 c cleaning 38983 clauses out of 77977 with flag 11539/2540225 329.17/316.37 c cleaning 22490 clauses out of 44995 with flag 24754/2546226 330.32/317.36 c cleaning 14744 clauses out of 29504 with flag 39840/2553225 331.22/318.27 c cleaning 11372 clauses out of 22762 with flag 57099/2561227 332.22/319.23 c cleaning 10189 clauses out of 20388 with flag 76516/2570225 333.22/320.27 c cleaning 10090 clauses out of 20200 with flag 97796/2580226 334.57/321.50 c cleaning 10553 clauses out of 21110 with flag 121914/2591226 335.76/322.76 c cleaning 11277 clauses out of 22556 with flag 148650/2603225 337.24/324.22 c cleaning 12137 clauses out of 24279 with flag 178104/2616225 338.92/325.88 c cleaning 13068 clauses out of 26142 with flag 208994/2630225 340.71/327.69 c cleaning 14035 clauses out of 28075 with flag 242657/2645226 342.61/329.55 c cleaning 15019 clauses out of 30040 with flag 278198/2661226 344.89/331.79 c cleaning 16010 clauses out of 32020 with flag 316565/2678225 347.09/333.90 c cleaning 17004 clauses out of 34010 with flag 355024/2696225 349.38/336.21 c cleaning 18003 clauses out of 36007 with flag 394460/2715226 352.11/338.81 c cleaning 18997 clauses out of 38003 with flag 437798/2735225 354.41/341.16 c cleaning 19998 clauses out of 40006 with flag 482541/2756225 357.20/343.97 c cleaning 21001 clauses out of 42009 with flag 529993/2778226 357.31/344.07 c Got one! Elapsed wall clock time (in seconds):343.942 357.31/344.07 o -738 358.13/344.73 c cleaning 13492 clauses out of 26997 with flag 11006/2784215 358.82/345.40 c cleaning 9747 clauses out of 19505 with flag 23782/2790215 359.53/346.12 c cleaning 8374 clauses out of 16759 with flag 39015/2797216 360.43/347.04 c cleaning 8188 clauses out of 16384 with flag 56462/2805215 361.32/347.93 c cleaning 8591 clauses out of 17197 with flag 75984/2814216 362.32/348.99 c cleaning 9303 clauses out of 18605 with flag 96886/2824215 363.61/350.22 c cleaning 10151 clauses out of 20304 with flag 120682/2835217 365.07/351.65 c cleaning 11071 clauses out of 22151 with flag 147568/2847215 366.47/353.10 c cleaning 12037 clauses out of 24080 with flag 174797/2860215 368.06/354.66 c cleaning 13022 clauses out of 26044 with flag 203190/2874216 369.85/356.46 c cleaning 14008 clauses out of 28022 with flag 233936/2889216 371.74/358.37 c cleaning 15003 clauses out of 30013 with flag 267173/2905215 373.96/360.41 c cleaning 16006 clauses out of 32011 with flag 302425/2922216 375.95/362.50 c cleaning 17001 clauses out of 34004 with flag 339435/2940215 378.35/364.83 c cleaning 17995 clauses out of 36003 with flag 379581/2959215 380.55/367.04 c cleaning 18998 clauses out of 38008 with flag 421199/2979215 383.33/369.64 c cleaning 20005 clauses out of 40011 with flag 464575/3000216 385.93/372.23 c cleaning 21000 clauses out of 42005 with flag 509933/3022215 389.02/375.38 c cleaning 22000 clauses out of 44006 with flag 558097/3045216 392.39/378.51 c cleaning 23001 clauses out of 46005 with flag 606602/3069215 395.48/381.66 c cleaning 23995 clauses out of 48005 with flag 657737/3094216 398.98/385.11 c cleaning 25004 clauses out of 50009 with flag 711746/3120215 402.94/389.05 c cleaning 26001 clauses out of 52006 with flag 771071/3147216 406.72/392.85 c cleaning 26999 clauses out of 54006 with flag 832010/3175217 411.46/397.30 c cleaning 28000 clauses out of 56006 with flag 890942/3204216 415.55/401.45 c cleaning 29000 clauses out of 58006 with flag 954163/3234216 419.99/405.78 c cleaning 29997 clauses out of 60005 with flag 1020148/3265215 424.68/410.46 c cleaning 31002 clauses out of 62010 with flag 1086911/3297217 429.36/415.03 c cleaning 32002 clauses out of 64006 with flag 1156398/3330215 434.24/419.94 c cleaning 32998 clauses out of 66005 with flag 1228944/3364216 440.19/425.70 c cleaning 34001 clauses out of 68006 with flag 1303148/3399215 446.07/431.30 c cleaning 35001 clauses out of 70005 with flag 1377847/3435215 452.20/437.29 c cleaning 36001 clauses out of 72005 with flag 1454086/3472216 458.94/443.02 c cleaning 36997 clauses out of 74003 with flag 1533037/3510215 464.73/448.62 c cleaning 38003 clauses out of 76007 with flag 1614610/3549216 470.64/454.44 c cleaning 38997 clauses out of 78004 with flag 1696572/3589216 477.70/461.32 c cleaning 40002 clauses out of 80006 with flag 1781362/3630215 485.31/468.85 c cleaning 40998 clauses out of 82005 with flag 1868307/3672216 493.19/476.61 c cleaning 42004 clauses out of 84007 with flag 1957778/3715216 500.09/483.44 c cleaning 42995 clauses out of 86002 with flag 2048514/3759215 506.14/489.32 c cleaning 43998 clauses out of 88007 with flag 2142140/3804215 513.38/496.41 c cleaning 44999 clauses out of 90009 with flag 2237883/3850215 521.10/503.90 c cleaning 46005 clauses out of 92011 with flag 2336288/3897216 529.09/511.79 c cleaning 47002 clauses out of 94006 with flag 2436444/3945216 537.02/519.57 c cleaning 48001 clauses out of 96003 with flag 2538121/3994215 544.58/526.94 c cleaning 49001 clauses out of 98002 with flag 2642635/4044215 552.50/534.75 c cleaning 49995 clauses out of 100001 with flag 2749339/4095215 561.09/542.88 c cleaning 50998 clauses out of 102006 with flag 2854236/4147215 568.92/550.33 c cleaning 52000 clauses out of 104009 with flag 2961437/4200216 577.98/558.29 c cleaning 53003 clauses out of 106009 with flag 3069891/4254216 587.58/567.50 c cleaning 54000 clauses out of 108006 with flag 3180137/4309216 596.22/575.86 c cleaning 54997 clauses out of 110006 with flag 3295107/4365216 606.15/585.41 c cleaning 55998 clauses out of 112009 with flag 3413245/4422216 616.93/595.82 c cleaning 56999 clauses out of 114010 with flag 3531777/4480215 628.06/606.67 c cleaning 58005 clauses out of 116011 with flag 3653453/4539215 638.99/617.24 c cleaning 59000 clauses out of 118006 with flag 3774007/4599215 648.94/626.82 c cleaning 60002 clauses out of 120007 with flag 3899814/4660216 659.59/637.16 c cleaning 61001 clauses out of 122004 with flag 4029910/4722215 669.62/646.83 c cleaning 61997 clauses out of 124004 with flag 4160508/4785216 680.98/657.88 c cleaning 63001 clauses out of 126007 with flag 4291488/4849216 694.02/669.33 c cleaning 63997 clauses out of 128006 with flag 4423452/4914216 705.00/680.06 c cleaning 65001 clauses out of 130009 with flag 4555839/4980216 717.84/692.40 c cleaning 66001 clauses out of 132008 with flag 4690115/5047216 729.61/703.71 c cleaning 67001 clauses out of 134006 with flag 4826456/5115215 741.05/714.97 c cleaning 67998 clauses out of 136006 with flag 4965044/5184216 753.73/727.11 c cleaning 69000 clauses out of 138007 with flag 5105321/5254215 766.82/739.84 c cleaning 69996 clauses out of 140007 with flag 5247746/5325215 781.32/754.17 c cleaning 71003 clauses out of 142011 with flag 5392185/5397215 794.14/766.64 c cleaning 72004 clauses out of 144010 with flag 5538487/5470217 807.41/779.59 c cleaning 73000 clauses out of 146005 with flag 5687049/5544216 820.04/791.77 c cleaning 73997 clauses out of 148005 with flag 5838045/5619216 832.69/803.95 c cleaning 74997 clauses out of 150007 with flag 5990827/5695215 848.01/818.72 c cleaning 76002 clauses out of 152011 with flag 6145218/5772216 864.02/832.57 c cleaning 76997 clauses out of 154009 with flag 6301686/5850216 878.03/846.06 c cleaning 78003 clauses out of 156011 with flag 6460315/5929215 893.06/860.69 c cleaning 79002 clauses out of 158009 with flag 6621117/6009216 908.76/875.84 c cleaning 79998 clauses out of 160006 with flag 6784037/6090215 926.90/893.73 c cleaning 81001 clauses out of 162010 with flag 6949141/6172217 942.24/908.69 c cleaning 81999 clauses out of 164007 with flag 7116283/6255215 956.45/922.33 c cleaning 83002 clauses out of 166009 with flag 7284866/6339216 973.55/938.98 c cleaning 83997 clauses out of 168006 with flag 7455892/6424215 988.91/954.04 c cleaning 84999 clauses out of 170010 with flag 7628946/6510216 1006.79/971.51 c cleaning 86004 clauses out of 172011 with flag 7803835/6597216 1022.44/986.76 c cleaning 87003 clauses out of 174006 with flag 7980639/6685215 1040.17/1004.01 c cleaning 87993 clauses out of 176004 with flag 8159117/6774216 1057.68/1021.07 c cleaning 89001 clauses out of 178010 with flag 8340714/6864215 1075.57/1038.48 c cleaning 90003 clauses out of 180010 with flag 8523542/6955216 1098.56/1059.59 c cleaning 91000 clauses out of 182006 with flag 8708154/7047215 1117.03/1077.41 c cleaning 91998 clauses out of 184007 with flag 8894956/7140216 1135.57/1095.78 c cleaning 92999 clauses out of 186008 with flag 9084391/7234215 1154.66/1114.36 c cleaning 94000 clauses out of 188010 with flag 9275926/7329216 1172.68/1132.18 c cleaning 95005 clauses out of 190010 with flag 9468962/7425216 1191.33/1150.29 c cleaning 95995 clauses out of 192004 with flag 9666401/7522215 1213.52/1171.77 c cleaning 96996 clauses out of 194010 with flag 9864541/7620216 1239.62/1197.53 c cleaning 98002 clauses out of 196013 with flag 10068573/7719215 1263.40/1220.72 c cleaning 99001 clauses out of 198011 with flag 10270774/7819215 1286.54/1243.55 c cleaning 100000 clauses out of 200011 with flag 10474451/7920216 1311.16/1267.67 c cleaning 101001 clauses out of 202011 with flag 10680025/8022216 1336.28/1292.11 c cleaning 102002 clauses out of 204009 with flag 10886863/8125215 1368.03/1323.61 c cleaning 103001 clauses out of 206008 with flag 11097482/8229216 1398.63/1353.77 c cleaning 103997 clauses out of 208006 with flag 11308334/8334215 1424.82/1379.27 c cleaning 105001 clauses out of 210010 with flag 11522645/8440216 1448.57/1402.64 c cleaning 106002 clauses out of 212009 with flag 11738989/8547216 1474.89/1428.45 c cleaning 107002 clauses out of 214007 with flag 11957653/8655216 1504.49/1455.45 c cleaning 108001 clauses out of 216005 with flag 12177893/8764216 1527.95/1478.52 c cleaning 108995 clauses out of 218004 with flag 12400624/8874216 1561.05/1510.97 c cleaning 109998 clauses out of 220008 with flag 12623426/8985215 1586.95/1536.43 c cleaning 111001 clauses out of 222011 with flag 12848715/9097216 1622.44/1571.26 c cleaning 112001 clauses out of 224009 with flag 13076616/9210215 1665.99/1614.40 c cleaning 113001 clauses out of 226008 with flag 13305630/9324215 1702.32/1649.90 c cleaning 114002 clauses out of 228008 with flag 13536604/9439216 1741.86/1689.14 c cleaning 114995 clauses out of 230006 with flag 13769701/9555216 1767.36/1713.94 c cleaning 116000 clauses out of 232010 with flag 14006954/9672215 1792.25/1738.41 c cleaning 116999 clauses out of 234010 with flag 14245868/9790215 1817.68/1763.12 c cleaning 118005 clauses out of 236012 with flag 14484858/9909216 1841.18/1786.35 c cleaning 119000 clauses out of 238006 with flag 14726138/10029215 1904.74/1849.33 c cleaning 119996 clauses out of 240006 with flag 15135022/10150215 1982.29/1926.17 c cleaning 121004 clauses out of 242011 with flag 15705495/10272216 2065.52/2006.30 c cleaning 122001 clauses out of 244007 with flag 16361532/10395216 2144.10/2084.18 c cleaning 122999 clauses out of 246005 with flag 17045831/10519215 2224.68/2164.41 c cleaning 124000 clauses out of 248006 with flag 17770852/10644215 2309.89/2249.06 c cleaning 124998 clauses out of 250006 with flag 18486542/10770215 2386.06/2324.53 c cleaning 126000 clauses out of 252009 with flag 19217542/10897216 2458.44/2396.18 c cleaning 127004 clauses out of 254008 with flag 19917900/11025215 2505.55/2442.49 c cleaning 128002 clauses out of 256004 with flag 20363578/11154215 2555.62/2492.10 c cleaning 128993 clauses out of 258002 with flag 20721266/11284215 2658.56/2594.60 c cleaning 129999 clauses out of 260009 with flag 21146106/11415215 2744.68/2679.99 c cleaning 131002 clauses out of 262011 with flag 21618471/11547216 2835.14/2769.82 c cleaning 131994 clauses out of 264010 with flag 22112942/11680217 2932.94/2864.88 c cleaning 132998 clauses out of 266015 with flag 22632662/11814216 3026.70/2958.09 c cleaning 134008 clauses out of 268016 with flag 23165550/11949215 3067.67/2998.36 c cleaning 134998 clauses out of 270008 with flag 23479865/12085215 3102.61/3032.66 c cleaning 136003 clauses out of 272013 with flag 23772507/12222218 3140.50/3069.70 c cleaning 136998 clauses out of 274007 with flag 24064447/12360215 3176.03/3104.56 c cleaning 137997 clauses out of 276009 with flag 24358269/12499215 3226.76/3154.51 c cleaning 139005 clauses out of 278012 with flag 24658806/12639215 3267.54/3194.53 c cleaning 140002 clauses out of 280007 with flag 24956917/12780215 3305.16/3231.37 c cleaning 140999 clauses out of 282007 with flag 25261337/12922217 3349.76/3275.18 c cleaning 141999 clauses out of 284007 with flag 25575444/13065216 3405.30/3326.41 c cleaning 142998 clauses out of 286007 with flag 25884931/13209215 3457.83/3378.23 c cleaning 144004 clauses out of 288009 with flag 26197724/13354215 3513.07/3432.72 c cleaning 144998 clauses out of 290005 with flag 26510777/13500215 3564.68/3483.57 c cleaning 145994 clauses out of 292007 with flag 26818279/13647215 3600.07/3518.61 c starts : 36081 3600.07/3518.63 c conflicts : 13743341 3600.07/3518.63 c decisions : 25669225 3600.07/3518.63 c propagations : 529068797 3600.07/3518.63 c inspects : 22168218989 3600.07/3518.63 c shortcuts : 0 3600.07/3518.63 c learnt literals : 0 3600.07/3518.63 c learnt binary clauses : 737 3600.07/3518.63 c learnt ternary clauses : 3465 3600.07/3518.63 c learnt constraints : 13743341 3600.07/3518.63 c ignored constraints : 0 3600.07/3518.63 c root simplifications : 0 3600.07/3518.63 c removed literals (reason simplification) : 282429130 3600.07/3518.63 c reason swapping (by a shorter reason) : 0 3600.07/3518.63 c Calls to reduceDB : 337 3600.07/3518.63 c Number of update (reduction) of LBD : 262027 3600.07/3518.63 c Imported unit clauses : 0 3600.07/3518.63 c No decision after first conflict : false 3600.07/3518.63 c number of reductions to clauses (during analyze) : 0 3600.07/3518.63 c number of learned constraints concerned by reduction : 0 3600.07/3518.63 c number of learning phase by resolution : 0 3600.07/3518.63 c number of learning phase by cutting planes : 0 3600.07/3518.63 c number of rounding to 1 operations : 0 3600.07/3518.63 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3518.63 c number of reductions of the coefficients by power 2 : 0 3600.07/3518.63 c number of right shift for reduction by power 2 : 0 3600.07/3518.63 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3518.63 c number of ending skipping : 0 3600.07/3518.63 c number of internal skipping : 0 3600.07/3518.63 c number of derivation steps : 0 3600.07/3518.63 c number of skipped derivation steps : 0 3600.07/3518.63 c number of remaining unassigned : 0 3600.07/3518.63 c number of remaining assigned : 0 3600.07/3518.63 c number of falsified literals weakened from reason : 0 3600.07/3518.63 c number of falsified literals weakened from conflict : 0 3600.07/3518.63 c time for arithmetic operations : 0 3600.07/3518.63 c minimum degree of deleted constraints : null 3600.07/3518.63 c maximum degree of deleted constraints : null 3600.07/3518.63 c number of deleted constraints : 0 3600.07/3518.63 c speed (assignments/second) : 150371.60176659393 3600.07/3518.63 c non guided choices : 0 3600.27/3518.73 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 241402 3600.27/3518.73 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 737 3600.27/3518.73 s SATISFIABLE 3600.27/3518.74 c Found 173 solution(s) 3600.27/3518.74 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 3600.27/3518.74 c objective function=-738 3600.27/3518.75 c Total wall clock time (in seconds): 3518.617
OK -738
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: 63665 MiB (42110 MiB free)
memory of node 1: 64507 MiB (32384 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512242-1751523175/watcher-4512242-1751523175 -o /tmp/evaluation-result-4512242-1751523175/solver-4512242-1751523175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751519641-73901 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4512242-1751523175.opb
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74330, runsolver pid=74327
[startup+0.100061 s]*
/proc/loadavg: 4.18 4.18 4.14 4/318 74348
/proc/meminfo: memFree=89968084/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=18930384 memory=59396 CPUtime=0.12 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 6476 0 0 0 10 2 0 0 20 0 18 0 67996395 19384713216 14849 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4732596 14849 5337 1 0 547604 0
[pid=74330/tid=74332] ppid=74327 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 5059 0 0 0 6 1 0 0 20 0 18 0 67996397 19384713216 14849 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=18930384 memory=2697 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67996399 19384713216 14849 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67996400 19384713216 14849 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59396 KiB
[startup+0.205225 s]*
/proc/loadavg: 4.18 4.18 4.14 7/316 74356
/proc/meminfo: memFree=89951904/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=18930384 memory=63676 CPUtime=0.32 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 7251 0 0 0 30 2 0 0 20 0 18 0 67996395 19384713216 15919 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4732596 15919 5433 1 0 548015 0
[pid=74330/tid=74332] ppid=74327 vsize=18930384 memory=4026728567 CPUtime=0.17 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 5277 0 0 0 16 1 0 0 20 0 18 0 67996397 19384713216 15919 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=18930384 memory=215637821798 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67996399 19384713216 15919 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=18930384 memory=26391 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67996400 19384713216 15919 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63676 KiB
[startup+0.305495 s]*
/proc/loadavg: 4.18 4.18 4.14 5/317 74357
/proc/meminfo: memFree=89935520/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=18996948 memory=72296 CPUtime=0.5 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 8486 0 0 0 48 2 0 0 20 0 19 0 67996395 19452874752 18074 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4749237 18074 5465 1 0 548855 0
[pid=74330/tid=74332] ppid=74327 vsize=18996948 memory=-6000919507149875560 CPUtime=0.26 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 5399 0 0 0 25 1 0 0 20 0 19 0 67996397 19452874752 18074 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67996399 19452874752 18074 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67996400 19452874752 18074 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67996418 19452874752 18074 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72296 KiB
[startup+0.700215 s]
/proc/loadavg: 4.18 4.18 4.14 5/317 74357
/proc/meminfo: memFree=89898404/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=18996948 memory=106184 CPUtime=1.27 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 11131 0 0 0 124 3 0 0 20 0 19 0 67996395 19452874752 26546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4749237 26546 5497 1 0 550558 0
[pid=74330/tid=74332] ppid=74327 vsize=18996948 memory=18688 CPUtime=0.66 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 5418 0 0 0 64 2 0 0 20 0 19 0 67996397 19452874752 26546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67996399 19452874752 26546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67996400 19452874752 26546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67996418 19452874752 26546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106184 KiB
[startup+1.50022 s]
/proc/loadavg: 4.18 4.18 4.14 4/319 74363
/proc/meminfo: memFree=89786044/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=217580 CPUtime=2.54 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 14992 0 0 0 247 7 0 0 20 0 20 0 67996395 19521036288 54395 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 54395 5497 1 0 550898 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=0 CPUtime=1.4 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 5982 0 0 0 138 2 0 0 20 0 20 0 67996397 19521036288 54395 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 54395 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 54395 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 54395 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 217580 KiB
[startup+3.10551 s]
/proc/loadavg: 4.33 4.21 4.15 7/341 74414
/proc/meminfo: memFree=89218232/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=359704 CPUtime=4.57 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 17196 0 0 0 447 10 0 0 20 0 20 0 67996395 19521036288 89926 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 89926 5497 1 0 550932 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=10624 CPUtime=2.83 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 6852 0 0 0 281 2 0 0 20 0 20 0 67996397 19521036288 89926 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=-6000919477051943016 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 89926 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 89926 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 89926 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 359704 KiB
[startup+6.30022 s]
/proc/loadavg: 4.33 4.21 4.15 6/341 74414
/proc/meminfo: memFree=88393812/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=721008 CPUtime=8.13 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 18206 0 0 0 795 18 0 0 20 0 20 0 67996395 19521036288 180252 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 180252 5497 1 0 943655 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=0 CPUtime=5.84 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 7055 0 0 0 579 5 0 0 20 0 20 0 67996397 19521036288 180252 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 180252 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 180252 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 180252 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 721008 KiB
[startup+12.7002 s]
/proc/loadavg: 4.30 4.21 4.15 5/322 74417
/proc/meminfo: memFree=90492500/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=1183284 CPUtime=14.83 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 18922 0 0 0 1456 27 0 0 20 0 20 0 67996395 19521036288 295821 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 295821 5497 1 0 1071078 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=0 CPUtime=11.95 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 7201 0 0 0 1187 8 0 0 20 0 20 0 67996397 19521036288 295821 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 295821 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 295821 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 295821 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1183284 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.18 4.14 6/341 74550
/proc/meminfo: memFree=96601200/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=2048892 CPUtime=28.17 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 22643 0 0 0 2772 45 0 0 20 0 20 0 67996395 19521036288 512223 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 512223 5529 1 0 1192235 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=1445596 CPUtime=24.12 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 8568 0 0 0 2399 13 0 0 20 0 20 0 67996397 19521036288 512223 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=721008 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 512223 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 512223 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=217580 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 512223 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 28.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2048892 KiB
[startup+51.1055 s]
/proc/loadavg: 4.25 4.20 4.15 5/341 74550
/proc/meminfo: memFree=88709528/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=3355600 CPUtime=54.53 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 26768 0 0 0 5382 71 0 0 20 0 20 0 67996395 19521036288 838900 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 838900 5529 1 0 1192241 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=217580 CPUtime=48.83 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 10649 0 0 0 4863 20 0 0 20 0 20 0 67996397 19521036288 838900 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=3062724 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.44 4.33 4.29 6/341 74712
/proc/meminfo: memFree=51297664/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=14326248 CPUtime=3234.53 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 299879 0 0 0 323057 396 0 0 20 0 20 0 67996395 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 3581562 5561 1 0 4087752 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=14324084 CPUtime=3091.52 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 155606 0 0 0 309057 95 0 0 20 0 20 0 67996397 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=14324084 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 1976 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=14326248 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 3234.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14326248 KiB
[startup+3222.3 s]
/proc/loadavg: 4.43 4.36 4.30 5/341 74714
/proc/meminfo: memFree=51297068/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=14326248 CPUtime=3295.66 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 303434 0 0 0 329168 398 0 0 20 0 20 0 67996395 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 3581562 5561 1 0 4087752 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=14324084 CPUtime=3150.08 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 157659 0 0 0 314912 96 0 0 20 0 20 0 67996397 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=14324084 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=14326248 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 2108 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=14326248 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 3295.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14326248 KiB
[startup+3282.3 s]
/proc/loadavg: 4.40 4.36 4.30 5/341 74716
/proc/meminfo: memFree=51295956/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=14326248 CPUtime=3356.94 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 308211 0 0 0 335294 400 0 0 20 0 20 0 67996395 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 3581562 5561 1 0 4087752 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=14326248 CPUtime=3208.48 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 160871 0 0 0 320752 96 0 0 20 0 20 0 67996397 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=14326248 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 2109 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 3581562 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 3356.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14326248 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.32 4.29 5/340 74784
/proc/meminfo: memFree=67325556/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=14333544 CPUtime=3421.51 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 322100 0 0 0 341747 404 0 0 20 0 20 0 67996395 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 3583386 5561 1 0 4089583 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=10624 CPUtime=3267.02 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 168215 0 0 0 326606 96 0 0 20 0 20 0 67996397 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=-6000919477051943016 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 2177 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 3421.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14333544 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.29 4.28 6/339 74854
/proc/meminfo: memFree=81262448/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=14333544 CPUtime=3482.21 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 327035 0 0 0 347816 405 0 0 20 0 20 0 67996395 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 3583386 5561 1 0 4089583 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=14333544 CPUtime=3326.01 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 171398 0 0 0 332505 96 0 0 20 0 20 0 67996397 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=14333544 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=14333544 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 2190 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=-6000919477051943016 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 3482.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14333544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.25 4.26 5/339 74921
/proc/meminfo: memFree=80549280/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=14333544 CPUtime=3543.01 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 330359 0 0 0 353894 407 0 0 20 0 20 0 67996395 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 3583386 5561 1 0 4089583 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=14333544 CPUtime=3384.96 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 173515 0 0 0 338399 97 0 0 20 0 20 0 67996397 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=14333544 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=14333544 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 2272 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=-6000919477051943016 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 3543.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14333544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3518.6 s]
/proc/loadavg: 4.10 4.22 4.25 5/340 74925
/proc/meminfo: memFree=79840064/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19063512 memory=14333544 CPUtime=3600.07 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 334273 0 0 0 359599 408 0 0 20 0 20 0 67996395 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4765878 3583386 5561 1 0 4089583 0
[pid=74330/tid=74332] ppid=74327 vsize=19063512 memory=2764 CPUtime=3440.22 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 175708 0 0 0 343925 97 0 0 20 0 20 0 67996397 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19063512 memory=19840 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67996399 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19063512 memory=902128 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 2355 0 0 0 0 0 0 0 20 0 20 0 67996400 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74357] ppid=74327 vsize=19063512 memory=5188 CPUtime=0 cores=5,7
/proc/74330/task/74357/stat : 74357 (Timer-0) S 74327 74330 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67996418 19521036288 3583386 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14333544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3518.79 s]
# the end of solver process 74330 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.28 s, system=4.12726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3518.71 s]
/proc/loadavg: 4.10 4.22 4.25 5/340 74925
/proc/meminfo: memFree=79840064/131249988 swapFree=33010160/33010684
[pid=74330] ppid=74327 vsize=19263204 memory=14334184 CPUtime=3600.27 cores=5,7
/proc/74330/stat : 74330 (java) S 74327 74330 73888 0 -1 4194304 336454 0 0 0 359619 408 0 0 20 0 21 0 67996395 19725520896 3583546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
/proc/74330/statm: 4815801 3583546 5561 1 0 4090520 0
[pid=74330/tid=74332] ppid=74327 vsize=19263204 memory=14333544 CPUtime=3440.31 cores=5,7
/proc/74330/task/74332/stat : 74332 (java) R 74327 74330 73888 0 -1 4194368 175889 0 0 0 343934 97 0 0 20 0 21 0 67996397 19725520896 3583546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74341] ppid=74327 vsize=19263204 memory=14333544 CPUtime=0 cores=5,7
/proc/74330/task/74341/stat : 74341 (Finalizer) S 74327 74330 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67996399 19725520896 3583546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
[pid=74330/tid=74348] ppid=74327 vsize=19263204 memory=14333544 CPUtime=0 cores=5,7
/proc/74330/task/74348/stat : 74348 (Common-Cleaner) S 74327 74330 73888 0 -1 4194368 2355 0 0 0 0 0 0 0 20 0 21 0 67996400 19725520896 3583546 18446744073709551615 94426881028096 94426881031792 140721292077552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94426881039608 94426881040400 94426882023424 140721292081537 140721292081638 140721292081638 140721292087240 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14334184 KiB
Child status: 143
Real time (s): 3518.79
CPU time (s): 3600.41
CPU user time (s): 3596.28
CPU system time (s): 4.12726
CPU usage (%): 102.32
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14334184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.28
system time used= 4.12726
maximum resident set size= 14334440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117036
involuntary context switches= 9763
# summary of solver processes directly reported to runsolver:
# pid: 74330
# total CPU time (s): 3600.41
# total CPU user time (s): 3596.28
# total CPU system time (s): 4.12726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14073 second user time and 16.5773 second system time
The end
Begin job on nodeC034 at 2025-07-03 08:12:55 IDJOB=4512242 IDBENCH=160525 IDSOLVER=3363 FILE ID=nodeC034/4512242-1751523175 RUNJOBID= nodeC034-1751519641-73901 SLURM_JOB_ID= 9598639 Free space on /tmp= 431144 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512242-1751523175/watcher-4512242-1751523175 -o /tmp/evaluation-result-4512242-1751523175/solver-4512242-1751523175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751519641-73901 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4512242-1751523175.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= be5851356e38c2321294cad1ea2d3ea1 RANDOM SEED=466228166 nodeC034 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.735 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.53 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 : 3599.753 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.53 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.158 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.53 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 : 3599.771 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.53 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 : 3598.342 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.53 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 : 3626.586 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.53 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.757 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.53 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 : 3599.756 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 75293224 kB MemAvailable: 98465540 kB Buffers: 2128 kB Cached: 23911300 kB SwapCached: 36 kB Active: 31739076 kB Inactive: 23436692 kB Active(anon): 31276200 kB Inactive(anon): 4208 kB Active(file): 462876 kB Inactive(file): 23432484 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1744 kB Writeback: 0 kB AnonPages: 31265452 kB Mapped: 124168 kB Shmem: 18068 kB KReclaimable: 231988 kB Slab: 324748 kB SReclaimable: 231988 kB SUnreclaim: 92760 kB KernelStack: 5232 kB PageTables: 64888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 37923320 kB VmallocTotal: 34359738367 kB VmallocUsed: 151480 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 30896128 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431144 MiB End job on nodeC034 at 2025-07-03 09:11:34