Trace number 4522554

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 63f22ad? (TO) 3602.08 3612.01

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
MD5SUM3daa9ced16b2be364df6dcba1fb45266
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 benchmark1052
Best CPU time to get the best result obtained on this benchmark3586.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables92769
Total number of constraints92770
Number of constraints which are clauses79004
Number of constraints which are cardinality constraints (but not clauses)2888
Number of constraints which are nor clauses,nor cardinality constraints10878
Minimum length of a constraint1
Maximum length of a constraint2888
Number of terms in the objective function 2888
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 2888
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 688
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3576
Number of bits of the biggest sum of numbers12
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.08	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.08	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.08	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.08	c │      (c) 2025 Markus Anders                                    │
0.00/0.08	c └────────────────────────────────────────────────────────────────┘
0.00/0.08	c parse 'HOME/instance-4522554-1751643641.opb'
0.01/0.17	c 	read 5.61MB  (92.32ms)
0.01/0.17	c	 [cnf: #variables 92769 #clauses 92771 #duplicates 0 #arr 502054]
0.01/0.17	c 
0.01/0.17	c make graph and approximate orbits
0.12/0.30	c	 [group: #orbits ~= 130] (128.53ms)
0.12/0.30	c 
0.12/0.30	c detect special group actions
0.12/0.30	c 	probe for Johnson action (limit=64)
0.12/0.30	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.21/0.31	c 	probe for row symmetry (limit=64, splits=16.78M)
0.21/0.31	c 	recursing 84 blocks of candidate 42x10r
0.21/0.32	c 	 found row 42x10, generating row predicate
0.21/0.32	c 	 (19.51ms)
0.21/0.32	c 
0.21/0.32	c detect symmetries on remainder
0.21/0.32	c 	[graph: #vertices 383055 #edges 1399138]
0.21/0.32	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.21/0.39	c 	 [group: #symmetries 7.66*10^1020 #generators 564] (72.90ms)
0.21/0.39	c 
0.21/0.39	c optimize generators (opt_passes=64, conjugate_limit=256)
0.31/0.44	c 	ran it=0, +gens=196 
0.81/0.99	c 	con best_support=4, best_gens=540, +gens=234
0.81/0.99	c 	(594.95ms)
0.81/0.99	c 
0.81/0.99	c finalize break order and special generators
0.81/0.99	c 
0.81/0.99	c add generic predicates (break_depth=20)
0.81/0.99	c 	added predicates for 994 generators (0.25ms)
0.81/0.99	c 
0.81/0.99	c generation finished
0.81/0.99	c 	[sbp: #constraints 3516 #add_vars 827]
0.81/1.00	c 
0.81/1.00	c write result to 'HOME/instance-4522554-1751643641.opb.pre'
0.91/1.01	c 	wrote 5.83MB (13.13ms)
0.91/1.01	c ------------------------------------------------------------------
0.91/1.01	c                 594.95ms 63.97% optimize_gens
0.91/1.01	c                 128.53ms 13.82% approx_orbits
0.91/1.01	c                  92.32ms  9.93% parse
0.91/1.01	c                  72.90ms  7.84% detect_generic
0.91/1.01	c                  19.51ms  2.10% detect_special
0.91/1.01	c                  13.13ms  1.41% output
0.91/1.01	c                   4.62ms  0.50% other
0.91/1.01	c                   3.80ms  0.41% finalize_order
0.91/1.01	c                   0.25ms  0.03% break_generic
0.91/1.01	c         ───────────────────────────────────────────────
0.91/1.01	c                 930.02ms   100% total
0.91/1.01	c ------------------------------------------------------------------
0.91/1.04	c RoundingSat 2
0.91/1.04	c branch pb25
0.91/1.04	c commit 63f22ad
0.93/1.63	c #variables 93596 #constraints 108012
0.93/1.63	c objective is ce32 
0.93/1.63	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.93/1.63	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.93/1.63	c bounds - >= 0 @ 0.450608
4.77/4.96	c bounds 1200 >= 0 @ 3.52275
4.77/4.96	c bounds 1200 >= 506 @ 3.52355
4.77/4.97	c bounds 1200 >= 507 @ 3.52702
4.77/4.97	c bounds 1200 >= 508 @ 3.52953
4.77/4.97	c bounds 1200 >= 509 @ 3.53032
4.77/4.97	c bounds 1200 >= 510 @ 3.53137
4.77/4.97	c bounds 1200 >= 511 @ 3.53165
4.77/4.97	c bounds 1200 >= 512 @ 3.53254
4.77/4.97	c bounds 1200 >= 513 @ 3.53309
4.77/4.97	c bounds 1200 >= 514 @ 3.53439
4.77/4.98	c bounds 1200 >= 515 @ 3.5357
4.77/4.98	c bounds 1200 >= 516 @ 3.53581
4.77/4.98	c bounds 1200 >= 517 @ 3.53665
4.77/4.98	c bounds 1200 >= 519 @ 3.53692
4.77/4.98	c bounds 1200 >= 520 @ 3.53747
4.77/4.98	c bounds 1200 >= 521 @ 3.53994
4.77/4.98	c bounds 1200 >= 522 @ 3.54089
4.77/4.99	c bounds 1200 >= 523 @ 3.5438
4.77/4.99	c bounds 1200 >= 524 @ 3.54572
4.77/4.99	c bounds 1200 >= 525 @ 3.54657
4.77/4.99	c bounds 1200 >= 526 @ 3.54678
4.77/4.99	c bounds 1200 >= 527 @ 3.5486
4.77/4.99	c bounds 1200 >= 528 @ 3.54968
4.77/5.00	c bounds 1200 >= 529 @ 3.55093
4.77/5.00	c bounds 1200 >= 530 @ 3.55287
4.77/5.00	c bounds 1200 >= 531 @ 3.5548
4.87/5.00	c bounds 1200 >= 532 @ 3.55779
4.87/5.00	c bounds 1200 >= 533 @ 3.55906
4.87/5.01	c bounds 1200 >= 534 @ 3.56052
4.87/5.01	c bounds 1200 >= 536 @ 3.56077
4.87/5.01	c bounds 1200 >= 537 @ 3.56177
4.87/5.01	c bounds 1200 >= 538 @ 3.56291
4.87/5.01	c bounds 1200 >= 539 @ 3.56505
4.87/5.01	c bounds 1200 >= 540 @ 3.56573
4.87/5.02	c bounds 1200 >= 993 @ 3.57073
4.87/5.02	c bounds 1200 >= 994 @ 3.57103
4.87/5.02	c bounds 1200 >= 995 @ 3.57128
4.87/5.02	c bounds 1200 >= 996 @ 3.5745
4.87/5.02	c bounds 1200 >= 997 @ 3.57525
4.87/5.02	c bounds 1200 >= 998 @ 3.5761
4.87/5.02	c bounds 1200 >= 999 @ 3.57691
4.87/5.03	c bounds 1200 >= 1000 @ 3.57802
4.87/5.03	c bounds 1200 >= 1001 @ 3.57869
4.87/5.03	c bounds 1200 >= 1002 @ 3.58079
4.87/5.03	c bounds 1200 >= 1003 @ 3.58299
4.87/5.04	c bounds 1200 >= 1004 @ 3.58568
4.87/5.04	c bounds 1200 >= 1005 @ 3.58912
4.87/5.04	c bounds 1200 >= 1006 @ 3.59081
4.87/5.04	c bounds 1200 >= 1007 @ 3.59338
4.87/5.05	c bounds 1200 >= 1008 @ 3.59664
4.87/5.05	c bounds 1200 >= 1009 @ 3.60178
4.87/5.06	c bounds 1200 >= 1010 @ 3.60552
4.87/5.07	c bounds 1200 >= 1011 @ 3.61836
4.87/5.09	c bounds 1200 >= 1012 @ 3.63434
4.98/5.11	c bounds 1200 >= 1013 @ 3.65449
4.98/5.15	c #Conflicts:       1000 | #Constraints:     109214
4.98/5.15	c bounds 1200 >= 1014 @ 3.69345
5.07/5.24	c bounds 1200 >= 1015 @ 3.78025
5.27/5.41	c bounds 1200 >= 1016 @ 3.94339
5.27/5.42	c bounds 1200 >= 1017 @ 3.95709
6.36/6.51	c bounds 1200 >= 1018 @ 5.02016
20.13/20.33	c #Conflicts:       2000 | #Constraints:     110287
20.13/20.33	c INPROCESSING
20.13/20.33	c GARBAGE COLLECT
20.13/20.33	c #Conflicts:       3000 | #Constraints:     104972
20.13/20.33	c bounds 1200 >= 1019 @ 18.7208
20.53/20.71	c #Conflicts:       4000 | #Constraints:     105993
20.53/20.71	c bounds 1176 >= 1019 @ 19.0686
20.53/20.77	c bounds 1174 >= 1019 @ 19.1261
20.62/20.81	c bounds 1172 >= 1019 @ 19.1652
20.62/20.87	c bounds 1170 >= 1019 @ 19.2173
20.73/20.93	c bounds 1168 >= 1019 @ 19.2706
20.93/21.19	c INPROCESSING
20.93/21.19	c GARBAGE COLLECT
20.93/21.19	c bounds 1166 >= 1019 @ 19.5241
21.03/21.25	c bounds 1164 >= 1019 @ 19.5658
21.03/21.28	c bounds 1162 >= 1019 @ 19.5958
21.62/21.89	c bounds 1160 >= 1019 @ 20.1583
21.83/22.07	c bounds 1158 >= 1019 @ 20.3241
21.93/22.13	c bounds 1156 >= 1019 @ 20.3718
22.83/23.01	c bounds 1154 >= 1019 @ 21.2172
22.83/23.09	c bounds 1152 >= 1019 @ 21.283
23.02/23.23	c bounds 1150 >= 1019 @ 21.4059
23.12/23.31	c bounds 1148 >= 1019 @ 21.4732
23.52/23.74	c bounds 1146 >= 1019 @ 21.8562
23.92/24.19	c bounds 1144 >= 1019 @ 22.2853
24.42/24.66	c bounds 1142 >= 1019 @ 22.7118
24.93/25.13	c bounds 1140 >= 1019 @ 23.1469
25.01/25.22	c bounds 1138 >= 1019 @ 23.2197
25.22/25.41	c bounds 1136 >= 1019 @ 23.3915
25.32/25.50	c bounds 1134 >= 1019 @ 23.4604
25.61/25.83	c bounds 1132 >= 1019 @ 23.7723
25.71/25.97	c bounds 1130 >= 1019 @ 23.8932
26.31/26.55	c bounds 1128 >= 1019 @ 24.4258
26.41/26.67	c #Conflicts:       5000 | #Constraints:     105394
26.41/26.67	c bounds 1126 >= 1019 @ 24.5294
26.52/26.78	c bounds 1124 >= 1019 @ 24.6133
26.81/27.02	c bounds 1122 >= 1019 @ 24.8389
56.93/57.24	c #Conflicts:       6000 | #Constraints:     106397
56.93/57.24	c bounds 1122 >= 1020 @ 54.8315
57.23/57.56	c bounds 1120 >= 1020 @ 55.1437
57.34/57.66	c bounds 1118 >= 1020 @ 55.2309
57.54/57.84	c bounds 1116 >= 1020 @ 55.3987
57.74/58.01	c bounds 1114 >= 1020 @ 55.5666
57.84/58.17	c bounds 1112 >= 1020 @ 55.711
57.94/58.27	c bounds 1110 >= 1020 @ 55.805
58.14/58.42	c bounds 1108 >= 1020 @ 55.9488
58.24/58.53	c bounds 1106 >= 1020 @ 56.045
58.33/58.67	c bounds 1104 >= 1020 @ 56.1834
58.43/58.77	c bounds 1102 >= 1020 @ 56.2746
58.54/58.89	c bounds 1100 >= 1020 @ 56.3901
58.83/59.12	c bounds 1098 >= 1020 @ 56.5989
58.93/59.23	c bounds 1096 >= 1020 @ 56.6995
59.14/59.43	c bounds 1094 >= 1020 @ 56.8996
59.23/59.59	c bounds 1092 >= 1020 @ 57.0499
60.33/60.68	c bounds 1090 >= 1020 @ 58.1042
60.33/60.68	c bounds 1090 >= 1021 @ 58.1054
60.83/61.11	c INPROCESSING
60.83/61.11	c GARBAGE COLLECT
60.83/61.11	c bounds 1088 >= 1021 @ 58.5226
60.83/61.19	c bounds 1086 >= 1021 @ 58.5943
60.92/61.24	c bounds 1084 >= 1021 @ 58.6465
61.43/61.70	c bounds 1082 >= 1021 @ 59.0748
105.31/105.79	c #Conflicts:       7000 | #Constraints:     105429
105.31/105.79	c #Conflicts:       8000 | #Constraints:     106429
105.31/105.79	c #Conflicts:       9000 | #Constraints:     107429
105.31/105.79	c INPROCESSING
105.31/105.79	c GARBAGE COLLECT
105.31/105.79	c bounds 1080 >= 1021 @ 102.755
105.51/105.97	c bounds 1078 >= 1021 @ 102.912
105.62/106.05	c bounds 1076 >= 1021 @ 102.984
105.72/106.14	c bounds 1074 >= 1021 @ 103.068
106.31/106.73	c bounds 1072 >= 1021 @ 103.628
106.62/107.06	c bounds 1070 >= 1021 @ 103.949
107.01/107.40	c bounds 1068 >= 1021 @ 104.273
107.11/107.56	c bounds 1066 >= 1021 @ 104.415
107.21/107.65	c bounds 1064 >= 1021 @ 104.498
108.11/108.55	c #Conflicts:      10000 | #Constraints:     106184
108.11/108.55	c bounds 1062 >= 1021 @ 105.379
110.50/110.99	c bounds 1060 >= 1021 @ 107.771
111.30/111.76	c bounds 1058 >= 1021 @ 108.54
117.39/117.83	c #Conflicts:      11000 | #Constraints:     107187
117.39/117.83	c bounds 1056 >= 1021 @ 114.504
128.46/128.93	c #Conflicts:      12000 | #Constraints:     108188
128.46/128.93	c INPROCESSING
128.46/128.93	c GARBAGE COLLECT
128.46/128.93	c #Conflicts:      13000 | #Constraints:     106654
128.46/128.93	c bounds 1054 >= 1021 @ 125.523
144.12/144.64	c #Conflicts:      14000 | #Constraints:     107655
144.12/144.64	c #Conflicts:      15000 | #Constraints:     108655
144.12/144.64	c INPROCESSING
144.12/144.64	c GARBAGE COLLECT
144.12/144.64	c bounds 1052 >= 1021 @ 141.168
390.48/391.68	c #Conflicts:      16000 | #Constraints:     106746
390.48/391.68	c #Conflicts:      17000 | #Constraints:     107746
390.48/391.68	c #Conflicts:      18000 | #Constraints:     108746
390.48/391.68	c INPROCESSING
390.48/391.68	c GARBAGE COLLECT
390.48/391.68	c #Conflicts:      19000 | #Constraints:     106761
390.48/391.68	c #Conflicts:      20000 | #Constraints:     107761
390.48/391.68	c #Conflicts:      21000 | #Constraints:     108761
390.48/391.68	c INPROCESSING
390.48/391.68	c GARBAGE COLLECT
390.48/391.68	c #Conflicts:      22000 | #Constraints:     106574
390.48/391.68	c #Conflicts:      23000 | #Constraints:     107574
390.48/391.68	c #Conflicts:      24000 | #Constraints:     108574
390.48/391.68	c bounds 1052 >= 1022 @ 387.04
3172.74/3181.65	c #Conflicts:      25000 | #Constraints:     109598
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      26000 | #Constraints:     107193
3172.74/3181.65	c #Conflicts:      27000 | #Constraints:     108193
3172.74/3181.65	c #Conflicts:      28000 | #Constraints:     109193
3172.74/3181.65	c #Conflicts:      29000 | #Constraints:     110193
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      30000 | #Constraints:     107604
3172.74/3181.65	c #Conflicts:      31000 | #Constraints:     108604
3172.74/3181.65	c #Conflicts:      32000 | #Constraints:     109604
3172.74/3181.65	c #Conflicts:      33000 | #Constraints:     110604
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      34000 | #Constraints:     107806
3172.74/3181.65	c #Conflicts:      35000 | #Constraints:     108806
3172.74/3181.65	c #Conflicts:      36000 | #Constraints:     109806
3172.74/3181.65	c #Conflicts:      37000 | #Constraints:     110806
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      38000 | #Constraints:     107834
3172.74/3181.65	c #Conflicts:      39000 | #Constraints:     108834
3172.74/3181.65	c #Conflicts:      40000 | #Constraints:     109834
3172.74/3181.65	c #Conflicts:      41000 | #Constraints:     110834
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      42000 | #Constraints:     107657
3172.74/3181.65	c #Conflicts:      43000 | #Constraints:     108657
3172.74/3181.65	c #Conflicts:      44000 | #Constraints:     109657
3172.74/3181.65	c #Conflicts:      45000 | #Constraints:     110657
3172.74/3181.65	c #Conflicts:      46000 | #Constraints:     111657
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      47000 | #Constraints:     108280
3172.74/3181.65	c #Conflicts:      48000 | #Constraints:     109280
3172.74/3181.65	c #Conflicts:      49000 | #Constraints:     110280
3172.74/3181.65	c #Conflicts:      50000 | #Constraints:     111280
3172.74/3181.65	c #Conflicts:      51000 | #Constraints:     112280
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      52000 | #Constraints:     108693
3172.74/3181.65	c #Conflicts:      53000 | #Constraints:     109694
3172.74/3181.65	c #Conflicts:      54000 | #Constraints:     110694
3172.74/3181.65	c #Conflicts:      55000 | #Constraints:     111694
3172.74/3181.65	c #Conflicts:      56000 | #Constraints:     112694
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      57000 | #Constraints:     108866
3172.74/3181.65	c #Conflicts:      58000 | #Constraints:     109866
3172.74/3181.65	c #Conflicts:      59000 | #Constraints:     110866
3172.74/3181.65	c #Conflicts:      60000 | #Constraints:     111866
3172.74/3181.65	c #Conflicts:      61000 | #Constraints:     112866
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      62000 | #Constraints:     108887
3172.74/3181.65	c #Conflicts:      63000 | #Constraints:     109887
3172.74/3181.65	c #Conflicts:      64000 | #Constraints:     110887
3172.74/3181.65	c #Conflicts:      65000 | #Constraints:     111887
3172.74/3181.65	c #Conflicts:      66000 | #Constraints:     112887
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      67000 | #Constraints:     108701
3172.74/3181.65	c #Conflicts:      68000 | #Constraints:     109701
3172.74/3181.65	c #Conflicts:      69000 | #Constraints:     110701
3172.74/3181.65	c #Conflicts:      70000 | #Constraints:     111701
3172.74/3181.65	c #Conflicts:      71000 | #Constraints:     112701
3172.74/3181.65	c #Conflicts:      72000 | #Constraints:     113701
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      73000 | #Constraints:     109309
3172.74/3181.65	c #Conflicts:      74000 | #Constraints:     110309
3172.74/3181.65	c #Conflicts:      75000 | #Constraints:     111309
3172.74/3181.65	c #Conflicts:      76000 | #Constraints:     112309
3172.74/3181.65	c #Conflicts:      77000 | #Constraints:     113309
3172.74/3181.65	c #Conflicts:      78000 | #Constraints:     114309
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      79000 | #Constraints:     109695
3172.74/3181.65	c #Conflicts:      80000 | #Constraints:     110695
3172.74/3181.65	c #Conflicts:      81000 | #Constraints:     111695
3172.74/3181.65	c #Conflicts:      82000 | #Constraints:     112695
3172.74/3181.65	c #Conflicts:      83000 | #Constraints:     113695
3172.74/3181.65	c #Conflicts:      84000 | #Constraints:     114695
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c #Conflicts:      85000 | #Constraints:     109895
3172.74/3181.65	c #Conflicts:      86000 | #Constraints:     110895
3172.74/3181.65	c #Conflicts:      87000 | #Constraints:     111895
3172.74/3181.65	c #Conflicts:      88000 | #Constraints:     112895
3172.74/3181.65	c #Conflicts:      89000 | #Constraints:     113895
3172.74/3181.65	c #Conflicts:      90000 | #Constraints:     114895
3172.74/3181.65	c INPROCESSING
3172.74/3181.65	c GARBAGE COLLECT
3172.74/3181.65	c rational objective 1040.82

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60973 MiB free)
  memory of node 1: 64465 MiB (62476 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522554-1751643641/watcher-4522554-1751643641 -o /tmp/evaluation-result-4522554-1751643641/solver-4522554-1751643641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751643641-90436 --watchdog 3760 run-opt-break.sh HOME/instance-4522554-1751643641.opb 

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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=90479, runsolver pid=90473

[startup+0.100062 s]*
/proc/loadavg: 0.07 0.08 0.09 3/266 90495
/proc/meminfo: memFree=126395212/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90481] ppid=90479 vsize=35760 memory=27248 CPUtime=0.01 cores=1,3
/proc/90481/stat : 90481 (pbsuma) R 90479 90479 90417 0 -1 4194304 2984 0 0 0 0 1 0 0 20 0 1 0 80042942 36618240 6812 18446744073709551615 4210688 4653049 140732204524496 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 31633408 140732204525922 140732204526129 140732204526129 140732204531695 0
/proc/90481/statm: 8940 6812 928 108 0 6348 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 39952 KiB
Current children cumulated memory: 30192 KiB

[startup+0.205625 s]*
/proc/loadavg: 0.07 0.08 0.09 5/268 90497
/proc/meminfo: memFree=126179832/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90481] ppid=90479 vsize=87852 memory=69068 CPUtime=0.12 cores=1,3
/proc/90481/stat : 90481 (pbsuma) R 90479 90479 90417 0 -1 4194304 12965 0 0 0 9 3 0 0 20 0 1 0 80042942 89960448 17267 18446744073709551615 4210688 4653049 140732204524496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 31633408 140732204525922 140732204526129 140732204526129 140732204531695 0
/proc/90481/statm: 21963 17267 992 108 0 19371 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 92044 KiB
Current children cumulated memory: 72012 KiB

[startup+0.305682 s]*
/proc/loadavg: 0.07 0.08 0.09 6/268 90497
/proc/meminfo: memFree=126040340/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90481] ppid=90479 vsize=130516 memory=95368 CPUtime=0.21 cores=1,3
/proc/90481/stat : 90481 (pbsuma) R 90479 90479 90417 0 -1 4194304 20226 0 0 0 17 4 0 0 20 0 1 0 80042942 133648384 23842 18446744073709551615 4210688 4653049 140732204524496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 31633408 140732204525922 140732204526129 140732204526129 140732204531695 0
/proc/90481/statm: 32629 23842 992 108 0 30037 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 134708 KiB
Current children cumulated memory: 98312 KiB

[startup+0.700127 s]
/proc/loadavg: 0.07 0.08 0.09 6/268 90497
/proc/meminfo: memFree=125762516/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90481] ppid=90479 vsize=144384 memory=114848 CPUtime=0.61 cores=1,3
/proc/90481/stat : 90481 (pbsuma) R 90479 90479 90417 0 -1 4194304 34990 0 0 0 53 8 0 0 20 0 1 0 80042942 147849216 28712 18446744073709551615 4210688 4653049 140732204524496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 31633408 140732204525922 140732204526129 140732204526129 140732204531695 0
/proc/90481/statm: 36096 28712 992 108 0 33504 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 148576 KiB
Current children cumulated memory: 117792 KiB

[startup+1.50013 s]
/proc/loadavg: 0.54 0.18 0.12 5/268 90497
/proc/meminfo: memFree=125490696/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3.10575 s]
/proc/loadavg: 0.54 0.18 0.12 5/269 90502
/proc/meminfo: memFree=125012544/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=307772 memory=242948 CPUtime=2.04 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 30813 0 0 0 186 18 0 0 20 0 1 0 80043042 315158528 60737 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 76943 60737 2336 1147 0 64370 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 311964 KiB
Current children cumulated memory: 245892 KiB

[startup+6.30018 s]
/proc/loadavg: 0.82 0.24 0.14 4/266 90516
/proc/meminfo: memFree=124517572/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=347164 memory=276580 CPUtime=5.24 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 37925 0 0 0 481 43 0 0 20 0 1 0 80043042 355495936 69145 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 86791 69145 2368 1147 0 74218 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 351356 KiB
Current children cumulated memory: 279524 KiB

[startup+12.7002 s]
/proc/loadavg: 1.07 0.31 0.16 5/269 90596
/proc/meminfo: memFree=124358092/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=396200 memory=323884 CPUtime=11.62 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 44186 0 0 0 1114 48 0 0 20 0 1 0 80043042 405708800 80971 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 99050 80971 2368 1147 0 86477 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 400392 KiB
Current children cumulated memory: 326828 KiB

[startup+25.5002 s]
/proc/loadavg: 1.52 0.43 0.20 5/269 90597
/proc/meminfo: memFree=124364720/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=483892 memory=403736 CPUtime=24.39 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 60060 0 0 0 2346 93 0 0 20 0 1 0 80043042 495505408 100934 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 120973 100934 2368 1147 0 108400 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 488084 KiB
Current children cumulated memory: 406680 KiB

[startup+51.1055 s]
/proc/loadavg: 2.56 0.79 0.33 5/269 90597
/proc/meminfo: memFree=123844816/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=574568 memory=484996 CPUtime=49.93 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 73245 0 0 0 4871 122 0 0 20 0 1 0 80043042 588357632 121249 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 143642 121249 2368 1147 0 131069 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 578760 KiB
Current children cumulated memory: 487940 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 5/269 90599
/proc/meminfo: memFree=121235740/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=645724 memory=573772 CPUtime=100.99 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 90365 0 0 0 9929 170 0 0 20 0 1 0 80043042 661221376 143443 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 161431 143443 2400 1147 0 148858 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 649916 KiB
Current children cumulated memory: 576716 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 1.81 0.76 5/269 90601
/proc/meminfo: memFree=119470752/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=833228 memory=746752 CPUtime=160.84 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 125427 0 0 0 15872 212 0 0 20 0 1 0 80043042 853225472 186688 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 208307 186688 2400 1147 0 195734 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 837420 KiB
Current children cumulated memory: 749696 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.22 0.97 5/268 90603
/proc/meminfo: memFree=119294388/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=983572 memory=861628 CPUtime=220.69 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 140475 0 0 0 21825 244 0 0 20 0 1 0 80043042 1007177728 215407 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 245893 215407 2400 1147 0 233320 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 987764 KiB
Current children cumulated memory: 864572 KiB


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

/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=1793752 memory=1511920 CPUtime=3212.4 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 242915 0 0 0 320606 634 0 0 20 0 1 0 80043042 1836802048 377980 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 448438 377980 2400 1147 0 435865 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 1797944 KiB
Current children cumulated memory: 1514864 KiB

[startup+3282.3 s]
/proc/loadavg: 2.05 2.11 2.37 3/254 90820
/proc/meminfo: memFree=118645024/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=1809760 memory=1535088 CPUtime=3272.24 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 246566 0 0 0 326584 640 0 0 20 0 1 0 80043042 1853194240 383772 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 452440 383772 2400 1147 0 439867 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 1813952 KiB
Current children cumulated memory: 1538032 KiB

[startup+3342.3 s]
/proc/loadavg: 2.06 2.10 2.35 3/254 90822
/proc/meminfo: memFree=118632528/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=1810636 memory=1549808 CPUtime=3332.08 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 246866 0 0 0 332562 646 0 0 20 0 1 0 80043042 1854091264 387452 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 452659 387452 2400 1147 0 440086 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 1814828 KiB
Current children cumulated memory: 1552752 KiB

[startup+3402.3 s]
/proc/loadavg: 2.15 2.13 2.34 3/252 90824
/proc/meminfo: memFree=118626620/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=1830200 memory=1571312 CPUtime=3391.93 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 251325 0 0 0 338536 657 0 0 20 0 1 0 80043042 1874124800 392828 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 457550 392828 2400 1147 0 444977 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 1834392 KiB
Current children cumulated memory: 1574256 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.12 2.32 3/252 90826
/proc/meminfo: memFree=118638200/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=1830200 memory=1571312 CPUtime=3451.78 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 251326 0 0 0 344515 663 0 0 20 0 1 0 80043042 1874124800 392828 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 457550 392828 2400 1147 0 444977 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 1834392 KiB
Current children cumulated memory: 1574256 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.11 2.31 3/252 90827
/proc/meminfo: memFree=118498968/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=1833792 memory=1574768 CPUtime=3511.63 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 252226 0 0 0 350491 672 0 0 20 0 1 0 80043042 1877803008 393692 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 458448 393692 2400 1147 0 445875 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 1837984 KiB
Current children cumulated memory: 1577712 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.10 2.29 3/252 90829
/proc/meminfo: memFree=118458940/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=1871300 memory=1607856 CPUtime=3571.49 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 255239 0 0 0 356457 692 0 0 20 0 1 0 80043042 1916211200 401964 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 467825 401964 2400 1147 0 455252 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 1875492 KiB
Current children cumulated memory: 1610800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 2.14 2.11 2.29 3/252 90831
/proc/meminfo: memFree=118454184/131250000 swapFree=33010672/33010684
[pid=90479] ppid=90473 vsize=4192 memory=2944 CPUtime=0.93 cores=1,3
/proc/90479/stat : 90479 (run-opt-break.s) S 90473 90479 90417 0 -1 4194304 239 35189 0 0 0 0 85 8 20 0 1 0 80042939 4292608 736 18446744073709551615 94075943497728 94075944392261 140725478576592 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94075944631312 94075944679056 94075966894080 140725478578528 140725478578657 140725478578657 140725478584260 0
/proc/90479/statm: 1048 736 672 219 0 110 0
[pid=90499] ppid=90479 vsize=1874040 memory=1612508 CPUtime=3599.12 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90479 90479 90417 0 -1 4194304 255918 0 0 0 359215 697 0 0 20 0 1 0 80043042 1919016960 403127 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 468510 403127 2400 1147 0 455937 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1878232 KiB
Current children cumulated memory: 1615452 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 2.14 2.11 2.29 3/251 90831
/proc/meminfo: memFree=118454184/131250000 swapFree=33010672/33010684
[pid=90499] ppid=90473 vsize=1874040 memory=1612508 CPUtime=3600.31 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90473 90479 90417 0 -1 4194304 255918 0 0 0 359334 697 0 0 20 0 1 0 80043042 1919016960 403127 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 468510 403127 2400 1147 0 455937 0
Current cumulated CPU time of completed processes: 0.947394 s
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 1874040 KiB
Current children cumulated memory: 1612508 KiB

[startup+3611.6 s]
/proc/loadavg: 2.14 2.11 2.29 3/251 90831
/proc/meminfo: memFree=118454184/131250000 swapFree=33010672/33010684
[pid=90499] ppid=90473 vsize=1874040 memory=1612508 CPUtime=3600.71 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90473 90479 90417 0 -1 4194304 255918 0 0 0 359373 698 0 0 20 0 1 0 80043042 1919016960 403127 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 468510 403127 2400 1147 0 455937 0
Current cumulated CPU time of completed processes: 0.947394 s
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 1874040 KiB
Current children cumulated memory: 1612508 KiB

[startup+3612 s]*
/proc/loadavg: 2.13 2.11 2.28 3/251 90831
/proc/meminfo: memFree=118454184/131250000 swapFree=33010672/33010684
[pid=90499] ppid=90473 vsize=1874040 memory=1612508 CPUtime=3601.12 cores=1,3
/proc/90499/stat : 90499 (roundingsat) R 90473 90479 90417 0 -1 4194304 255918 0 0 0 359413 699 0 0 20 0 1 0 80043042 1919016960 403127 18446744073709551615 4227072 8923433 140731850701584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11911168 140731850705251 140731850705447 140731850705447 140731850711018 0
/proc/90499/statm: 468510 403127 2400 1147 0 455937 0
Current cumulated CPU time of completed processes: 0.947394 s
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 1874040 KiB
Current children cumulated memory: 1612508 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.01
CPU time (s): 3602.08
CPU user time (s): 3594.99
CPU system time (s): 7.08743
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 1878232
Max. memory (cumulated for all children) (KiB): 1615452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.99
system time used= 7.08744
maximum resident set size= 1612508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 396
involuntary context switches= 2486


# summary of solver processes directly reported to runsolver:
#   pid: 90479,90499
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3594.99
#   total CPU system time (s): 7.08743

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21786 second user time and 15.1323 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-04 17:40:42
IDJOB=4522554
IDBENCH=179078
IDSOLVER=3359
FILE ID=nodeC026/4522554-1751643641
RUNJOBID= nodeC026-1751643641-90436
SLURM_JOB_ID= 9672331
Free space on /tmp= 429824 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522554-1751643641/watcher-4522554-1751643641 -o /tmp/evaluation-result-4522554-1751643641/solver-4522554-1751643641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751643641-90436 --watchdog 3760  run-opt-break.sh HOME/instance-4522554-1751643641.opb

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

MD5SUM BENCH= 3daa9ced16b2be364df6dcba1fb45266
RANDOM SEED=1727698098

nodeC026 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.809
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.59
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		: 3598.967
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.59
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		: 3607.014
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.59
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.620
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.59
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.900
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.59
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.664
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.59
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.513
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.59
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126439748 kB
MemAvailable:   129621312 kB
Buffers:            2128 kB
Cached:          3806204 kB
SwapCached:            4 kB
Active:           740452 kB
Inactive:        3135960 kB
Active(anon):      76508 kB
Inactive(anon):     9688 kB
Active(file):     663944 kB
Inactive(file):  3126272 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             80740 kB
Writeback:             0 kB
AnonPages:         71272 kB
Mapped:           105076 kB
Shmem:             18076 kB
KReclaimable:     452148 kB
Slab:             554160 kB
SReclaimable:     452148 kB
SUnreclaim:       102012 kB
KernelStack:        4064 kB
PageTables:         2912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     332688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 429812 MiB
End job on nodeC026 at 2025-07-04 18:40:55