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 | ? (TO) | 3604.06 | 2503.06 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb |
| MD5SUM | b3bab28fe93ea42b1817acfaffdcfb3a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2044 |
| Best CPU time to get the best result obtained on this benchmark | 3586.66 |
| 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 | 8170 |
| Total number of constraints | 8170 |
| Number of constraints which are clauses | 8170 |
| 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 | 4 |
| Maximum length of a constraint | 4 |
| Number of terms in the objective function | 8170 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 8170 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 8170 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.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-4520672-1751572123.opb 0.12/0.13 c reading problem ... 0.12/0.13 c objective function found 0.32/0.27 c ... done. Wall clock time 0.133s. 0.32/0.27 c declared #vars 8170 0.32/0.27 c #constraints 8170 0.32/0.27 c constraints type 0.32/0.27 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8170 0.32/0.27 c 8170 constraints processed. 0.32/0.28 c objective function length is 8170 literals 0.51/0.31 c SATISFIABLE 0.51/0.31 c OPTIMIZING... 0.51/0.31 c Got one! Elapsed wall clock time (in seconds):0.18 0.51/0.31 o 2628 0.70/0.41 c Got one! Elapsed wall clock time (in seconds):0.278 0.70/0.41 o 2627 0.90/0.52 c Got one! Elapsed wall clock time (in seconds):0.39 0.90/0.52 o 2626 4.04/2.50 c cleaning 2518 clauses out of 5049 with flag 11159/5049 6.03/4.28 c cleaning 4265 clauses out of 8532 with flag 24499/11050 8.74/6.52 c cleaning 5624 clauses out of 11266 with flag 40602/18049 11.50/8.93 c cleaning 6813 clauses out of 13641 with flag 58116/26048 14.73/11.64 c cleaning 7905 clauses out of 15828 with flag 78163/35048 18.45/14.81 c cleaning 8953 clauses out of 17923 with flag 100326/45048 21.85/17.92 c cleaning 9978 clauses out of 19970 with flag 124950/56048 26.07/21.68 c cleaning 10988 clauses out of 21992 with flag 151322/68048 30.71/25.68 c cleaning 11992 clauses out of 24005 with flag 179866/81049 35.61/29.91 c cleaning 12994 clauses out of 26013 with flag 210992/95049 42.51/35.05 c cleaning 14005 clauses out of 28019 with flag 244171/110049 49.52/40.03 c cleaning 14995 clauses out of 30013 with flag 279484/126048 55.51/45.29 c cleaning 16001 clauses out of 32018 with flag 317003/143048 62.01/50.98 c cleaning 16997 clauses out of 34018 with flag 356796/161049 68.92/56.98 c cleaning 18002 clauses out of 36021 with flag 398730/180049 77.89/63.48 c cleaning 19002 clauses out of 38020 with flag 443077/200050 86.10/69.47 c cleaning 19995 clauses out of 40016 with flag 489186/221048 93.30/75.96 c cleaning 21002 clauses out of 42022 with flag 537769/243049 102.07/83.41 c cleaning 22000 clauses out of 44020 with flag 588619/266049 110.08/90.54 c cleaning 23001 clauses out of 46020 with flag 641470/290049 122.12/98.51 c cleaning 23992 clauses out of 48018 with flag 696787/315048 130.98/106.45 c cleaning 25005 clauses out of 50027 with flag 754340/341049 141.04/115.20 c cleaning 26000 clauses out of 52022 with flag 814182/368049 150.43/123.64 c cleaning 27002 clauses out of 54022 with flag 876403/396049 160.74/132.67 c cleaning 28002 clauses out of 56020 with flag 939992/425049 171.71/142.24 c cleaning 29000 clauses out of 58017 with flag 1006010/455048 187.55/154.21 c cleaning 29997 clauses out of 60019 with flag 1074535/486050 201.70/164.11 c cleaning 31000 clauses out of 62021 with flag 1145072/518049 212.92/174.18 c cleaning 32004 clauses out of 64022 with flag 1217775/551050 224.58/184.49 c cleaning 32995 clauses out of 66016 with flag 1292977/585048 237.42/195.74 c cleaning 34003 clauses out of 68022 with flag 1370655/620049 249.60/206.68 c cleaning 34997 clauses out of 70018 with flag 1450171/656048 268.38/218.62 c cleaning 36003 clauses out of 72022 with flag 1531711/693049 281.78/230.43 c cleaning 36998 clauses out of 74018 with flag 1615638/731048 296.05/243.07 c cleaning 37998 clauses out of 76020 with flag 1702132/770048 312.28/256.94 c cleaning 38999 clauses out of 78023 with flag 1790270/810049 332.54/269.63 c cleaning 40001 clauses out of 80024 with flag 1880522/851049 347.40/282.70 c cleaning 41002 clauses out of 82025 with flag 1973805/893051 363.54/296.77 c cleaning 41996 clauses out of 84021 with flag 2068770/936049 378.96/310.41 c cleaning 43004 clauses out of 86024 with flag 2165759/980048 399.98/324.64 c cleaning 44000 clauses out of 88020 with flag 2265592/1025048 416.21/338.98 c cleaning 44996 clauses out of 90020 with flag 2366928/1071048 433.46/354.19 c cleaning 46002 clauses out of 92025 with flag 2470925/1118049 460.40/372.44 c cleaning 47002 clauses out of 94022 with flag 2577381/1166048 480.90/388.59 c cleaning 48000 clauses out of 96020 with flag 2686003/1215048 498.69/404.21 c cleaning 48998 clauses out of 98021 with flag 2796528/1265049 525.74/422.05 c cleaning 50001 clauses out of 100023 with flag 2908961/1316049 544.81/438.94 c cleaning 50992 clauses out of 102021 with flag 3023839/1368048 575.11/459.57 c cleaning 52004 clauses out of 104029 with flag 3140994/1421048 597.88/477.73 c cleaning 53000 clauses out of 106026 with flag 3260799/1475049 618.17/495.54 c cleaning 54000 clauses out of 108025 with flag 3382904/1530048 646.22/514.54 c cleaning 54998 clauses out of 110025 with flag 3506596/1586048 668.41/534.10 c cleaning 56002 clauses out of 112028 with flag 3633016/1643049 699.95/554.03 c cleaning 57002 clauses out of 114026 with flag 3761841/1701049 720.94/572.58 c cleaning 58000 clauses out of 116023 with flag 3891480/1760048 757.99/598.20 c cleaning 58999 clauses out of 118024 with flag 4024188/1820049 784.44/619.15 c cleaning 59998 clauses out of 120024 with flag 4159409/1881048 822.18/646.01 c cleaning 60999 clauses out of 122026 with flag 4295634/1943048 849.75/666.92 c cleaning 62005 clauses out of 124027 with flag 4435183/2006048 890.12/695.70 c cleaning 62999 clauses out of 126022 with flag 4576840/2070048 919.51/718.09 c cleaning 64000 clauses out of 128023 with flag 4720251/2135048 964.49/749.23 c cleaning 65000 clauses out of 130023 with flag 4866295/2201048 990.95/773.07 c cleaning 65999 clauses out of 132023 with flag 5013677/2268048 1025.14/796.56 c cleaning 66997 clauses out of 134024 with flag 5163763/2336048 1052.11/820.50 c cleaning 68000 clauses out of 136027 with flag 5316497/2405048 1088.17/845.72 c cleaning 69000 clauses out of 138028 with flag 5471342/2475049 1118.42/872.90 c cleaning 70004 clauses out of 140027 with flag 5630375/2546048 1158.90/901.88 c cleaning 71007 clauses out of 142024 with flag 5789785/2618049 1218.33/946.43 c cleaning 72000 clauses out of 144016 with flag 5950431/2691048 1252.22/974.02 c cleaning 72993 clauses out of 146016 with flag 6112980/2765048 1297.82/1008.68 c cleaning 74007 clauses out of 148025 with flag 6278823/2840050 1341.73/1036.94 c cleaning 74994 clauses out of 150016 with flag 6446600/2916048 1370.77/1062.69 c cleaning 75999 clauses out of 152022 with flag 6616162/2993048 1417.52/1096.02 c cleaning 77002 clauses out of 154023 with flag 6788541/3071048 1460.71/1123.76 c cleaning 78001 clauses out of 156021 with flag 6963531/3150048 1511.86/1161.19 c cleaning 79001 clauses out of 158020 with flag 7140708/3230048 1555.32/1190.32 c cleaning 80000 clauses out of 160019 with flag 7320239/3311048 1590.14/1221.85 c cleaning 80994 clauses out of 162019 with flag 7500667/3393048 1642.25/1257.30 c cleaning 81999 clauses out of 164025 with flag 7683850/3476048 1688.08/1286.70 c cleaning 83002 clauses out of 166027 with flag 7869009/3560049 1739.62/1325.76 c cleaning 84002 clauses out of 168024 with flag 8056571/3645048 1785.69/1356.13 c cleaning 85000 clauses out of 170023 with flag 8246897/3731049 1839.31/1396.41 c cleaning 85999 clauses out of 172023 with flag 8439328/3818049 1885.59/1427.57 c cleaning 86997 clauses out of 174023 with flag 8633431/3906048 1941.55/1470.18 c cleaning 88003 clauses out of 176027 with flag 8829959/3995049 1988.07/1502.41 c cleaning 88999 clauses out of 178023 with flag 9029128/4085048 2055.25/1547.29 c cleaning 89997 clauses out of 180024 with flag 9230579/4176048 2103.52/1580.22 c cleaning 91000 clauses out of 182027 with flag 9434160/4268048 2160.13/1623.59 c cleaning 91998 clauses out of 184027 with flag 9639642/4361048 2211.60/1660.12 c cleaning 93004 clauses out of 186031 with flag 9848003/4455050 2311.32/1723.00 c cleaning 94000 clauses out of 188025 with flag 10057275/4550048 2412.36/1782.87 c cleaning 94999 clauses out of 190026 with flag 10270507/4646049 2474.53/1821.79 c cleaning 96000 clauses out of 192027 with flag 10485739/4743049 2560.27/1879.00 c cleaning 96996 clauses out of 194027 with flag 10702472/4841049 2659.31/1937.11 c cleaning 98004 clauses out of 196031 with flag 10921944/4940049 2720.30/1974.99 c cleaning 98996 clauses out of 198026 with flag 11143071/5040048 2798.18/2025.26 c cleaning 100006 clauses out of 200031 with flag 11366097/5141049 2903.41/2088.14 c cleaning 101002 clauses out of 202024 with flag 11593986/5243048 3012.13/2153.29 c cleaning 102001 clauses out of 204023 with flag 11824383/5346049 3113.34/2211.71 c cleaning 102998 clauses out of 206022 with flag 12054189/5450049 3202.37/2264.34 c cleaning 104003 clauses out of 208023 with flag 12286655/5555048 3294.50/2318.86 c cleaning 105000 clauses out of 210022 with flag 12521027/5661050 3389.00/2374.60 c cleaning 105994 clauses out of 212020 with flag 12757729/5768048 3478.83/2427.51 c cleaning 107004 clauses out of 214028 with flag 12996046/5876050 3568.02/2479.86 c cleaning 107995 clauses out of 216022 with flag 13236994/5985048
ERROR: no interpretation found !
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 (47995 MiB free)
memory of node 1: 64507 MiB (59787 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520672-1751572123/watcher-4520672-1751572123 -o /tmp/evaluation-result-4520672-1751572123/solver-4520672-1751572123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751567892-87413 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4520672-1751572123.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88067, runsolver pid=88064
[startup+0.10006 s]*
/proc/loadavg: 4.36 4.34 4.44 5/337 88085
/proc/meminfo: memFree=110334344/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=18930384 memory=55624 CPUtime=0.12 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 6554 0 0 0 10 2 0 0 20 0 18 0 72892525 19384713216 13906 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4732596 13906 5357 1 0 547604 0
[pid=88067/tid=88069] ppid=88064 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 5048 0 0 0 6 1 0 0 20 0 18 0 72892526 19384713216 13906 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72892528 19384713216 14441 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=18930384 memory=59585004340264 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 72892529 19384713216 14441 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55624 KiB
[startup+0.205706 s]*
/proc/loadavg: 4.36 4.34 4.44 7/337 88085
/proc/meminfo: memFree=110324640/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=18930384 memory=68036 CPUtime=0.32 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 7027 0 0 0 29 3 0 0 20 0 18 0 72892525 19384713216 17009 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4732596 17009 5421 1 0 547910 0
[pid=88067/tid=88069] ppid=88064 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 5260 0 0 0 15 2 0 0 20 0 18 0 72892526 19384713216 17009 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72892528 19384713216 17009 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 72892529 19384713216 17009 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68036 KiB
[startup+0.305694 s]*
/proc/loadavg: 4.36 4.34 4.44 7/338 88086
/proc/meminfo: memFree=110298868/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=18996948 memory=94820 CPUtime=0.51 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 9135 0 0 0 48 3 0 0 20 0 19 0 72892525 19452874752 23705 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4749237 23705 5485 1 0 549642 0
[pid=88067/tid=88069] ppid=88064 vsize=18996948 memory=-6000919489869931623 CPUtime=0.26 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 5386 0 0 0 24 2 0 0 20 0 19 0 72892526 19452874752 23705 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72892528 19452874752 23737 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 72892529 19452874752 23737 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72892554 19452874752 23737 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94820 KiB
[startup+0.700232 s]
/proc/loadavg: 4.36 4.34 4.44 6/338 88086
/proc/meminfo: memFree=110291812/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=18996948 memory=119568 CPUtime=1.28 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 14476 0 0 0 123 5 0 0 20 0 19 0 72892525 19452874752 29892 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4749237 29892 5485 1 0 552073 0
[pid=88067/tid=88069] ppid=88064 vsize=18996948 memory=15104 CPUtime=0.63 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 5518 0 0 0 61 2 0 0 20 0 19 0 72892526 19452874752 29892 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72892528 19452874752 29892 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 72892529 19452874752 29892 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72892554 19452874752 29892 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119568 KiB
[startup+1.50023 s]
/proc/loadavg: 4.41 4.35 4.44 6/338 88086
/proc/meminfo: memFree=110266544/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=229620 CPUtime=2.68 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 17300 0 0 0 261 7 0 0 20 0 20 0 72892525 19521036288 57405 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 57405 5549 1 0 552491 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=10752 CPUtime=1.38 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 5679 0 0 0 135 3 0 0 20 0 20 0 72892526 19521036288 57405 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 57405 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 57405 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 57405 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 229620 KiB
[startup+3.10558 s]
/proc/loadavg: 4.41 4.35 4.44 5/339 88087
/proc/meminfo: memFree=109808112/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=618516 CPUtime=4.73 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 21541 0 0 0 459 14 0 0 20 0 20 0 72892525 19521036288 154629 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 154629 5549 1 0 1131115 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=10752 CPUtime=2.67 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 6908 0 0 0 263 4 0 0 20 0 20 0 72892526 19521036288 154629 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=-6000919489869931623 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 154629 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 154629 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 154629 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 618516 KiB
[startup+6.3002 s]
/proc/loadavg: 4.37 4.35 4.44 5/339 88087
/proc/meminfo: memFree=109050336/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=1350656 CPUtime=8.54 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 22951 0 0 0 827 27 0 0 20 0 20 0 72892525 19521036288 337664 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 337664 5549 1 0 1131133 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=0 CPUtime=5.36 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 7110 0 0 0 529 7 0 0 20 0 20 0 72892526 19521036288 337664 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 337664 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 337664 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=309660 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 337664 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 8.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1350656 KiB
[startup+12.7002 s]
/proc/loadavg: 4.42 4.36 4.45 5/339 88087
/proc/meminfo: memFree=107730416/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=2794728 CPUtime=16.01 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 25691 0 0 0 1546 55 0 0 20 0 20 0 72892525 19521036288 698682 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 698682 5581 1 0 2219442 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=309660 CPUtime=10.69 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 7749 0 0 0 1056 13 0 0 20 0 20 0 72892526 19521036288 698682 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 698682 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=2671604 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 698682 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 698682 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 16.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2794728 KiB
[startup+25.5002 s]
/proc/loadavg: 4.36 4.35 4.44 5/339 88088
/proc/meminfo: memFree=104598128/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=5800380 CPUtime=30.61 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 29010 0 0 0 2948 113 0 0 20 0 20 0 72892525 19521036288 1450095 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 1450095 5581 1 0 2553678 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=10752 CPUtime=21.63 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 9125 0 0 0 2135 28 0 0 20 0 20 0 72892526 19521036288 1450095 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=2671604 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 1450095 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 1450095 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 1450095 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 30.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5800380 KiB
[startup+51.1057 s]
/proc/loadavg: 4.33 4.34 4.44 5/339 88088
/proc/meminfo: memFree=101090000/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=9300128 CPUtime=62.22 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 56498 0 0 0 6040 182 0 0 20 0 20 0 72892525 19521036288 2325032 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 2325032 5581 1 0 3199606 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=9300128 CPUtime=43.43 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 10729 0 0 0 4298 45 0 0 20 0 20 0 72892526 19521036288 2325032 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=9218024 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 699104 0 0 0 329537 609 0 0 20 0 20 0 72892525 19521036288 4078603 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 4078603 5581 1 0 4090848 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=15104 CPUtime=1879.49 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 241114 0 0 0 187806 143 0 0 20 0 20 0 72892526 19521036288 4078603 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=16314412 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 4078603 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=16314412 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 743 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 4078603 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 4078603 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 3301.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314412 KiB
[startup+2382.3 s]
/proc/loadavg: 4.82 4.90 4.79 5/340 88342
/proc/meminfo: memFree=100410816/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=16314540 CPUtime=3401.19 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 705150 0 0 0 339499 620 0 0 20 0 20 0 72892525 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 4078635 5581 1 0 4090856 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=16314540 CPUtime=1924.62 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 244308 0 0 0 192319 143 0 0 20 0 20 0 72892526 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=16314540 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=16314540 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 745 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=16314416 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 3401.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314540 KiB
[startup+2442.3 s]
/proc/loadavg: 4.98 4.94 4.81 6/340 88410
/proc/meminfo: memFree=101742632/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=16314540 CPUtime=3501.47 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 713806 0 0 0 349518 629 0 0 20 0 20 0 72892525 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 4078635 5581 1 0 4090856 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=16314540 CPUtime=1969.34 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) R 88064 88067 87403 0 -1 4194368 249171 0 0 0 196790 144 0 0 20 0 20 0 72892526 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=16314540 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=16314540 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 783 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=16314540 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 4078635 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 3501.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501 s]*
/proc/loadavg: 4.89 4.92 4.82 6/339 88416
/proc/meminfo: memFree=100976316/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=16314640 CPUtime=3600.02 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 723753 0 0 0 359364 638 0 0 20 0 20 0 72892525 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 4078660 5581 1 0 4090856 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=-6000919481246245991 CPUtime=2009.45 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) S 88064 88067 87403 0 -1 4194368 253886 0 0 0 200800 145 0 0 20 0 20 0 72892526 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=1750124 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=6640 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 783 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=567104 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.3 s]
/proc/loadavg: 4.90 4.92 4.82 6/339 88416
/proc/meminfo: memFree=100976316/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=16314640 CPUtime=3602.6 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 723804 0 0 0 359622 638 0 0 20 0 20 0 72892525 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 4078660 5581 1 0 4090856 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=16314540 CPUtime=2009.45 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) S 88064 88067 87403 0 -1 4194368 253886 0 0 0 200800 145 0 0 20 0 20 0 72892526 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=16314540 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=16314512 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 783 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=16314640 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 3602.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314640 KiB
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2503.06 s]
# the end of solver process 88067 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.63 s, system=6.43234 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2502.4 s]
/proc/loadavg: 4.90 4.92 4.82 6/339 88416
/proc/meminfo: memFree=100976316/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=16314640 CPUtime=3602.8 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 723822 0 0 0 359642 638 0 0 20 0 20 0 72892525 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 4078660 5581 1 0 4090856 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=5632 CPUtime=2009.45 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) S 88064 88067 87403 0 -1 4194368 253886 0 0 0 200800 145 0 0 20 0 20 0 72892526 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=16314512 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 783 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=16314512 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 3602.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314640 KiB
[startup+2502.8 s]
/proc/loadavg: 4.90 4.92 4.82 6/339 88416
/proc/meminfo: memFree=100976316/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=16314640 CPUtime=3603.59 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 723834 0 0 0 359721 638 0 0 20 0 20 0 72892525 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 4078660 5581 1 0 4090856 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=5632 CPUtime=2009.45 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) S 88064 88067 87403 0 -1 4194368 253886 0 0 0 200800 145 0 0 20 0 20 0 72892526 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=15104 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 783 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 3603.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314640 KiB
[startup+2503 s]*
/proc/loadavg: 4.90 4.92 4.82 6/339 88416
/proc/meminfo: memFree=100976316/131250000 swapFree=33008100/33010684
[pid=88067] ppid=88064 vsize=19063512 memory=16314640 CPUtime=3604 cores=0,2
/proc/88067/stat : 88067 (java) S 88064 88067 87403 0 -1 4194304 723834 0 0 0 359762 638 0 0 20 0 20 0 72892525 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
/proc/88067/statm: 4765878 4078660 5581 1 0 4090856 0
[pid=88067/tid=88069] ppid=88064 vsize=19063512 memory=-6000919481246245991 CPUtime=2009.45 cores=0,2
/proc/88067/task/88069/stat : 88069 (java) S 88064 88067 87403 0 -1 4194368 253886 0 0 0 200800 145 0 0 20 0 20 0 72892526 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88078] ppid=88064 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/88067/task/88078/stat : 88078 (Finalizer) S 88064 88067 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72892528 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88085] ppid=88064 vsize=19063512 memory=4944 CPUtime=0 cores=0,2
/proc/88067/task/88085/stat : 88085 (Common-Cleaner) S 88064 88067 87403 0 -1 4194368 783 0 0 0 0 0 0 0 20 0 20 0 72892529 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
[pid=88067/tid=88086] ppid=88064 vsize=19063512 memory=5036 CPUtime=0 cores=0,2
/proc/88067/task/88086/stat : 88086 (Timer-0) S 88064 88067 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72892554 19521036288 4078660 18446744073709551615 94085162565632 94085162569328 140723091437520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94085162577144 94085162577936 94085181091840 140723091446145 140723091446246 140723091446246 140723091451848 0
Current children cumulated CPU time: 3604 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314640 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2503.06
CPU time (s): 3604.06
CPU user time (s): 3597.63
CPU system time (s): 6.43234
CPU usage (%): 143.987
Max. virtual memory (cumulated for all children) (KiB): 19067616
Max. memory (cumulated for all children) (KiB): 16314668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.63
system time used= 6.43234
maximum resident set size= 16314668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 723839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99231
involuntary context switches= 56368
# summary of solver processes directly reported to runsolver:
# pid: 88067
# total CPU time (s): 3604.06
# total CPU user time (s): 3597.63
# total CPU system time (s): 6.43234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.22136 second user time and 11.7884 second system time
The end
Begin job on nodeC013 at 2025-07-03 21:48:43 IDJOB=4520672 IDBENCH=178115 IDSOLVER=3363 FILE ID=nodeC013/4520672-1751572123 RUNJOBID= nodeC013-1751567892-87413 SLURM_JOB_ID= 9598784 Free space on /tmp= 432644 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520672-1751572123/watcher-4520672-1751572123 -o /tmp/evaluation-result-4520672-1751572123/solver-4520672-1751572123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751567892-87413 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4520672-1751572123.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b3bab28fe93ea42b1817acfaffdcfb3a RANDOM SEED=1473306567 nodeC013 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 : 3575.141 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.67 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.596 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.67 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 : 3599.836 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.67 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 : 3600.126 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.419 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.67 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 : 3599.834 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.67 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 : 3605.581 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.67 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 : 3700.000 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 110369688 kB MemAvailable: 110468884 kB Buffers: 1668 kB Cached: 893320 kB SwapCached: 1984 kB Active: 19727136 kB Inactive: 529032 kB Active(anon): 19354840 kB Inactive(anon): 17632 kB Active(file): 372296 kB Inactive(file): 511400 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008100 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1324 kB Writeback: 0 kB AnonPages: 19362264 kB Mapped: 119596 kB Shmem: 11292 kB KReclaimable: 109076 kB Slab: 199112 kB SReclaimable: 109076 kB SUnreclaim: 90036 kB KernelStack: 5168 kB PageTables: 41536 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 21191948 kB VmallocTotal: 34359738367 kB VmallocUsed: 151448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 19007488 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: 215764 kB DirectMap2M: 8992768 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432640 MiB End job on nodeC013 at 2025-07-03 22:30:26