Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | ? (TO) | 3604.23 | 2701.85 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb |
| MD5SUM | 275abd9c9127ffd447b577c0798b1c29 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -148 |
| Best CPU time to get the best result obtained on this benchmark | 1.79346 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 16800 |
| Total number of constraints | 5849 |
| Number of constraints which are clauses | 5625 |
| Number of constraints which are cardinality constraints (but not clauses) | 149 |
| Number of constraints which are nor clauses,nor cardinality constraints | 75 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 11175 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 11175 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 75 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 11175 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4519752-1751562183.opb 0.12/0.13 c reading problem ... 0.12/0.14 c objective function found 0.51/0.32 c ... done. Wall clock time 0.184s. 0.51/0.32 c declared #vars 16800 0.51/0.32 c #constraints 5849 0.51/0.32 c constraints type 0.51/0.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 149 0.51/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75 0.51/0.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5625 0.51/0.33 c 5849 constraints processed. 0.51/0.34 c objective function length is 11175 literals 3.23/2.28 c cleaning 2495 clauses out of 5002 with flag 33745/5002 6.08/4.98 c cleaning 4254 clauses out of 8508 with flag 74188/11003 10.16/9.00 c cleaning 5623 clauses out of 11255 with flag 127088/18004 15.61/14.39 c cleaning 6805 clauses out of 13630 with flag 184524/26002 21.98/20.67 c cleaning 7903 clauses out of 15824 with flag 246165/35001 30.21/28.72 c cleaning 8960 clauses out of 17923 with flag 315414/45003 39.92/38.33 c cleaning 9977 clauses out of 19962 with flag 392881/56002 50.03/48.35 c cleaning 10985 clauses out of 21986 with flag 486895/68003 50.45/48.77 c SATISFIABLE 50.45/48.77 c OPTIMIZING... 50.45/48.77 c Got one! Elapsed wall clock time (in seconds):48.636 50.45/48.77 o -115 55.46/53.58 c cleaning 8364 clauses out of 16743 with flag 40381/73745 60.22/58.23 c cleaning 7183 clauses out of 14380 with flag 96146/79746 65.23/63.20 c cleaning 7091 clauses out of 14199 with flag 161152/86748 65.95/63.81 c Got one! Elapsed wall clock time (in seconds):63.671 65.95/63.81 o -118 69.08/66.99 c cleaning 6138 clauses out of 12293 with flag 40109/91933 73.11/70.94 c cleaning 6077 clauses out of 12160 with flag 102633/97938 78.54/76.24 c cleaning 6537 clauses out of 13080 with flag 177761/104935 83.78/81.45 c cleaning 7264 clauses out of 14541 with flag 267443/112933 89.27/86.91 c cleaning 8134 clauses out of 16281 with flag 364261/121937 95.74/93.26 c cleaning 9065 clauses out of 18142 with flag 461883/131932 105.59/103.05 c cleaning 10030 clauses out of 20078 with flag 570197/142933 117.28/114.63 c cleaning 11022 clauses out of 22052 with flag 682684/154937 129.50/126.79 c cleaning 12004 clauses out of 24025 with flag 810726/167932 144.61/141.70 c cleaning 13005 clauses out of 26022 with flag 955815/181933 161.36/158.43 c cleaning 14001 clauses out of 28016 with flag 1110629/196932 180.64/177.24 c cleaning 14998 clauses out of 30016 with flag 1262780/212933 201.90/198.39 c cleaning 16006 clauses out of 32018 with flag 1430287/229933 227.42/223.79 c cleaning 17002 clauses out of 34011 with flag 1614032/247932 253.34/249.55 c cleaning 17999 clauses out of 36009 with flag 1799615/266932 282.75/278.88 c cleaning 19005 clauses out of 38015 with flag 1996645/286937 314.85/310.21 c cleaning 20001 clauses out of 40007 with flag 2211816/307934 354.67/349.86 c cleaning 20999 clauses out of 42007 with flag 2447985/329935 398.64/393.74 c cleaning 21997 clauses out of 44005 with flag 2711127/352932 447.90/443.00 c cleaning 22998 clauses out of 46008 with flag 2962167/376932 487.15/481.96 c cleaning 23994 clauses out of 48010 with flag 3201405/401932 526.14/520.88 c cleaning 25001 clauses out of 50018 with flag 3429569/427934 560.68/554.64 c Got one! Elapsed wall clock time (in seconds):554.501 560.68/554.64 o -119 574.03/567.95 c cleaning 26595 clauses out of 53202 with flag 47620/456119 584.18/577.96 c cleaning 16289 clauses out of 32605 with flag 109712/462117 591.86/585.69 c cleaning 11651 clauses out of 23319 with flag 200996/469120 598.15/591.90 c cleaning 9823 clauses out of 19666 with flag 314291/477118 604.98/598.74 c cleaning 9416 clauses out of 18844 with flag 424293/486119 612.86/606.61 c cleaning 9710 clauses out of 19427 with flag 550191/496118 622.42/616.18 c cleaning 10358 clauses out of 20721 with flag 689640/507122 633.59/627.31 c cleaning 11173 clauses out of 22360 with flag 838545/519119 648.14/642.00 c cleaning 12089 clauses out of 24185 with flag 1002740/532117 663.40/657.22 c cleaning 13042 clauses out of 26096 with flag 1170968/546117 679.76/673.62 c cleaning 14021 clauses out of 28057 with flag 1355307/561120 700.61/694.54 c cleaning 15016 clauses out of 30036 with flag 1544633/577120 725.64/719.60 c cleaning 16004 clauses out of 32018 with flag 1758991/594118 764.63/758.58 c cleaning 17006 clauses out of 34013 with flag 1983770/612117 787.08/781.10 c cleaning 17993 clauses out of 36008 with flag 2165372/631118 808.40/802.12 c cleaning 19001 clauses out of 38015 with flag 2353016/651118 830.05/823.77 c cleaning 20001 clauses out of 40013 with flag 2547580/672117 856.21/849.85 c cleaning 21000 clauses out of 42012 with flag 2743683/694117 887.63/881.15 c cleaning 21996 clauses out of 44012 with flag 2928794/717117 916.59/910.07 c cleaning 23003 clauses out of 46016 with flag 3140223/741117 951.32/944.60 c cleaning 23996 clauses out of 48013 with flag 3351588/766117 998.98/989.39 c cleaning 25006 clauses out of 50021 with flag 3539123/792121 1063.29/1041.10 c cleaning 26002 clauses out of 52012 with flag 3602052/819118 1125.89/1094.39 c cleaning 26998 clauses out of 54009 with flag 3670417/847117 1189.74/1148.61 c cleaning 28001 clauses out of 56012 with flag 3740630/876118 1283.19/1212.37 c cleaning 29000 clauses out of 58011 with flag 3816769/906118 1355.13/1272.27 c cleaning 30006 clauses out of 60011 with flag 3899251/937118 1427.04/1331.76 c cleaning 31000 clauses out of 62005 with flag 3981758/969118 1500.60/1393.90 c cleaning 31995 clauses out of 64004 with flag 4064509/1002117 1579.62/1456.97 c cleaning 32999 clauses out of 66009 with flag 4155403/1036117 1689.51/1533.29 c cleaning 33999 clauses out of 68011 with flag 4252080/1071118 1815.85/1613.75 c cleaning 35001 clauses out of 70011 with flag 4358454/1107117 1909.92/1684.19 c cleaning 35999 clauses out of 72011 with flag 4472713/1144118 2006.64/1759.53 c cleaning 37002 clauses out of 74012 with flag 4592356/1182118 2132.84/1840.56 c cleaning 38000 clauses out of 76009 with flag 4710546/1221117 2234.49/1915.24 c cleaning 38998 clauses out of 78010 with flag 4835530/1261118 2359.24/2000.99 c cleaning 40004 clauses out of 80012 with flag 4961923/1302118 2485.60/2088.85 c cleaning 41001 clauses out of 82007 with flag 5084112/1344117 2614.93/2177.17 c cleaning 41998 clauses out of 84007 with flag 5205250/1387118 3212.69/2504.79 3212.69/2504.79 Exception: java.lang.OutOfMemoryError thrown from the UncaughtExceptionHandler in thread "main"
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61350 MiB free)
memory of node 1: 64507 MiB (58336 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519752-1751562183/watcher-4519752-1751562183 -o /tmp/evaluation-result-4519752-1751562183/solver-4519752-1751562183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751554990-82446 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4519752-1751562183.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83536, runsolver pid=83533
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.08 4.09 5/337 83554
/proc/meminfo: memFree=122528600/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=18930384 memory=57740 CPUtime=0.12 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 6573 0 0 0 10 2 0 0 20 0 18 0 71896095 19384713216 14435 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4732596 14435 5347 1 0 547620 0
[pid=83536/tid=83538] ppid=83533 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 5072 0 0 0 6 2 0 0 20 0 18 0 71896096 19384713216 14435 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71896098 19384713216 14435 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=18930384 memory=60684515963265 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71896099 19384713216 14435 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57740 KiB
[startup+0.205709 s]*
/proc/loadavg: 4.08 4.08 4.09 6/337 83554
/proc/meminfo: memFree=122510200/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=18930384 memory=79448 CPUtime=0.32 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 7494 0 0 0 29 3 0 0 20 0 18 0 71896095 19384713216 19862 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4732596 19862 5443 1 0 548192 0
[pid=83536/tid=83538] ppid=83533 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 5266 0 0 0 15 2 0 0 20 0 18 0 71896096 19384713216 19862 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=18930384 memory=16198 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71896098 19384713216 19862 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71896099 19384713216 19862 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 79448 KiB
[startup+0.305701 s]*
/proc/loadavg: 4.08 4.08 4.09 6/337 83554
/proc/meminfo: memFree=122473400/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=18930384 memory=111584 CPUtime=0.51 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 8707 0 0 0 47 4 0 0 20 0 18 0 71896095 19384713216 27896 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4732596 27896 5443 1 0 548957 0
[pid=83536/tid=83538] ppid=83533 vsize=18930384 memory=-6000919494214904167 CPUtime=0.26 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 5321 0 0 0 23 3 0 0 20 0 18 0 71896096 19384713216 27896 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71896098 19384713216 27896 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71896099 19384713216 27896 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 111584 KiB
[startup+0.700236 s]
/proc/loadavg: 4.08 4.08 4.09 6/338 83555
/proc/meminfo: memFree=122465208/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=18996948 memory=131684 CPUtime=1.28 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 10942 0 0 0 123 5 0 0 20 0 19 0 71896095 19452874752 32921 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4749237 32921 5475 1 0 550481 0
[pid=83536/tid=83538] ppid=83533 vsize=18996948 memory=18688 CPUtime=0.61 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 5418 0 0 0 58 3 0 0 20 0 19 0 71896096 19452874752 32921 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71896098 19452874752 32921 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 71896099 19452874752 32921 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71896131 19452874752 32921 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 131684 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.08 4.09 6/338 83555
/proc/meminfo: memFree=122447376/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=18996948 memory=151024 CPUtime=2.44 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 11981 0 0 0 238 6 0 0 20 0 19 0 71896095 19452874752 37756 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4749237 37756 5475 1 0 550648 0
[pid=83536/tid=83538] ppid=83533 vsize=18996948 memory=0 CPUtime=1.41 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 5560 0 0 0 137 4 0 0 20 0 19 0 71896096 19452874752 37756 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71896098 19452874752 37756 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 71896099 19452874752 37756 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71896131 19452874752 37756 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 151024 KiB
[startup+3.10555 s]
/proc/loadavg: 4.08 4.08 4.09 5/339 83556
/proc/meminfo: memFree=122297440/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=201768 CPUtime=4.26 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 17105 0 0 0 419 7 0 0 20 0 20 0 71896095 19521036288 50442 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 50442 5507 1 0 551111 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=10752 CPUtime=2.95 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 6986 0 0 0 291 4 0 0 20 0 20 0 71896096 19521036288 50442 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=-6000919494214904167 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 50442 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 50442 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 50442 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 201768 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.08 4.09 5/339 83556
/proc/meminfo: memFree=122145888/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=274196 CPUtime=7.56 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 19796 0 0 0 747 9 0 0 20 0 20 0 71896095 19521036288 68549 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 68549 5539 1 0 551115 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=0 CPUtime=6.07 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 7501 0 0 0 603 4 0 0 20 0 20 0 71896096 19521036288 68549 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 68549 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 77 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 68549 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=153072 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 68549 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 274196 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/338 83622
/proc/meminfo: memFree=123405200/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=349984 CPUtime=14.01 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 20983 0 0 0 1391 10 0 0 20 0 20 0 71896095 19521036288 87496 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 87496 5539 1 0 551115 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=153072 CPUtime=12.38 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 7920 0 0 0 1234 4 0 0 20 0 20 0 71896096 19521036288 87496 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 87496 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 77 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 87496 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=-6000919494214904167 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 87496 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 14.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 349984 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.11 4.10 5/339 83624
/proc/meminfo: memFree=121936148/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=509796 CPUtime=26.94 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 23213 0 0 0 2680 14 0 0 20 0 20 0 71896095 19521036288 127449 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 127449 5539 1 0 551115 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=-6000919494214904167 CPUtime=25.01 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 8818 0 0 0 2497 4 0 0 20 0 20 0 71896096 19521036288 127449 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=509796 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 127449 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 77 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 127449 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=-6000919494214904167 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 127449 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 26.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 509796 KiB
[startup+51.1057 s]
/proc/loadavg: 4.37 4.16 4.11 5/338 83624
/proc/meminfo: memFree=119811160/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=837060 CPUtime=53 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 28804 0 0 0 5278 22 0 0 20 0 20 0 71896095 19521036288 209265 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 209265 5539 1 0 551517 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=-6000919494214904167 CPUtime=50.25 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) R 83533 83536 82431 0 -1 4194368 10350 0 0 0 5021 4 0 0 20 0 20 0 71896096 19521036288 209265 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 209265 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
################
# More data... #
################
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 342050 0 0 0 320259 533 0 0 20 0 20 0 71896095 19521036288 4084394 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 4084394 5539 1 0 4095900 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=16337592 CPUtime=2069.65 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) S 83533 83536 82431 0 -1 4194368 86579 0 0 0 206828 137 0 0 20 0 20 0 71896096 19521036288 4084394 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=16337448 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 4084394 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 1033 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 4084394 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=16337576 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 4084394 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 3207.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16337576 KiB
[startup+2562.3 s]
/proc/loadavg: 5.23 4.98 4.68 6/341 83760
/proc/meminfo: memFree=87670628/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=16337432 CPUtime=3327.09 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 349921 0 0 0 332174 535 0 0 20 0 20 0 71896095 19521036288 4084358 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 4084358 5539 1 0 4095900 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=16337432 CPUtime=2069.65 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) S 83533 83536 82431 0 -1 4194368 86626 0 0 0 206828 137 0 0 20 0 20 0 71896096 19521036288 4084358 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=16337576 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 4084358 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=16337576 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 1058 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 4084358 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=16337432 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 4084358 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 3327.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16337432 KiB
[startup+2622.3 s]
/proc/loadavg: 5.26 5.03 4.72 6/341 83762
/proc/meminfo: memFree=87489012/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=16337560 CPUtime=3446.28 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 356518 0 0 0 344091 537 0 0 20 0 20 0 71896095 19521036288 4084390 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 4084390 5539 1 0 4095900 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=16337432 CPUtime=2069.65 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) S 83533 83536 82431 0 -1 4194368 86626 0 0 0 206828 137 0 0 20 0 20 0 71896096 19521036288 4084390 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=16337560 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 4084390 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=-6000919494214904167 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 1064 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 4084390 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 4084390 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 3446.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16337560 KiB
[startup+2682.3 s]
/proc/loadavg: 5.13 5.04 4.75 6/341 83764
/proc/meminfo: memFree=87489124/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=16337416 CPUtime=3565.44 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 363654 0 0 0 356006 538 0 0 20 0 20 0 71896095 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 4084354 5539 1 0 4095900 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=16337560 CPUtime=2069.65 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) S 83533 83536 82431 0 -1 4194368 86654 0 0 0 206828 137 0 0 20 0 20 0 71896096 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=16337432 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 1066 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 3565.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16337416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2699.8 s]
/proc/loadavg: 5.10 5.03 4.75 6/341 83764
/proc/meminfo: memFree=87489140/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=16337416 CPUtime=3600.19 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 365556 0 0 0 359481 538 0 0 20 0 20 0 71896095 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 4084354 5539 1 0 4095900 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=-6000919494214904167 CPUtime=2069.65 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) S 83533 83536 82431 0 -1 4194368 86658 0 0 0 206828 137 0 0 20 0 20 0 71896096 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=4669152 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=6896 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 1066 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=3117936 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16337416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2701.85 s]
# the end of solver process 83536 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3598.8 s, system=5.43306 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2700.8 s]
/proc/loadavg: 5.10 5.03 4.75 6/341 83764
/proc/meminfo: memFree=87489140/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=16337416 CPUtime=3602.18 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 365886 0 0 0 359680 538 0 0 20 0 20 0 71896095 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 4084354 5539 1 0 4095900 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=16337416 CPUtime=2069.65 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) S 83533 83536 82431 0 -1 4194368 86658 0 0 0 206828 137 0 0 20 0 20 0 71896096 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 1066 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 3602.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16337416 KiB
[startup+2701.6 s]
/proc/loadavg: 5.10 5.03 4.75 6/341 83764
/proc/meminfo: memFree=87489140/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=16337416 CPUtime=3603.77 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 365985 0 0 0 359839 538 0 0 20 0 20 0 71896095 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 4084354 5539 1 0 4095900 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=10752 CPUtime=2069.65 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) S 83533 83536 82431 0 -1 4194368 86658 0 0 0 206828 137 0 0 20 0 20 0 71896096 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 1066 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 3603.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16337416 KiB
[startup+2701.8 s]
/proc/loadavg: 5.10 5.03 4.75 6/341 83764
/proc/meminfo: memFree=87489140/131249996 swapFree=33010672/33010684
[pid=83536] ppid=83533 vsize=19063512 memory=16337416 CPUtime=3604.16 cores=0,2
/proc/83536/stat : 83536 (java) S 83533 83536 82431 0 -1 4194304 366037 0 0 0 359878 538 0 0 20 0 20 0 71896095 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
/proc/83536/statm: 4765878 4084354 5539 1 0 4095900 0
[pid=83536/tid=83538] ppid=83533 vsize=19063512 memory=2764 CPUtime=2069.65 cores=0,2
/proc/83536/task/83538/stat : 83538 (java) S 83533 83536 82431 0 -1 4194368 86658 0 0 0 206828 137 0 0 20 0 20 0 71896096 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83547] ppid=83533 vsize=19063512 memory=21996 CPUtime=0 cores=0,2
/proc/83536/task/83547/stat : 83547 (Finalizer) S 83533 83536 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71896098 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83554] ppid=83533 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/83536/task/83554/stat : 83554 (Common-Cleaner) S 83533 83536 82431 0 -1 4194368 1066 0 0 0 0 0 0 0 20 0 20 0 71896099 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
[pid=83536/tid=83555] ppid=83533 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/83536/task/83555/stat : 83555 (Timer-0) S 83533 83536 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71896131 19521036288 4084354 18446744073709551615 94506141683712 94506141687408 140724189465040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94506141695224 94506141696016 94506163879936 140724189469057 140724189469158 140724189469158 140724189474760 0
Current children cumulated CPU time: 3604.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16337416 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2701.85
CPU time (s): 3604.23
CPU user time (s): 3598.8
CPU system time (s): 5.43306
CPU usage (%): 133.399
Max. virtual memory (cumulated for all children) (KiB): 19069672
Max. memory (cumulated for all children) (KiB): 16337648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.8
system time used= 5.43307
maximum resident set size= 16337648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94301
involuntary context switches= 43004
# summary of solver processes directly reported to runsolver:
# pid: 83536
# total CPU time (s): 3604.23
# total CPU user time (s): 3598.8
# total CPU system time (s): 5.43306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11211 second user time and 11.5053 second system time
The end
Begin job on nodeC017 at 2025-07-03 19:03:03 IDJOB=4519752 IDBENCH=177407 IDSOLVER=3363 FILE ID=nodeC017/4519752-1751562183 RUNJOBID= nodeC017-1751554990-82446 SLURM_JOB_ID= 9598744 Free space on /tmp= 432464 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519752-1751562183/watcher-4519752-1751562183 -o /tmp/evaluation-result-4519752-1751562183/solver-4519752-1751562183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751554990-82446 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4519752-1751562183.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 275abd9c9127ffd447b577c0798b1c29 RANDOM SEED=1988310866 nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.834 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3593.692 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.069 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.080 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.053 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.059 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3596.279 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 122559372 kB MemAvailable: 126178436 kB Buffers: 1688 kB Cached: 4387656 kB SwapCached: 8 kB Active: 3959644 kB Inactive: 4098272 kB Active(anon): 3670520 kB Inactive(anon): 16128 kB Active(file): 289124 kB Inactive(file): 4082144 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1032 kB Writeback: 0 kB AnonPages: 3671172 kB Mapped: 124008 kB Shmem: 18072 kB KReclaimable: 173668 kB Slab: 265476 kB SReclaimable: 173668 kB SUnreclaim: 91808 kB KernelStack: 5168 kB PageTables: 10824 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7038824 kB VmallocTotal: 34359738367 kB VmallocUsed: 151464 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3485696 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: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432464 MiB End job on nodeC017 at 2025-07-03 19:48:05