Trace number 4502879

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 63f22ad? (TO) 3602.06 3615.62

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM6ff458260e5cc7a1e00e7b04a599a648
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark613.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
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 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4502879-1751429442.opb'
0.29/0.37	c 	read 31.67MB  (360.58ms)
0.29/0.37	c	 [cnf: #variables 7840 #clauses 65281 #duplicates 0 #arr 3579552]
0.35/0.51	c output proof to 'PROOFDIR/proof-4502879-1751429442'
0.35/0.51	c 
0.35/0.51	c make graph and approximate orbits
0.45/0.68	c	 [group: #orbits ~= 218] (170.23ms)
0.45/0.68	c 
0.45/0.68	c detect special group actions
0.45/0.68	c 	probe for Johnson action (limit=64)
0.64/0.85	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.74/0.99	c 	probe for row symmetry (limit=64, splits=16.78M)
3.12/3.36	c 	 (2681.53ms)
3.12/3.36	c 
3.12/3.36	c detect symmetries on remainder
3.12/3.36	c 	[graph: #vertices 88801 #edges 7190464]
3.12/3.37	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
4.02/4.20	c 	 [group: #symmetries 2.56*10^2 #generators 8] (842.80ms)
4.02/4.20	c 
4.02/4.20	c optimize generators (opt_passes=64, conjugate_limit=256)
4.02/4.20	c 	(0.02ms)
4.02/4.20	c 
4.02/4.20	c finalize break order and special generators
4.02/4.20	c 
4.02/4.20	c add generic predicates (break_depth=20)
4.02/4.20	c 	added predicates for 8 generators (0.38ms)
4.82/5.02	c 
4.82/5.02	c generation finished
4.82/5.02	c 	[sbp: #constraints 464 #add_vars 152]
4.82/5.02	c 
4.82/5.02	c write result to 'HOME/instance-4502879-1751429442.opb.pre'
4.82/5.09	c 	wrote 31.75MB (65.11ms)
4.82/5.09	c ------------------------------------------------------------------
4.82/5.09	c                2681.53ms 52.82% detect_special
4.82/5.09	c                 955.25ms 18.82% other
4.82/5.09	c                 842.80ms 16.60% detect_generic
4.82/5.09	c                 360.58ms  7.10% parse
4.82/5.09	c                 170.23ms  3.35% approx_orbits
4.82/5.09	c                  65.11ms  1.28% output
4.82/5.09	c                   0.73ms  0.01% finalize_order
4.82/5.09	c                   0.38ms  0.01% break_generic
4.82/5.09	c                   0.02ms  0.00% optimize_gens
4.82/5.09	c         ───────────────────────────────────────────────
4.82/5.09	c                5076.63ms   100% total
4.82/5.09	c ------------------------------------------------------------------
0.00/5.51	c RoundingSat 2
0.00/5.51	c branch pb25
0.00/5.51	c commit 63f22ad
6.67/7.39	c #variables 7992 #constraints 65744
6.67/7.39	c objective is ce32 
15.74/16.46	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
15.74/16.46	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
15.74/16.46	c bounds 188 >= 0 @ 10.6553
26.72/27.44	c bounds 187 >= 0 @ 21.4445
26.72/27.47	c bounds 187 >= 1 @ 21.4722
26.72/27.48	c bounds 187 >= 2 @ 21.4756
26.72/27.49	c bounds 187 >= 3 @ 21.486
26.81/27.50	c bounds 187 >= 4 @ 21.4887
26.81/27.51	c bounds 187 >= 5 @ 21.4934
26.81/27.51	c bounds 187 >= 6 @ 21.4968
26.81/27.52	c bounds 187 >= 7 @ 21.4984
26.81/27.53	c bounds 187 >= 8 @ 21.5025
26.81/27.53	c bounds 187 >= 9 @ 21.5061
26.81/27.54	c bounds 187 >= 10 @ 21.5086
26.81/27.54	c bounds 187 >= 11 @ 21.513
26.81/27.55	c bounds 187 >= 12 @ 21.516
26.81/27.56	c bounds 187 >= 13 @ 21.5197
26.81/27.57	c bounds 187 >= 14 @ 21.5224
26.81/27.57	c bounds 187 >= 15 @ 21.5267
26.81/27.58	c bounds 187 >= 16 @ 21.5312
26.81/27.59	c bounds 187 >= 17 @ 21.5337
26.81/27.59	c bounds 187 >= 18 @ 21.5374
26.92/27.62	c bounds 187 >= 19 @ 21.5562
26.92/27.64	c bounds 186 >= 19 @ 21.5743
26.92/27.66	c bounds 185 >= 19 @ 21.584
26.92/27.68	c bounds 184 >= 19 @ 21.6016
26.92/27.69	c bounds 184 >= 20 @ 21.6103
27.01/27.70	c bounds 184 >= 21 @ 21.6138
27.01/27.71	c bounds 184 >= 22 @ 21.6186
27.01/27.74	c bounds 183 >= 22 @ 21.6421
27.01/27.75	c bounds 183 >= 23 @ 21.6504
27.01/27.76	c bounds 183 >= 24 @ 21.6588
27.01/27.78	c bounds 182 >= 24 @ 21.6701
27.11/27.80	c bounds 182 >= 25 @ 21.6823
27.11/27.81	c bounds 181 >= 25 @ 21.6923
27.11/27.83	c bounds 180 >= 25 @ 21.7071
27.11/27.85	c bounds 180 >= 26 @ 21.7247
27.11/27.87	c bounds 179 >= 26 @ 21.7419
27.21/27.91	c bounds 179 >= 27 @ 21.7689
27.21/27.93	c bounds 178 >= 27 @ 21.7866
27.21/27.94	c bounds 177 >= 27 @ 21.7982
27.42/28.12	c bounds 177 >= 28 @ 21.9601
27.42/28.14	c bounds 176 >= 28 @ 21.973
27.42/28.15	c bounds 175 >= 28 @ 21.9781
27.42/28.16	c bounds 174 >= 28 @ 21.9837
27.42/28.17	c bounds 173 >= 28 @ 21.9917
27.42/28.18	c bounds 172 >= 28 @ 21.9963
27.42/28.19	c bounds 171 >= 28 @ 22.0042
27.51/28.21	c bounds 170 >= 28 @ 22.0149
27.51/28.23	c bounds 169 >= 28 @ 22.0305
27.51/28.25	c bounds 168 >= 28 @ 22.0427
27.51/28.27	c bounds 167 >= 28 @ 22.0641
27.51/28.29	c bounds 166 >= 28 @ 22.081
27.61/28.31	c bounds 165 >= 28 @ 22.0937
27.61/28.32	c bounds 164 >= 28 @ 22.1067
27.61/28.34	c bounds 163 >= 28 @ 22.1192
27.61/28.35	c bounds 162 >= 28 @ 22.1272
27.61/28.36	c bounds 161 >= 28 @ 22.137
27.61/28.38	c bounds 160 >= 28 @ 22.1497
27.61/28.39	c bounds 159 >= 28 @ 22.1598
27.71/28.41	c bounds 158 >= 28 @ 22.1739
27.71/28.43	c bounds 157 >= 28 @ 22.1895
27.71/28.45	c bounds 156 >= 28 @ 22.2035
27.71/28.46	c bounds 155 >= 28 @ 22.2099
27.71/28.47	c bounds 154 >= 28 @ 22.2186
27.71/28.48	c bounds 153 >= 28 @ 22.2276
27.71/28.49	c bounds 152 >= 28 @ 22.2396
27.81/28.51	c bounds 151 >= 28 @ 22.2515
27.81/28.52	c bounds 150 >= 28 @ 22.2613
27.81/28.53	c bounds 149 >= 28 @ 22.2687
27.81/28.54	c bounds 148 >= 28 @ 22.2778
27.81/28.55	c bounds 147 >= 28 @ 22.2879
27.91/28.64	c bounds 147 >= 29 @ 22.3739
27.91/28.66	c bounds 146 >= 29 @ 22.3901
27.91/28.67	c bounds 145 >= 29 @ 22.3986
27.91/28.69	c bounds 144 >= 29 @ 22.4074
28.01/28.71	c bounds 143 >= 29 @ 22.4238
28.01/28.72	c bounds 142 >= 29 @ 22.4359
28.01/28.74	c bounds 141 >= 29 @ 22.4544
28.01/28.76	c bounds 140 >= 29 @ 22.4732
28.11/28.80	c bounds 139 >= 29 @ 22.5048
28.11/28.89	c bounds 138 >= 29 @ 22.5751
2095.55/2103.81	c #Conflicts:       1000 | #Constraints:      67015
2095.55/2103.81	c #Conflicts:       2000 | #Constraints:      68015
2095.55/2103.81	c INPROCESSING
2095.55/2103.81	c GARBAGE COLLECT
2095.55/2103.81	c bounds 137 >= 29 @ 2088.97
2095.55/2103.85	c bounds 136 >= 29 @ 2089
2095.55/2103.88	c bounds 135 >= 29 @ 2089.03
2095.55/2103.89	c bounds 134 >= 29 @ 2089.04
2095.66/2103.92	c bounds 133 >= 29 @ 2089.05
2095.66/2103.94	c bounds 132 >= 29 @ 2089.07
2095.66/2103.97	c bounds 131 >= 29 @ 2089.09
2095.66/2103.99	c bounds 130 >= 29 @ 2089.11
2095.95/2104.21	c bounds 129 >= 29 @ 2089.32
2095.95/2104.25	c bounds 128 >= 29 @ 2089.37
2096.05/2104.36	c bounds 127 >= 29 @ 2089.47
2096.25/2104.56	c bounds 126 >= 29 @ 2089.65
2096.25/2104.58	c bounds 125 >= 29 @ 2089.67
2096.35/2104.60	c bounds 124 >= 29 @ 2089.69
2096.35/2104.62	c bounds 123 >= 29 @ 2089.71
2096.35/2104.63	c bounds 122 >= 29 @ 2089.72
2096.35/2104.64	c bounds 121 >= 29 @ 2089.73
2096.35/2104.65	c bounds 120 >= 29 @ 2089.74
2096.35/2104.66	c bounds 119 >= 29 @ 2089.75
2096.35/2104.67	c bounds 118 >= 29 @ 2089.76
2096.35/2104.68	c bounds 117 >= 29 @ 2089.77
2096.35/2104.69	c bounds 116 >= 29 @ 2089.78
2096.45/2104.71	c bounds 115 >= 29 @ 2089.8
2096.45/2104.75	c bounds 114 >= 29 @ 2089.83
2096.45/2104.79	c bounds 113 >= 29 @ 2089.87
2096.55/2104.83	c bounds 112 >= 29 @ 2089.9
2096.65/2104.96	c bounds 111 >= 29 @ 2090.02
2096.65/2104.99	c bounds 110 >= 29 @ 2090.05
2096.75/2105.04	c bounds 109 >= 29 @ 2090.09
2096.75/2105.07	c bounds 108 >= 29 @ 2090.12
2096.75/2105.09	c bounds 107 >= 29 @ 2090.14
2096.85/2105.12	c bounds 106 >= 29 @ 2090.16
2096.85/2105.16	c bounds 105 >= 29 @ 2090.2
2096.85/2105.18	c bounds 104 >= 29 @ 2090.22
2096.95/2105.20	c bounds 103 >= 29 @ 2090.24
2096.95/2105.22	c bounds 102 >= 29 @ 2090.25
2096.95/2105.23	c bounds 101 >= 29 @ 2090.27
2096.95/2105.25	c bounds 100 >= 29 @ 2090.29
2096.95/2105.29	c bounds 99 >= 29 @ 2090.32
2097.04/2105.31	c bounds 98 >= 29 @ 2090.34
2097.04/2105.32	c bounds 97 >= 29 @ 2090.35
2097.04/2105.34	c bounds 96 >= 29 @ 2090.36
2097.04/2105.35	c bounds 95 >= 29 @ 2090.38
2097.04/2105.37	c bounds 94 >= 29 @ 2090.39
2097.04/2105.39	c bounds 93 >= 29 @ 2090.41
2097.15/2105.41	c bounds 92 >= 29 @ 2090.42
2097.15/2105.43	c bounds 91 >= 29 @ 2090.44
2097.15/2105.45	c bounds 90 >= 29 @ 2090.45
2097.15/2105.47	c bounds 89 >= 29 @ 2090.47
2097.15/2105.48	c bounds 88 >= 29 @ 2090.48
2097.15/2105.49	c bounds 87 >= 29 @ 2090.49
2097.25/2105.51	c bounds 86 >= 29 @ 2090.5
2097.25/2105.52	c bounds 85 >= 29 @ 2090.51
2097.25/2105.54	c bounds 84 >= 29 @ 2090.53
2097.25/2105.55	c bounds 83 >= 29 @ 2090.54
2097.25/2105.57	c bounds 82 >= 29 @ 2090.56
2097.25/2105.58	c bounds 81 >= 29 @ 2090.57
2097.25/2105.59	c bounds 80 >= 29 @ 2090.58
2097.35/2105.60	c bounds 79 >= 29 @ 2090.59
2097.35/2105.62	c bounds 78 >= 29 @ 2090.6
2097.35/2105.64	c bounds 77 >= 29 @ 2090.62
2097.35/2105.65	c bounds 76 >= 29 @ 2090.63
2097.35/2105.68	c bounds 75 >= 29 @ 2090.65
2097.45/2105.71	c bounds 74 >= 29 @ 2090.68
2097.45/2105.75	c bounds 73 >= 29 @ 2090.71
2097.45/2105.78	c bounds 72 >= 29 @ 2090.74
2097.54/2105.87	c bounds 71 >= 29 @ 2090.82
2097.64/2105.97	c bounds 70 >= 29 @ 2090.91
2097.85/2106.18	c bounds 69 >= 29 @ 2091.1
2098.35/2106.69	c #Conflicts:       3000 | #Constraints:      68000
2098.35/2106.69	c bounds 69 >= 30 @ 2091.6
2098.44/2106.76	c bounds 68 >= 30 @ 2091.65
2098.44/2106.79	c bounds 67 >= 30 @ 2091.67
2098.54/2106.84	c bounds 66 >= 30 @ 2091.71
2098.54/2106.88	c bounds 65 >= 30 @ 2091.75
2098.85/2107.16	c bounds 64 >= 30 @ 2092.01
2098.85/2107.19	c bounds 63 >= 30 @ 2092.04
2098.95/2107.27	c bounds 62 >= 30 @ 2092.11
2099.04/2107.31	c bounds 61 >= 30 @ 2092.15
2099.04/2107.35	c bounds 60 >= 30 @ 2092.18
2099.24/2107.55	c bounds 59 >= 30 @ 2092.37
2099.94/2108.29	c #Conflicts:       4000 | #Constraints:      69046
2099.94/2108.29	c INPROCESSING
2099.94/2108.29	c GARBAGE COLLECT
2099.94/2108.29	c bounds 58 >= 30 @ 2093.08
2100.03/2108.31	c bounds 57 >= 30 @ 2093.1
2100.03/2108.33	c bounds 56 >= 30 @ 2093.11
2100.03/2108.34	c bounds 55 >= 30 @ 2093.13
2100.03/2108.37	c bounds 54 >= 30 @ 2093.15
2100.03/2108.40	c bounds 53 >= 30 @ 2093.17
2102.70/2111.09	c #Conflicts:       5000 | #Constraints:      68358
2102.70/2111.09	c bounds 52 >= 30 @ 2095.69
2371.88/2381.11	c #Conflicts:       6000 | #Constraints:      69359
2371.88/2381.11	c INPROCESSING
2371.88/2381.11	c GARBAGE COLLECT
2371.88/2381.11	c bounds 51 >= 30 @ 2364.56
2371.88/2381.15	c bounds 50 >= 30 @ 2364.59
2374.47/2383.79	c #Conflicts:       7000 | #Constraints:      68352
2374.47/2383.79	c bounds 49 >= 30 @ 2367.15

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63708 MiB (62413 MiB free)
  memory of node 1: 64465 MiB (63860 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502879-1751429442/watcher-4502879-1751429442 -o /tmp/evaluation-result-4502879-1751429442/solver-4502879-1751429442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751429442-62369 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4502879-1751429442.opb PROOFDIR/proof-4502879-1751429442 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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=62410, runsolver pid=62407

[startup+0.100061 s]*
/proc/loadavg: 0.90 1.86 2.57 4/262 62417
/proc/meminfo: memFree=129238336/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62413] ppid=62410 vsize=43824 memory=33780 CPUtime=0.08 cores=0,2
/proc/62413/stat : 62413 (pbsuma) R 62410 62410 62332 0 -1 4194304 7855 0 0 0 7 1 0 0 20 0 1 0 58621738 44875776 8445 18446744073709551615 4210688 4653049 140725182817520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13115392 140725182826723 140725182827058 140725182827058 140725182832623 0
/proc/62413/statm: 10956 8445 960 108 0 8364 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 36852 KiB

[startup+0.205896 s]*
/proc/loadavg: 0.90 1.86 2.57 5/265 62423
/proc/meminfo: memFree=129159220/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62413] ppid=62410 vsize=71268 memory=58740 CPUtime=0.18 cores=0,2
/proc/62413/stat : 62413 (pbsuma) R 62410 62410 62332 0 -1 4194304 13034 0 0 0 16 2 0 0 20 0 1 0 58621738 72978432 14685 18446744073709551615 4210688 4653049 140725182817520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13115392 140725182826723 140725182827058 140725182827058 140725182832623 0
/proc/62413/statm: 17817 14685 960 108 0 15225 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75460 KiB
Current children cumulated memory: 61812 KiB

[startup+0.30573 s]*
/proc/loadavg: 0.90 1.86 2.57 5/265 62423
/proc/meminfo: memFree=129082296/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62413] ppid=62410 vsize=88104 memory=77896 CPUtime=0.29 cores=0,2
/proc/62413/stat : 62413 (pbsuma) R 62410 62410 62332 0 -1 4194304 15668 0 0 0 25 4 0 0 20 0 1 0 58621738 90218496 19474 18446744073709551615 4210688 4653049 140725182817520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13115392 140725182826723 140725182827058 140725182827058 140725182832623 0
/proc/62413/statm: 22026 19474 960 108 0 19434 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92296 KiB
Current children cumulated memory: 80968 KiB

[startup+0.700225 s]
/proc/loadavg: 0.90 1.86 2.57 4/265 62423
/proc/meminfo: memFree=128921520/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62413] ppid=62410 vsize=165680 memory=139976 CPUtime=0.54 cores=0,2
/proc/62413/stat : 62413 (pbsuma) R 62410 62410 62332 0 -1 4194304 24004 0 0 0 48 6 0 0 20 0 1 0 58621738 169656320 34994 18446744073709551615 4210688 4653049 140725182817520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13115392 140725182826723 140725182827058 140725182827058 140725182832623 0
/proc/62413/statm: 41420 34994 1056 108 0 38828 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 169872 KiB
Current children cumulated memory: 143048 KiB

[startup+1.50022 s]
/proc/loadavg: 0.90 1.86 2.57 4/265 62423
/proc/meminfo: memFree=128624964/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62413] ppid=62410 vsize=165684 memory=142024 CPUtime=1.33 cores=0,2
/proc/62413/stat : 62413 (pbsuma) R 62410 62410 62332 0 -1 4194304 24534 0 0 0 127 6 0 0 20 0 1 0 58621738 169660416 35506 18446744073709551615 4210688 4653049 140725182817520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13115392 140725182826723 140725182827058 140725182827058 140725182832623 0
/proc/62413/statm: 41421 35506 1056 108 0 38829 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 169876 KiB
Current children cumulated memory: 145096 KiB

[startup+3.10553 s]
/proc/loadavg: 0.90 1.86 2.57 4/264 62442
/proc/meminfo: memFree=128329396/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62413] ppid=62410 vsize=165684 memory=142024 CPUtime=2.93 cores=0,2
/proc/62413/stat : 62413 (pbsuma) R 62410 62410 62332 0 -1 4194304 24547 0 0 0 287 6 0 0 20 0 1 0 58621738 169660416 35506 18446744073709551615 4210688 4653049 140725182817520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13115392 140725182826723 140725182827058 140725182827058 140725182832623 0
/proc/62413/statm: 41421 35506 1056 108 0 38829 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 169876 KiB
Current children cumulated memory: 145096 KiB

[startup+6.30018 s]
/proc/loadavg: 1.14 1.89 2.58 4/264 62473
/proc/meminfo: memFree=127820508/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=110632 memory=64120 CPUtime=0.72 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 13417 0 0 0 65 7 0 0 20 0 1 0 58622288 113287168 16030 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 27658 16030 2048 1147 0 15085 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 114824 KiB
Current children cumulated memory: 67192 KiB

[startup+12.7002 s]
/proc/loadavg: 1.29 1.91 2.58 4/264 62474
/proc/meminfo: memFree=126269716/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=358180 memory=281016 CPUtime=7.1 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 60260 0 0 0 690 20 0 0 20 0 1 0 58622288 366776320 70254 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 89545 70254 2336 1147 0 76972 0
Current children cumulated CPU time: 12.05 s
Current children cumulated vsize: 362372 KiB
Current children cumulated memory: 284088 KiB

[startup+25.5002 s]
/proc/loadavg: 1.74 1.98 2.59 4/264 62475
/proc/meminfo: memFree=125485556/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=512160 memory=435236 CPUtime=19.87 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 75821 0 0 0 1951 36 0 0 20 0 1 0 58622288 524451840 108809 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 128040 108809 2368 1147 0 115467 0
Current children cumulated CPU time: 24.82 s
Current children cumulated vsize: 516352 KiB
Current children cumulated memory: 438308 KiB

[startup+51.1058 s]
/proc/loadavg: 2.30 2.10 2.62 4/265 62477
/proc/meminfo: memFree=122815540/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=686108 memory=580396 CPUtime=45.41 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 92276 0 0 0 4463 78 0 0 20 0 1 0 58622288 702574592 145099 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 171527 145099 2432 1147 0 158954 0
Current children cumulated CPU time: 50.36 s
Current children cumulated vsize: 690300 KiB
Current children cumulated memory: 583468 KiB

[startup+102.3 s]
/proc/loadavg: 2.70 2.24 2.64 4/264 62478
/proc/meminfo: memFree=122557872/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=791464 memory=695584 CPUtime=96.41 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 94632 0 0 0 9558 83 0 0 20 0 1 0 58622288 810459136 173896 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 197866 173896 2432 1147 0 185293 0
Current children cumulated CPU time: 101.36 s
Current children cumulated vsize: 795656 KiB
Current children cumulated memory: 698656 KiB

[startup+162.3 s]
/proc/loadavg: 3.00 2.41 2.67 4/264 62480
/proc/meminfo: memFree=122224484/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=963040 memory=847868 CPUtime=156.2 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 103095 0 0 0 15527 93 0 0 20 0 1 0 58622288 986152960 211967 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 240760 211967 2432 1147 0 228187 0
Current children cumulated CPU time: 161.15 s
Current children cumulated vsize: 967232 KiB
Current children cumulated memory: 850940 KiB

[startup+222.3 s]
/proc/loadavg: 3.06 2.54 2.70 4/264 62486
/proc/meminfo: memFree=122019996/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=989320 memory=890160 CPUtime=215.98 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 106662 0 0 0 21499 99 0 0 20 0 1 0 58622288 1013063680 222540 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 247330 222540 2432 1147 0 234757 0

################
# More data... #
################

/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=1847896 memory=1481536 CPUtime=3205.17 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 214519 0 0 0 320239 278 0 0 20 0 1 0 58622288 1892245504 370384 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 461974 370384 2432 1147 0 449401 0
Current children cumulated CPU time: 3210.12 s
Current children cumulated vsize: 1852088 KiB
Current children cumulated memory: 1484608 KiB

[startup+3282.3 s]
/proc/loadavg: 3.09 3.09 3.06 4/261 62651
/proc/meminfo: memFree=108222424/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=1848072 memory=1482176 CPUtime=3264.95 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 214683 0 0 0 326217 278 0 0 20 0 1 0 58622288 1892425728 370544 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 462018 370544 2432 1147 0 449445 0
Current children cumulated CPU time: 3269.9 s
Current children cumulated vsize: 1852264 KiB
Current children cumulated memory: 1485248 KiB

[startup+3342.3 s]
/proc/loadavg: 3.07 3.08 3.06 4/260 62653
/proc/meminfo: memFree=108258216/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=1852360 memory=1485632 CPUtime=3324.74 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 215552 0 0 0 332195 279 0 0 20 0 1 0 58622288 1896816640 371408 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 463090 371408 2432 1147 0 450517 0
Current children cumulated CPU time: 3329.69 s
Current children cumulated vsize: 1856552 KiB
Current children cumulated memory: 1488704 KiB

[startup+3402.3 s]
/proc/loadavg: 3.08 3.08 3.06 4/260 62655
/proc/meminfo: memFree=108098208/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=1857600 memory=1489344 CPUtime=3384.52 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 216462 0 0 0 338172 280 0 0 20 0 1 0 58622288 1902182400 372336 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 464400 372336 2432 1147 0 451827 0
Current children cumulated CPU time: 3389.47 s
Current children cumulated vsize: 1861792 KiB
Current children cumulated memory: 1492416 KiB

[startup+3462.3 s]
/proc/loadavg: 3.07 3.08 3.06 4/260 62657
/proc/meminfo: memFree=108006824/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=1869844 memory=1501520 CPUtime=3444.31 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 218071 0 0 0 344150 281 0 0 20 0 1 0 58622288 1914720256 375380 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 467461 375380 2432 1147 0 454888 0
Current children cumulated CPU time: 3449.26 s
Current children cumulated vsize: 1874036 KiB
Current children cumulated memory: 1504592 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.09 3.07 4/260 62661
/proc/meminfo: memFree=107961256/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=1903624 memory=1530508 CPUtime=3504.1 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 218356 0 0 0 350128 282 0 0 20 0 1 0 58622288 1949310976 382627 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 475906 382627 2432 1147 0 463333 0
Current children cumulated CPU time: 3509.05 s
Current children cumulated vsize: 1907816 KiB
Current children cumulated memory: 1533580 KiB

[startup+3582.3 s]
/proc/loadavg: 3.05 3.08 3.06 4/259 62663
/proc/meminfo: memFree=107946036/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=1903624 memory=1530508 CPUtime=3563.89 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 218356 0 0 0 356106 283 0 0 20 0 1 0 58622288 1949310976 382627 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 475906 382627 2432 1147 0 463333 0
Current children cumulated CPU time: 3568.84 s
Current children cumulated vsize: 1907816 KiB
Current children cumulated memory: 1533580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.6 s]
/proc/loadavg: 3.09 3.08 3.06 4/258 62666
/proc/meminfo: memFree=107941628/131249996 swapFree=33006296/33010684
[pid=62410] ppid=62407 vsize=4192 memory=3072 CPUtime=4.95 cores=0,2
/proc/62410/stat : 62410 (run-opt-ls-log.) S 62407 62410 62332 0 -1 4194304 242 33462 0 0 0 0 473 22 20 0 1 0 58621737 4292608 768 18446744073709551615 94029001801728 94029002696261 140733346720096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029002935312 94029002983056 94029018439680 140733346728219 140733346728417 140733346728417 140733346734019 0
/proc/62410/statm: 1048 768 704 219 0 110 0
[pid=62463] ppid=62410 vsize=1904428 memory=1532044 CPUtime=3595.08 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62410 62410 62332 0 -1 4194304 218743 0 0 0 359225 283 0 0 20 0 1 0 58622288 1950134272 383011 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 476107 383011 2432 1147 0 463534 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1908620 KiB
Current children cumulated memory: 1535116 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3613.6 s]
# the end of solver process 62410 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=4.74048 s, system=0.223678 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3615.62 s]
# the end of solver process 62463 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3598.99 s, system=3.07137 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+3614.4 s]
/proc/loadavg: 3.09 3.08 3.06 4/257 62666
/proc/meminfo: memFree=107941628/131249996 swapFree=33006296/33010684
[pid=62463] ppid=62407 vsize=1904428 memory=1532044 CPUtime=3595.88 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62407 62410 62332 0 -1 4194304 218743 0 0 0 359305 283 0 0 20 0 1 0 58622288 1950134272 383011 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 476107 383011 2432 1147 0 463534 0
Current cumulated CPU time of completed processes: 4.96416 s
Current children cumulated CPU time: 3595.88 s
Current children cumulated vsize: 1904428 KiB
Current children cumulated memory: 1532044 KiB

[startup+3615.2 s]
/proc/loadavg: 3.09 3.08 3.06 4/253 62674
/proc/meminfo: memFree=110493432/131249996 swapFree=33006296/33010684
[pid=62463] ppid=62407 vsize=1904428 memory=1532044 CPUtime=3596.68 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62407 62410 62332 0 -1 4194304 218743 0 0 0 359385 283 0 0 20 0 1 0 58622288 1950134272 383011 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 476107 383011 2432 1147 0 463534 0
Current cumulated CPU time of completed processes: 4.96416 s
Current children cumulated CPU time: 3596.68 s
Current children cumulated vsize: 1904428 KiB
Current children cumulated memory: 1532044 KiB

[startup+3615.6 s]
/proc/loadavg: 3.09 3.08 3.06 4/253 62674
/proc/meminfo: memFree=110493432/131249996 swapFree=33006296/33010684
[pid=62463] ppid=62407 vsize=1904428 memory=1532044 CPUtime=3597.07 cores=0,2
/proc/62463/stat : 62463 (roundingsat) R 62407 62410 62332 0 -1 4194304 218743 0 0 0 359424 283 0 0 20 0 1 0 58622288 1950134272 383011 18446744073709551615 4227072 8923433 140725553681376 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12267520 140725553682678 140725553682984 140725553682984 140725553688554 0
/proc/62463/statm: 476107 383011 2432 1147 0 463534 0
Current cumulated CPU time of completed processes: 4.96416 s
Current children cumulated CPU time: 3597.07 s
Current children cumulated vsize: 1904428 KiB
Current children cumulated memory: 1532044 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3615.62
CPU time (s): 3602.06
CPU user time (s): 3598.99
CPU system time (s): 3.07137
CPU usage (%): 99.6251
Max. virtual memory (cumulated for all children) (KiB): 1908620
Max. memory (cumulated for all children) (KiB): 1535116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 3.07137
maximum resident set size= 1532044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252447
page faults= 0
swaps= 0
block input operations= 8
block output operations= 824336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5925
involuntary context switches= 4801


# summary of solver processes directly reported to runsolver:
#   pid: 62410,62463
#   total CPU time (s): 3602.06
#   total CPU user time (s): 3598.99
#   total CPU system time (s): 3.07137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44712 second user time and 17.2719 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-02 06:10:43
IDJOB=4502879
IDBENCH=155400
IDSOLVER=3356
FILE ID=nodeC015/4502879-1751429442
RUNJOBID= nodeC015-1751429442-62369
SLURM_JOB_ID= 9598367
Free space on /tmp= 432324 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502879-1751429442/watcher-4502879-1751429442 -o /tmp/evaluation-result-4502879-1751429442/solver-4502879-1751429442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751429442-62369 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4502879-1751429442.opb PROOFDIR/proof-4502879-1751429442

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=481264879

nodeC015 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		: 3603.370
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.14
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		: 3600.133
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.14
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.075
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.14
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		: 3648.207
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.14
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.075
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.14
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		: 3423.154
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.14
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		: 3603.944
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.14
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		: 3600.101
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.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129320084 kB
MemAvailable:   129728288 kB
Buffers:            1508 kB
Cached:          1193052 kB
SwapCached:         3880 kB
Active:           331112 kB
Inactive:         955300 kB
Active(anon):      57140 kB
Inactive(anon):    48864 kB
Active(file):     273972 kB
Inactive(file):   906436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            178516 kB
Writeback:            28 kB
AnonPages:         91376 kB
Mapped:           105512 kB
Shmem:             14152 kB
KReclaimable:     134072 kB
Slab:             223508 kB
SReclaimable:     134072 kB
SUnreclaim:        89436 kB
KernelStack:        4128 kB
PageTables:         2944 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     381528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431176 MiB
End job on nodeC015 at 2025-07-02 07:10:58