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) | -98983 | 3600.29 | 3530.76 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_200_10000_5_-93992.opb |
| MD5SUM | cd82cadc3025252f43f8d787a9347bc3 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -141992 |
| Best CPU time to get the best result obtained on this benchmark | 0.123928 |
| 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 | 1000 |
| Total number of constraints | 1 |
| 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 | 1 |
| Minimum length of a constraint | 1000 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 10984 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 6085234 |
| Number of bits of the sum of numbers in the objective function | 23 |
| Biggest number in a constraint | 48992 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 6085234 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB25.v20250606 0.00/0.10 c java.runtime.name OpenJDK Runtime Environment 0.00/0.10 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.10 c java.vm.version 22.0.1+8-16 0.00/0.10 c java.vm.vendor Oracle Corporation 0.00/0.10 c sun.arch.data.model 64 0.00/0.10 c java.version 22.0.1 0.00/0.10 c os.name Linux 0.00/0.10 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.10 c os.arch amd64 0.00/0.10 c Free memory 2104792832 0.00/0.10 c Max memory 16282288128 0.12/0.10 c Total memory 2113929216 0.12/0.11 c Number of processors 2 0.12/0.15 c Pseudo Boolean Optimization by upper bound 0.12/0.15 c --- Begin Solver configuration --- 0.12/0.15 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.15 c Learn all clauses as in MiniSAT 0.12/0.15 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.15 c Expensive reason simplification 0.12/0.15 c Glucose 2.1 dynamic restart strategy 0.12/0.15 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.15 c timeout=2147483s 0.12/0.15 c DB Simplification allowed=false 0.12/0.15 c Listener: none 0.12/0.15 c --- End Solver configuration --- 0.12/0.15 c solving HOME/instance-4518004-1751539214.opb 0.12/0.15 c reading problem ... 0.12/0.15 c objective function found 0.33/0.23 c ... done. Wall clock time 0.064s. 0.33/0.23 c declared #vars 1000 0.33/0.23 c #constraints 1 0.33/0.23 c constraints type 0.33/0.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 0.33/0.23 c 1 constraints processed. 0.33/0.24 c objective function length is 1000 literals 0.33/0.27 c SATISFIABLE 0.33/0.27 c OPTIMIZING... 0.33/0.27 c Got one! Elapsed wall clock time (in seconds):0.119 0.33/0.27 o -55976 0.51/0.34 c Got one! Elapsed wall clock time (in seconds):0.189 0.51/0.34 o -57000 0.51/0.36 c Got one! Elapsed wall clock time (in seconds):0.204 0.51/0.36 o -57005 0.51/0.38 c Got one! Elapsed wall clock time (in seconds):0.231 0.51/0.38 o -57006 0.69/0.43 c Got one! Elapsed wall clock time (in seconds):0.274 0.69/0.43 o -57011 0.69/0.46 c Got one! Elapsed wall clock time (in seconds):0.305 0.69/0.46 o -57016 0.69/0.48 c Got one! Elapsed wall clock time (in seconds):0.331 0.69/0.48 o -57017 0.88/0.52 c Got one! Elapsed wall clock time (in seconds):0.365 0.88/0.52 o -57019 0.88/0.55 c Got one! Elapsed wall clock time (in seconds):0.392 0.88/0.55 o -57035 0.88/0.57 c Got one! Elapsed wall clock time (in seconds):0.414 0.88/0.57 o -57046 0.88/0.59 c Got one! Elapsed wall clock time (in seconds):0.44 0.88/0.59 o -57052 1.07/0.62 c Got one! Elapsed wall clock time (in seconds):0.467 1.07/0.62 o -57053 1.07/0.65 c Got one! Elapsed wall clock time (in seconds):0.493 1.07/0.65 o -57060 1.07/0.68 c Got one! Elapsed wall clock time (in seconds):0.526 1.07/0.68 o -57082 1.25/0.70 c Got one! Elapsed wall clock time (in seconds):0.544 1.25/0.70 o -57083 1.25/0.70 c Got one! Elapsed wall clock time (in seconds):0.547 1.25/0.70 o -57991 1.25/0.72 c Got one! Elapsed wall clock time (in seconds):0.567 1.25/0.72 o -58236 1.44/0.82 c Got one! Elapsed wall clock time (in seconds):0.663 1.44/0.82 o -58260 1.44/0.84 c Got one! Elapsed wall clock time (in seconds):0.684 1.44/0.84 o -58311 1.44/0.86 c Got one! Elapsed wall clock time (in seconds):0.702 1.44/0.86 o -58316 1.44/0.88 c Got one! Elapsed wall clock time (in seconds):0.729 1.44/0.88 o -59370 1.64/0.90 c Got one! Elapsed wall clock time (in seconds):0.747 1.64/0.90 o -59461 1.64/0.92 c Got one! Elapsed wall clock time (in seconds):0.767 1.64/0.92 o -59466 1.64/0.95 c Got one! Elapsed wall clock time (in seconds):0.796 1.64/0.95 o -59516 1.64/1.00 c Got one! Elapsed wall clock time (in seconds):0.844 1.64/1.00 o -59528 1.85/1.03 c Got one! Elapsed wall clock time (in seconds):0.881 1.85/1.03 o -60586 1.85/1.07 c Got one! Elapsed wall clock time (in seconds):0.914 1.85/1.07 o -61687 1.85/1.09 c Got one! Elapsed wall clock time (in seconds):0.938 1.85/1.09 o -61798 2.05/1.12 c Got one! Elapsed wall clock time (in seconds):0.968 2.05/1.12 o -62848 2.05/1.15 c Got one! Elapsed wall clock time (in seconds):1.0 2.05/1.15 o -62857 2.05/1.19 c Got one! Elapsed wall clock time (in seconds):1.037 2.05/1.19 o -63098 2.23/1.23 c Got one! Elapsed wall clock time (in seconds):1.075 2.23/1.23 o -64102 2.23/1.26 c Got one! Elapsed wall clock time (in seconds):1.103 2.23/1.26 o -64157 2.23/1.28 c Got one! Elapsed wall clock time (in seconds):1.131 2.23/1.28 o -64174 2.42/1.31 c Got one! Elapsed wall clock time (in seconds):1.16 2.42/1.31 o -65284 2.42/1.34 c Got one! Elapsed wall clock time (in seconds):1.186 2.42/1.34 o -65295 2.42/1.37 c Got one! Elapsed wall clock time (in seconds):1.22 2.42/1.37 o -65328 2.63/1.41 c Got one! Elapsed wall clock time (in seconds):1.256 2.63/1.41 o -65344 2.63/1.44 c Got one! Elapsed wall clock time (in seconds):1.291 2.63/1.44 o -65381 2.63/1.48 c Got one! Elapsed wall clock time (in seconds):1.324 2.63/1.48 o -65439 2.83/1.51 c Got one! Elapsed wall clock time (in seconds):1.354 2.83/1.51 o -65440 2.83/1.54 c Got one! Elapsed wall clock time (in seconds):1.384 2.83/1.54 o -66566 2.83/1.56 c Got one! Elapsed wall clock time (in seconds):1.411 2.83/1.56 o -66690 3.02/1.60 c Got one! Elapsed wall clock time (in seconds):1.448 3.02/1.60 o -66814 3.02/1.63 c Got one! Elapsed wall clock time (in seconds):1.479 3.02/1.63 o -67835 3.02/1.67 c Got one! Elapsed wall clock time (in seconds):1.519 3.02/1.67 o -68142 3.22/1.70 c Got one! Elapsed wall clock time (in seconds):1.55 3.22/1.70 o -69030 3.22/1.79 c Got one! Elapsed wall clock time (in seconds):1.638 3.22/1.79 o -69234 3.39/1.82 c Got one! Elapsed wall clock time (in seconds):1.667 3.39/1.82 o -69264 3.39/1.85 c Got one! Elapsed wall clock time (in seconds):1.697 3.39/1.85 o -70188 3.39/1.88 c Got one! Elapsed wall clock time (in seconds):1.724 3.39/1.88 o -70200 3.52/1.91 c Got one! Elapsed wall clock time (in seconds):1.753 3.52/1.91 o -70242 3.52/1.94 c Got one! Elapsed wall clock time (in seconds):1.782 3.52/1.94 o -70312 3.52/1.96 c Got one! Elapsed wall clock time (in seconds):1.812 3.52/1.96 o -70336 3.62/2.00 c Got one! Elapsed wall clock time (in seconds):1.851 3.62/2.00 o -70511 3.82/2.29 c Got one! Elapsed wall clock time (in seconds):2.139 3.82/2.29 o -70577 3.92/2.35 c Got one! Elapsed wall clock time (in seconds):2.201 3.92/2.35 o -71701 4.05/2.41 c Got one! Elapsed wall clock time (in seconds):2.261 4.05/2.41 o -72820 4.05/2.44 c Got one! Elapsed wall clock time (in seconds):2.292 4.05/2.44 o -72893 4.05/2.47 c Got one! Elapsed wall clock time (in seconds):2.32 4.05/2.47 o -73855 4.16/2.50 c Got one! Elapsed wall clock time (in seconds):2.345 4.16/2.50 o -74142 4.16/2.53 c Got one! Elapsed wall clock time (in seconds):2.373 4.16/2.53 o -74146 4.16/2.55 c Got one! Elapsed wall clock time (in seconds):2.401 4.16/2.55 o -74152 4.48/2.70 c Got one! Elapsed wall clock time (in seconds):2.546 4.48/2.70 o -74317 4.48/2.73 c Got one! Elapsed wall clock time (in seconds):2.581 4.48/2.73 o -75298 4.48/2.76 c Got one! Elapsed wall clock time (in seconds):2.606 4.48/2.76 o -76433 4.48/2.79 c Got one! Elapsed wall clock time (in seconds):2.635 4.48/2.79 o -76596 4.59/2.81 c Got one! Elapsed wall clock time (in seconds):2.662 4.59/2.81 o -76610 4.59/2.85 c Got one! Elapsed wall clock time (in seconds):2.695 4.59/2.85 o -76815 4.59/2.88 c Got one! Elapsed wall clock time (in seconds):2.723 4.59/2.88 o -77879 4.70/2.90 c Got one! Elapsed wall clock time (in seconds):2.748 4.70/2.90 o -77944 4.70/2.93 c Got one! Elapsed wall clock time (in seconds):2.774 4.70/2.93 o -79147 4.70/2.95 c Got one! Elapsed wall clock time (in seconds):2.798 4.70/2.95 o -79255 4.70/2.98 c Got one! Elapsed wall clock time (in seconds):2.822 4.70/2.98 o -79258 4.70/3.00 c Got one! Elapsed wall clock time (in seconds):2.849 4.70/3.00 o -79273 4.82/3.04 c Got one! Elapsed wall clock time (in seconds):2.884 4.82/3.04 o -80441 4.82/3.07 c Got one! Elapsed wall clock time (in seconds):2.914 4.82/3.07 o -80783 4.82/3.09 c Got one! Elapsed wall clock time (in seconds):2.939 4.82/3.09 o -82000 4.82/3.11 c Got one! Elapsed wall clock time (in seconds):2.958 4.82/3.11 o -83093 4.94/3.13 c Got one! Elapsed wall clock time (in seconds):2.978 4.94/3.13 o -83152 4.94/3.15 c Got one! Elapsed wall clock time (in seconds):2.999 4.94/3.15 o -84398 4.94/3.17 c Got one! Elapsed wall clock time (in seconds):3.021 4.94/3.17 o -85391 5.06/3.20 c Got one! Elapsed wall clock time (in seconds):3.043 5.06/3.20 o -85851 5.06/3.22 c Got one! Elapsed wall clock time (in seconds):3.064 5.06/3.22 o -85872 5.06/3.24 c Got one! Elapsed wall clock time (in seconds):3.086 5.06/3.24 o -87128 5.06/3.28 c Got one! Elapsed wall clock time (in seconds):3.124 5.06/3.28 o -88174 5.23/3.30 c Got one! Elapsed wall clock time (in seconds):3.151 5.23/3.31 o -88597 5.23/3.33 c Got one! Elapsed wall clock time (in seconds):3.178 5.23/3.33 o -88616 5.84/3.83 c Got one! Elapsed wall clock time (in seconds):3.679 5.84/3.83 o -89749 7.15/5.09 c Got one! Elapsed wall clock time (in seconds):4.934 7.15/5.09 o -89765 7.25/5.12 c Got one! Elapsed wall clock time (in seconds):4.966 7.25/5.12 o -89845 7.25/5.15 c Got one! Elapsed wall clock time (in seconds):5.0 7.25/5.15 o -91062 8.53/6.10 c Got one! Elapsed wall clock time (in seconds):5.95 8.53/6.10 o -91221 8.63/6.13 c Got one! Elapsed wall clock time (in seconds):5.975 8.63/6.13 o -91445 8.63/6.16 c Got one! Elapsed wall clock time (in seconds):6.005 8.63/6.16 o -91486 8.63/6.19 c Got one! Elapsed wall clock time (in seconds):6.042 8.63/6.19 o -91692 8.72/6.23 c Got one! Elapsed wall clock time (in seconds):6.075 8.72/6.23 o -92955 8.72/6.26 c Got one! Elapsed wall clock time (in seconds):6.103 8.72/6.26 o -94078 8.99/6.47 c Got one! Elapsed wall clock time (in seconds):6.315 8.99/6.47 o -94638 8.99/6.49 c Got one! Elapsed wall clock time (in seconds):6.339 8.99/6.49 o -95399 9.30/6.73 c Got one! Elapsed wall clock time (in seconds):6.581 9.30/6.73 o -95626 9.30/6.76 c Got one! Elapsed wall clock time (in seconds):6.609 9.30/6.76 o -95656 9.79/7.09 c Got one! Elapsed wall clock time (in seconds):6.934 9.79/7.09 o -95950 10.17/7.32 c Got one! Elapsed wall clock time (in seconds):7.168 10.17/7.32 o -96949 10.55/7.59 c Got one! Elapsed wall clock time (in seconds):7.433 10.55/7.59 o -97003 13.43/10.27 c cleaning 9635 clauses out of 19271 with flag 10507/19271 15.91/12.26 c Got one! Elapsed wall clock time (in seconds):12.106 15.91/12.26 o -97923 16.42/12.76 c Got one! Elapsed wall clock time (in seconds):12.611 16.42/12.76 o -97966 16.91/13.13 c Got one! Elapsed wall clock time (in seconds):12.976 16.91/13.13 o -97976 17.59/13.59 c cleaning 7964 clauses out of 15927 with flag 2317/25562 20.59/16.26 c cleaning 6980 clauses out of 13960 with flag 16607/31559 24.33/19.79 c cleaning 6987 clauses out of 13975 with flag 30598/38554 27.59/22.88 c cleaning 7493 clauses out of 14985 with flag 46594/46551 32.65/27.77 c cleaning 8242 clauses out of 16491 with flag 64593/55550 39.96/34.89 c cleaning 9128 clauses out of 18264 with flag 84921/65565 43.48/38.19 c cleaning 10070 clauses out of 20142 with flag 107332/76571 48.58/42.82 c cleaning 11021 clauses out of 22056 with flag 131300/88555 57.45/51.53 c cleaning 12014 clauses out of 24030 with flag 157290/101550 58.85/52.91 c Got one! Elapsed wall clock time (in seconds):52.752 58.85/52.91 o -97985 59.47/53.56 c cleaning 8750 clauses out of 17499 with flag 4566/107033 61.27/55.20 c cleaning 7365 clauses out of 14742 with flag 18190/113026 64.07/57.72 c cleaning 7163 clauses out of 14372 with flag 34121/120021 64.23/57.85 c Got one! Elapsed wall clock time (in seconds):57.701 64.23/57.85 o -97992 65.12/58.66 c Got one! Elapsed wall clock time (in seconds):58.505 65.12/58.66 o -98824 65.69/59.18 c cleaning 6829 clauses out of 13663 with flag 6351/126475 67.83/61.20 c cleaning 6399 clauses out of 12832 with flag 18347/132473 71.11/64.30 c cleaning 6726 clauses out of 13452 with flag 32385/139492 75.00/68.24 c cleaning 7356 clauses out of 14714 with flag 48361/147480 79.71/71.71 c cleaning 8168 clauses out of 16351 with flag 67054/156473 82.64/74.51 c cleaning 9095 clauses out of 18189 with flag 88942/166479 85.88/77.67 c cleaning 10043 clauses out of 20091 with flag 112979/177476 90.85/82.44 c cleaning 11023 clauses out of 22045 with flag 137665/189473 100.69/92.02 c cleaning 12015 clauses out of 24029 with flag 163679/202480 113.04/103.87 c cleaning 13001 clauses out of 26008 with flag 191667/216474 125.81/116.30 c cleaning 14002 clauses out of 28006 with flag 221665/231473 139.48/129.70 c cleaning 15002 clauses out of 30004 with flag 253665/247473 152.74/142.51 c cleaning 16001 clauses out of 32002 with flag 287665/264473 167.27/156.81 c cleaning 17001 clauses out of 34001 with flag 323665/282473 186.65/174.23 c cleaning 17992 clauses out of 36001 with flag 361667/301474 212.77/200.16 c cleaning 19011 clauses out of 38021 with flag 401691/321486 242.54/229.46 c cleaning 20000 clauses out of 39999 with flag 443670/342475 265.95/252.35 c cleaning 21000 clauses out of 41999 with flag 487670/364475 291.79/277.86 c cleaning 21986 clauses out of 44000 with flag 533672/387476 325.22/308.83 c cleaning 23019 clauses out of 46040 with flag 581724/411502 352.79/336.10 c cleaning 23994 clauses out of 47993 with flag 631668/436474 386.59/369.46 c cleaning 24992 clauses out of 49998 with flag 683666/462473 421.54/403.82 c cleaning 26005 clauses out of 52015 with flag 737684/489482 467.53/449.11 c cleaning 27001 clauses out of 54001 with flag 793666/517473 507.65/488.72 c cleaning 28003 clauses out of 56005 with flag 851676/546478 571.86/552.23 c cleaning 28999 clauses out of 57997 with flag 911666/576473 635.50/615.51 c cleaning 30001 clauses out of 60003 with flag 973676/607478 712.79/690.01 c cleaning 30996 clauses out of 61998 with flag 1037668/639474 804.92/781.70 c cleaning 31994 clauses out of 64005 with flag 1103674/672477 869.67/846.08 c cleaning 33003 clauses out of 66008 with flag 1171668/706474 947.16/922.97 c cleaning 34005 clauses out of 68010 with flag 1241678/741479 1009.14/984.26 c cleaning 34982 clauses out of 69999 with flag 1313666/777473 1116.71/1091.21 c cleaning 36006 clauses out of 72018 with flag 1387668/814474 1182.07/1153.02 c cleaning 37005 clauses out of 74011 with flag 1463666/852473 1258.76/1229.29 c cleaning 38003 clauses out of 76008 with flag 1541670/891475 1334.67/1304.47 c cleaning 39005 clauses out of 78009 with flag 1621678/931479 1401.23/1370.29 c cleaning 39998 clauses out of 79998 with flag 1703666/972473 1482.34/1450.68 c cleaning 40997 clauses out of 82000 with flag 1787666/1014473 1559.57/1527.18 c cleaning 42006 clauses out of 84011 with flag 1873682/1057481 1626.34/1593.17 c Got one! Elapsed wall clock time (in seconds):1593.018 1626.34/1593.17 o -98978 1628.97/1595.77 c cleaning 42767 clauses out of 85535 with flag 11050/1101011 1630.28/1597.03 c cleaning 24373 clauses out of 48770 with flag 24042/1107013 1633.29/1598.84 c cleaning 15695 clauses out of 31400 with flag 39204/1114016 1635.79/1601.39 c cleaning 11842 clauses out of 23700 with flag 55299/1122011 1640.17/1605.69 c cleaning 10428 clauses out of 20861 with flag 73305/1131014 1646.47/1611.99 c cleaning 10214 clauses out of 20431 with flag 93301/1141012 1651.11/1616.51 c cleaning 10612 clauses out of 21223 with flag 115313/1152018 1656.58/1621.81 c cleaning 11285 clauses out of 22610 with flag 139311/1164017 1661.73/1627.02 c cleaning 12164 clauses out of 24329 with flag 165319/1177021 1667.59/1632.88 c cleaning 13077 clauses out of 26155 with flag 193299/1191011 1674.00/1639.09 c cleaning 14039 clauses out of 28080 with flag 223303/1206013 1685.19/1650.02 c cleaning 15019 clauses out of 30040 with flag 255301/1222012 1696.51/1661.14 c cleaning 16012 clauses out of 32023 with flag 289305/1239014 1709.58/1674.04 c cleaning 17018 clauses out of 34036 with flag 325355/1257039 1722.42/1686.62 c cleaning 17972 clauses out of 35991 with flag 363301/1276012 1737.72/1701.87 c cleaning 19007 clauses out of 38022 with flag 403307/1296015 1754.51/1718.55 c cleaning 20014 clauses out of 40036 with flag 445349/1317036 1771.12/1735.04 c cleaning 21001 clauses out of 42026 with flag 489357/1339040 1793.22/1756.82 c cleaning 22001 clauses out of 44002 with flag 535311/1362017 1810.82/1774.21 c cleaning 22976 clauses out of 45998 with flag 583305/1386014 1829.68/1792.59 c cleaning 24009 clauses out of 48019 with flag 633299/1411011 1852.62/1815.22 c cleaning 25005 clauses out of 50010 with flag 685299/1437011 1868.72/1831.19 c cleaning 25997 clauses out of 52007 with flag 739303/1464013 1890.72/1852.61 c cleaning 27003 clauses out of 54008 with flag 795299/1492011 1916.50/1877.78 c cleaning 28003 clauses out of 56006 with flag 853301/1521012 1942.53/1903.67 c cleaning 29004 clauses out of 58008 with flag 913311/1551017 1968.45/1929.04 c cleaning 29998 clauses out of 59998 with flag 975299/1582011 2002.14/1962.31 c cleaning 31002 clauses out of 62006 with flag 1039311/1614017 2040.60/2000.23 c cleaning 32000 clauses out of 64001 with flag 1105305/1647014 2080.66/2039.61 c cleaning 33000 clauses out of 66001 with flag 1173305/1681014 2114.87/2070.81 c cleaning 33997 clauses out of 68012 with flag 1243327/1716025 2148.58/2103.65 c cleaning 35001 clauses out of 70003 with flag 1315303/1752013 2182.44/2137.23 c cleaning 36002 clauses out of 72005 with flag 1389309/1789016 2232.17/2186.31 c cleaning 36993 clauses out of 73998 with flag 1465299/1827011 2278.50/2232.30 c cleaning 38002 clauses out of 76006 with flag 1543301/1866012 2330.31/2283.43 c cleaning 38999 clauses out of 78003 with flag 1623299/1906011 2378.36/2330.59 c cleaning 40004 clauses out of 80008 with flag 1705511/1947015 2389.08/2340.77 c cleaning 40996 clauses out of 82001 with flag 1795892/1989012 2399.74/2350.52 c cleaning 42004 clauses out of 84014 with flag 1889509/2032021 2411.54/2361.34 c cleaning 43002 clauses out of 86003 with flag 1985226/2076014 2423.15/2371.93 c cleaning 43990 clauses out of 87999 with flag 2083402/2121012 2436.15/2383.80 c cleaning 45003 clauses out of 90008 with flag 2183506/2167011 2438.46/2386.16 c Got one! Elapsed wall clock time (in seconds):2386.002 2438.46/2386.16 o -98983 2440.05/2387.70 c cleaning 30692 clauses out of 61383 with flag 11649/2183389 2443.39/2390.81 c cleaning 18348 clauses out of 36697 with flag 24170/2189395 2445.38/2392.85 c cleaning 12668 clauses out of 25339 with flag 38158/2196385 2447.88/2395.37 c cleaning 10324 clauses out of 20674 with flag 54164/2204388 2451.70/2398.92 c cleaning 9665 clauses out of 19348 with flag 72162/2213386 2454.80/2402.08 c cleaning 9832 clauses out of 19682 with flag 92160/2223385 2458.50/2405.76 c cleaning 10421 clauses out of 20852 with flag 114164/2234387 2463.63/2410.85 c cleaning 11210 clauses out of 22430 with flag 138162/2246386 2471.23/2418.43 c cleaning 12110 clauses out of 24222 with flag 164166/2259388 2477.36/2424.49 c cleaning 13056 clauses out of 26114 with flag 192171/2273390 2483.65/2430.70 c cleaning 14026 clauses out of 28054 with flag 222163/2288386 2491.74/2438.72 c cleaning 15013 clauses out of 30032 with flag 254172/2304390 2505.24/2451.92 c cleaning 16007 clauses out of 32013 with flag 288160/2321384 2514.45/2461.11 c cleaning 16999 clauses out of 34010 with flag 324168/2339388 2528.25/2474.77 c cleaning 18003 clauses out of 36007 with flag 362160/2358384 2543.36/2489.59 c cleaning 19003 clauses out of 38007 with flag 402166/2378387 2560.81/2506.66 c cleaning 20001 clauses out of 40004 with flag 444166/2399387 2580.05/2525.40 c cleaning 20995 clauses out of 42002 with flag 488164/2421386 2602.82/2548.22 c cleaning 21995 clauses out of 44007 with flag 534164/2444386 2621.75/2565.33 c cleaning 22996 clauses out of 46011 with flag 582162/2468385 2639.78/2583.28 c cleaning 24002 clauses out of 48016 with flag 632164/2493386 2661.40/2604.60 c cleaning 25004 clauses out of 50013 with flag 684162/2519385 2687.49/2630.12 c cleaning 25986 clauses out of 52008 with flag 738160/2546384 2718.32/2660.54 c cleaning 27010 clauses out of 54022 with flag 794160/2574384 2741.42/2683.25 c cleaning 28007 clauses out of 56015 with flag 852166/2603387 2768.78/2710.28 c cleaning 28999 clauses out of 58005 with flag 912160/2633384 2792.44/2733.68 c cleaning 30001 clauses out of 60007 with flag 974162/2664385 2818.51/2758.92 c cleaning 31005 clauses out of 62012 with flag 1038174/2696391 2851.36/2791.55 c cleaning 32000 clauses out of 64003 with flag 1104166/2729387 2893.79/2833.74 c cleaning 33001 clauses out of 66003 with flag 1172166/2763387 2930.13/2869.50 c cleaning 34006 clauses out of 68013 with flag 1242188/2798398 2974.14/2913.33 c cleaning 34994 clauses out of 69994 with flag 1314162/2834385 3017.39/2956.14 c cleaning 35996 clauses out of 72000 with flag 1388162/2871385 3065.53/3004.23 c cleaning 37000 clauses out of 74003 with flag 1464160/2909384 3114.41/3052.41 c cleaning 37999 clauses out of 76004 with flag 1542162/2948385 3163.05/3100.96 c cleaning 38998 clauses out of 78004 with flag 1622160/2988384 3212.13/3149.81 c cleaning 39999 clauses out of 80006 with flag 1704160/3029384 3272.70/3209.98 c cleaning 41004 clauses out of 82007 with flag 1788160/3071384 3327.73/3264.65 c cleaning 41997 clauses out of 84008 with flag 1874171/3114389 3376.04/3312.11 c cleaning 43003 clauses out of 86007 with flag 1962164/3158385 3436.41/3369.17 c cleaning 44003 clauses out of 88008 with flag 2052172/3203389 3486.50/3418.68 c cleaning 44999 clauses out of 90000 with flag 2144162/3249384 3531.14/3463.07 c cleaning 46001 clauses out of 92004 with flag 2238168/3296387 3582.20/3513.18 c cleaning 47000 clauses out of 94002 with flag 2334166/3344386 3600.02/3530.62 c starts : 6114 3600.02/3530.63 c conflicts : 3365891 3600.02/3530.63 c decisions : 9097888 3600.02/3530.63 c propagations : 41775521 3600.02/3530.63 c inspects : 5261382830 3600.02/3530.63 c shortcuts : 0 3600.02/3530.63 c learnt literals : 0 3600.02/3530.63 c learnt binary clauses : 0 3600.02/3530.63 c learnt ternary clauses : 0 3600.02/3530.63 c learnt constraints : 3365891 3600.02/3530.63 c ignored constraints : 0 3600.02/3530.63 c root simplifications : 0 3600.02/3530.63 c removed literals (reason simplification) : 76828654 3600.02/3530.63 c reason swapping (by a shorter reason) : 0 3600.02/3530.63 c Calls to reduceDB : 138 3600.02/3530.63 c Number of update (reduction) of LBD : 10602 3600.02/3530.63 c Imported unit clauses : 0 3600.02/3530.64 c No decision after first conflict : false 3600.02/3530.64 c number of reductions to clauses (during analyze) : 0 3600.02/3530.64 c number of learned constraints concerned by reduction : 0 3600.02/3530.64 c number of learning phase by resolution : 0 3600.02/3530.64 c number of learning phase by cutting planes : 0 3600.02/3530.64 c number of rounding to 1 operations : 0 3600.02/3530.64 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3530.64 c number of reductions of the coefficients by power 2 : 0 3600.02/3530.64 c number of right shift for reduction by power 2 : 0 3600.02/3530.64 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3530.64 c number of ending skipping : 0 3600.02/3530.64 c number of internal skipping : 0 3600.02/3530.64 c number of derivation steps : 0 3600.02/3530.64 c number of skipped derivation steps : 0 3600.02/3530.64 c number of remaining unassigned : 0 3600.02/3530.64 c number of remaining assigned : 0 3600.02/3530.64 c number of falsified literals weakened from reason : 0 3600.02/3530.64 c number of falsified literals weakened from conflict : 0 3600.02/3530.64 c time for arithmetic operations : 0 3600.02/3530.64 c minimum degree of deleted constraints : null 3600.02/3530.64 c maximum degree of deleted constraints : null 3600.02/3530.64 c number of deleted constraints : 0 3600.02/3530.64 c speed (assignments/second) : 11833.14133339074 3600.02/3530.64 c non guided choices : 55 3600.02/3530.70 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 68507 3600.02/3530.70 s SATISFIABLE 3600.02/3530.70 c Found 113 solution(s) 3600.22/3530.70 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 3600.22/3530.71 c objective function=-98983 3600.22/3530.71 c Total wall clock time (in seconds): 3530.559
OK -98983
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: 63837 MiB (62779 MiB free)
memory of node 1: 64465 MiB (63211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518004-1751539214/watcher-4518004-1751539214 -o /tmp/evaluation-result-4518004-1751539214/solver-4518004-1751539214 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73503 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518004-1751539214.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73746, runsolver pid=73743
[startup+0.10006 s]*
/proc/loadavg: 1.33 1.80 2.95 7/323 73764
/proc/meminfo: memFree=128992568/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=18930384 memory=52096 CPUtime=0.12 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 6201 0 0 0 10 2 0 0 20 0 18 0 69600239 19384713216 13024 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4732596 13024 5336 1 0 547294 0
[pid=73746/tid=73748] ppid=73743 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 4987 0 0 0 7 1 0 0 20 0 18 0 69600241 19384713216 13024 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69600243 19384713216 13024 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=18930384 memory=55195547748946 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69600244 19384713216 13024 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52096 KiB
[startup+0.207664 s]*
/proc/loadavg: 1.33 1.80 2.95 7/323 73764
/proc/meminfo: memFree=128989544/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=18930384 memory=61368 CPUtime=0.33 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 6887 0 0 0 30 3 0 0 20 0 18 0 69600239 19384713216 15342 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4732596 15342 5432 1 0 547839 0
[pid=73746/tid=73748] ppid=73743 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) S 73743 73746 73492 0 -1 4194368 5266 0 0 0 16 1 0 0 20 0 18 0 69600241 19384713216 15342 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=18930384 memory=2576 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69600243 19384713216 15342 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=18930384 memory=54096036103158 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69600244 19384713216 15342 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61368 KiB
[startup+0.31013 s]*
/proc/loadavg: 1.33 1.80 2.95 8/324 73765
/proc/meminfo: memFree=128989544/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=18996948 memory=62340 CPUtime=0.51 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 7196 0 0 0 48 3 0 0 20 0 19 0 69600239 19452874752 15585 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4749237 15585 5464 1 0 548311 0
[pid=73746/tid=73748] ppid=73743 vsize=18996948 memory=-6000919494197995880 CPUtime=0.26 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 5377 0 0 0 25 1 0 0 20 0 19 0 69600241 19452874752 15585 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69600243 19452874752 15585 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69600244 19452874752 15585 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69600265 19452874752 15585 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62340 KiB
[startup+0.700306 s]
/proc/loadavg: 1.33 1.80 2.95 6/324 73765
/proc/meminfo: memFree=128983696/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=18996948 memory=78008 CPUtime=1.25 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 9169 0 0 0 121 4 0 0 20 0 19 0 69600239 19452874752 19502 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4749237 19502 5496 1 0 549482 0
[pid=73746/tid=73748] ppid=73743 vsize=18996948 memory=17920 CPUtime=0.61 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 5492 0 0 0 59 2 0 0 20 0 19 0 69600241 19452874752 19502 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69600243 19452874752 19502 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69600244 19452874752 19502 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=18996948 memory=4896 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69600265 19452874752 19502 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78008 KiB
[startup+1.50027 s]
/proc/loadavg: 1.33 1.80 2.95 7/325 73766
/proc/meminfo: memFree=128938580/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=18996948 memory=141788 CPUtime=2.83 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 19771 0 0 0 277 6 0 0 20 0 19 0 69600239 19452874752 35447 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4749237 35447 5496 1 0 553509 0
[pid=73746/tid=73748] ppid=73743 vsize=18996948 memory=0 CPUtime=1.4 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 6253 0 0 0 137 3 0 0 20 0 19 0 69600241 19452874752 35447 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69600243 19452874752 35447 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69600244 19452874752 35447 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=18996948 memory=4896 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69600265 19452874752 35447 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141788 KiB
[startup+3.11556 s]
/proc/loadavg: 1.70 1.87 2.97 5/326 73767
/proc/meminfo: memFree=128732224/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=309096 CPUtime=4.94 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 22239 0 0 0 483 11 0 0 20 0 20 0 69600239 19521036288 77274 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 77274 5528 1 0 553810 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=11264 CPUtime=2.87 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 6700 0 0 0 283 4 0 0 20 0 20 0 69600241 19521036288 77274 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=-6000919494197995880 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 77274 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 77274 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 77274 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 309096 KiB
[startup+6.30037 s]
/proc/loadavg: 1.70 1.87 2.97 5/326 73767
/proc/meminfo: memFree=128645704/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=375740 CPUtime=8.86 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 24420 0 0 0 873 13 0 0 20 0 20 0 69600239 19521036288 93935 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 93935 5528 1 0 553844 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=0 CPUtime=5.94 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 7438 0 0 0 590 4 0 0 20 0 20 0 69600241 19521036288 93935 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 93935 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 93935 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=154076 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 93935 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 375740 KiB
[startup+12.7003 s]
/proc/loadavg: 2.29 1.99 3.00 6/327 73768
/proc/meminfo: memFree=128177816/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=819828 CPUtime=16.42 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 29624 0 0 0 1618 24 0 0 20 0 20 0 69600239 19521036288 204957 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 204957 5528 1 0 840040 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=154076 CPUtime=11.8 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 8899 0 0 0 1172 8 0 0 20 0 20 0 69600241 19521036288 204957 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=672112 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 204957 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 204957 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 204957 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 16.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 819828 KiB
[startup+25.5004 s]
/proc/loadavg: 2.71 2.09 3.02 5/327 73837
/proc/meminfo: memFree=127184236/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=1567688 CPUtime=30.48 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 32604 0 0 0 3008 40 0 0 20 0 20 0 69600239 19521036288 391922 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 391922 5528 1 0 1159642 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=1381128 CPUtime=23.74 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 9705 0 0 0 2362 12 0 0 20 0 20 0 69600241 19521036288 391922 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=-6000919494197995880 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 391922 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 391922 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=1280776 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 391922 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 30.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1567688 KiB
[startup+51.1136 s]
/proc/loadavg: 3.29 2.28 3.06 5/327 73837
/proc/meminfo: memFree=123906988/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=2488648 CPUtime=57.06 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 35355 0 0 0 5646 60 0 0 20 0 20 0 69600239 19521036288 622162 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 622162 5528 1 0 1297501 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=14464 CPUtime=48.12 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 10594 0 0 0 4798 14 0 0 20 0 20 0 69600241 19521036288 622162 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 3.15 3.60 4.07 4/302 74104
/proc/meminfo: memFree=101961780/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=11257812 CPUtime=3285.08 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 207166 0 0 0 327995 513 0 0 20 0 20 0 69600239 19521036288 2814453 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 2814453 5560 1 0 2961674 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=5504 CPUtime=3150.16 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 92198 0 0 0 314924 92 0 0 20 0 20 0 69600241 19521036288 2814453 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=11257812 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 2814453 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 2483 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 2814453 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=-6000919494197995880 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 2814453 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 3285.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11257812 KiB
[startup+3282.3 s]
/proc/loadavg: 3.20 3.52 4.01 4/302 74106
/proc/meminfo: memFree=101317416/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=11264048 CPUtime=3345.71 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 211598 0 0 0 334053 518 0 0 20 0 20 0 69600239 19521036288 2816012 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 2816012 5560 1 0 2961674 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=14464 CPUtime=3209.23 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 95632 0 0 0 320830 93 0 0 20 0 20 0 69600241 19521036288 2816012 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 2816012 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 2574 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 2816012 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=11264048 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 2816012 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 3345.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11264048 KiB
[startup+3342.3 s]
/proc/loadavg: 3.18 3.45 3.96 4/302 74108
/proc/meminfo: memFree=100316872/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=11692444 CPUtime=3409 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 220497 0 0 0 340367 533 0 0 20 0 20 0 69600239 19521036288 2923111 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 2923111 5560 1 0 3893356 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=14464 CPUtime=3268.16 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 97847 0 0 0 326716 100 0 0 20 0 20 0 69600241 19521036288 2923111 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=11479452 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 2923111 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=11391388 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 2667 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 2923111 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 2923111 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 3409 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11692444 KiB
[startup+3402.3 s]
/proc/loadavg: 3.28 3.43 3.92 4/301 74114
/proc/meminfo: memFree=99263696/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=12196340 CPUtime=3470.22 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 225741 0 0 0 346475 547 0 0 20 0 20 0 69600239 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 3049085 5560 1 0 3893356 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=11479452 CPUtime=3326.36 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 101151 0 0 0 332529 107 0 0 20 0 20 0 69600241 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=12065268 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=12196340 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 2667 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 3470.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12196340 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.36 3.86 4/301 74183
/proc/meminfo: memFree=113700368/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=12196340 CPUtime=3530.42 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 229797 0 0 0 352491 551 0 0 20 0 20 0 69600239 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 3049085 5560 1 0 3893356 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=11479452 CPUtime=3385.75 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 104621 0 0 0 338468 107 0 0 20 0 20 0 69600241 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=12065268 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=12196340 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 2716 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=12196340 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 3530.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12196340 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.31 3.81 4/301 74185
/proc/meminfo: memFree=111756596/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=12196340 CPUtime=3591.31 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 234420 0 0 0 358574 557 0 0 20 0 20 0 69600239 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 3049085 5560 1 0 3893356 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=14464 CPUtime=3443.8 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 107374 0 0 0 344272 108 0 0 20 0 20 0 69600241 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=12065268 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=12196340 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 2768 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 3591.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12196340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3530.6 s]
/proc/loadavg: 3.08 3.30 3.80 4/301 74185
/proc/meminfo: memFree=111749160/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19063512 memory=12196340 CPUtime=3600.02 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 236189 0 0 0 359444 558 0 0 20 0 20 0 69600239 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4765878 3049085 5560 1 0 3893356 0
[pid=73746/tid=73748] ppid=73743 vsize=19063512 memory=-6000919494197995880 CPUtime=3451.56 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 107871 0 0 0 345047 109 0 0 20 0 20 0 69600241 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19063512 memory=245635481903 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69600243 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19063512 memory=59606428812013 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 2768 0 0 0 0 0 0 0 20 0 20 0 69600244 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73765] ppid=73743 vsize=19063512 memory=318132 CPUtime=0 cores=4,6
/proc/73746/task/73765/stat : 73765 (Timer-0) S 73743 73746 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69600265 19521036288 3049085 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12196340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3530.76 s]
# the end of solver process 73746 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.65 s, system=5.63393 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3530.71 s]
/proc/loadavg: 3.08 3.30 3.80 4/301 74185
/proc/meminfo: memFree=111749160/131382120 swapFree=33010416/33010684
[pid=73746] ppid=73743 vsize=19263204 memory=12196852 CPUtime=3600.22 cores=4,6
/proc/73746/stat : 73746 (java) S 73743 73746 73492 0 -1 4194304 238567 0 0 0 359463 559 0 0 20 0 21 0 69600239 19725520896 3049213 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
/proc/73746/statm: 4815801 3049213 5560 1 0 3894281 0
[pid=73746/tid=73748] ppid=73743 vsize=19263204 memory=14464 CPUtime=3451.61 cores=4,6
/proc/73746/task/73748/stat : 73748 (java) R 73743 73746 73492 0 -1 4194368 107985 0 0 0 345052 109 0 0 20 0 21 0 69600241 19725520896 3049213 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73757] ppid=73743 vsize=19263204 memory=12065268 CPUtime=0 cores=4,6
/proc/73746/task/73757/stat : 73757 (Finalizer) S 73743 73746 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69600243 19725520896 3049213 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
[pid=73746/tid=73764] ppid=73743 vsize=19263204 memory=12196340 CPUtime=0 cores=4,6
/proc/73746/task/73764/stat : 73764 (Common-Cleaner) S 73743 73746 73492 0 -1 4194368 2768 0 0 0 0 0 0 0 20 0 21 0 69600244 19725520896 3049213 18446744073709551615 94206784319488 94206784323184 140726537124400 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206784331000 94206784331792 94206790840320 140726537128321 140726537128422 140726537128422 140726537134024 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 12196852 KiB
Child status: 143
Real time (s): 3530.76
CPU time (s): 3600.29
CPU user time (s): 3594.65
CPU system time (s): 5.63393
CPU usage (%): 101.969
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 12196852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.65
system time used= 5.63393
maximum resident set size= 12197108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113994
involuntary context switches= 18719
# summary of solver processes directly reported to runsolver:
# pid: 73746
# total CPU time (s): 3600.29
# total CPU user time (s): 3594.65
# total CPU system time (s): 5.63393
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0659 second user time and 36.0431 second system time
The end
Begin job on nodeC002 at 2025-07-03 12:40:14 IDJOB=4518004 IDBENCH=176273 IDSOLVER=3363 FILE ID=nodeC002/4518004-1751539214 RUNJOBID= nodeC002-1751539206-73503 SLURM_JOB_ID= 9598696 Free space on /tmp= 432744 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_200_10000_5_-93992.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518004-1751539214/watcher-4518004-1751539214 -o /tmp/evaluation-result-4518004-1751539214/solver-4518004-1751539214 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73503 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518004-1751539214.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cd82cadc3025252f43f8d787a9347bc3 RANDOM SEED=924931459 nodeC002 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 : 0xb00001f cpu MHz : 3591.674 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.685 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.211 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.469 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2693.758 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.674 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2694.021 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1496.677 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129014896 kB MemAvailable: 129525916 kB Buffers: 2128 kB Cached: 1316808 kB SwapCached: 28 kB Active: 800880 kB Inactive: 1013720 kB Active(anon): 507192 kB Inactive(anon): 6404 kB Active(file): 293688 kB Inactive(file): 1007316 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 4792 kB Writeback: 0 kB AnonPages: 498784 kB Mapped: 122928 kB Shmem: 17932 kB KReclaimable: 99284 kB Slab: 183380 kB SReclaimable: 99284 kB SUnreclaim: 84096 kB KernelStack: 4944 kB PageTables: 4568 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 7052720 kB VmallocTotal: 34359738367 kB VmallocUsed: 150248 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 303104 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: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432692 MiB End job on nodeC002 at 2025-07-03 13:39:05