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) | 3600.38 | 3596.94 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_4_mh.opb |
| MD5SUM | 5c375d9eec0e7448397e2587af216396 |
| 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 | 3216958 |
| Best CPU time to get the best result obtained on this benchmark | 69524.2 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 250200 |
| Total number of constraints | 605407 |
| Number of constraints which are clauses | 477850 |
| Number of constraints which are cardinality constraints (but not clauses) | 57 |
| Number of constraints which are nor clauses,nor cardinality constraints | 127500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3725 |
| Number of terms in the objective function | 129900 |
| Biggest coefficient in the objective function | 148877000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 69830910074 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 148877000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 69830910074 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.15 c See www.sat4j.org for details. 0.12/0.16 c version PB25.v20250606 0.12/0.18 c java.runtime.name OpenJDK Runtime Environment 0.12/0.18 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.18 c java.vm.version 22.0.1+8-16 0.12/0.18 c java.vm.vendor Oracle Corporation 0.12/0.18 c sun.arch.data.model 64 0.12/0.18 c java.version 22.0.1 0.12/0.18 c os.name Linux 0.12/0.18 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.12/0.18 c os.arch amd64 0.12/0.19 c Free memory 2106806208 0.12/0.19 c Max memory 16282288128 0.12/0.19 c Total memory 2113929216 0.12/0.19 c Number of processors 2 0.31/0.28 c Pseudo Boolean Optimization by upper bound 0.31/0.28 c --- Begin Solver configuration --- 0.31/0.28 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.31/0.28 c Learn all clauses as in MiniSAT 0.31/0.28 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.28 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.31/0.28 c Expensive reason simplification 0.31/0.28 c Glucose 2.1 dynamic restart strategy 0.31/0.28 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.31/0.28 c timeout=2147483s 0.31/0.28 c DB Simplification allowed=false 0.31/0.28 c Listener: none 0.31/0.28 c --- End Solver configuration --- 0.31/0.28 c solving HOME/instance-4504626-1751453868.opb 0.31/0.28 c reading problem ... 0.31/0.29 c objective function found 5.01/2.89 c ... done. Wall clock time 2.603s. 5.01/2.89 c declared #vars 250200 5.01/2.89 c #constraints 610314 5.01/2.89 c constraints type 5.01/2.89 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 367550 5.01/2.89 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 57 5.01/2.89 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 121375 5.01/2.89 c org.sat4j.specs.Constr$1 => 3 5.01/2.89 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 5.01/2.89 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 121326 5.01/2.89 c 610314 constraints processed. 5.19/2.90 c objective function length is 129900 literals 7.09/4.05 c SATISFIABLE 7.09/4.05 c OPTIMIZING... 7.09/4.05 c Got one! Elapsed wall clock time (in seconds):3.766 7.09/4.05 o 4381902 7.65/4.37 c Got one! Elapsed wall clock time (in seconds):4.087 7.65/4.37 o 4224078 8.25/4.63 c Got one! Elapsed wall clock time (in seconds):4.349 8.25/4.63 o 4204413 41.47/37.29 c cleaning 2632 clauses out of 5263 with flag 46348/5263 82.26/77.50 c cleaning 4316 clauses out of 8631 with flag 103008/11263 130.12/124.90 c cleaning 5651 clauses out of 11316 with flag 172660/18264 183.69/177.90 c cleaning 6821 clauses out of 13664 with flag 263858/26263 244.10/238.41 c cleaning 7909 clauses out of 15843 with flag 373272/35263 307.67/302.00 c cleaning 8965 clauses out of 17935 with flag 493881/45264 376.57/370.93 c cleaning 9979 clauses out of 19969 with flag 628707/56263 456.58/451.09 c cleaning 10992 clauses out of 21990 with flag 785800/68263 530.68/525.21 c cleaning 11999 clauses out of 23998 with flag 933297/81263 617.66/612.19 c cleaning 12996 clauses out of 25999 with flag 1115771/95263 704.05/698.60 c cleaning 13996 clauses out of 28005 with flag 1301089/110265 803.64/798.36 c cleaning 14994 clauses out of 30007 with flag 1522735/126263 905.89/900.69 c cleaning 16007 clauses out of 32013 with flag 1797580/143263 1016.83/1011.64 c cleaning 16998 clauses out of 34006 with flag 2069122/161263 1133.06/1127.98 c cleaning 18001 clauses out of 36008 with flag 2326178/180263 1265.38/1260.43 c cleaning 19003 clauses out of 38007 with flag 2585611/200263 1401.06/1396.28 c cleaning 19999 clauses out of 40003 with flag 2823256/221264 1541.62/1536.78 c cleaning 21001 clauses out of 42003 with flag 3020770/243263 1689.81/1684.95 c cleaning 22000 clauses out of 44002 with flag 3219183/266263 1835.10/1830.31 c cleaning 22999 clauses out of 46002 with flag 3426922/290263 1993.49/1988.87 c cleaning 23999 clauses out of 48002 with flag 3663889/315263 2165.98/2161.49 c cleaning 25000 clauses out of 50003 with flag 3925596/341263 2341.98/2337.43 c cleaning 25998 clauses out of 51998 with flag 4170989/368263 2513.70/2509.21 c cleaning 26997 clauses out of 54000 with flag 4490688/396263 2687.67/2683.34 c cleaning 28002 clauses out of 56005 with flag 4699750/425265 2876.48/2872.24 c cleaning 28991 clauses out of 58001 with flag 4916046/455263 3079.12/3075.12 c cleaning 29992 clauses out of 60010 with flag 5140180/486263 3286.84/3283.15 c cleaning 30990 clauses out of 62018 with flag 5360347/518263 3483.59/3480.18 c cleaning 32001 clauses out of 64028 with flag 5595088/551263 3600.04/3596.73 c starts : 324 3600.04/3596.76 c conflicts : 570433 3600.04/3596.78 c decisions : 4959114 3600.04/3596.78 c propagations : 1692191572 3600.04/3596.78 c inspects : 10240121237 3600.04/3596.78 c shortcuts : 0 3600.04/3596.78 c learnt literals : 8 3600.04/3596.78 c learnt binary clauses : 47 3600.04/3596.78 c learnt ternary clauses : 20 3600.04/3596.78 c learnt constraints : 570425 3600.04/3596.78 c ignored constraints : 0 3600.04/3596.78 c root simplifications : 0 3600.04/3596.78 c removed literals (reason simplification) : 42976605 3600.04/3596.78 c reason swapping (by a shorter reason) : 0 3600.04/3596.78 c Calls to reduceDB : 29 3600.04/3596.78 c Number of update (reduction) of LBD : 285807 3600.04/3596.78 c Imported unit clauses : 0 3600.04/3596.78 c No decision after first conflict : false 3600.04/3596.78 c number of reductions to clauses (during analyze) : 0 3600.04/3596.78 c number of learned constraints concerned by reduction : 0 3600.04/3596.79 c number of learning phase by resolution : 0 3600.04/3596.79 c number of learning phase by cutting planes : 0 3600.04/3596.79 c number of rounding to 1 operations : 0 3600.04/3596.79 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3596.79 c number of reductions of the coefficients by power 2 : 0 3600.04/3596.79 c number of right shift for reduction by power 2 : 0 3600.04/3596.79 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3596.79 c number of ending skipping : 0 3600.04/3596.79 c number of internal skipping : 0 3600.04/3596.79 c number of derivation steps : 0 3600.04/3596.79 c number of skipped derivation steps : 0 3600.04/3596.79 c number of remaining unassigned : 0 3600.04/3596.79 c number of remaining assigned : 0 3600.04/3596.79 c number of falsified literals weakened from reason : 0 3600.04/3596.79 c number of falsified literals weakened from conflict : 0 3600.04/3596.79 c time for arithmetic operations : 0 3600.24/3596.80 c minimum degree of deleted constraints : null 3600.24/3596.80 c maximum degree of deleted constraints : null 3600.24/3596.80 c number of deleted constraints : 0 3600.24/3596.81 c speed (assignments/second) : 470856.6790498342 3600.24/3596.81 c non guided choices : 6900 3600.24/3596.86 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.24/3596.87 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984) 3600.24/3596.87 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130) 3600.24/3596.87 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121) 3600.24/3596.87 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181) 3600.24/3596.87 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.24/3596.87 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.24/3596.87 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 (62885 MiB free)
memory of node 1: 64465 MiB (63551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504626-1751453868/watcher-4504626-1751453868 -o /tmp/evaluation-result-4504626-1751453868/solver-4504626-1751453868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751453868-61310 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4504626-1751453868.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=61406, runsolver pid=61399
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 0.80 1.05 1.72 9/320 61437
/proc/meminfo: memFree=129417004/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=18930384 memory=50576 CPUtime=0.12 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 5828 0 0 0 8 4 0 0 20 0 18 0 61065636 19384713216 12644 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4732596 12644 5305 1 0 547056 0
[pid=61406/tid=61410] ppid=61399 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 4713 0 0 0 5 3 0 0 20 0 18 0 61065638 19384713216 12644 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61065643 19384713216 12644 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=18930384 memory=55195547748946 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61065644 19384713216 12644 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50576 KiB
[startup+0.214331 s]*
/proc/loadavg: 0.80 1.05 1.72 9/320 61437
/proc/meminfo: memFree=129371004/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=18930384 memory=57428 CPUtime=0.31 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 6511 0 0 0 27 4 0 0 20 0 18 0 61065636 19384713216 14357 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4732596 14357 5337 1 0 547642 0
[pid=61406/tid=61410] ppid=61399 vsize=18930384 memory=4026728732 CPUtime=0.19 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 5118 0 0 0 16 3 0 0 20 0 18 0 61065638 19384713216 14357 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=18930384 memory=2576 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61065643 19384713216 14357 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=18930384 memory=54096036103158 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61065644 19384713216 14357 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57428 KiB
[startup+0.314467 s]*
/proc/loadavg: 0.80 1.05 1.72 13/320 61437
/proc/meminfo: memFree=129318324/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=18930384 memory=70952 CPUtime=0.48 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 6705 0 0 0 43 5 0 0 20 0 18 0 61065636 19384713216 17738 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4732596 17738 5433 1 0 547813 0
[pid=61406/tid=61410] ppid=61399 vsize=18930384 memory=-6000919468344568681 CPUtime=0.27 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 5243 0 0 0 24 3 0 0 20 0 18 0 61065638 19384713216 17738 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61065643 19384713216 17738 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61065644 19384713216 17738 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70952 KiB
[startup+0.700434 s]
/proc/loadavg: 0.80 1.05 1.72 9/320 61437
/proc/meminfo: memFree=129189080/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=18930384 memory=131856 CPUtime=1.19 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 8927 0 0 0 111 8 0 0 20 0 18 0 61065636 19384713216 32964 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4732596 32964 5433 1 0 549202 0
[pid=61406/tid=61410] ppid=61399 vsize=18930384 memory=17792 CPUtime=0.65 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 5278 0 0 0 59 6 0 0 20 0 18 0 61065638 19384713216 32964 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61065643 19384713216 32964 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61065644 19384713216 32964 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 131856 KiB
[startup+1.50029 s]
/proc/loadavg: 1.38 1.16 1.75 10/326 61443
/proc/meminfo: memFree=128868432/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=18996948 memory=282160 CPUtime=2.74 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 12189 0 0 0 261 13 0 0 20 0 19 0 61065636 19452874752 70540 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4749237 70540 5465 1 0 1077586 0
[pid=61406/tid=61410] ppid=61399 vsize=18996948 memory=3200 CPUtime=1.28 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 5390 0 0 0 120 8 0 0 20 0 19 0 61065638 19452874752 70540 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 61065643 19452874752 70540 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 61065644 19452874752 70540 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 282160 KiB
[startup+3.10604 s]
/proc/loadavg: 1.38 1.16 1.75 9/327 61444
/proc/meminfo: memFree=127569208/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=862404 CPUtime=5.59 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 18515 0 0 0 532 27 0 0 20 0 20 0 61065636 19521036288 215601 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 215601 5497 1 0 1687261 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=11264 CPUtime=2.63 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 5815 0 0 0 245 18 0 0 20 0 20 0 61065638 19521036288 215601 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 215601 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 215601 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 215601 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 862404 KiB
[startup+6.30045 s]
/proc/loadavg: 1.67 1.22 1.77 6/328 61445
/proc/meminfo: memFree=127490220/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=857828 CPUtime=10.22 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 18796 0 0 0 994 28 0 0 20 0 20 0 61065636 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 214457 5529 1 0 1687317 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=0 CPUtime=5.79 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 5865 0 0 0 561 18 0 0 20 0 20 0 61065638 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=808276 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=-6000919468344568681 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 10.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 857828 KiB
[startup+12.7004 s]
/proc/loadavg: 1.86 1.27 1.78 5/328 61445
/proc/meminfo: memFree=127490268/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=857828 CPUtime=16.8 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 20617 0 0 0 1651 29 0 0 20 0 20 0 61065636 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 214457 5529 1 0 1687317 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=857828 CPUtime=12.18 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 6255 0 0 0 1200 18 0 0 20 0 20 0 61065638 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 16.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 857828 KiB
[startup+25.5005 s]
/proc/loadavg: 2.26 1.38 1.81 5/329 61447
/proc/meminfo: memFree=127503164/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=857828 CPUtime=29.6 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 21691 0 0 0 2929 31 0 0 20 0 20 0 61065636 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 214457 5529 1 0 1687317 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=857828 CPUtime=24.94 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 6970 0 0 0 2476 18 0 0 20 0 20 0 61065638 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=857828 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 214457 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 29.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 857828 KiB
[startup+51.1135 s]
/proc/loadavg: 2.95 1.63 1.88 5/329 61447
/proc/meminfo: memFree=127502844/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=858340 CPUtime=55.48 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 26456 0 0 0 5514 34 0 0 20 0 20 0 61065636 19521036288 214585 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 214585 5561 1 0 1687349 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=858340 CPUtime=50.49 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 8650 0 0 0 5031 18 0 0 20 0 20 0 61065638 19521036288 214585 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=858340 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 214585 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 214585 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 214585 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 55.48 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/327 61617
/proc/meminfo: memFree=124698772/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3286.02 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 57697 0 0 0 328315 287 0 0 20 0 20 0 61065636 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 299819 5561 1 0 1687635 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3273.34 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 22277 0 0 0 327314 20 0 0 20 0 20 0 61065638 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 1830 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 3286.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1199276 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/327 61619
/proc/meminfo: memFree=124638668/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3345.95 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 57904 0 0 0 334302 293 0 0 20 0 20 0 61065636 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 299819 5561 1 0 1687635 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=14464 CPUtime=3333.18 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 22479 0 0 0 333298 20 0 0 20 0 20 0 61065638 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 1830 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 3345.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1199276 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/327 61621
/proc/meminfo: memFree=124609672/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3405.86 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 58459 0 0 0 340289 297 0 0 20 0 20 0 61065636 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 299819 5561 1 0 1687635 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3393.02 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 22917 0 0 0 339282 20 0 0 20 0 20 0 61065638 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=-6000919468344568681 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 1893 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 3405.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1199276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/326 61622
/proc/meminfo: memFree=124609272/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3465.8 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 58892 0 0 0 346278 302 0 0 20 0 20 0 61065636 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 299819 5561 1 0 1687635 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=14464 CPUtime=3452.86 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 23294 0 0 0 345266 20 0 0 20 0 20 0 61065638 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 1893 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 3465.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1199276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.13 4.08 5/326 61624
/proc/meminfo: memFree=124609464/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3525.73 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 59044 0 0 0 352266 307 0 0 20 0 20 0 61065636 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 299819 5561 1 0 1687635 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3512.7 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 23418 0 0 0 351250 20 0 0 20 0 20 0 61065638 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 3525.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1199276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/326 61626
/proc/meminfo: memFree=124609584/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3585.65 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 59064 0 0 0 358253 312 0 0 20 0 20 0 61065636 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 299819 5561 1 0 1687635 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=14464 CPUtime=3572.53 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 23432 0 0 0 357233 20 0 0 20 0 20 0 61065638 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1199276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3596.7 s]
/proc/loadavg: 4.11 4.12 4.08 5/326 61627
/proc/meminfo: memFree=124504120/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19063512 memory=1199276 CPUtime=3600.04 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 59071 0 0 0 359691 313 0 0 20 0 20 0 61065636 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4765878 299819 5561 1 0 1687635 0
[pid=61406/tid=61410] ppid=61399 vsize=19063512 memory=14464 CPUtime=3586.9 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 23437 0 0 0 358670 20 0 0 20 0 20 0 61065638 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61065643 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19063512 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 61065644 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61444] ppid=61399 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/61406/task/61444/stat : 61444 (Timer-0) S 61399 61406 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61065931 19521036288 299819 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1199276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3596.94 s]
# the end of solver process 61406 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.22 s, system=3.15683 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.08 5/326 61627
/proc/meminfo: memFree=124504120/131382120 swapFree=33010416/33010684
[pid=61406] ppid=61399 vsize=19263204 memory=1200172 CPUtime=3600.24 cores=4,6
/proc/61406/stat : 61406 (java) S 61399 61406 61299 0 -1 4194304 61366 0 0 0 359710 314 0 0 20 0 21 0 61065636 19725520896 300043 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
/proc/61406/statm: 4815801 300043 5561 1 0 1688588 0
[pid=61406/tid=61410] ppid=61399 vsize=19263204 memory=0 CPUtime=3586.99 cores=4,6
/proc/61406/task/61410/stat : 61410 (java) R 61399 61406 61299 0 -1 4194368 23581 0 0 0 358679 20 0 0 20 0 21 0 61065638 19725520896 300043 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61430] ppid=61399 vsize=19263204 memory=1199276 CPUtime=0 cores=4,6
/proc/61406/task/61430/stat : 61430 (Finalizer) S 61399 61406 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 61065643 19725520896 300043 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
[pid=61406/tid=61437] ppid=61399 vsize=19263204 memory=2888 CPUtime=0 cores=4,6
/proc/61406/task/61437/stat : 61437 (Common-Cleaner) S 61399 61406 61299 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 21 0 61065644 19725520896 300043 18446744073709551615 94180020338688 94180020342384 140731304567472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180020350200 94180020350992 94180024508416 140731304569217 140731304569318 140731304569318 140731304574920 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1200172 KiB
Child status: 143
Real time (s): 3596.94
CPU time (s): 3600.38
CPU user time (s): 3597.22
CPU system time (s): 3.15683
CPU usage (%): 100.096
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1200172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.22
system time used= 3.15683
maximum resident set size= 1200300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61535
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157736
involuntary context switches= 2968
# summary of solver processes directly reported to runsolver:
# pid: 61406
# total CPU time (s): 3600.38
# total CPU user time (s): 3597.22
# total CPU system time (s): 3.15683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0441 second user time and 37.1633 second system time
The end
Begin job on nodeC002 at 2025-07-02 12:57:48 IDJOB=4504626 IDBENCH=155666 IDSOLVER=3363 FILE ID=nodeC002/4504626-1751453868 RUNJOBID= nodeC002-1751453868-61310 SLURM_JOB_ID= 9598443 Free space on /tmp= 432688 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_4_mh.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504626-1751453868/watcher-4504626-1751453868 -o /tmp/evaluation-result-4504626-1751453868/solver-4504626-1751453868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751453868-61310 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4504626-1751453868.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c375d9eec0e7448397e2587af216396 RANDOM SEED=12039434 nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.229 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.227 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.222 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.225 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1795.992 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1895.586 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.234 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1199.138 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129488332 kB MemAvailable: 129909828 kB Buffers: 2128 kB Cached: 1228248 kB SwapCached: 28 kB Active: 447256 kB Inactive: 925104 kB Active(anon): 153576 kB Inactive(anon): 6404 kB Active(file): 293680 kB Inactive(file): 918700 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 60760 kB Writeback: 0 kB AnonPages: 145208 kB Mapped: 122380 kB Shmem: 17932 kB KReclaimable: 97484 kB Slab: 181596 kB SReclaimable: 97484 kB SUnreclaim: 84112 kB KernelStack: 4560 kB PageTables: 3672 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 4766676 kB VmallocTotal: 34359738367 kB VmallocUsed: 149896 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432688 MiB End job on nodeC002 at 2025-07-02 13:57:45