Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | ? (TO) | 3602.73 | 3039.61 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb |
| MD5SUM | 275abd9c9127ffd447b577c0798b1c29 |
| 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 | -148 |
| Best CPU time to get the best result obtained on this benchmark | 1.79346 |
| 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 | 16800 |
| Total number of constraints | 5849 |
| Number of constraints which are clauses | 5625 |
| Number of constraints which are cardinality constraints (but not clauses) | 149 |
| Number of constraints which are nor clauses,nor cardinality constraints | 75 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 11175 |
| 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 | 11175 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 75 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 11175 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.10/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.10/0.19 c See www.sat4j.org for details. 0.10/0.20 c version PB25.v20250606 0.27/0.24 c java.runtime.name OpenJDK Runtime Environment 0.27/0.24 c java.vm.name OpenJDK 64-Bit Server VM 0.27/0.24 c java.vm.version 22.0.1+8-16 0.27/0.24 c java.vm.vendor Oracle Corporation 0.27/0.24 c sun.arch.data.model 64 0.27/0.24 c java.version 22.0.1 0.27/0.24 c os.name Linux 0.27/0.24 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.27/0.24 c os.arch amd64 0.27/0.25 c Free memory 2104792832 0.27/0.25 c Max memory 16282288128 0.27/0.25 c Total memory 2113929216 0.27/0.26 c Number of processors 2 0.42/0.37 c Pseudo Boolean Optimization by upper bound 0.42/0.37 c --- Begin Solver configuration --- 0.42/0.37 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.42/0.37 c Learn all clauses as in MiniSAT 0.42/0.37 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.42/0.37 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.42/0.37 c Expensive reason simplification 0.42/0.37 c Glucose 2.1 dynamic restart strategy 0.42/0.37 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.42/0.37 c timeout=2147483s 0.42/0.37 c DB Simplification allowed=false 0.42/0.37 c Listener: none 0.42/0.37 c --- End Solver configuration --- 0.42/0.37 c solving HOME/instance-4519753-1751563433.opb 0.42/0.37 c reading problem ... 0.51/2.59 c using VERIPB proof format 0.51/2.59 c objective function found 1.33/3.08 c ... done. Wall clock time 2.704s. 1.33/3.08 c declared #vars 16800 1.33/3.08 c #constraints 5849 1.33/3.08 c constraints type 1.33/3.09 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 149 1.33/3.09 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75 1.33/3.09 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5625 1.33/3.09 c 5849 constraints processed. 1.53/3.12 c objective function length is 11175 literals 7.37/6.50 c cleaning 2495 clauses out of 5002 with flag 33745/5002 11.66/10.33 c cleaning 4254 clauses out of 8508 with flag 74188/11003 17.32/15.91 c cleaning 5623 clauses out of 11255 with flag 127088/18004 25.98/24.33 c cleaning 6805 clauses out of 13630 with flag 184524/26002 35.52/33.61 c cleaning 7903 clauses out of 15824 with flag 246165/35001 46.67/44.77 c cleaning 8960 clauses out of 17923 with flag 315414/45003 60.28/57.97 c cleaning 9977 clauses out of 19962 with flag 392881/56002 73.94/76.33 c cleaning 10985 clauses out of 21986 with flag 486895/68003 74.50/76.84 c SATISFIABLE 74.50/76.84 c OPTIMIZING... 74.50/76.84 c Got one! Elapsed wall clock time (in seconds):76.472 74.50/76.84 o -115 80.63/82.51 c cleaning 8364 clauses out of 16743 with flag 40381/73745 86.76/88.57 c cleaning 7183 clauses out of 14380 with flag 96146/79746 93.29/94.96 c cleaning 7091 clauses out of 14199 with flag 161152/86748 94.25/95.88 c Got one! Elapsed wall clock time (in seconds):95.513 94.25/95.88 o -118 98.38/99.75 c cleaning 6138 clauses out of 12293 with flag 40109/91933 103.65/105.08 c cleaning 6077 clauses out of 12160 with flag 102633/97938 111.66/112.96 c cleaning 6537 clauses out of 13080 with flag 177761/104935 118.20/119.40 c cleaning 7264 clauses out of 14541 with flag 267443/112933 125.25/126.27 c cleaning 8134 clauses out of 16281 with flag 364261/121937 134.35/135.19 c cleaning 9065 clauses out of 18142 with flag 461883/131932 146.78/147.44 c cleaning 10030 clauses out of 20078 with flag 570197/142933 162.11/162.60 c cleaning 11022 clauses out of 22052 with flag 682684/154937 178.47/178.82 c cleaning 12004 clauses out of 24025 with flag 810726/167932 197.41/197.66 c cleaning 13005 clauses out of 26022 with flag 955815/181933 218.94/218.80 c cleaning 14001 clauses out of 28016 with flag 1110629/196932 244.16/244.04 c cleaning 14998 clauses out of 30016 with flag 1262780/212933 271.08/270.59 c cleaning 16006 clauses out of 32018 with flag 1430287/229933 301.39/300.79 c cleaning 17002 clauses out of 34011 with flag 1614032/247932 333.01/338.08 c cleaning 17999 clauses out of 36009 with flag 1799615/266932 370.20/374.74 c cleaning 19005 clauses out of 38015 with flag 1996645/286937 409.65/414.06 c cleaning 20001 clauses out of 40007 with flag 2211816/307934 460.00/463.65 c cleaning 20999 clauses out of 42007 with flag 2447985/329935 514.41/517.78 c cleaning 21997 clauses out of 44005 with flag 2711127/352932 571.60/574.39 c cleaning 22998 clauses out of 46008 with flag 2962167/376932 619.19/621.64 c cleaning 23994 clauses out of 48010 with flag 3201405/401932 667.88/669.99 c cleaning 25001 clauses out of 50018 with flag 3429569/427934 709.92/717.24 c Got one! Elapsed wall clock time (in seconds):716.874 709.92/717.24 o -119 726.17/733.14 c cleaning 26595 clauses out of 53202 with flag 47620/456119 737.83/744.81 c cleaning 16289 clauses out of 32605 with flag 109712/462117 747.56/754.44 c cleaning 11651 clauses out of 23319 with flag 200996/469120 755.52/762.56 c cleaning 9823 clauses out of 19666 with flag 314291/477118 764.12/771.19 c cleaning 9416 clauses out of 18844 with flag 424293/486119 774.30/781.32 c cleaning 9710 clauses out of 19427 with flag 550191/496118 786.40/793.62 c cleaning 10358 clauses out of 20721 with flag 689640/507122 800.36/807.69 c cleaning 11173 clauses out of 22360 with flag 838545/519119 819.09/826.44 c cleaning 12089 clauses out of 24185 with flag 1002740/532117 837.87/845.16 c cleaning 13042 clauses out of 26096 with flag 1170968/546117 860.26/871.58 c cleaning 14021 clauses out of 28057 with flag 1355307/561120 886.09/897.48 c cleaning 15016 clauses out of 30036 with flag 1544633/577120 918.13/929.36 c cleaning 16004 clauses out of 32018 with flag 1758991/594118 962.89/973.98 c cleaning 17006 clauses out of 34013 with flag 1983770/612117 991.40/1002.51 c cleaning 17993 clauses out of 36008 with flag 2165372/631118 1020.65/1032.07 c cleaning 19001 clauses out of 38015 with flag 2353016/651118 1049.58/1060.77 c cleaning 20001 clauses out of 40013 with flag 2547580/672117 1083.31/1093.83 c cleaning 21000 clauses out of 42012 with flag 2743683/694117 1125.47/1141.69 c cleaning 21996 clauses out of 44012 with flag 2928794/717117 1163.23/1186.99 c cleaning 23003 clauses out of 46016 with flag 3140223/741117 1207.72/1230.80 c cleaning 23996 clauses out of 48013 with flag 3351588/766117 1284.16/1302.08 c cleaning 25006 clauses out of 50021 with flag 3539123/792121 1443.98/1427.55 c cleaning 26002 clauses out of 52012 with flag 3602052/819118 1594.36/1557.86 c cleaning 26998 clauses out of 54009 with flag 3670417/847117 1762.64/1689.16 c cleaning 28001 clauses out of 56012 with flag 3740630/876118 1941.66/1822.13 c cleaning 29000 clauses out of 58011 with flag 3816769/906118 2122.99/1978.71 c cleaning 30006 clauses out of 60011 with flag 3899251/937118 2324.89/2121.73 c cleaning 31000 clauses out of 62005 with flag 3981758/969118 2520.10/2262.43 c cleaning 31995 clauses out of 64004 with flag 4064509/1002117 2720.54/2416.77 c cleaning 32999 clauses out of 66009 with flag 4155403/1036117 2954.78/2578.02 c cleaning 33999 clauses out of 68011 with flag 4252080/1071118 3204.95/2764.30 c cleaning 35001 clauses out of 70011 with flag 4358454/1107117 3453.47/2920.01 c cleaning 35999 clauses out of 72011 with flag 4472713/1144118 3600.38/3031.16 c starts : 7631 3600.38/3031.18 c conflicts : 1167813 3600.38/3031.18 c decisions : 85315639 3600.38/3031.18 c propagations : 250588732 3600.38/3031.18 c inspects : 2766637200 3600.38/3031.18 c shortcuts : 0 3600.38/3031.18 c learnt literals : 0 3600.38/3031.18 c learnt binary clauses : 0 3600.38/3031.18 c learnt ternary clauses : 0 3600.38/3031.19 c learnt constraints : 1167813 3600.38/3031.19 c ignored constraints : 0 3600.38/3031.19 c root simplifications : 0 3600.38/3031.19 c removed literals (reason simplification) : 4541100 3600.38/3031.19 c reason swapping (by a shorter reason) : 0 3600.38/3031.19 c Calls to reduceDB : 66 3600.38/3031.19 c Number of update (reduction) of LBD : 463474 3600.38/3031.19 c Imported unit clauses : 0 3600.38/3031.19 c No decision after first conflict : false 3600.53/3031.20 c number of reductions to clauses (during analyze) : 0 3600.53/3031.20 c number of learned constraints concerned by reduction : 0 3600.53/3031.20 c number of learning phase by resolution : 0 3600.53/3031.20 c number of learning phase by cutting planes : 0 3600.53/3031.20 c number of rounding to 1 operations : 0 3600.53/3031.20 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.53/3031.20 c number of reductions of the coefficients by power 2 : 0 3600.53/3031.20 c number of right shift for reduction by power 2 : 0 3600.53/3031.20 c number of reductions of the coefficients by GCD over coefficients : 0 3600.53/3031.20 c number of ending skipping : 0 3600.53/3031.20 c number of internal skipping : 0 3600.53/3031.20 c number of derivation steps : 0 3600.53/3031.21 c number of skipped derivation steps : 0 3600.53/3031.21 c number of remaining unassigned : 0 3600.53/3031.21 c number of remaining assigned : 0 3600.53/3031.21 c number of falsified literals weakened from reason : 0 3600.53/3031.21 c number of falsified literals weakened from conflict : 0 3600.53/3031.21 c time for arithmetic operations : 0 3600.53/3031.22 c minimum degree of deleted constraints : null 3600.53/3031.22 c maximum degree of deleted constraints : null 3600.53/3031.22 c number of deleted constraints : 0 3600.53/3031.22 c speed (assignments/second) : 82756.93103950484 3600.53/3031.22 c non guided choices : 28981 3600.53/3031.26 Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null 3600.53/3031.26 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984) 3600.53/3031.26 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130) 3600.53/3031.26 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121) 3600.53/3031.26 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181) 3600.53/3031.26 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.53/3031.26 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.53/3031.26 at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)
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: 63837 MiB (57251 MiB free)
memory of node 1: 64465 MiB (49187 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519753-1751563433/watcher-4519753-1751563433 -o /tmp/evaluation-result-4519753-1751563433/solver-4519753-1751563433 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751559731-80599 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519753-1751563433 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4519753-1751563433.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 FSIZE limit: 102400000 KiB
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=81071, runsolver pid=81068
[startup+0.100067 s]*
/proc/loadavg: 4.15 4.23 4.23 2/258 81089
/proc/meminfo: memFree=108971424/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=18930384 memory=47688 CPUtime=0.1 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 5763 0 0 0 6 4 0 0 20 0 18 0 72022734 19384713216 11922 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4732596 11922 5175 1 0 546986 0
[pid=81071/tid=81073] ppid=81068 vsize=18930384 memory=4026532029 CPUtime=0.07 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 4608 0 0 0 4 3 0 0 20 0 18 0 72022736 19384713216 12050 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=18930384 memory=232800911689 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72022741 19384713216 12050 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=18930384 memory=62917882163757 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72022742 19384713216 12050 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47688 KiB
[startup+0.219795 s]*
/proc/loadavg: 4.15 4.23 4.23 3/258 81089
/proc/meminfo: memFree=108968904/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=18930384 memory=53164 CPUtime=0.27 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 6409 0 0 0 22 5 0 0 20 0 18 0 72022734 19384713216 13291 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4732596 13291 5367 1 0 547503 0
[pid=81071/tid=81073] ppid=81068 vsize=18930384 memory=32758254098972917 CPUtime=0.16 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 4966 0 0 0 13 3 0 0 20 0 18 0 72022736 19384713216 13291 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=18930384 memory=13899 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72022741 19384713216 13291 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=18930384 memory=61818370524117 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72022742 19384713216 13291 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53164 KiB
[startup+0.314365 s]*
/proc/loadavg: 4.15 4.23 4.23 3/258 81089
/proc/meminfo: memFree=108962288/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=18930384 memory=58124 CPUtime=0.42 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 6652 0 0 0 36 6 0 0 20 0 18 0 72022734 19384713216 14531 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4732596 14531 5367 1 0 547681 0
[pid=81071/tid=81073] ppid=81068 vsize=18930384 memory=-6000919472690064231 CPUtime=0.24 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 5116 0 0 0 21 3 0 0 20 0 18 0 72022736 19384713216 14531 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72022741 19384713216 14531 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72022742 19384713216 14531 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58124 KiB
[startup+0.700382 s]
/proc/loadavg: 4.15 4.23 4.23 2/258 81089
/proc/meminfo: memFree=109541984/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=18930384 memory=59020 CPUtime=0.51 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 6817 0 0 0 45 6 0 0 20 0 18 0 72022734 19384713216 14755 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4732596 14755 5431 1 0 547793 0
[pid=81071/tid=81073] ppid=81068 vsize=18930384 memory=19072 CPUtime=0.29 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) D 81068 81071 80589 0 -1 4194368 5212 0 0 0 26 3 0 0 20 0 18 0 72022736 19384713216 14755 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72022741 19384713216 14755 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72022742 19384713216 14755 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59020 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.23 4.23 2/258 81089
/proc/meminfo: memFree=112589672/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=18930384 memory=59020 CPUtime=0.51 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 6817 0 0 0 45 6 0 0 20 0 18 0 72022734 19384713216 14755 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4732596 14755 5431 1 0 547793 0
[pid=81071/tid=81073] ppid=81068 vsize=18930384 memory=3200 CPUtime=0.29 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) D 81068 81071 80589 0 -1 4194368 5212 0 0 0 26 3 0 0 20 0 18 0 72022736 19384713216 14755 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72022741 19384713216 14755 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72022742 19384713216 14755 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59020 KiB
[startup+3.11583 s]
/proc/loadavg: 4.14 4.22 4.23 9/281 81126
/proc/meminfo: memFree=126628384/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=18930384 memory=121552 CPUtime=1.53 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 9272 0 0 0 143 10 0 0 20 0 18 0 72022734 19384713216 30388 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4732596 30388 5463 1 0 549353 0
[pid=81071/tid=81073] ppid=81068 vsize=18930384 memory=11264 CPUtime=0.73 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 5382 0 0 0 67 6 0 0 20 0 18 0 72022736 19384713216 30388 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72022741 19384713216 30388 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=18930384 memory=5632 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72022742 19384713216 30388 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 121552 KiB
heavy processes:
[startup+6.30026 s]
/proc/loadavg: 4.14 4.22 4.23 7/332 81205
/proc/meminfo: memFree=128685844/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=301940 CPUtime=7.14 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 23540 0 0 0 693 21 0 0 20 0 20 0 72022734 19521036288 75485 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 75485 5527 1 0 875826 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=137172 CPUtime=3.67 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 6466 0 0 0 356 11 0 0 20 0 20 0 72022736 19521036288 75485 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 75485 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=187112 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 75485 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=-6000919472690064231 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 75485 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 301940 KiB
[startup+12.7004 s]
/proc/loadavg: 4.27 4.25 4.24 5/332 81206
/proc/meminfo: memFree=123049528/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=1229896 CPUtime=14.16 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 25416 0 0 0 1370 46 0 0 20 0 20 0 72022734 19521036288 307474 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 307474 5559 1 0 1120298 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=640480 CPUtime=9.68 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 7413 0 0 0 939 29 0 0 20 0 20 0 72022736 19521036288 307474 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 307474 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 307474 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=957364 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 307474 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1229896 KiB
[startup+25.5004 s]
/proc/loadavg: 4.30 4.26 4.24 6/332 81206
/proc/meminfo: memFree=114815396/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=2073396 CPUtime=27.26 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 28576 0 0 0 2655 71 0 0 20 0 20 0 72022734 19521036288 518349 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 518349 5559 1 0 1304124 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=957364 CPUtime=21.91 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 8561 0 0 0 2143 48 0 0 20 0 20 0 72022736 19521036288 518349 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=-6000919472690064231 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 518349 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=640480 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 518349 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=324468 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 518349 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 27.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2073396 KiB
[startup+51.1145 s]
/proc/loadavg: 4.26 4.25 4.24 5/332 81206
/proc/meminfo: memFree=110003300/131382112 swapFree=33010416/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=2245564 CPUtime=53.35 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 35267 0 0 0 5244 91 0 0 20 0 20 0 72022734 19521036288 561391 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 561391 5559 1 0 1304126 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=2245564 CPUtime=46.75 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 10175 0 0 0 4614 61 0 0 20 0 20 0 72022736 19521036288 561391 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=2159496 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 561391 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 561391 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=1229896 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 561391 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 53.35 s
################
# More data... #
################
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 158262 0 0 0 238080 3139 0 0 20 0 20 0 72022736 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=16277964 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 1856 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=16278348 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 3090.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278348 KiB
[startup+2742.3 s]
/proc/loadavg: 5.10 4.77 4.58 6/331 81366
/proc/meminfo: memFree=21454132/131382112 swapFree=33007844/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=16278348 CPUtime=3172.55 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 1477636 0 0 0 313337 3918 0 0 20 0 20 0 72022734 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 4069587 5591 1 0 4083408 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=16278092 CPUtime=2464.92 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 165106 0 0 0 243258 3234 0 0 20 0 20 0 72022736 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=16277964 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 1932 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=16278348 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 4069587 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 3172.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278348 KiB
[startup+2802.3 s]
/proc/loadavg: 5.03 4.80 4.60 6/332 81369
/proc/meminfo: memFree=19615872/131382112 swapFree=33007844/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=16279884 CPUtime=3271.98 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 1614950 0 0 0 323159 4039 0 0 20 0 20 0 72022734 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 4069971 5591 1 0 4083440 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=16278860 CPUtime=2516.68 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 172225 0 0 0 248334 3334 0 0 20 0 20 0 72022736 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=16279372 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=22684 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 1970 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279884 KiB
[startup+2862.3 s]
/proc/loadavg: 4.86 4.78 4.61 6/332 81372
/proc/meminfo: memFree=17830156/131382112 swapFree=33007844/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=16279884 CPUtime=3357.34 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 1646119 0 0 0 331582 4152 0 0 20 0 20 0 72022734 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 4069971 5591 1 0 4083440 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=16279884 CPUtime=2567.83 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 176893 0 0 0 253348 3435 0 0 20 0 20 0 72022736 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=16279884 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=-6000919472690064231 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 1970 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=16279884 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 3357.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279884 KiB
[startup+2922.3 s]
/proc/loadavg: 4.79 4.79 4.62 5/332 81374
/proc/meminfo: memFree=16153316/131382112 swapFree=33007844/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=16279884 CPUtime=3455.99 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 1882116 0 0 0 341322 4277 0 0 20 0 20 0 72022734 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 4069971 5591 1 0 4083443 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=16279372 CPUtime=2620.28 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 179411 0 0 0 258493 3535 0 0 20 0 20 0 72022736 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=16279884 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=16279884 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 1985 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=16279884 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 3455.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.44 4.70 4.60 5/334 81380
/proc/meminfo: memFree=14592348/131382112 swapFree=33007844/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=16279884 CPUtime=3530.48 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 1894542 0 0 0 348667 4381 0 0 20 0 20 0 72022734 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 4069971 5591 1 0 4083443 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=14720 CPUtime=2671.5 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) R 81068 81071 80589 0 -1 4194368 184545 0 0 0 263519 3631 0 0 20 0 20 0 72022736 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=16279884 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=22684 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 2043 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=7040 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 3530.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3031 s]*
/proc/loadavg: 4.59 4.69 4.60 6/334 81382
/proc/meminfo: memFree=13320672/131382112 swapFree=33007844/33010684
[pid=81071] ppid=81068 vsize=19063512 memory=16279884 CPUtime=3600.16 cores=0,2
/proc/81071/stat : 81071 (java) S 81068 81071 80589 0 -1 4194304 1920139 0 0 0 355540 4476 0 0 20 0 20 0 72022734 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
/proc/81071/statm: 4765878 4069971 5591 1 0 4083443 0
[pid=81071/tid=81073] ppid=81068 vsize=19063512 memory=16277504 CPUtime=2713.46 cores=0,2
/proc/81071/task/81073/stat : 81073 (java) S 81068 81071 80589 0 -1 4194368 188676 0 0 0 267630 3716 0 0 20 0 20 0 72022736 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81082] ppid=81068 vsize=19063512 memory=7028 CPUtime=0 cores=0,2
/proc/81071/task/81082/stat : 81082 (Finalizer) S 81068 81071 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72022741 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81089] ppid=81068 vsize=19063512 memory=4714588905151295129 CPUtime=0 cores=0,2
/proc/81071/task/81089/stat : 81089 (Common-Cleaner) S 81068 81071 80589 0 -1 4194368 2044 0 0 0 0 0 0 0 20 0 20 0 72022742 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
[pid=81071/tid=81137] ppid=81068 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/81071/task/81137/stat : 81137 (Timer-0) S 81068 81071 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023055 19521036288 4069971 18446744073709551615 94415846375424 94415846379120 140736713637312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94415846386936 94415846387728 94415851638784 140736713644336 140736713644518 140736713644518 140736713650120 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3039.61 s]
# the end of solver process 81071 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3556.05 s, system=46.6882 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3032 s]*
/proc/loadavg: 4.59 4.69 4.60 7/316 81385
/proc/meminfo: memFree=13309876/131382112 swapFree=33007844/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3032.8 s]
/proc/loadavg: 4.59 4.69 4.60 7/316 81385
/proc/meminfo: memFree=13309876/131382112 swapFree=33007844/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3033 s]*
/proc/loadavg: 4.62 4.69 4.61 5/316 81385
/proc/meminfo: memFree=13278972/131382112 swapFree=33007844/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3039.61
CPU time (s): 3602.73
CPU user time (s): 3556.05
CPU system time (s): 46.6882
CPU usage (%): 118.526
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16280652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.05
system time used= 46.6882
maximum resident set size= 16280780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1922703
page faults= 0
swaps= 0
block input operations= 8
block output operations= 76989744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 371858
involuntary context switches= 47131
# summary of solver processes directly reported to runsolver:
# pid: 81071
# total CPU time (s): 3602.73
# total CPU user time (s): 3556.05
# total CPU system time (s): 46.6882
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4438 second user time and 30.7953 second system time
The end
Begin job on nodeC005 at 2025-07-03 19:23:54 IDJOB=4519753 IDBENCH=177407 IDSOLVER=3364 FILE ID=nodeC005/4519753-1751563433 RUNJOBID= nodeC005-1751559731-80599 SLURM_JOB_ID= 9598757 Free space on /tmp= 429400 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519753-1751563433/watcher-4519753-1751563433 -o /tmp/evaluation-result-4519753-1751563433/solver-4519753-1751563433 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751559731-80599 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519753-1751563433 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4519753-1751563433.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 275abd9c9127ffd447b577c0798b1c29 RANDOM SEED=1972396788 nodeC005 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 : 1197.222 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.113 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.90 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.603 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.90 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.547 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.90 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 : 3700.000 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.451 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.446 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.960 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 108992504 kB MemAvailable: 129921216 kB Buffers: 2128 kB Cached: 21704820 kB SwapCached: 24 kB Active: 714420 kB Inactive: 21058280 kB Active(anon): 80524 kB Inactive(anon): 3164 kB Active(file): 633896 kB Inactive(file): 21055116 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1128 kB Writeback: 16 kB AnonPages: 68852 kB Mapped: 103940 kB Shmem: 17936 kB KReclaimable: 158656 kB Slab: 246644 kB SReclaimable: 158656 kB SUnreclaim: 87988 kB KernelStack: 3904 kB PageTables: 2860 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 339364 kB VmallocTotal: 34359738367 kB VmallocUsed: 149336 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429484 MiB End job on nodeC005 at 2025-07-03 20:14:33