Trace number 4532563

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 0f876b3? (TO) 3602.13 3612.84

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-4532563-1752588529.opb'
0.49/0.53	c 	read 46.98MB  (528.97ms)
0.49/0.53	c	 [cnf: #variables 14300 #clauses 65281 #duplicates 0 #arr 5126108]
0.49/0.54	c output proof to 'PROOFDIR/proof-4532563-1752588529'
0.49/0.54	c 
0.49/0.54	c make graph and approximate orbits
0.78/0.80	c	 [group: #orbits ~= 312] (260.92ms)
0.78/0.80	c 
0.78/0.80	c detect special group actions
0.78/0.80	c 	probe for Johnson action (limit=64)
0.99/1.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.18/1.29	c 	probe for row symmetry (limit=64, splits=16.78M)
4.37/4.42	c 	 (3627.46ms)
4.37/4.42	c 
4.37/4.42	c detect symmetries on remainder
4.37/4.42	c 	[graph: #vertices 108181 #edges 10309416]
4.37/4.44	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
5.56/5.64	c 	 [group: #symmetries 2.56*10^2 #generators 8] (1214.47ms)
5.56/5.64	c 
5.56/5.64	c optimize generators (opt_passes=64, conjugate_limit=256)
5.56/5.64	c 	(0.05ms)
5.56/5.64	c 
5.56/5.64	c finalize break order and special generators
5.56/5.64	c 
5.56/5.64	c add generic predicates (break_depth=20)
5.56/5.64	c 	added predicates for 8 generators (0.71ms)
5.56/5.64	c 
5.56/5.64	c generation finished
5.56/5.64	c 	[sbp: #constraints 0 #add_vars 0]
5.56/5.64	c 
5.56/5.64	c write result to 'HOME/instance-4532563-1752588529.opb.pre'
5.67/5.74	c 	wrote 47.04MB (98.70ms)
5.67/5.74	c ------------------------------------------------------------------
5.67/5.74	c                3627.46ms 63.22% detect_special
5.67/5.74	c                1214.47ms 21.17% detect_generic
5.67/5.74	c                 528.97ms  9.22% parse
5.67/5.74	c                 260.92ms  4.55% approx_orbits
5.67/5.74	c                  98.70ms  1.72% output
5.67/5.74	c                   5.05ms  0.09% other
5.67/5.74	c                   1.31ms  0.02% finalize_order
5.67/5.74	c                   0.71ms  0.01% break_generic
5.67/5.74	c                   0.05ms  0.00% optimize_gens
5.67/5.74	c         ───────────────────────────────────────────────
5.67/5.74	c                5737.65ms   100% total
5.67/5.74	c ------------------------------------------------------------------
5.67/5.77	c RoundingSat 2
5.67/5.77	c branch pb25
5.67/5.77	c commit 0f876b3
7.95/8.01	c #variables 14300 #constraints 65280
7.95/8.01	c objective is ce32 
7.95/8.01	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
7.95/8.01	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
7.95/8.01	c bounds - >= 0 @ 2.10404
24.60/24.75	c bounds 1216 >= 0 @ 18.5752
24.60/24.77	c bounds 1216 >= 1 @ 18.5825
24.60/24.78	c bounds 1216 >= 2 @ 18.5875
24.60/24.79	c bounds 1216 >= 3 @ 18.5943
24.69/24.80	c bounds 1216 >= 4 @ 18.5991
24.69/24.81	c bounds 1216 >= 5 @ 18.6072
24.69/24.82	c bounds 1216 >= 6 @ 18.6128
24.69/24.83	c bounds 1216 >= 7 @ 18.6203
24.69/24.85	c bounds 1216 >= 8 @ 18.6269
24.69/24.86	c bounds 1216 >= 9 @ 18.6352
24.69/24.87	c bounds 1216 >= 10 @ 18.6414
24.69/24.88	c bounds 1216 >= 11 @ 18.645
24.69/24.89	c bounds 1216 >= 12 @ 18.6503
24.80/24.90	c bounds 1216 >= 13 @ 18.6596
24.80/24.92	c bounds 1216 >= 14 @ 18.6637
24.80/24.93	c bounds 1216 >= 15 @ 18.6686
24.80/24.95	c bounds 1216 >= 16 @ 18.6829
24.80/24.96	c bounds 1216 >= 17 @ 18.6898
24.80/24.98	c bounds 1216 >= 18 @ 18.6967
24.80/24.99	c bounds 1216 >= 19 @ 18.7026
24.90/25.00	c bounds 1216 >= 20 @ 18.709
24.90/25.02	c bounds 1216 >= 21 @ 18.719
24.90/25.04	c bounds 1216 >= 22 @ 18.7294
24.90/25.05	c bounds 1216 >= 23 @ 18.7357
24.90/25.07	c bounds 1216 >= 24 @ 18.7433
24.90/25.09	c bounds 1216 >= 25 @ 18.7526
25.00/25.11	c bounds 1216 >= 26 @ 18.7673
25.00/25.12	c bounds 1216 >= 27 @ 18.7768
25.00/25.17	c bounds 1216 >= 28 @ 18.814
25.09/25.26	c bounds 1216 >= 29 @ 18.8893
25.49/25.67	c bounds 1215 >= 29 @ 19.2845
25.69/25.86	c bounds 1215 >= 30 @ 19.4601
27.79/27.94	c #Conflicts:       1000 | #Constraints:      66494
27.79/27.94	c bounds 1215 >= 31 @ 21.4574
27.89/28.04	c bounds 1214 >= 31 @ 21.5519
28.00/28.18	c bounds 1213 >= 31 @ 21.6709
28.09/28.24	c bounds 1212 >= 31 @ 21.7277
28.19/28.31	c bounds 1211 >= 31 @ 21.7912
28.19/28.37	c bounds 1210 >= 31 @ 21.8348
28.29/28.41	c bounds 1209 >= 31 @ 21.8731
28.29/28.49	c bounds 1208 >= 31 @ 21.9422
28.39/28.53	c bounds 1207 >= 31 @ 21.9728
28.39/28.59	c bounds 1206 >= 31 @ 22.0216
28.49/28.63	c bounds 1205 >= 31 @ 22.0567
28.49/28.66	c bounds 1204 >= 31 @ 22.0864
28.49/28.69	c bounds 1203 >= 31 @ 22.1094
28.59/28.72	c bounds 1202 >= 31 @ 22.1335
28.59/28.75	c bounds 1201 >= 31 @ 22.1543
28.69/28.80	c bounds 1200 >= 31 @ 22.1864
28.69/28.83	c bounds 1199 >= 31 @ 22.2143
28.69/28.86	c bounds 1198 >= 31 @ 22.2363
28.79/28.90	c bounds 1197 >= 31 @ 22.2621
28.79/28.93	c bounds 1196 >= 31 @ 22.2807
28.79/28.95	c bounds 1195 >= 31 @ 22.3007
28.79/28.98	c bounds 1194 >= 31 @ 22.3182
28.89/29.01	c bounds 1193 >= 31 @ 22.3379
28.89/29.04	c bounds 1192 >= 31 @ 22.3549
28.89/29.06	c bounds 1191 >= 31 @ 22.373
28.89/29.09	c bounds 1190 >= 31 @ 22.3934
29.00/29.11	c bounds 1189 >= 31 @ 22.4084
29.00/29.14	c bounds 1188 >= 31 @ 22.4244
29.00/29.17	c bounds 1187 >= 31 @ 22.4458
29.08/29.20	c bounds 1186 >= 31 @ 22.4678
29.08/29.23	c bounds 1185 >= 31 @ 22.4879
29.08/29.25	c bounds 1184 >= 31 @ 22.507
29.08/29.28	c bounds 1183 >= 31 @ 22.5258
29.18/29.31	c bounds 1182 >= 31 @ 22.5496
29.18/29.34	c bounds 1181 >= 31 @ 22.5741
29.18/29.38	c bounds 1180 >= 31 @ 22.5972
29.29/29.40	c bounds 1179 >= 31 @ 22.6158
29.29/29.43	c bounds 1178 >= 31 @ 22.6325
29.29/29.46	c bounds 1177 >= 31 @ 22.6489
29.39/29.51	c bounds 1176 >= 31 @ 22.6785
29.39/29.54	c bounds 1175 >= 31 @ 22.6994
29.39/29.57	c bounds 1174 >= 31 @ 22.7196
29.48/29.60	c bounds 1173 >= 31 @ 22.7379
29.48/29.62	c bounds 1172 >= 31 @ 22.7548
29.48/29.65	c bounds 1171 >= 31 @ 22.7802
29.48/29.68	c bounds 1170 >= 31 @ 22.7994
29.59/29.71	c bounds 1169 >= 31 @ 22.8203
29.59/29.74	c bounds 1168 >= 31 @ 22.8398
29.59/29.77	c bounds 1167 >= 31 @ 22.8613
29.59/29.79	c bounds 1166 >= 31 @ 22.8764
29.68/29.82	c bounds 1165 >= 31 @ 22.8962
29.68/29.85	c bounds 1164 >= 31 @ 22.914
29.68/29.87	c bounds 1163 >= 31 @ 22.9308
29.78/29.91	c bounds 1162 >= 31 @ 22.9544
29.78/29.94	c bounds 1161 >= 31 @ 22.977
29.78/29.96	c bounds 1160 >= 31 @ 22.9922
29.78/29.99	c bounds 1159 >= 31 @ 23.012
29.89/30.02	c bounds 1158 >= 31 @ 23.0309
29.89/30.04	c bounds 1157 >= 31 @ 23.0487
29.89/30.07	c bounds 1156 >= 31 @ 23.0722
29.99/30.10	c bounds 1155 >= 31 @ 23.0901
29.99/30.13	c bounds 1154 >= 31 @ 23.109
29.99/30.15	c bounds 1153 >= 31 @ 23.1278
29.99/30.18	c bounds 1152 >= 31 @ 23.1446
30.09/30.21	c bounds 1151 >= 31 @ 23.1575
30.09/30.24	c bounds 1150 >= 31 @ 23.1764
30.09/30.26	c bounds 1149 >= 31 @ 23.1972
30.09/30.29	c bounds 1148 >= 31 @ 23.2129
30.18/30.32	c bounds 1147 >= 31 @ 23.2347
30.18/30.34	c bounds 1146 >= 31 @ 23.2515
30.18/30.37	c bounds 1145 >= 31 @ 23.2722
30.28/30.41	c bounds 1144 >= 31 @ 23.2998
30.28/30.45	c bounds 1143 >= 31 @ 23.3272
30.28/30.49	c bounds 1142 >= 31 @ 23.3576
30.38/30.53	c bounds 1141 >= 31 @ 23.3874
30.38/30.56	c bounds 1140 >= 31 @ 23.4106
30.38/30.59	c bounds 1139 >= 31 @ 23.4352
30.48/30.62	c bounds 1138 >= 31 @ 23.4549
30.48/30.65	c bounds 1137 >= 31 @ 23.477
30.48/30.68	c bounds 1136 >= 31 @ 23.4981
30.58/30.70	c bounds 1135 >= 31 @ 23.5151
30.58/30.73	c bounds 1134 >= 31 @ 23.5291
30.58/30.76	c bounds 1133 >= 31 @ 23.5426
30.58/30.78	c bounds 1132 >= 31 @ 23.557
30.68/30.81	c bounds 1131 >= 31 @ 23.5747
30.68/30.84	c bounds 1130 >= 31 @ 23.5965
30.68/30.86	c bounds 1129 >= 31 @ 23.6136
30.68/30.89	c bounds 1128 >= 31 @ 23.629
30.78/30.92	c bounds 1127 >= 31 @ 23.6497
30.78/30.96	c bounds 1126 >= 31 @ 23.6811
30.88/31.00	c bounds 1125 >= 31 @ 23.7165
30.88/31.04	c bounds 1124 >= 31 @ 23.7445
30.88/31.07	c bounds 1123 >= 31 @ 23.7681
30.98/31.10	c bounds 1122 >= 31 @ 23.7897
30.98/31.13	c bounds 1121 >= 31 @ 23.813
30.98/31.16	c bounds 1120 >= 31 @ 23.8361
31.08/31.20	c bounds 1119 >= 31 @ 23.8622
31.08/31.23	c bounds 1118 >= 31 @ 23.8803
31.08/31.25	c bounds 1117 >= 31 @ 23.8979
31.08/31.28	c bounds 1116 >= 31 @ 23.9186
31.18/31.31	c bounds 1115 >= 31 @ 23.9387
31.18/31.34	c bounds 1114 >= 31 @ 23.958
31.18/31.37	c bounds 1113 >= 31 @ 23.9702
31.18/31.39	c bounds 1112 >= 31 @ 23.9865
31.28/31.42	c bounds 1111 >= 31 @ 24.0006
31.28/31.45	c bounds 1110 >= 31 @ 24.0168
31.28/31.48	c bounds 1109 >= 31 @ 24.0385
31.38/31.51	c bounds 1108 >= 31 @ 24.0589
31.38/31.54	c bounds 1107 >= 31 @ 24.0778
31.38/31.57	c bounds 1106 >= 31 @ 24.0959
31.38/31.59	c bounds 1105 >= 31 @ 24.1113
31.48/31.62	c bounds 1104 >= 31 @ 24.1295
31.48/31.64	c bounds 1103 >= 31 @ 24.1469
31.48/31.67	c bounds 1102 >= 31 @ 24.1654
31.48/31.69	c bounds 1101 >= 31 @ 24.18
31.58/31.72	c bounds 1100 >= 31 @ 24.1956
31.58/31.75	c bounds 1099 >= 31 @ 24.2148
31.58/31.78	c bounds 1098 >= 31 @ 24.2364
31.68/31.80	c bounds 1097 >= 31 @ 24.2523
31.68/31.83	c bounds 1096 >= 31 @ 24.2729
31.68/31.86	c bounds 1095 >= 31 @ 24.2921
31.68/31.89	c bounds 1094 >= 31 @ 24.3178
31.78/31.92	c bounds 1093 >= 31 @ 24.3363
31.78/31.94	c bounds 1092 >= 31 @ 24.3572
31.78/31.98	c bounds 1091 >= 31 @ 24.384
31.88/32.02	c bounds 1090 >= 31 @ 24.4106

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532563-1752588529/watcher-4532563-1752588529 -o /tmp/evaluation-result-4532563-1752588529/solver-4532563-1752588529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752584602-138018 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532563-1752588529.opb PROOFDIR/proof-4532563-1752588529 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=139066, runsolver pid=139063
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.25 4.27 4.15 5/276 139068
/proc/meminfo: memFree=87882628/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139068] ppid=139066 vsize=44440 memory=36272 CPUtime=0.08 cores=0,2
/proc/139068/stat : 139068 (pbsuma) R 139066 139066 138008 0 -1 4194304 7891 0 0 0 7 1 0 0 20 0 1 0 174531790 45506560 9068 18446744073709551615 4210688 4653049 140734452663728 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23236608 140734452668641 140734452668976 140734452668976 140734452674543 0
/proc/139068/statm: 11110 9068 960 108 0 8518 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48632 KiB
Current children cumulated memory: 39344 KiB

[startup+0.205788 s]*
/proc/loadavg: 4.25 4.27 4.15 5/276 139068
/proc/meminfo: memFree=87874436/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139068] ppid=139066 vsize=77248 memory=62000 CPUtime=0.19 cores=0,2
/proc/139068/stat : 139068 (pbsuma) R 139066 139066 138008 0 -1 4194304 13421 0 0 0 16 3 0 0 20 0 1 0 174531790 79101952 15500 18446744073709551615 4210688 4653049 140734452663728 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23236608 140734452668641 140734452668976 140734452668976 140734452674543 0
/proc/139068/statm: 19312 15500 960 108 0 16720 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 81440 KiB
Current children cumulated memory: 65072 KiB

[startup+0.30575 s]*
/proc/loadavg: 4.25 4.27 4.15 5/276 139068
/proc/meminfo: memFree=87866244/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139068] ppid=139066 vsize=92900 memory=83732 CPUtime=0.29 cores=0,2
/proc/139068/stat : 139068 (pbsuma) R 139066 139066 138008 0 -1 4194304 17327 0 0 0 25 4 0 0 20 0 1 0 174531790 95129600 20933 18446744073709551615 4210688 4653049 140734452663728 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23236608 140734452668641 140734452668976 140734452668976 140734452674543 0
/proc/139068/statm: 23225 20933 960 108 0 20633 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97092 KiB
Current children cumulated memory: 86804 KiB

[startup+0.700197 s]
/proc/loadavg: 4.25 4.27 4.15 5/276 139068
/proc/meminfo: memFree=87829952/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139068] ppid=139066 vsize=254160 memory=228760 CPUtime=0.67 cores=0,2
/proc/139068/stat : 139068 (pbsuma) R 139066 139066 138008 0 -1 4194304 31284 0 0 0 59 8 0 0 20 0 1 0 174531790 260259840 57190 18446744073709551615 4210688 4653049 140734452663728 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23236608 140734452668641 140734452668976 140734452668976 140734452674543 0
/proc/139068/statm: 63540 57190 992 108 0 60948 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 258352 KiB
Current children cumulated memory: 231832 KiB

[startup+1.50018 s]
/proc/loadavg: 4.25 4.27 4.15 5/276 139068
/proc/meminfo: memFree=87663864/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139068] ppid=139066 vsize=221012 memory=194996 CPUtime=1.48 cores=0,2
/proc/139068/stat : 139068 (pbsuma) R 139066 139066 138008 0 -1 4194304 32897 0 0 0 139 9 0 0 20 0 1 0 174531790 226316288 48749 18446744073709551615 4210688 4653049 140734452663728 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23236608 140734452668641 140734452668976 140734452668976 140734452674543 0
/proc/139068/statm: 55253 48749 1024 108 0 52661 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225204 KiB
Current children cumulated memory: 198068 KiB

[startup+3.10559 s]
/proc/loadavg: 4.23 4.27 4.15 5/276 139068
/proc/meminfo: memFree=87530320/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139068] ppid=139066 vsize=221012 memory=194996 CPUtime=3.08 cores=0,2
/proc/139068/stat : 139068 (pbsuma) R 139066 139066 138008 0 -1 4194304 32915 0 0 0 299 9 0 0 20 0 1 0 174531790 226316288 48749 18446744073709551615 4210688 4653049 140734452663728 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23236608 140734452668641 140734452668976 140734452668976 140734452674543 0
/proc/139068/statm: 55253 48749 1024 108 0 52661 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 225204 KiB
Current children cumulated memory: 198068 KiB

[startup+6.30018 s]
/proc/loadavg: 4.23 4.27 4.15 5/276 139069
/proc/meminfo: memFree=87377388/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=62472 memory=18336 CPUtime=0.51 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 2342 0 0 0 49 2 0 0 20 0 1 0 174532366 63971328 4584 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 15618 4584 1920 1147 0 3044 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 66664 KiB
Current children cumulated memory: 21408 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.26 4.15 5/276 139069
/proc/meminfo: memFree=86478960/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=439488 memory=391708 CPUtime=6.9 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 44547 0 0 0 657 33 0 0 20 0 1 0 174532366 450035712 97927 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 109872 97927 2304 1147 0 97298 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 443680 KiB
Current children cumulated memory: 394780 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.25 4.15 5/276 139069
/proc/meminfo: memFree=85659024/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=438368 memory=397072 CPUtime=19.66 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 44660 0 0 0 1911 55 0 0 20 0 1 0 174532366 448888832 99268 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 109592 99268 2368 1147 0 97018 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 442560 KiB
Current children cumulated memory: 400144 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.24 4.15 5/277 139071
/proc/meminfo: memFree=83946352/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=671260 memory=612384 CPUtime=45.2 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 73259 0 0 0 4335 185 0 0 20 0 1 0 174532366 687370240 153096 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 167815 153096 2368 1147 0 155241 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 675452 KiB
Current children cumulated memory: 615456 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.22 4.14 5/277 139073
/proc/meminfo: memFree=78977536/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=760592 memory=702144 CPUtime=96.26 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 79394 0 0 0 9436 190 0 0 20 0 1 0 174532366 778846208 175536 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 190148 175536 2368 1147 0 177574 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 764784 KiB
Current children cumulated memory: 705216 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.19 4.14 5/275 139075
/proc/meminfo: memFree=72496924/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=952624 memory=851696 CPUtime=156.1 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 82207 0 0 0 15414 196 0 0 20 0 1 0 174532366 975486976 212924 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 238156 212924 2368 1147 0 225582 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 956816 KiB
Current children cumulated memory: 854768 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.17 4.13 4/273 139077
/proc/meminfo: memFree=68215480/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=980524 memory=885784 CPUtime=215.93 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 84602 0 0 0 21391 202 0 0 20 0 1 0 174532366 1004056576 221446 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 245131 221446 2368 1147 0 232557 0
Current children cumulated CPU time: 221.66 s

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

/proc/meminfo: memFree=1594332/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=2278756 memory=2105404 CPUtime=3266.92 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 272786 0 0 0 326321 371 0 0 20 0 1 0 174532366 2333446144 526351 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 569689 526351 2368 1147 0 557115 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 2282948 KiB
Current children cumulated memory: 2108476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 2/269 139285
/proc/meminfo: memFree=1573756/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=2278756 memory=2105404 CPUtime=3326.74 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 272977 0 0 0 332303 371 0 0 20 0 1 0 174532366 2333446144 526351 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 569689 526351 2368 1147 0 557115 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 2282948 KiB
Current children cumulated memory: 2108476 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 139289
/proc/meminfo: memFree=1461572/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=2278756 memory=2105404 CPUtime=3386.54 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 272983 0 0 0 338281 373 0 0 20 0 1 0 174532366 2333446144 526351 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 569689 526351 2368 1147 0 557115 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 2282948 KiB
Current children cumulated memory: 2108476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 4/272 139294
/proc/meminfo: memFree=1513052/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=2294996 memory=2121740 CPUtime=3446.32 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 296485 0 0 0 344245 387 0 0 20 0 1 0 174532366 2350075904 530435 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 573749 530435 2368 1147 0 561175 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 2299188 KiB
Current children cumulated memory: 2124812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 2/270 139296
/proc/meminfo: memFree=1464716/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=2294996 memory=2123916 CPUtime=3506.13 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 297134 0 0 0 350225 388 0 0 20 0 1 0 174532366 2350075904 530979 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 573749 530979 2368 1147 0 561175 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 2299188 KiB
Current children cumulated memory: 2126988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.81 4.31 4.16 2/270 139334
/proc/meminfo: memFree=1660432/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=2294996 memory=2123916 CPUtime=3565.94 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 297220 0 0 0 356206 388 0 0 20 0 1 0 174532366 2350075904 530979 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 573749 530979 2368 1147 0 561175 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 2299188 KiB
Current children cumulated memory: 2126988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.88 4.37 4.19 2/270 139335
/proc/meminfo: memFree=1638120/131249988 swapFree=33010160/33010684
[pid=139066] ppid=139063 vsize=4192 memory=3072 CPUtime=5.73 cores=0,2
/proc/139066/stat : 139066 (run-opt-break-l) S 139063 139066 138008 0 -1 4194304 243 40326 0 0 0 0 559 14 20 0 1 0 174531790 4292608 768 18446744073709551615 94704088190976 94704089085509 140722485445488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94704089324560 94704089372304 94704112898048 140722485451027 140722485451228 140722485451228 140722485456832 0
/proc/139066/statm: 1048 768 704 219 0 110 0
[pid=139069] ppid=139066 vsize=2294996 memory=2123916 CPUtime=3594.35 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139066 139066 138008 0 -1 4194304 297224 0 0 0 359047 388 0 0 20 0 1 0 174532366 2350075904 530979 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 573749 530979 2368 1147 0 561175 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2299188 KiB
Current children cumulated memory: 2126988 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3598.07 s, system=4.06166 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+3611.2 s]
/proc/loadavg: 4.88 4.37 4.19 2/269 139335
/proc/meminfo: memFree=1638372/131249988 swapFree=33010160/33010684
[pid=139069] ppid=139063 vsize=2294996 memory=2123916 CPUtime=3594.75 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139063 139066 138008 0 -1 4194304 297224 0 0 0 359087 388 0 0 20 0 1 0 174532366 2350075904 530979 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 573749 530979 2368 1147 0 561175 0
Current cumulated CPU time of completed processes: 5.74202 s
Current children cumulated CPU time: 3594.75 s
Current children cumulated vsize: 2294996 KiB
Current children cumulated memory: 2123916 KiB

[startup+3612 s]*
/proc/loadavg: 4.97 4.40 4.20 2/269 139335
/proc/meminfo: memFree=1638624/131249988 swapFree=33010160/33010684
[pid=139069] ppid=139063 vsize=2294996 memory=2123916 CPUtime=3595.55 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139063 139066 138008 0 -1 4194304 297224 0 0 0 359167 388 0 0 20 0 1 0 174532366 2350075904 530979 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 573749 530979 2368 1147 0 561175 0
Current cumulated CPU time of completed processes: 5.74202 s
Current children cumulated CPU time: 3595.55 s
Current children cumulated vsize: 2294996 KiB
Current children cumulated memory: 2123916 KiB

[startup+3612.4 s]
/proc/loadavg: 4.97 4.40 4.20 2/269 139335
/proc/meminfo: memFree=1638624/131249988 swapFree=33010160/33010684
[pid=139069] ppid=139063 vsize=2294996 memory=2123916 CPUtime=3595.94 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139063 139066 138008 0 -1 4194304 297224 0 0 0 359206 388 0 0 20 0 1 0 174532366 2350075904 530979 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 573749 530979 2368 1147 0 561175 0
Current cumulated CPU time of completed processes: 5.74202 s
Current children cumulated CPU time: 3595.94 s
Current children cumulated vsize: 2294996 KiB
Current children cumulated memory: 2123916 KiB

[startup+3612.8 s]
/proc/loadavg: 4.97 4.40 4.20 2/269 139335
/proc/meminfo: memFree=1638624/131249988 swapFree=33010160/33010684
[pid=139069] ppid=139063 vsize=2294996 memory=2123916 CPUtime=3596.34 cores=0,2
/proc/139069/stat : 139069 (roundingsat) R 139063 139066 138008 0 -1 4194304 297224 0 0 0 359246 388 0 0 20 0 1 0 174532366 2350075904 530979 18446744073709551615 4227072 8923577 140726359566752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 38273024 140726359570706 140726359570982 140726359570982 140726359576554 0
/proc/139069/statm: 573749 530979 2368 1147 0 561175 0
Current cumulated CPU time of completed processes: 5.74202 s
Current children cumulated CPU time: 3596.34 s
Current children cumulated vsize: 2294996 KiB
Current children cumulated memory: 2123916 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.84
CPU time (s): 3602.13
CPU user time (s): 3598.07
CPU system time (s): 4.06166
CPU usage (%): 99.7036
Max. virtual memory (cumulated for all children) (KiB): 2395332
Max. memory (cumulated for all children) (KiB): 2126988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.07
system time used= 4.06166
maximum resident set size= 2193400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 284936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217
involuntary context switches= 8495


# summary of solver processes directly reported to runsolver:
#   pid: 139066,139069
#   total CPU time (s): 3602.13
#   total CPU user time (s): 3598.07
#   total CPU system time (s): 4.06166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0201 second user time and 12.8945 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-15 16:08:49
IDJOB=4532563
IDBENCH=155402
IDSOLVER=3393
FILE ID=nodeC034/4532563-1752588529
RUNJOBID= nodeC034-1752584602-138018
SLURM_JOB_ID= 9684364
Free space on /tmp= 431688 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532563-1752588529/watcher-4532563-1752588529 -o /tmp/evaluation-result-4532563-1752588529/solver-4532563-1752588529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752584602-138018 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532563-1752588529.opb PROOFDIR/proof-4532563-1752588529

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

MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=1107482730

nodeC034 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.731
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.53
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.761
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.53
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		: 3599.446
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.53
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		: 3599.906
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.53
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.757
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.53
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.762
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.53
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		: 3599.772
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        87911296 kB
MemAvailable:   121338272 kB
Buffers:            2128 kB
Cached:         34160112 kB
SwapCached:           36 kB
Active:          8613488 kB
Inactive:       33629508 kB
Active(anon):    8096708 kB
Inactive(anon):     2160 kB
Active(file):     516780 kB
Inactive(file): 33627348 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           9127312 kB
Writeback:             0 kB
AnonPages:       8083864 kB
Mapped:           120236 kB
Shmem:             18068 kB
KReclaimable:     243776 kB
Slab:             625636 kB
SReclaimable:     243776 kB
SUnreclaim:       381860 kB
KernelStack:        4432 kB
PageTables:        19296 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    8869520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150712 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2256896 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431664 MiB
End job on nodeC034 at 2025-07-15 17:09:02