Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP VeriPB 2025-06-06 | ? (TO) | 3600.32 | 3600.84 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_11.opb |
| MD5SUM | 615ef0f28fa6784c486981c328c6a987 |
| 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 | 72 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 1287 |
| Total number of constraints | 2430 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
| Minimum length of a constraint | 14 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 7 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 127 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 128 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 749 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.11/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.16 c See www.sat4j.org for details. 0.11/0.18 c version PB25.v20250606 0.11/0.20 c java.runtime.name OpenJDK Runtime Environment 0.11/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.20 c java.vm.version 22.0.1+8-16 0.11/0.20 c java.vm.vendor Oracle Corporation 0.11/0.20 c sun.arch.data.model 64 0.11/0.20 c java.version 22.0.1 0.11/0.20 c os.name Linux 0.11/0.20 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.11/0.20 c os.arch amd64 0.11/0.22 c Free memory 2104792832 0.11/0.22 c Max memory 16282288128 0.11/0.22 c Total memory 2113929216 0.11/0.22 c Number of processors 2 0.48/0.38 c Pseudo Boolean Optimization by upper bound 0.48/0.38 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.48/0.38 c - never skip resolution steps 0.48/0.38 c - Auto-division on coefficients is disabled 0.48/0.38 c - No postprocessing 0.48/0.38 c - Conflict is considered as is when resolving 0.48/0.38 c - Use constraints as they come during conflict analysis 0.48/0.38 c - Weaken first using unassigned literals 0.48/0.38 c - Bump strategy: ALWAYS_ONE 0.48/0.38 c - Bumper: EFFECTIVE 0.48/0.38 c --- Begin Solver configuration --- 0.48/0.38 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.48/0.38 c Learn all clauses as in MiniSAT 0.48/0.38 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.48/0.38 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.48/0.38 c No reason simplification 0.48/0.38 c Dynamic restart strategy considering the size of the coefficients 0.48/0.38 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.48/0.38 c timeout=2147483s 0.48/0.38 c DB Simplification allowed=false 0.48/0.38 c Listener: none 0.48/0.38 c --- End Solver configuration --- 0.48/0.38 c solving HOME/instance-4490847-1751382475.opb 0.48/0.38 c reading problem ... 0.48/0.39 c using VERIPB proof format 0.48/0.39 c objective function found 1.57/0.90 c ... done. Wall clock time 0.514s. 1.57/0.91 c declared #vars 1287 1.57/0.91 c #constraints 2430 1.57/0.91 c constraints type 1.57/0.91 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 2430 1.57/0.91 c 2430 constraints processed. 1.57/0.93 c objective function length is 7 literals 18.61/12.87 c SATISFIABLE 18.61/12.87 c OPTIMIZING... 18.61/12.87 c Got one! Elapsed wall clock time (in seconds):12.486 18.61/12.87 o 119 21.88/15.93 c cleaning 2873 clauses out of 5751 with flag 0/5751 39.50/31.91 c cleaning 4418 clauses out of 8878 with flag 0/11751 74.82/66.99 c cleaning 5728 clauses out of 11461 with flag 0/18752 118.75/110.51 c cleaning 6863 clauses out of 13733 with flag 0/26752 143.53/134.64 c Got one! Elapsed wall clock time (in seconds):134.261 143.53/134.64 o 116 148.52/139.69 c cleaning 6292 clauses out of 12594 with flag 0/32476 180.28/171.37 c cleaning 6137 clauses out of 12302 with flag 0/38476 194.81/185.82 c Got one! Elapsed wall clock time (in seconds):185.442 194.81/185.82 o 109 198.95/189.78 c Got one! Elapsed wall clock time (in seconds):189.397 198.95/189.78 o 108 210.94/201.68 c cleaning 6068 clauses out of 12165 with flag 0/44476 237.56/228.15 c Got one! Elapsed wall clock time (in seconds):227.762 237.56/228.15 o 106 243.34/233.76 c Got one! Elapsed wall clock time (in seconds):233.378 243.34/233.76 o 102 268.02/258.42 c cleaning 8117 clauses out of 16236 with flag 0/54615 310.40/300.60 c cleaning 7053 clauses out of 14121 with flag 0/60617 348.06/338.30 c cleaning 7032 clauses out of 14067 with flag 0/67616 401.24/391.31 c cleaning 7482 clauses out of 15034 with flag 0/75615 471.46/461.55 c cleaning 8274 clauses out of 16553 with flag 0/84616 541.02/531.05 c cleaning 9126 clauses out of 18279 with flag 0/94616 617.47/607.41 c cleaning 10052 clauses out of 20153 with flag 0/105616 725.59/715.45 c cleaning 11037 clauses out of 22102 with flag 0/117617 878.29/867.70 c cleaning 12009 clauses out of 24064 with flag 0/130616 893.70/883.06 c Got one! Elapsed wall clock time (in seconds):882.678 893.70/883.06 o 93 900.88/890.21 c Got one! Elapsed wall clock time (in seconds):889.823 900.88/890.21 o 92 937.76/926.70 c Got one! Elapsed wall clock time (in seconds):926.318 937.76/926.70 o 91 949.86/938.82 c cleaning 9536 clauses out of 19087 with flag 0/137648 996.64/985.58 c cleaning 7764 clauses out of 15552 with flag 0/143649 1043.53/1032.42 c cleaning 7375 clauses out of 14787 with flag 0/150648 1091.88/1080.82 c cleaning 7687 clauses out of 15415 with flag 0/158651 1150.68/1139.61 c cleaning 8335 clauses out of 16725 with flag 0/167648 1231.54/1220.40 c cleaning 9193 clauses out of 18392 with flag 0/177650 1326.69/1318.12 c cleaning 10094 clauses out of 20197 with flag 0/188648 1378.23/1369.66 c Got one! Elapsed wall clock time (in seconds):1369.28 1378.23/1369.66 o 90 1427.90/1419.03 c cleaning 11282 clauses out of 22626 with flag 0/201171 1436.44/1427.65 c Got one! Elapsed wall clock time (in seconds):1427.265 1436.44/1427.65 o 86 1466.40/1457.49 c cleaning 8165 clauses out of 16367 with flag 0/206194 1498.37/1489.38 c cleaning 7097 clauses out of 14202 with flag 0/212194 1529.60/1520.54 c cleaning 7039 clauses out of 14107 with flag 0/219196 1580.77/1571.72 c cleaning 7512 clauses out of 15065 with flag 0/227193 1656.22/1647.12 c cleaning 8269 clauses out of 16554 with flag 0/236194 1755.78/1746.70 c cleaning 9112 clauses out of 18285 with flag 0/246194 1869.63/1860.55 c cleaning 10082 clauses out of 20173 with flag 0/257194 1990.50/1984.24 c cleaning 11038 clauses out of 22091 with flag 0/269194 2118.83/2112.50 c cleaning 12026 clauses out of 24055 with flag 0/282196 2279.16/2272.72 c cleaning 12999 clauses out of 26027 with flag 0/296194 2445.98/2439.09 c cleaning 13990 clauses out of 28027 with flag 0/311193 2474.52/2467.34 c Got one! Elapsed wall clock time (in seconds):2466.955 2474.52/2467.34 o 85 2500.27/2492.10 c cleaning 9830 clauses out of 19713 with flag 0/316869 2549.24/2540.55 c cleaning 7890 clauses out of 15884 with flag 0/322870 2598.49/2589.73 c cleaning 7424 clauses out of 14994 with flag 0/329870 2655.75/2646.91 c cleaning 7746 clauses out of 15569 with flag 0/337869 2726.22/2719.86 c cleaning 8366 clauses out of 16823 with flag 0/346869 2807.27/2806.62 c cleaning 9199 clauses out of 18458 with flag 0/356870 2916.51/2915.93 c cleaning 10113 clauses out of 20259 with flag 0/367870 3019.48/3018.91 c cleaning 11052 clauses out of 22145 with flag 0/379869 3162.83/3161.77 c cleaning 12026 clauses out of 24094 with flag 0/392870 3309.28/3308.47 c cleaning 13027 clauses out of 26068 with flag 0/406870 3401.68/3399.83 c Got one! Elapsed wall clock time (in seconds):3399.452 3401.68/3399.83 o 84 3482.51/3480.99 c cleaning 13744 clauses out of 27503 with flag 0/421332 3540.78/3539.03 c cleaning 9862 clauses out of 19760 with flag 0/427333 3589.13/3589.87 c cleaning 8440 clauses out of 16900 with flag 0/434335 3600.07/3600.74 c starts : 36 3600.07/3600.77 c conflicts : 437107 3600.07/3600.77 c decisions : 487358 3600.07/3600.77 c propagations : 61763886 3600.07/3600.77 c inspects : 3350049575 3600.07/3600.78 c shortcuts : 0 3600.07/3600.78 c learnt literals : 0 3600.07/3600.78 c learnt binary clauses : 207 3600.07/3600.78 c learnt ternary clauses : 7 3600.07/3600.78 c learnt constraints : 437106 3600.07/3600.78 c ignored constraints : 0 3600.07/3600.78 c root simplifications : 0 3600.07/3600.78 c removed literals (reason simplification) : 0 3600.07/3600.78 c reason swapping (by a shorter reason) : 0 3600.07/3600.79 c Calls to reduceDB : 48 3600.07/3600.79 c Number of update (reduction) of LBD : 579356 3600.07/3600.79 c Imported unit clauses : 0 3600.07/3600.79 c No decision after first conflict : false 3600.07/3600.79 c number of reductions to clauses (during analyze) : 0 3600.07/3600.79 c number of learned constraints concerned by reduction : 0 3600.07/3600.79 c number of learning phase by resolution : 0 3600.07/3600.79 c number of learning phase by cutting planes : 0 3600.07/3600.79 c number of rounding to 1 operations : 0 3600.07/3600.79 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3600.79 c number of reductions of the coefficients by power 2 : 0 3600.07/3600.79 c number of right shift for reduction by power 2 : 0 3600.07/3600.79 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3600.79 c number of ending skipping : 0 3600.07/3600.79 c number of internal skipping : 0 3600.07/3600.79 c number of derivation steps : 4680698 3600.07/3600.79 c number of skipped derivation steps : 0 3600.07/3600.80 c number of remaining unassigned : 31417 3600.07/3600.80 c number of remaining assigned : 55552002 3600.07/3600.80 c number of falsified literals weakened from reason : 0 3600.07/3600.80 c number of falsified literals weakened from conflict : 0 3600.07/3600.80 c time for arithmetic operations : 7611301712 3600.07/3600.80 c minimum degree of deleted constraints : 1 3600.07/3600.80 c maximum degree of deleted constraints : 343081899497516813522028 3600.07/3600.80 c number of deleted constraints : 425875 3600.27/3600.80 c speed (assignments/second) : 17157.35465570917 3600.27/3600.80 c non guided choices : 5733 3600.27/3600.81 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.27/3600.83 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984) 3600.27/3600.83 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130) 3600.27/3600.83 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121) 3600.27/3600.83 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181) 3600.27/3600.83 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.27/3600.83 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.27/3600.83 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: 63794 MiB (58707 MiB free)
memory of node 1: 64507 MiB (57802 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490847-1751382475/watcher-4490847-1751382475 -o /tmp/evaluation-result-4490847-1751382475/solver-4490847-1751382475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751375226-51561 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490847-1751382475 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4490847-1751382475.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=52673, runsolver pid=52670
[startup+0.100072 s]*
/proc/loadavg: 4.23 4.32 4.34 6/329 52691
/proc/meminfo: memFree=119297436/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=18930384 memory=48348 CPUtime=0.11 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 5782 0 0 0 9 2 0 0 20 0 18 0 53926443 19384713216 12087 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4732596 12087 5307 1 0 547011 0
[pid=52673/tid=52675] ppid=52670 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 4668 0 0 0 6 1 0 0 20 0 18 0 53926445 19384713216 12087 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53926450 19384713216 12087 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=18930384 memory=61792617516369 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 53926451 19384713216 12087 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48348 KiB
[startup+0.213952 s]*
/proc/loadavg: 4.23 4.32 4.34 6/329 52691
/proc/meminfo: memFree=119295672/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=18930384 memory=55432 CPUtime=0.3 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 6517 0 0 0 27 3 0 0 20 0 18 0 53926443 19384713216 13858 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4732596 13858 5339 1 0 547603 0
[pid=52673/tid=52675] ppid=52670 vsize=18930384 memory=4026663196 CPUtime=0.19 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 5038 0 0 0 17 2 0 0 20 0 18 0 53926445 19384713216 13858 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53926450 19384713216 13858 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 53926451 19384713216 13858 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55432 KiB
[startup+0.31826 s]*
/proc/loadavg: 4.23 4.32 4.34 7/329 52691
/proc/meminfo: memFree=119291072/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=18930384 memory=58980 CPUtime=0.48 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 6824 0 0 0 44 4 0 0 20 0 18 0 53926443 19384713216 14745 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4732596 14745 5435 1 0 547828 0
[pid=52673/tid=52675] ppid=52670 vsize=18930384 memory=-6000919507032631914 CPUtime=0.29 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 5241 0 0 0 26 3 0 0 20 0 18 0 53926445 19384713216 14745 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53926450 19384713216 14745 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 53926451 19384713216 14809 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58980 KiB
[startup+0.700331 s]
/proc/loadavg: 4.23 4.32 4.34 7/329 52691
/proc/meminfo: memFree=119281568/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=18930384 memory=91740 CPUtime=1.17 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 8261 0 0 0 111 6 0 0 20 0 18 0 53926443 19384713216 22935 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4732596 22935 5435 1 0 548674 0
[pid=52673/tid=52675] ppid=52670 vsize=18930384 memory=17792 CPUtime=0.65 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 5408 0 0 0 62 3 0 0 20 0 18 0 53926445 19384713216 22935 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53926450 19384713216 22935 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 53926451 19384713216 22935 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 91740 KiB
[startup+1.50029 s]
/proc/loadavg: 4.23 4.32 4.34 6/330 52692
/proc/meminfo: memFree=119204376/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=166944 CPUtime=2.72 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 14900 0 0 0 262 10 0 0 20 0 20 0 53926443 19521036288 41736 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 41736 5531 1 0 550570 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=3200 CPUtime=1.26 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 6896 0 0 0 121 5 0 0 20 0 20 0 53926445 19521036288 41736 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 41736 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 41736 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 41736 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166944 KiB
[startup+3.10579 s]
/proc/loadavg: 4.23 4.32 4.34 6/331 52693
/proc/meminfo: memFree=118917696/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=432884 CPUtime=5.9 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 25960 0 0 0 572 18 0 0 20 0 20 0 53926443 19521036288 108221 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 108221 5531 1 0 555844 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=14720 CPUtime=2.8 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 7622 0 0 0 269 11 0 0 20 0 20 0 53926445 19521036288 108221 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 108221 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 108221 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 108221 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 432884 KiB
[startup+6.30024 s]
/proc/loadavg: 4.29 4.33 4.35 6/331 52693
/proc/meminfo: memFree=118057600/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=1314264 CPUtime=11.86 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 29688 0 0 0 1148 38 0 0 20 0 20 0 53926443 19521036288 328566 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 328566 5531 1 0 556284 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=0 CPUtime=5.91 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 8578 0 0 0 562 29 0 0 20 0 20 0 53926445 19521036288 328566 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 328566 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 328566 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=167072 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 328566 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 11.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314264 KiB
[startup+12.7005 s]
/proc/loadavg: 4.27 4.32 4.35 5/331 52693
/proc/meminfo: memFree=118008864/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=1324580 CPUtime=18.41 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 34516 0 0 0 1801 40 0 0 20 0 20 0 53926443 19521036288 331145 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 331145 5531 1 0 556335 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=167072 CPUtime=12.21 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 10231 0 0 0 1191 30 0 0 20 0 20 0 53926445 19521036288 331145 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=1324452 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 331145 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 331145 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 331145 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 18.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1324580 KiB
[startup+25.5005 s]
/proc/loadavg: 4.21 4.31 4.34 5/331 52694
/proc/meminfo: memFree=117569176/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=1748616 CPUtime=32.36 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 46140 0 0 0 3183 53 0 0 20 0 20 0 53926443 19521036288 437154 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 437154 5531 1 0 663623 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=0 CPUtime=24.67 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 13640 0 0 0 2427 40 0 0 20 0 20 0 53926445 19521036288 437154 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 437154 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=1748616 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 437154 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=1748488 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 437154 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 32.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1748616 KiB
[startup+51.1135 s]
/proc/loadavg: 4.32 4.33 4.35 5/331 52694
/proc/meminfo: memFree=116978208/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=2260148 CPUtime=59 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 53111 0 0 0 5832 68 0 0 20 0 20 0 53926443 19521036288 565037 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 565037 5531 1 0 791062 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=1748616 CPUtime=49.89 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 15429 0 0 0 4937 52 0 0 20 0 20 0 53926445 19521036288 565037 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 565037 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 565037 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.31 4.33 4.32 5/328 52927
/proc/meminfo: memFree=113473832/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=2924520 CPUtime=3282.9 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 127106 0 0 0 327851 439 0 0 20 0 20 0 53926443 19521036288 731130 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 731130 5563 1 0 791433 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=2916328 CPUtime=3215.06 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 61351 0 0 0 321327 179 0 0 20 0 20 0 53926445 19521036288 731130 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 731130 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=2924520 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 1686 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 731130 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 731130 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 3282.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2924520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.28 4.30 4/303 52963
/proc/meminfo: memFree=117628464/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=2934776 CPUtime=3343.47 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 127369 0 0 0 333902 445 0 0 20 0 20 0 53926443 19521036288 733694 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 733694 5563 1 0 791433 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=2934776 CPUtime=3274.01 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 61505 0 0 0 327219 182 0 0 20 0 20 0 53926445 19521036288 733694 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=2928616 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 733694 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=2908052 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 1763 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 733694 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=2934776 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 733694 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 3343.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2934776 KiB
[startup+3402.3 s]
/proc/loadavg: 3.44 4.06 4.22 4/303 52965
/proc/meminfo: memFree=117053460/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=3470536 CPUtime=3404.17 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 129777 0 0 0 339951 466 0 0 20 0 20 0 53926443 19521036288 867634 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 867634 5563 1 0 925111 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=2940932 CPUtime=3332.42 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 63474 0 0 0 333045 197 0 0 20 0 20 0 53926445 19521036288 867634 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 867634 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 1763 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 867634 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=3470536 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 867634 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 3404.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3470536 KiB
[startup+3462.3 s]
/proc/loadavg: 3.32 3.91 4.16 4/303 52967
/proc/meminfo: memFree=116996396/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=3483124 CPUtime=3465.08 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 131986 0 0 0 346036 472 0 0 20 0 20 0 53926443 19521036288 870781 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 870781 5563 1 0 925193 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=2940932 CPUtime=3391.53 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 64829 0 0 0 338954 199 0 0 20 0 20 0 53926445 19521036288 870781 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 870781 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 1903 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 870781 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=3483124 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 870781 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 3465.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3483124 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.74 4.08 3/276 53004
/proc/meminfo: memFree=122215164/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=3493364 CPUtime=3524.01 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 133706 0 0 0 351921 480 0 0 20 0 20 0 53926443 19521036288 873341 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 873341 5563 1 0 925193 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=3479020 CPUtime=3449.38 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 65817 0 0 0 344736 202 0 0 20 0 20 0 53926445 19521036288 873341 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=3479020 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 873341 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 1903 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 873341 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=4892 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 873341 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 3524.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3493364 KiB
[startup+3582.3 s]
/proc/loadavg: 2.50 3.45 3.96 3/276 53006
/proc/meminfo: memFree=122178972/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=3501564 CPUtime=3581.6 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 134219 0 0 0 357673 487 0 0 20 0 20 0 53926443 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 875391 5563 1 0 925193 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=3479020 CPUtime=3506.23 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 66236 0 0 0 350419 204 0 0 20 0 20 0 53926445 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 3581.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3501564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3600.7 s]
/proc/loadavg: 2.36 3.36 3.92 3/276 53007
/proc/meminfo: memFree=122165296/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19063512 memory=3501564 CPUtime=3600.07 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 134671 0 0 0 359518 489 0 0 20 0 20 0 53926443 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4765878 875391 5563 1 0 925193 0
[pid=52673/tid=52675] ppid=52670 vsize=19063512 memory=3497460 CPUtime=3524.46 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 66666 0 0 0 352241 205 0 0 20 0 20 0 53926445 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53926450 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19063512 memory=3501564 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 20 0 53926451 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52692] ppid=52670 vsize=19063512 memory=8142567715484468638 CPUtime=0 cores=0,2
/proc/52673/task/52692/stat : 52692 (Timer-0) S 52670 52673 51551 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53926539 19521036288 875391 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3501564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3600.84 s]
# the end of solver process 52673 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.4 s, system=4.9111 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3600.81 s]
/proc/loadavg: 2.36 3.36 3.92 3/276 53007
/proc/meminfo: memFree=122165296/131382112 swapFree=33010160/33010684
[pid=52673] ppid=52670 vsize=19263204 memory=3502332 CPUtime=3600.27 cores=0,2
/proc/52673/stat : 52673 (java) S 52670 52673 51551 0 -1 4194304 136955 0 0 0 359538 489 0 0 20 0 21 0 53926443 19725520896 875583 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
/proc/52673/statm: 4815801 875583 5563 1 0 926176 0
[pid=52673/tid=52675] ppid=52670 vsize=19263204 memory=-6000919507032631914 CPUtime=3524.57 cores=0,2
/proc/52673/task/52675/stat : 52675 (java) R 52670 52673 51551 0 -1 4194368 66835 0 0 0 352252 205 0 0 20 0 21 0 53926445 19725520896 875583 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52684] ppid=52670 vsize=19263204 memory=4892 CPUtime=0 cores=0,2
/proc/52673/task/52684/stat : 52684 (Finalizer) S 52670 52673 51551 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53926450 19725520896 875583 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
[pid=52673/tid=52691] ppid=52670 vsize=19263204 memory=2764 CPUtime=0 cores=0,2
/proc/52673/task/52691/stat : 52691 (Common-Cleaner) S 52670 52673 51551 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 21 0 53926451 19725520896 875583 18446744073709551615 94083283517440 94083283521136 140722596541872 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94083283528952 94083283529744 94083303063552 140722596546861 140722596547046 140722596547046 140722596552648 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3502332 KiB
Child status: 143
Real time (s): 3600.84
CPU time (s): 3600.32
CPU user time (s): 3595.4
CPU system time (s): 4.9111
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3502332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.4
system time used= 4.9111
maximum resident set size= 3502588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137294
page faults= 0
swaps= 0
block input operations= 8
block output operations= 731008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146662
involuntary context switches= 16040
# summary of solver processes directly reported to runsolver:
# pid: 52673
# total CPU time (s): 3600.32
# total CPU user time (s): 3595.4
# total CPU system time (s): 4.9111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8732 second user time and 39.5525 second system time
The end
Begin job on nodeC001 at 2025-07-01 17:07:56 IDJOB=4490847 IDBENCH=147623 IDSOLVER=3362 FILE ID=nodeC001/4490847-1751382475 RUNJOBID= nodeC001-1751375226-51561 SLURM_JOB_ID= 9598212 Free space on /tmp= 433048 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490847-1751382475/watcher-4490847-1751382475 -o /tmp/evaluation-result-4490847-1751382475/solver-4490847-1751382475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751375226-51561 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490847-1751382475 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4490847-1751382475.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 615ef0f28fa6784c486981c328c6a987 RANDOM SEED=1535879178 nodeC001 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.246 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.488 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.49 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.165 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.49 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.450 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.49 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 : 3491.730 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.500 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.49 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 : 3700.000 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.49 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.163 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 119305432 kB MemAvailable: 119765972 kB Buffers: 2128 kB Cached: 1264568 kB SwapCached: 28 kB Active: 10540924 kB Inactive: 965584 kB Active(anon): 10247444 kB Inactive(anon): 10380 kB Active(file): 293480 kB Inactive(file): 955204 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5324 kB Writeback: 12 kB AnonPages: 10242968 kB Mapped: 122684 kB Shmem: 17932 kB KReclaimable: 102580 kB Slab: 186308 kB SReclaimable: 102580 kB SUnreclaim: 83728 kB KernelStack: 5008 kB PageTables: 23652 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 14040904 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 9998336 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: 195400 kB DirectMap2M: 9144320 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433056 MiB End job on nodeC001 at 2025-07-01 18:07:57