Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | ? (TO) | 3604.1 | 1957.25 |
| Name | PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb |
| MD5SUM | 5ce1114e3b3a499c171804227c280ba1 |
| 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 | 1528537 |
| Best CPU time to get the best result obtained on this benchmark | 72002 |
| 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 | 108768 |
| Total number of constraints | 322185 |
| Number of constraints which are clauses | 215832 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 106352 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 108766 |
| Biggest coefficient in the objective function | 2605924 |
| Number of bits for the biggest coefficient in the objective function | 22 |
| Sum of the numbers in the objective function | 22928794 |
| Number of bits of the sum of numbers in the objective function | 25 |
| Biggest number in a constraint | 2605924 |
| Number of bits of the biggest number in a constraint | 22 |
| Biggest sum of numbers in a constraint | 22928794 |
| Number of bits of the biggest sum of numbers | 25 |
| 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.15 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.15 c See www.sat4j.org for details. 0.11/0.16 c version PB25.v20250606 0.11/0.18 c java.runtime.name OpenJDK Runtime Environment 0.11/0.18 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.18 c java.vm.version 22.0.1+8-16 0.11/0.19 c java.vm.vendor Oracle Corporation 0.11/0.19 c sun.arch.data.model 64 0.11/0.19 c java.version 22.0.1 0.11/0.19 c os.name Linux 0.11/0.19 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.11/0.19 c os.arch amd64 0.11/0.19 c Free memory 2104792832 0.11/0.19 c Max memory 16282288128 0.11/0.19 c Total memory 2113929216 0.11/0.20 c Number of processors 2 0.28/0.31 c Pseudo Boolean Optimization by upper bound 0.28/0.31 c --- Begin Solver configuration --- 0.28/0.31 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.28/0.31 c Learn all clauses as in MiniSAT 0.28/0.31 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.28/0.31 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.28/0.31 c Expensive reason simplification 0.28/0.31 c Glucose 2.1 dynamic restart strategy 0.28/0.31 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.28/0.31 c timeout=2147483s 0.28/0.31 c DB Simplification allowed=false 0.28/0.31 c Listener: none 0.28/0.31 c --- End Solver configuration --- 0.28/0.32 c solving HOME/instance-4508743-1751516288.opb 0.28/0.32 c reading problem ... 0.43/0.33 c using VERIPB proof format 0.43/0.34 c objective function found 4.21/2.38 c ... done. Wall clock time 2.051s. 4.21/2.38 c declared #vars 108768 4.21/2.38 c #constraints 322186 4.21/2.38 c constraints type 4.21/2.38 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 106352 4.21/2.38 c org.sat4j.specs.Constr$1 => 1 4.21/2.38 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 215832 4.21/2.38 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 4.21/2.38 c 322186 constraints processed. 4.40/2.40 c objective function length is 108766 literals 5.37/2.98 c SATISFIABLE 5.37/2.98 c OPTIMIZING... 5.37/2.98 c Got one! Elapsed wall clock time (in seconds):2.655 5.37/2.98 o 1909437 6.15/3.34 c Got one! Elapsed wall clock time (in seconds):3.017 6.15/3.34 o 1909429 6.75/3.61 c Got one! Elapsed wall clock time (in seconds):3.29 6.75/3.61 o 1909425 7.73/4.15 c Got one! Elapsed wall clock time (in seconds):3.823 7.73/4.15 o 1909396 8.12/4.31 c Got one! Elapsed wall clock time (in seconds):3.987 8.12/4.31 o 1909266 8.51/4.56 c Got one! Elapsed wall clock time (in seconds):4.233 8.51/4.56 o 1909258 8.91/4.73 c Got one! Elapsed wall clock time (in seconds):4.403 8.91/4.73 o 1909254 10.02/5.34 c Got one! Elapsed wall clock time (in seconds):5.017 10.02/5.34 o 1909164 10.35/5.50 c Got one! Elapsed wall clock time (in seconds):5.172 10.35/5.50 o 1909147 10.45/5.67 c Got one! Elapsed wall clock time (in seconds):5.344 10.45/5.67 o 1909139 10.81/5.91 c Got one! Elapsed wall clock time (in seconds):5.584 10.81/5.91 o 1909135 11.14/6.24 c Got one! Elapsed wall clock time (in seconds):5.914 11.14/6.24 o 1909106 11.24/6.38 c Got one! Elapsed wall clock time (in seconds):6.055 11.24/6.38 o 1908976 11.61/6.61 c Got one! Elapsed wall clock time (in seconds):6.285 11.61/6.61 o 1908968 11.71/6.76 c Got one! Elapsed wall clock time (in seconds):6.432 11.71/6.76 o 1908964 13.35/8.22 c Got one! Elapsed wall clock time (in seconds):7.895 13.35/8.22 o 1908779 13.96/8.71 c Got one! Elapsed wall clock time (in seconds):8.387 13.96/8.71 o 1908674 14.16/8.90 c Got one! Elapsed wall clock time (in seconds):8.573 14.16/8.90 o 1908664 14.37/9.16 c Got one! Elapsed wall clock time (in seconds):8.832 14.37/9.16 o 1908656 14.65/9.33 c Got one! Elapsed wall clock time (in seconds):9.007 14.65/9.33 o 1908652 15.35/9.92 c Got one! Elapsed wall clock time (in seconds):9.59 15.35/9.92 o 1908362 18.31/12.69 c Got one! Elapsed wall clock time (in seconds):12.366 18.31/12.69 o 1908191 19.18/13.36 c Got one! Elapsed wall clock time (in seconds):13.037 19.18/13.36 o 1908185 19.75/13.70 c Got one! Elapsed wall clock time (in seconds):13.372 19.75/13.70 o 1908107 19.85/13.87 c Got one! Elapsed wall clock time (in seconds):13.546 19.85/13.87 o 1908099 20.06/14.03 c Got one! Elapsed wall clock time (in seconds):13.702 20.06/14.03 o 1908095 20.34/14.34 c Got one! Elapsed wall clock time (in seconds):14.016 20.34/14.34 o 1907946 20.54/14.50 c Got one! Elapsed wall clock time (in seconds):14.174 20.54/14.50 o 1907936 20.64/14.68 c Got one! Elapsed wall clock time (in seconds):14.351 20.64/14.68 o 1907928 20.84/14.83 c Got one! Elapsed wall clock time (in seconds):14.509 20.84/14.83 o 1907924 31.40/24.27 c Got one! Elapsed wall clock time (in seconds):23.947 31.40/24.27 o 1907680 34.01/26.52 c Got one! Elapsed wall clock time (in seconds):26.195 34.01/26.52 o 1907660 35.29/27.62 c Got one! Elapsed wall clock time (in seconds):27.293 35.29/27.62 o 1907649 35.58/27.93 c Got one! Elapsed wall clock time (in seconds):27.609 35.58/27.93 o 1907636 35.88/28.21 c Got one! Elapsed wall clock time (in seconds):27.887 35.88/28.21 o 1907628 36.08/28.46 c Got one! Elapsed wall clock time (in seconds):28.135 36.08/28.46 o 1907624 56.94/46.98 c Got one! Elapsed wall clock time (in seconds):46.651 56.94/46.98 o 1907621 59.52/49.30 c Got one! Elapsed wall clock time (in seconds):48.979 59.52/49.30 o 1907581 60.82/50.53 c Got one! Elapsed wall clock time (in seconds):50.205 60.82/50.53 o 1907525 149.84/130.35 c Got one! Elapsed wall clock time (in seconds):130.026 149.84/130.35 o 1907511 155.48/135.29 c Got one! Elapsed wall clock time (in seconds):134.965 155.48/135.29 o 1907431 156.30/135.98 c Got one! Elapsed wall clock time (in seconds):135.651 156.30/135.98 o 1907415 156.54/136.14 c Got one! Elapsed wall clock time (in seconds):135.812 156.54/136.14 o 1907395 277.51/211.61 c Got one! Elapsed wall clock time (in seconds):211.283 277.51/211.61 o 1907358 294.59/220.20 c Got one! Elapsed wall clock time (in seconds):219.874 294.59/220.20 o 1907353 298.83/222.50 c Got one! Elapsed wall clock time (in seconds):222.173 298.83/222.50 o 1907317 299.03/222.73 c Got one! Elapsed wall clock time (in seconds):222.402 299.03/222.73 o 1907314 299.24/222.90 c Got one! Elapsed wall clock time (in seconds):222.58 299.24/222.91 o 1907297 350.06/252.41 c cleaning 3811 clauses out of 7624 with flag 2308/7624 371.99/267.32 c Got one! Elapsed wall clock time (in seconds):266.997 371.99/267.32 o 1907283 374.77/268.72 c Got one! Elapsed wall clock time (in seconds):268.392 374.77/268.72 o 1907273 374.97/268.89 c Got one! Elapsed wall clock time (in seconds):268.565 374.97/268.89 o 1907167 662.43/440.61 c cleaning 4670 clauses out of 9344 with flag 11099/13155
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 (61460 MiB free)
memory of node 1: 64507 MiB (63542 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508743-1751516288/watcher-4508743-1751516288 -o /tmp/evaluation-result-4508743-1751516288/solver-4508743-1751516288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73983 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4508743-1751516288 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4508743-1751516288.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=74555, runsolver pid=74552
[startup+0.100071 s]*
/proc/loadavg: 1.61 2.93 3.73 9/324 74573
/proc/meminfo: memFree=127982748/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=18930384 memory=48424 CPUtime=0.11 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 5816 0 0 0 9 2 0 0 20 0 18 0 67307711 19384713216 12106 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4732596 12106 5305 1 0 547009 0
[pid=74555/tid=74557] ppid=74552 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 4710 0 0 0 5 1 0 0 20 0 18 0 67307713 19384713216 12106 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67307717 19384713216 12106 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=18930384 memory=61792617516369 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67307718 19384713216 12106 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48424 KiB
[startup+0.214017 s]*
/proc/loadavg: 1.61 2.93 3.73 8/325 74574
/proc/meminfo: memFree=127980732/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=18930384 memory=55620 CPUtime=0.28 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 6542 0 0 0 25 3 0 0 20 0 18 0 67307711 19384713216 13905 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4732596 13905 5337 1 0 547595 0
[pid=74555/tid=74557] ppid=74552 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 5041 0 0 0 15 2 0 0 20 0 18 0 67307713 19384713216 13905 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67307717 19384713216 13905 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67307718 19384713216 13905 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55620 KiB
[startup+0.316233 s]*
/proc/loadavg: 1.61 2.93 3.73 8/325 74574
/proc/meminfo: memFree=127976412/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=18930384 memory=59024 CPUtime=0.43 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 6813 0 0 0 40 3 0 0 20 0 18 0 67307711 19384713216 14756 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4732596 14756 5433 1 0 547771 0
[pid=74555/tid=74557] ppid=74552 vsize=18930384 memory=-6000919498476316776 CPUtime=0.25 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 5198 0 0 0 23 2 0 0 20 0 18 0 67307713 19384713216 14756 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67307717 19384713216 14756 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67307718 19384713216 14756 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59024 KiB
[startup+0.70039 s]
/proc/loadavg: 1.61 2.93 3.73 8/325 74574
/proc/meminfo: memFree=127937848/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=18930384 memory=113072 CPUtime=1.13 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 9252 0 0 0 107 6 0 0 20 0 18 0 67307711 19384713216 28268 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4732596 28268 5433 1 0 549423 0
[pid=74555/tid=74557] ppid=74552 vsize=18930384 memory=18560 CPUtime=0.59 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 5254 0 0 0 55 4 0 0 20 0 18 0 67307713 19384713216 28268 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67307717 19384713216 28268 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67307718 19384713216 28268 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113072 KiB
[startup+1.50033 s]
/proc/loadavg: 1.61 2.93 3.73 8/327 74576
/proc/meminfo: memFree=127752224/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=18996948 memory=203564 CPUtime=2.66 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 15263 0 0 0 256 10 0 0 20 0 19 0 67307711 19452874752 50891 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4749237 50891 5465 1 0 553110 0
[pid=74555/tid=74557] ppid=74552 vsize=18996948 memory=3200 CPUtime=1.21 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 5316 0 0 0 116 5 0 0 20 0 19 0 67307713 19452874752 50891 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67307717 19452874752 50891 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67307718 19452874752 50891 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 203564 KiB
[startup+3.10645 s]
/proc/loadavg: 2.04 3.00 3.75 7/328 74577
/proc/meminfo: memFree=126812676/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=496352 CPUtime=5.77 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 19898 0 0 0 557 20 0 0 20 0 21 0 67307711 19589197824 124088 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 124088 5497 1 0 1082320 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=11264 CPUtime=2.5 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 5613 0 0 0 239 11 0 0 20 0 21 0 67307713 19589197824 124088 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 124088 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 124088 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=5276 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 124088 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 496352 KiB
[startup+6.30025 s]
/proc/loadavg: 2.04 3.00 3.75 4/307 74600
/proc/meminfo: memFree=125470856/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=971408 CPUtime=11.24 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 21271 0 0 0 1091 33 0 0 20 0 21 0 67307711 19589197824 242852 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 242852 5529 1 0 1771744 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=0 CPUtime=5.43 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 5817 0 0 0 524 19 0 0 20 0 21 0 67307713 19589197824 242852 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=495584 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 242852 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 242852 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=-6000919498476316776 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 242852 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 11.24 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 971408 KiB
[startup+12.7005 s]
/proc/loadavg: 2.28 3.03 3.76 6/329 74645
/proc/meminfo: memFree=122944056/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=2125348 CPUtime=18.41 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 23047 0 0 0 1775 66 0 0 20 0 21 0 67307711 19589197824 531337 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 531337 5529 1 0 2116446 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=5632 CPUtime=11.12 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 6417 0 0 0 1068 44 0 0 20 0 21 0 67307713 19589197824 531337 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=775700 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 531337 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 531337 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 531337 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 18.41 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 2125348 KiB
[startup+25.5004 s]
/proc/loadavg: 2.88 3.13 3.78 5/331 74648
/proc/meminfo: memFree=110714712/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=5289640 CPUtime=32.86 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 31746 0 0 0 3131 155 0 0 20 0 21 0 67307711 19589197824 1322410 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 1322410 5529 1 0 3079443 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=775700 CPUtime=21.97 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 8814 0 0 0 2090 107 0 0 20 0 21 0 67307713 19589197824 1322410 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 1322410 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=204076 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 1322410 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=18560 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 1322410 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 32.86 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5289640 KiB
[startup+51.1077 s]
/proc/loadavg: 3.45 3.25 3.80 6/331 74648
/proc/meminfo: memFree=97494792/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=9605644 CPUtime=61.42 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 36749 0 0 0 5868 274 0 0 20 0 21 0 67307711 19589197824 2401411 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 2401411 5529 1 0 3791824 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=7799984 CPUtime=43.33 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) R 74552 74555 73970 0 -1 4194368 10349 0 0 0 4140 193 0 0 20 0 21 0 67307713 19589197824 2401411 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=9108952 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 2401411 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=14720 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 2401411 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 2401411 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
################
# More data... #
################
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 314506 0 0 0 312547 1305 0 0 20 0 21 0 67307711 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 4073302 5561 1 0 4086551 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=16293080 CPUtime=493.4 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) S 74552 74555 73970 0 -1 4194368 50890 0 0 0 48511 829 0 0 20 0 21 0 67307713 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=16293080 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=16293080 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 211 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=11264 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 3138.52 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16293208 KiB
[startup+1782.3 s]
/proc/loadavg: 6.46 6.39 5.91 7/332 74740
/proc/meminfo: memFree=44639664/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=16293208 CPUtime=3257.35 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 322823 0 0 0 324421 1314 0 0 20 0 21 0 67307711 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 4073302 5561 1 0 4086551 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=16293080 CPUtime=493.47 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) S 74552 74555 73970 0 -1 4194368 51087 0 0 0 48518 829 0 0 20 0 21 0 67307713 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=16293208 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=14720 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 217 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=18560 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 4073302 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 3257.35 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16293208 KiB
[startup+1842.3 s]
/proc/loadavg: 6.40 6.39 5.94 7/332 74744
/proc/meminfo: memFree=43223208/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=16293200 CPUtime=3376.16 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 331159 0 0 0 336294 1322 0 0 20 0 21 0 67307711 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 4073300 5561 1 0 4086551 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=16293080 CPUtime=493.55 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) S 74552 74555 73970 0 -1 4194368 51208 0 0 0 48526 829 0 0 20 0 21 0 67307713 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=16293208 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=16293072 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 223 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=16293200 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 3376.16 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16293200 KiB
[startup+1902.3 s]
/proc/loadavg: 5.82 6.22 5.91 6/332 74809
/proc/meminfo: memFree=64740080/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=16293200 CPUtime=3495.11 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 339948 0 0 0 348185 1326 0 0 20 0 21 0 67307711 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 4073300 5561 1 0 4086551 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=16293200 CPUtime=493.57 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) S 74552 74555 73970 0 -1 4194368 51725 0 0 0 48528 829 0 0 20 0 21 0 67307713 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=16293208 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 229 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=14720 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 4073300 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 3495.11 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16293200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1955.2 s]
/proc/loadavg: 5.57 6.08 5.88 7/332 74811
/proc/meminfo: memFree=60643024/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=16293172 CPUtime=3600.06 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 347388 0 0 0 358676 1330 0 0 20 0 21 0 67307711 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 4073293 5561 1 0 4086551 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=16293172 CPUtime=493.62 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) S 74552 74555 73970 0 -1 4194368 51725 0 0 0 48533 829 0 0 20 0 21 0 67307713 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=279506137400744 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=23532 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 229 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=4352 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16293172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1957.25 s]
# the end of solver process 74555 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3590.75 s, system=13.3499 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1956 s]*
/proc/loadavg: 5.57 6.08 5.88 6/332 74812
/proc/meminfo: memFree=60438400/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=16293172 CPUtime=3601.66 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 347425 0 0 0 358836 1330 0 0 20 0 21 0 67307711 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 4073293 5561 1 0 4086551 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=-6000919485540952168 CPUtime=493.62 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) S 74552 74555 73970 0 -1 4194368 51725 0 0 0 48533 829 0 0 20 0 21 0 67307713 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=23532 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=4352 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 229 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=1792 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 3601.66 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16293172 KiB
[startup+1956.8 s]
/proc/loadavg: 5.57 6.08 5.88 6/332 74812
/proc/meminfo: memFree=60438400/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=16293172 CPUtime=3603.24 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 347432 0 0 0 358994 1330 0 0 20 0 21 0 67307711 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 4073293 5561 1 0 4086551 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=-6000919498476316776 CPUtime=493.62 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) S 74552 74555 73970 0 -1 4194368 51725 0 0 0 48533 829 0 0 20 0 21 0 67307713 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=16293172 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=6768 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 229 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=16293172 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 3603.24 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16293172 KiB
[startup+1957.2 s]
/proc/loadavg: 5.57 6.08 5.88 6/332 74812
/proc/meminfo: memFree=60414208/131382112 swapFree=33009904/33010684
[pid=74555] ppid=74552 vsize=19130076 memory=16293172 CPUtime=3604.03 cores=5,7
/proc/74555/stat : 74555 (java) S 74552 74555 73970 0 -1 4194304 347432 0 0 0 359073 1330 0 0 20 0 21 0 67307711 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
/proc/74555/statm: 4782519 4073293 5561 1 0 4086551 0
[pid=74555/tid=74557] ppid=74552 vsize=19130076 memory=7092 CPUtime=493.62 cores=5,7
/proc/74555/task/74557/stat : 74557 (java) S 74552 74555 73970 0 -1 4194368 51725 0 0 0 48533 829 0 0 20 0 21 0 67307713 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74566] ppid=74552 vsize=19130076 memory=-6000919498476316776 CPUtime=0 cores=5,7
/proc/74555/task/74566/stat : 74566 (Finalizer) S 74552 74555 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307717 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74573] ppid=74552 vsize=19130076 memory=245635481903 CPUtime=0 cores=5,7
/proc/74555/task/74573/stat : 74573 (Common-Cleaner) S 74552 74555 73970 0 -1 4194368 229 0 0 0 0 0 0 0 20 0 21 0 67307718 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
[pid=74555/tid=74577] ppid=74552 vsize=19130076 memory=55212677268211 CPUtime=0 cores=5,7
/proc/74555/task/74577/stat : 74577 (Timer-0) S 74552 74555 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307976 19589197824 4073293 18446744073709551615 94370714218496 94370714222192 140725922883840 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370714230008 94370714230800 94370723459072 140725922887984 140725922888166 140725922888166 140725922893768 0
Current children cumulated CPU time: 3604.03 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16293172 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1957.25
CPU time (s): 3604.1
CPU user time (s): 3590.75
CPU system time (s): 13.3499
CPU usage (%): 184.141
Max. virtual memory (cumulated for all children) (KiB): 19134180
Max. memory (cumulated for all children) (KiB): 16293272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.75
system time used= 13.3499
maximum resident set size= 16293272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347435
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21973864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80817
involuntary context switches= 172592
# summary of solver processes directly reported to runsolver:
# pid: 74555
# total CPU time (s): 3604.1
# total CPU user time (s): 3590.75
# total CPU system time (s): 13.3499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.89254 second user time and 11.3204 second system time
The end
Begin job on nodeC001 at 2025-07-03 06:18:08 IDJOB=4508743 IDBENCH=158465 IDSOLVER=3364 FILE ID=nodeC001/4508743-1751516288 RUNJOBID= nodeC001-1751516281-73983 SLURM_JOB_ID= 9598627 Free space on /tmp= 432492 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508743-1751516288/watcher-4508743-1751516288 -o /tmp/evaluation-result-4508743-1751516288/solver-4508743-1751516288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73983 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4508743-1751516288 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4508743-1751516288.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5ce1114e3b3a499c171804227c280ba1 RANDOM SEED=889433203 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.173 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 : 1197.168 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.164 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 : 3493.862 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.745 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 : 1596.895 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 : 1197.143 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.170 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: 128003664 kB MemAvailable: 129128324 kB Buffers: 1668 kB Cached: 1919792 kB SwapCached: 32 kB Active: 1168444 kB Inactive: 1610384 kB Active(anon): 852836 kB Inactive(anon): 22528 kB Active(file): 315608 kB Inactive(file): 1587856 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48408 kB Writeback: 0 kB AnonPages: 860540 kB Mapped: 123628 kB Shmem: 17900 kB KReclaimable: 121260 kB Slab: 206892 kB SReclaimable: 121260 kB SUnreclaim: 85632 kB KernelStack: 4960 kB PageTables: 5392 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7038872 kB VmallocTotal: 34359738367 kB VmallocUsed: 150248 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 684032 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= 432492 MiB End job on nodeC001 at 2025-07-03 06:50:46