Trace number 4502973

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+pbsuma-opt-log 63f22ad? (TO) 3602.02 3615.32

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
MD5SUMc0e25a71d8726d42148f3e780c01ff44
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark56
Best CPU time to get the best result obtained on this benchmark3584.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14300
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 constraint60
Maximum length of a constraint93
Number of terms in the objective function 14300
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 14300
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14300
Number of bits of the biggest sum of numbers14
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-4502973-1751428747.opb'
0.48/0.55	c 	read 46.98MB  (540.60ms)
0.48/0.55	c	 [cnf: #variables 14300 #clauses 65281 #duplicates 0 #arr 5126108]
0.48/0.55	c output proof to 'PROOFDIR/proof-4502973-1751428747'
0.48/0.55	c 
0.48/0.55	c make graph and approximate orbits
0.78/0.82	c	 [group: #orbits ~= 312] (265.16ms)
0.78/0.82	c 
0.78/0.82	c detect special group actions
0.78/0.82	c 	probe for Johnson action (limit=64)
0.98/1.10	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.27/1.31	c 	probe for row symmetry (limit=64, splits=16.78M)
4.36/4.47	c 	 (3654.16ms)
4.36/4.47	c 
4.36/4.47	c detect symmetries on remainder
4.36/4.47	c 	[graph: #vertices 108181 #edges 10309416]
4.36/4.49	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
5.66/5.70	c 	 [group: #symmetries 2.56*10^2 #generators 8] (1225.87ms)
5.66/5.70	c 
5.66/5.70	c optimize generators (opt_passes=64, conjugate_limit=256)
5.66/5.70	c 	(0.06ms)
5.66/5.70	c 
5.66/5.70	c finalize break order and special generators
5.66/5.70	c 
5.66/5.70	c add generic predicates (break_depth=20)
5.66/5.70	c 	added predicates for 8 generators (0.71ms)
5.66/5.70	c 
5.66/5.70	c generation finished
5.66/5.70	c 	[sbp: #constraints 0 #add_vars 0]
5.66/5.71	c 
5.66/5.71	c write result to 'HOME/instance-4502973-1751428747.opb.pre'
5.76/5.80	c 	wrote 47.04MB (98.68ms)
5.76/5.80	c ------------------------------------------------------------------
5.76/5.80	c                3654.16ms 63.10% detect_special
5.76/5.80	c                1225.87ms 21.17% detect_generic
5.76/5.80	c                 540.59ms  9.33% parse
5.76/5.80	c                 265.16ms  4.58% approx_orbits
5.76/5.80	c                  98.68ms  1.70% output
5.76/5.80	c                   4.68ms  0.08% other
5.76/5.80	c                   1.34ms  0.02% finalize_order
5.76/5.80	c                   0.71ms  0.01% break_generic
5.76/5.80	c                   0.06ms  0.00% optimize_gens
5.76/5.80	c         ───────────────────────────────────────────────
5.76/5.80	c                5791.25ms   100% total
5.76/5.80	c ------------------------------------------------------------------
5.76/5.83	c RoundingSat 2
5.76/5.83	c branch pb25
5.76/5.83	c commit 63f22ad
8.04/8.15	c #variables 14300 #constraints 65280
8.04/8.15	c objective is ce32 
8.04/8.15	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
8.04/8.15	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
8.04/8.15	c bounds - >= 0 @ 2.15794
24.90/25.01	c bounds 1216 >= 0 @ 18.7519
24.90/25.02	c bounds 1216 >= 1 @ 18.7613
24.90/25.04	c bounds 1216 >= 2 @ 18.7674
24.90/25.05	c bounds 1216 >= 3 @ 18.7725
24.90/25.06	c bounds 1216 >= 4 @ 18.7796
24.90/25.07	c bounds 1216 >= 5 @ 18.7849
24.90/25.08	c bounds 1216 >= 6 @ 18.7897
24.90/25.09	c bounds 1216 >= 7 @ 18.7974
25.00/25.11	c bounds 1216 >= 8 @ 18.8032
25.00/25.12	c bounds 1216 >= 9 @ 18.807
25.00/25.13	c bounds 1216 >= 10 @ 18.8137
25.00/25.14	c bounds 1216 >= 11 @ 18.8219
25.00/25.15	c bounds 1216 >= 12 @ 18.8307
25.00/25.17	c bounds 1216 >= 13 @ 18.8385
25.00/25.18	c bounds 1216 >= 14 @ 18.8461
25.00/25.19	c bounds 1216 >= 15 @ 18.8529
25.09/25.21	c bounds 1216 >= 16 @ 18.8632
25.09/25.22	c bounds 1216 >= 17 @ 18.8711
25.09/25.24	c bounds 1216 >= 18 @ 18.8802
25.09/25.25	c bounds 1216 >= 19 @ 18.886
25.09/25.27	c bounds 1216 >= 20 @ 18.8915
25.09/25.28	c bounds 1216 >= 21 @ 18.9009
25.18/25.30	c bounds 1216 >= 22 @ 18.911
25.18/25.32	c bounds 1216 >= 23 @ 18.9193
25.18/25.33	c bounds 1216 >= 24 @ 18.928
25.18/25.35	c bounds 1216 >= 25 @ 18.9372
25.18/25.37	c bounds 1216 >= 26 @ 18.9504
25.18/25.39	c bounds 1216 >= 27 @ 18.963
25.28/25.43	c bounds 1216 >= 28 @ 18.9987
25.39/25.51	c bounds 1216 >= 29 @ 19.067
25.68/25.89	c bounds 1215 >= 29 @ 19.4298
25.89/26.07	c bounds 1215 >= 30 @ 19.5929
27.88/28.06	c #Conflicts:       1000 | #Constraints:      66494
27.88/28.06	c bounds 1215 >= 31 @ 21.5001
27.99/28.16	c bounds 1214 >= 31 @ 21.5866
28.08/28.29	c bounds 1213 >= 31 @ 21.6942
28.18/28.35	c bounds 1212 >= 31 @ 21.7455
28.28/28.42	c bounds 1211 >= 31 @ 21.8021
28.28/28.47	c bounds 1210 >= 31 @ 21.844
28.38/28.52	c bounds 1209 >= 31 @ 21.8831
28.38/28.59	c bounds 1208 >= 31 @ 21.9442
28.49/28.63	c bounds 1207 >= 31 @ 21.9721
28.49/28.68	c bounds 1206 >= 31 @ 22.0176
28.58/28.72	c bounds 1205 >= 31 @ 22.0511
28.58/28.75	c bounds 1204 >= 31 @ 22.0739
28.58/28.78	c bounds 1203 >= 31 @ 22.0935
28.68/28.81	c bounds 1202 >= 31 @ 22.1155
28.68/28.84	c bounds 1201 >= 31 @ 22.137
28.68/28.89	c bounds 1200 >= 31 @ 22.1662
28.78/28.92	c bounds 1199 >= 31 @ 22.1929
28.78/28.96	c bounds 1198 >= 31 @ 22.2118
28.78/28.99	c bounds 1197 >= 31 @ 22.2317
28.88/29.02	c bounds 1196 >= 31 @ 22.2522
28.88/29.05	c bounds 1195 >= 31 @ 22.2715
28.88/29.08	c bounds 1194 >= 31 @ 22.2856
28.98/29.10	c bounds 1193 >= 31 @ 22.3069
28.98/29.13	c bounds 1192 >= 31 @ 22.3217
28.98/29.16	c bounds 1191 >= 31 @ 22.3421
28.98/29.18	c bounds 1190 >= 31 @ 22.3611
29.08/29.21	c bounds 1189 >= 31 @ 22.3799
29.08/29.23	c bounds 1188 >= 31 @ 22.3988
29.08/29.26	c bounds 1187 >= 31 @ 22.4164
29.08/29.29	c bounds 1186 >= 31 @ 22.4326
29.17/29.32	c bounds 1185 >= 31 @ 22.4497
29.17/29.34	c bounds 1184 >= 31 @ 22.4628
29.17/29.37	c bounds 1183 >= 31 @ 22.4807
29.28/29.40	c bounds 1182 >= 31 @ 22.504
29.28/29.43	c bounds 1181 >= 31 @ 22.5249
29.28/29.46	c bounds 1180 >= 31 @ 22.5454
29.28/29.49	c bounds 1179 >= 31 @ 22.5613
29.38/29.51	c bounds 1178 >= 31 @ 22.5796
29.38/29.54	c bounds 1177 >= 31 @ 22.5937
29.38/29.59	c bounds 1176 >= 31 @ 22.632
29.48/29.62	c bounds 1175 >= 31 @ 22.6528
29.48/29.65	c bounds 1174 >= 31 @ 22.6721
29.48/29.68	c bounds 1173 >= 31 @ 22.688
29.58/29.70	c bounds 1172 >= 31 @ 22.7069
29.58/29.73	c bounds 1171 >= 31 @ 22.7273
29.58/29.76	c bounds 1170 >= 31 @ 22.7435
29.58/29.78	c bounds 1169 >= 31 @ 22.7625
29.68/29.81	c bounds 1168 >= 31 @ 22.7794
29.68/29.84	c bounds 1167 >= 31 @ 22.7988
29.68/29.86	c bounds 1166 >= 31 @ 22.8128
29.68/29.89	c bounds 1165 >= 31 @ 22.8338
29.77/29.92	c bounds 1164 >= 31 @ 22.8528
29.77/29.94	c bounds 1163 >= 31 @ 22.8697
29.77/29.97	c bounds 1162 >= 31 @ 22.8852
29.88/30.00	c bounds 1161 >= 31 @ 22.9088
29.88/30.03	c bounds 1160 >= 31 @ 22.9269
29.88/30.05	c bounds 1159 >= 31 @ 22.9437
29.88/30.08	c bounds 1158 >= 31 @ 22.9602
29.98/30.11	c bounds 1157 >= 31 @ 22.9769
29.98/30.13	c bounds 1156 >= 31 @ 22.996
29.98/30.16	c bounds 1155 >= 31 @ 23.0114
29.98/30.19	c bounds 1154 >= 31 @ 23.0231
30.08/30.21	c bounds 1153 >= 31 @ 23.0396
30.08/30.24	c bounds 1152 >= 31 @ 23.0533
30.08/30.26	c bounds 1151 >= 31 @ 23.07
30.08/30.29	c bounds 1150 >= 31 @ 23.0857
30.18/30.31	c bounds 1149 >= 31 @ 23.1036
30.18/30.34	c bounds 1148 >= 31 @ 23.1182
30.18/30.37	c bounds 1147 >= 31 @ 23.1357
30.18/30.39	c bounds 1146 >= 31 @ 23.1543
30.28/30.42	c bounds 1145 >= 31 @ 23.1749
30.28/30.45	c bounds 1144 >= 31 @ 23.2029
30.28/30.49	c bounds 1143 >= 31 @ 23.2325
30.37/30.53	c bounds 1142 >= 31 @ 23.2622
30.37/30.57	c bounds 1141 >= 31 @ 23.2901
30.48/30.60	c bounds 1140 >= 31 @ 23.3132
30.48/30.63	c bounds 1139 >= 31 @ 23.3355
30.48/30.66	c bounds 1138 >= 31 @ 23.3555
30.48/30.69	c bounds 1137 >= 31 @ 23.3769
30.58/30.72	c bounds 1136 >= 31 @ 23.3977
30.58/30.74	c bounds 1135 >= 31 @ 23.4138
30.58/30.77	c bounds 1134 >= 31 @ 23.4356
30.58/30.79	c bounds 1133 >= 31 @ 23.4513
30.68/30.82	c bounds 1132 >= 31 @ 23.4681
30.68/30.84	c bounds 1131 >= 31 @ 23.4876
30.68/30.87	c bounds 1130 >= 31 @ 23.5068
30.78/30.90	c bounds 1129 >= 31 @ 23.5213
30.78/30.92	c bounds 1128 >= 31 @ 23.5397
30.78/30.95	c bounds 1127 >= 31 @ 23.5589
30.78/30.99	c bounds 1126 >= 31 @ 23.5878
30.88/31.03	c bounds 1125 >= 31 @ 23.6177
30.88/31.07	c bounds 1124 >= 31 @ 23.6437
30.88/31.10	c bounds 1123 >= 31 @ 23.6689
30.98/31.13	c bounds 1122 >= 31 @ 23.6922
30.98/31.16	c bounds 1121 >= 31 @ 23.7094
30.98/31.19	c bounds 1120 >= 31 @ 23.7295
31.07/31.22	c bounds 1119 >= 31 @ 23.7549
31.07/31.25	c bounds 1118 >= 31 @ 23.7763
31.07/31.28	c bounds 1117 >= 31 @ 23.7917
31.18/31.30	c bounds 1116 >= 31 @ 23.8094
31.18/31.33	c bounds 1115 >= 31 @ 23.8274
31.18/31.36	c bounds 1114 >= 31 @ 23.8474
31.18/31.39	c bounds 1113 >= 31 @ 23.8641
31.27/31.41	c bounds 1112 >= 31 @ 23.8796
31.27/31.44	c bounds 1111 >= 31 @ 23.898
31.27/31.46	c bounds 1110 >= 31 @ 23.9175
31.38/31.50	c bounds 1109 >= 31 @ 23.9397
31.38/31.53	c bounds 1108 >= 31 @ 23.9569
31.38/31.55	c bounds 1107 >= 31 @ 23.9781
31.38/31.58	c bounds 1106 >= 31 @ 23.9958
31.47/31.61	c bounds 1105 >= 31 @ 24.0151
31.47/31.63	c bounds 1104 >= 31 @ 24.0306
31.47/31.66	c bounds 1103 >= 31 @ 24.048
31.47/31.68	c bounds 1102 >= 31 @ 24.0644
31.57/31.71	c bounds 1101 >= 31 @ 24.0858
31.57/31.73	c bounds 1100 >= 31 @ 24.1042
31.57/31.76	c bounds 1099 >= 31 @ 24.1236
31.57/31.79	c bounds 1098 >= 31 @ 24.1392
31.67/31.81	c bounds 1097 >= 31 @ 24.1567
31.67/31.84	c bounds 1096 >= 31 @ 24.1757
31.67/31.87	c bounds 1095 >= 31 @ 24.1873
31.77/31.90	c bounds 1094 >= 31 @ 24.2117
31.77/31.92	c bounds 1093 >= 31 @ 24.2244
31.77/31.95	c bounds 1092 >= 31 @ 24.244
31.77/31.99	c bounds 1091 >= 31 @ 24.2725
31.88/32.03	c bounds 1090 >= 31 @ 24.3052

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: 63665 MiB (60736 MiB free)
  memory of node 1: 64507 MiB (61015 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502973-1751428747/watcher-4502973-1751428747 -o /tmp/evaluation-result-4502973-1751428747/solver-4502973-1751428747 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751421462-58345 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4502973-1751428747.opb PROOFDIR/proof-4502973-1751428747 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=59209, runsolver pid=59206
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 3.11 3.10 3.09 4/262 59211
/proc/meminfo: memFree=124661284/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59211] ppid=59209 vsize=43248 memory=33236 CPUtime=0.08 cores=1,3
/proc/59211/stat : 59211 (pbsuma) R 59209 59209 58306 0 -1 4194304 7139 0 0 0 6 2 0 0 20 0 1 0 58554578 44285952 8309 18446744073709551615 4210688 4653049 140731965662656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 30920704 140731965667555 140731965667890 140731965667890 140731965673455 0
/proc/59211/statm: 10812 8309 960 108 0 8220 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47440 KiB
Current children cumulated memory: 36308 KiB

[startup+0.20558 s]*
/proc/loadavg: 3.11 3.10 3.09 4/262 59211
/proc/meminfo: memFree=124639584/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59211] ppid=59209 vsize=82404 memory=57660 CPUtime=0.18 cores=1,3
/proc/59211/stat : 59211 (pbsuma) R 59209 59209 58306 0 -1 4194304 12597 0 0 0 16 2 0 0 20 0 1 0 58554578 84381696 14415 18446744073709551615 4210688 4653049 140731965662656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 30920704 140731965667555 140731965667890 140731965667890 140731965673455 0
/proc/59211/statm: 20601 14415 960 108 0 18009 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 86596 KiB
Current children cumulated memory: 60732 KiB

[startup+0.305417 s]*
/proc/loadavg: 3.11 3.10 3.09 4/262 59211
/proc/meminfo: memFree=124613564/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59211] ppid=59209 vsize=91448 memory=81232 CPUtime=0.28 cores=1,3
/proc/59211/stat : 59211 (pbsuma) R 59209 59209 58306 0 -1 4194304 16709 0 0 0 25 3 0 0 20 0 1 0 58554578 93642752 20308 18446744073709551615 4210688 4653049 140731965662656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 30920704 140731965667555 140731965667890 140731965667890 140731965673455 0
/proc/59211/statm: 22862 20308 960 108 0 20270 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 95640 KiB
Current children cumulated memory: 84304 KiB

[startup+0.70021 s]
/proc/loadavg: 3.11 3.10 3.09 4/262 59211
/proc/meminfo: memFree=124565364/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59211] ppid=59209 vsize=245708 memory=185756 CPUtime=0.68 cores=1,3
/proc/59211/stat : 59211 (pbsuma) R 59209 59209 58306 0 -1 4194304 29224 0 0 0 60 8 0 0 20 0 1 0 58554578 251604992 46439 18446744073709551615 4210688 4653049 140731965662656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 30920704 140731965667555 140731965667890 140731965667890 140731965673455 0
/proc/59211/statm: 61427 46439 992 108 0 58835 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 249900 KiB
Current children cumulated memory: 188828 KiB

[startup+1.50021 s]
/proc/loadavg: 3.11 3.10 3.09 4/262 59211
/proc/meminfo: memFree=124439408/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59211] ppid=59209 vsize=221012 memory=196180 CPUtime=1.47 cores=1,3
/proc/59211/stat : 59211 (pbsuma) R 59209 59209 58306 0 -1 4194304 32193 0 0 0 138 9 0 0 20 0 1 0 58554578 226316288 49045 18446744073709551615 4210688 4653049 140731965662656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 30920704 140731965667555 140731965667890 140731965667890 140731965673455 0
/proc/59211/statm: 55253 49045 992 108 0 52661 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 225204 KiB
Current children cumulated memory: 199252 KiB

[startup+3.10532 s]
/proc/loadavg: 3.18 3.11 3.10 4/262 59211
/proc/meminfo: memFree=124375332/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59211] ppid=59209 vsize=221012 memory=196180 CPUtime=3.07 cores=1,3
/proc/59211/stat : 59211 (pbsuma) R 59209 59209 58306 0 -1 4194304 32212 0 0 0 298 9 0 0 20 0 1 0 58554578 226316288 49045 18446744073709551615 4210688 4653049 140731965662656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 30920704 140731965667555 140731965667890 140731965667890 140731965673455 0
/proc/59211/statm: 55253 49045 992 108 0 52661 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 225204 KiB
Current children cumulated memory: 199252 KiB

[startup+6.30018 s]
/proc/loadavg: 3.18 3.11 3.10 4/262 59213
/proc/meminfo: memFree=124361732/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=61972 memory=17180 CPUtime=0.46 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 2020 0 0 0 44 2 0 0 20 0 1 0 58555160 63459328 4295 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 15493 4295 1952 1147 0 2920 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 66164 KiB
Current children cumulated memory: 20252 KiB

[startup+12.7002 s]
/proc/loadavg: 3.16 3.11 3.09 4/264 59215
/proc/meminfo: memFree=123712548/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=439484 memory=391384 CPUtime=6.83 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 45043 0 0 0 649 34 0 0 20 0 1 0 58555160 450031616 97846 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 109871 97846 2336 1147 0 97298 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 443676 KiB
Current children cumulated memory: 394456 KiB

[startup+25.5002 s]
/proc/loadavg: 3.21 3.12 3.10 4/263 59215
/proc/meminfo: memFree=120025072/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=438364 memory=392648 CPUtime=19.6 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 45104 0 0 0 1905 55 0 0 20 0 1 0 58555160 448884736 98162 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 109591 98162 2400 1147 0 97018 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 442556 KiB
Current children cumulated memory: 395720 KiB

[startup+51.1056 s]
/proc/loadavg: 3.16 3.11 3.09 4/263 59262
/proc/meminfo: memFree=123333324/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=671256 memory=613796 CPUtime=45.13 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 73623 0 0 0 4321 192 0 0 20 0 1 0 58555160 687366144 153449 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 167814 153449 2400 1147 0 155241 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 675448 KiB
Current children cumulated memory: 616868 KiB

[startup+102.3 s]
/proc/loadavg: 3.13 3.11 3.09 4/267 59268
/proc/meminfo: memFree=122440804/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=752200 memory=695412 CPUtime=96.14 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 79304 0 0 0 9416 198 0 0 20 0 1 0 58555160 770252800 173853 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 188050 173853 2400 1147 0 175477 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 756392 KiB
Current children cumulated memory: 698484 KiB

[startup+162.3 s]
/proc/loadavg: 3.10 3.10 3.09 4/266 59281
/proc/meminfo: memFree=122545480/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=952620 memory=853228 CPUtime=155.92 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 82417 0 0 0 15387 205 0 0 20 0 1 0 58555160 975482880 213307 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 238155 213307 2400 1147 0 225582 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 956812 KiB
Current children cumulated memory: 856300 KiB

[startup+222.3 s]
/proc/loadavg: 3.11 3.10 3.09 4/266 59283
/proc/meminfo: memFree=122471776/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=980520 memory=882744 CPUtime=215.71 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 84987 0 0 0 21359 212 0 0 20 0 1 0 58555160 1004052480 220686 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 245130 220686 2400 1147 0 232557 0

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

/proc/meminfo: memFree=111040484/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=2274592 memory=2104916 CPUtime=3264.41 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 174064 0 0 0 326093 348 0 0 20 0 1 0 58555160 2329182208 526229 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 568648 526229 2400 1147 0 556075 0
Current children cumulated CPU time: 3270.2 s
Current children cumulated vsize: 2278784 KiB
Current children cumulated memory: 2107988 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.14 3.10 4/261 59436
/proc/meminfo: memFree=110984808/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=2278752 memory=2109268 CPUtime=3324.19 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 175153 0 0 0 332071 348 0 0 20 0 1 0 58555160 2333442048 527317 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 569688 527317 2400 1147 0 557115 0
Current children cumulated CPU time: 3329.98 s
Current children cumulated vsize: 2282944 KiB
Current children cumulated memory: 2112340 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.14 3.10 4/260 59438
/proc/meminfo: memFree=110971960/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=2278752 memory=2109268 CPUtime=3383.98 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 175343 0 0 0 338050 348 0 0 20 0 1 0 58555160 2333442048 527317 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 569688 527317 2400 1147 0 557115 0
Current children cumulated CPU time: 3389.77 s
Current children cumulated vsize: 2282944 KiB
Current children cumulated memory: 2112340 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.13 3.09 4/261 59445
/proc/meminfo: memFree=110950836/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=2278752 memory=2109268 CPUtime=3443.76 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 175351 0 0 0 344028 348 0 0 20 0 1 0 58555160 2333442048 527317 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 569688 527317 2400 1147 0 557115 0
Current children cumulated CPU time: 3449.55 s
Current children cumulated vsize: 2282944 KiB
Current children cumulated memory: 2112340 KiB

[startup+3522.3 s]
/proc/loadavg: 3.08 3.11 3.09 4/260 59447
/proc/meminfo: memFree=110947852/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=2294992 memory=2127716 CPUtime=3503.53 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 177452 0 0 0 349994 359 0 0 20 0 1 0 58555160 2350071808 531929 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 573748 531929 2400 1147 0 561175 0
Current children cumulated CPU time: 3509.32 s
Current children cumulated vsize: 2299184 KiB
Current children cumulated memory: 2130788 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.12 3.09 4/260 59449
/proc/meminfo: memFree=110919584/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=2294992 memory=2127716 CPUtime=3563.31 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 177656 0 0 0 355972 359 0 0 20 0 1 0 58555160 2350071808 531929 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 573748 531929 2400 1147 0 561175 0
Current children cumulated CPU time: 3569.1 s
Current children cumulated vsize: 2299184 KiB
Current children cumulated memory: 2130788 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 3.08 3.11 3.09 4/260 59449
/proc/meminfo: memFree=110914716/131250000 swapFree=33010416/33010684
[pid=59209] ppid=59206 vsize=4192 memory=3072 CPUtime=5.79 cores=1,3
/proc/59209/stat : 59209 (run-opt-break-l) S 59206 59209 58306 0 -1 4194304 239 39625 0 0 0 0 565 14 20 0 1 0 58554577 4292608 768 18446744073709551615 94864543322112 94864544216645 140722820891232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94864544455696 94864544503440 94864551084032 140722820892949 140722820893150 140722820893150 140722820898752 0
/proc/59209/statm: 1048 768 704 219 0 110 0
[pid=59213] ppid=59209 vsize=2294992 memory=2127716 CPUtime=3594.21 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59209 59209 58306 0 -1 4194304 177667 0 0 0 359061 360 0 0 20 0 1 0 58555160 2350071808 531929 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 573748 531929 2400 1147 0 561175 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2299184 KiB
Current children cumulated memory: 2130788 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3598.26 s, system=3.76344 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.08 3.11 3.09 4/259 59449
/proc/meminfo: memFree=110914716/131250000 swapFree=33010416/33010684
[pid=59213] ppid=59206 vsize=2294992 memory=2127716 CPUtime=3595.31 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59206 59209 58306 0 -1 4194304 177667 0 0 0 359171 360 0 0 20 0 1 0 58555160 2350071808 531929 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 573748 531929 2400 1147 0 561175 0
Current cumulated CPU time of completed processes: 5.7964 s
Current children cumulated CPU time: 3595.31 s
Current children cumulated vsize: 2294992 KiB
Current children cumulated memory: 2127716 KiB

[startup+3614.8 s]
/proc/loadavg: 3.08 3.11 3.09 4/259 59449
/proc/meminfo: memFree=110914716/131250000 swapFree=33010416/33010684
[pid=59213] ppid=59206 vsize=2294992 memory=2127716 CPUtime=3595.71 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59206 59209 58306 0 -1 4194304 177667 0 0 0 359211 360 0 0 20 0 1 0 58555160 2350071808 531929 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 573748 531929 2400 1147 0 561175 0
Current cumulated CPU time of completed processes: 5.7964 s
Current children cumulated CPU time: 3595.71 s
Current children cumulated vsize: 2294992 KiB
Current children cumulated memory: 2127716 KiB

[startup+3615.2 s]
/proc/loadavg: 3.08 3.11 3.09 4/259 59449
/proc/meminfo: memFree=110914724/131250000 swapFree=33010416/33010684
[pid=59213] ppid=59206 vsize=2294992 memory=2127716 CPUtime=3596.1 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59206 59209 58306 0 -1 4194304 177667 0 0 0 359250 360 0 0 20 0 1 0 58555160 2350071808 531929 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 573748 531929 2400 1147 0 561175 0
Current cumulated CPU time of completed processes: 5.7964 s
Current children cumulated CPU time: 3596.1 s
Current children cumulated vsize: 2294992 KiB
Current children cumulated memory: 2127716 KiB

[startup+3615.3 s]
/proc/loadavg: 3.08 3.11 3.09 4/259 59449
/proc/meminfo: memFree=110914724/131250000 swapFree=33010416/33010684
[pid=59213] ppid=59206 vsize=2294992 memory=2127716 CPUtime=3596.2 cores=1,3
/proc/59213/stat : 59213 (roundingsat) R 59206 59209 58306 0 -1 4194304 177667 0 0 0 359260 360 0 0 20 0 1 0 58555160 2350071808 531929 18446744073709551615 4227072 8923433 140725871784304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32337920 140725871786260 140725871786536 140725871786536 140725871792106 0
/proc/59213/statm: 573748 531929 2400 1147 0 561175 0
Current cumulated CPU time of completed processes: 5.7964 s
Current children cumulated CPU time: 3596.2 s
Current children cumulated vsize: 2294992 KiB
Current children cumulated memory: 2127716 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3615.32
CPU time (s): 3602.02
CPU user time (s): 3598.26
CPU system time (s): 3.76344
CPU usage (%): 99.6322
Max. virtual memory (cumulated for all children) (KiB): 2395328
Max. memory (cumulated for all children) (KiB): 2144912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.26
system time used= 3.76344
maximum resident set size= 2199184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 284944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239
involuntary context switches= 1685


# summary of solver processes directly reported to runsolver:
#   pid: 59209,59213
#   total CPU time (s): 3602.02
#   total CPU user time (s): 3598.26
#   total CPU system time (s): 3.76344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19676 second user time and 16.9996 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-02 05:59:07
IDJOB=4502973
IDBENCH=155402
IDSOLVER=3360
FILE ID=nodeC027/4502973-1751428747
RUNJOBID= nodeC027-1751421462-58345
SLURM_JOB_ID= 9598350
Free space on /tmp= 430076 MiB

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

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

MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=1249402194

nodeC027 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.612
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	: 6999.29
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		: 3599.618
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	: 6999.29
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.861
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	: 6999.29
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		: 3584.687
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	: 6999.29
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		: 3599.751
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	: 6999.29
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		: 3599.642
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	: 6999.29
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		: 3724.215
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	: 6999.29
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		: 3504.970
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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124674392 kB
MemAvailable:   128600304 kB
Buffers:            2488 kB
Cached:          4725204 kB
SwapCached:           12 kB
Active:           958496 kB
Inactive:        4185488 kB
Active(anon):     431580 kB
Inactive(anon):     2792 kB
Active(file):     526916 kB
Inactive(file):  4182696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            718464 kB
Writeback:             0 kB
AnonPages:        417964 kB
Mapped:           112212 kB
Shmem:             18056 kB
KReclaimable:     110680 kB
Slab:             200896 kB
SReclaimable:     110680 kB
SUnreclaim:        90216 kB
KernelStack:        4188 kB
PageTables:         3892 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     770452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 429984 MiB
End job on nodeC027 at 2025-07-02 06:59:22