Trace number 4532603

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? (exit code) 3220.15 3242.09

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
MD5SUM1bb082b6412719493b7deb7ac7dad108
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1178861
Best CPU time to get the best result obtained on this benchmark515.301
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 74618461
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 10171756525
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 74618461
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 10171756525
Number of bits of the biggest sum of numbers34
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-4532603-1752683080.opb'
0.00/0.07	c 	read 4.33MB  (63.09ms)
0.00/0.07	c	 [cnf: #variables 45775 #clauses 102434 #duplicates 300 #arr 351525]
0.00/0.07	c output proof to '/tmp/proof-4532603-1752683080'
0.00/0.07	c 
0.00/0.07	c make graph and approximate orbits
0.08/0.19	c	 [group: #orbits ~= 15616] (112.45ms)
0.08/0.19	c 
0.08/0.19	c detect special group actions
0.08/0.19	c 	probe for Johnson action (limit=64)
0.08/0.19	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.20	c 	probe for row symmetry (limit=64, splits=16.78M)
0.08/0.21	c 	 found row 25x2, generating row predicate
0.19/0.21	c 	 found row 4x2, generating row predicate
0.19/0.21	c 	 found row 25x2, generating row predicate
0.19/0.21	c 	 found row 4x2, generating row predicate
0.19/0.21	c 	 (26.48ms)
0.19/0.21	c 
0.19/0.21	c detect symmetries on remainder
0.19/0.21	c 	[graph: #vertices 330559 #edges 1067750]
0.19/0.21	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.30	c 	 [group: #symmetries 5.61*10^886 #generators 1488] (92.49ms)
0.19/0.30	c 
0.19/0.30	c optimize generators (opt_passes=64, conjugate_limit=256)
0.29/0.31	c 	ran it=0, +gens=11 
0.58/0.63	c 	con best_support=4, best_gens=1188, +gens=132
0.58/0.63	c 	(325.16ms)
0.58/0.63	c 
0.58/0.63	c finalize break order and special generators
0.58/0.63	c 
0.58/0.63	c add generic predicates (break_depth=20)
0.58/0.63	c 	added predicates for 1631 generators (0.56ms)
0.58/0.67	c 
0.58/0.67	c generation finished
0.58/0.67	c 	[sbp: #constraints 18815 #add_vars 5710]
0.58/0.67	c 
0.58/0.67	c write result to 'HOME/instance-4532603-1752683080.opb.pre'
0.58/0.68	c 	wrote 5.09MB (11.15ms)
0.58/0.68	c ------------------------------------------------------------------
0.58/0.68	c                 325.16ms 48.28% optimize_gens
0.58/0.68	c                 112.45ms 16.70% approx_orbits
0.58/0.68	c                  92.49ms 13.73% detect_generic
0.58/0.68	c                  63.09ms  9.37% parse
0.58/0.68	c                  39.72ms  5.90% other
0.58/0.68	c                  26.48ms  3.93% detect_special
0.58/0.68	c                  11.15ms  1.66% output
0.58/0.68	c                   2.33ms  0.35% finalize_order
0.58/0.68	c                   0.56ms  0.08% break_generic
0.58/0.68	c         ───────────────────────────────────────────────
0.58/0.68	c                 673.43ms   100% total
0.58/0.68	c ------------------------------------------------------------------
0.68/0.71	c RoundingSat 2
0.68/0.71	c branch pb25
0.68/0.71	c commit 0f876b3
1.36/1.42	c #variables 51485 #constraints 123012
1.36/1.42	c objective is ce32 
1.36/1.42	c initial watched  CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
1.36/1.42	c initial counting CF 32, 64, 128, Arb: 29126 , 0 , 0 , 0
1.36/1.42	c bounds - >= -25 @ 0.569454
1.97/2.02	c bounds 168090908 >= -25 @ 1.11414
1.97/2.04	c bounds 123913400 >= -25 @ 1.13742
1.97/2.08	c bounds 123799565 >= -25 @ 1.17509
2.06/2.13	c bounds 123764218 >= -25 @ 1.22999
2.25/2.39	c bounds 123748373 >= -25 @ 1.47561
3.86/3.97	c bounds 78853632 >= -25 @ 3.01563
3.96/4.01	c bounds 78369671 >= -25 @ 3.05423
4.46/4.56	c bounds 65338201 >= -25 @ 3.59425
7.25/7.31	c #Conflicts:       1000 | #Constraints:     124019
7.25/7.31	c bounds 65216259 >= -25 @ 6.27581
7.84/8.00	c bounds 27686688 >= -25 @ 6.94495
7.95/8.07	c bounds 27587277 >= -25 @ 7.01741
8.05/8.10	c bounds 27574329 >= -25 @ 7.04579
8.05/8.14	c bounds 27538201 >= -25 @ 7.0795
8.05/8.19	c bounds 27461120 >= -25 @ 7.12647
8.14/8.28	c bounds 23544354 >= -25 @ 7.22325
8.24/8.33	c bounds 23516710 >= -25 @ 7.2626
8.35/8.42	c bounds 23430898 >= -25 @ 7.35246
8.35/8.47	c bounds 22745371 >= -25 @ 7.40148
8.45/8.50	c bounds 22204239 >= -25 @ 7.43765
8.45/8.54	c bounds 22160390 >= -25 @ 7.47063
8.45/8.59	c bounds 22040539 >= -25 @ 7.51934
9.54/9.66	c bounds 21887860 >= -25 @ 8.57321
9.74/9.81	c bounds 21829807 >= -25 @ 8.7188
9.84/9.96	c bounds 21808732 >= -25 @ 8.86606
10.84/10.99	c bounds 21767365 >= -25 @ 9.8756
12.24/12.39	c bounds 16781542 >= -25 @ 11.2471
12.33/12.43	c bounds 15707667 >= -25 @ 11.281
12.33/12.46	c bounds 15677581 >= -25 @ 11.3068
12.53/12.68	c bounds 15658595 >= -25 @ 11.5237
12.63/12.76	c bounds 13829429 >= -25 @ 11.5965
12.83/12.90	c bounds 13164427 >= -25 @ 11.7393
15.33/15.46	c #Conflicts:       2000 | #Constraints:     125042
15.33/15.46	c INPROCESSING
15.33/15.46	c GARBAGE COLLECT
15.33/15.46	c bounds 12510485 >= -25 @ 14.2618
15.43/15.56	c bounds 12371597 >= -25 @ 14.3513
15.63/15.75	c bounds 12283567 >= -25 @ 14.547
15.93/16.10	c bounds 12260220 >= -25 @ 14.8854
16.13/16.29	c bounds 12054412 >= -25 @ 15.0714
16.23/16.31	c bounds 12024326 >= -25 @ 15.0972
16.23/16.38	c bounds 12006204 >= -25 @ 15.1692
24.61/24.77	c #Conflicts:       3000 | #Constraints:     124507
24.61/24.77	c bounds 11883739 >= -25 @ 23.3837
24.71/24.84	c bounds 11873962 >= -25 @ 23.452
24.71/24.89	c bounds 11860975 >= -25 @ 23.501
24.80/24.96	c bounds 11610001 >= -25 @ 23.5696
25.01/25.11	c bounds 11563727 >= -25 @ 23.7148
25.01/25.14	c bounds 11562569 >= -25 @ 23.7471
25.21/25.38	c bounds 11532483 >= -25 @ 23.9794
25.60/25.71	c bounds 11367071 >= -25 @ 24.306
26.40/26.57	c bounds 11359784 >= -25 @ 25.1537
26.50/26.64	c bounds 11315876 >= -25 @ 25.2221
26.80/26.95	c bounds 11146247 >= -25 @ 25.524
27.40/27.57	c bounds 11136962 >= -25 @ 26.1215
28.29/28.41	c bounds 11132261 >= -25 @ 26.9421
29.59/29.70	c bounds 10928242 >= -25 @ 28.21
30.29/30.45	c bounds 10419657 >= -25 @ 28.9466
33.08/33.24	c #Conflicts:       4000 | #Constraints:     125524
33.08/33.24	c INPROCESSING
33.08/33.24	c GARBAGE COLLECT
33.08/33.24	c bounds 10411701 >= -25 @ 31.6513
33.99/34.15	c bounds 10395129 >= -25 @ 32.5426
34.28/34.45	c bounds 10354892 >= -25 @ 32.8327
34.28/34.47	c bounds 10324806 >= -25 @ 32.8591
34.89/35.06	c bounds 10229884 >= -25 @ 33.4346
34.99/35.16	c bounds 10022922 >= -25 @ 33.5256
54.04/54.26	c #Conflicts:       5000 | #Constraints:     124833
54.04/54.26	c #Conflicts:       6000 | #Constraints:     125834
54.04/54.26	c INPROCESSING
54.04/54.26	c GARBAGE COLLECT
54.04/54.26	c rational objective 410211
54.84/55.02	c bounds 9975206 >= -25 @ 53.0258
55.24/55.46	c bounds 9969397 >= -25 @ 53.4572
55.33/55.52	c bounds 9962773 >= -25 @ 53.5098
56.42/56.61	c bounds 9855712 >= -25 @ 54.5806
56.63/56.82	c bounds 9842785 >= -25 @ 54.7888
56.73/56.93	c bounds 9835111 >= -25 @ 54.9011
56.93/57.14	c bounds 9830416 >= -25 @ 55.1022
57.33/57.52	c bounds 9813844 >= -25 @ 55.4728
58.33/58.59	c #Conflicts:       7000 | #Constraints:     124833
58.33/58.59	c bounds 9787975 >= -25 @ 56.5237
60.02/60.27	c bounds 9785146 >= -25 @ 58.175
60.83/61.05	c bounds 9761437 >= -25 @ 58.9463
60.83/61.10	c bounds 9749551 >= -25 @ 58.9942
60.92/61.13	c bounds 9740677 >= -25 @ 59.0264
60.92/61.16	c bounds 9715339 >= -25 @ 59.059
61.02/61.28	c bounds 9707665 >= -25 @ 59.1738
62.22/62.45	c bounds 9671733 >= -25 @ 60.3243
62.82/63.07	c bounds 9615088 >= -25 @ 60.9365
63.01/63.24	c bounds 9612066 >= -25 @ 61.0931
65.91/66.17	c #Conflicts:       8000 | #Constraints:     125843
65.91/66.17	c bounds 9609325 >= -25 @ 63.9641
66.50/66.77	c bounds 9598505 >= -25 @ 64.5473
66.60/66.84	c bounds 9595710 >= -25 @ 64.6136
66.81/67.03	c bounds 9589631 >= -25 @ 64.803
73.99/74.24	c #Conflicts:       9000 | #Constraints:     126848
73.99/74.24	c INPROCESSING
73.99/74.24	c GARBAGE COLLECT
73.99/74.24	c bounds 9549681 >= -25 @ 71.8698
73.99/74.26	c bounds 9547898 >= -25 @ 71.8973
88.55/88.82	c #Conflicts:      10000 | #Constraints:     125499
88.55/88.82	c #Conflicts:      11000 | #Constraints:     126499
88.55/88.82	c bounds 9489367 >= -25 @ 86.1868
88.75/89.02	c bounds 9355062 >= -25 @ 86.387
88.75/89.06	c bounds 9353279 >= -25 @ 86.4267
127.85/128.20	c #Conflicts:      12000 | #Constraints:     127503
127.85/128.20	c INPROCESSING
127.85/128.20	c GARBAGE COLLECT
127.85/128.20	c #Conflicts:      13000 | #Constraints:     125949
127.85/128.20	c #Conflicts:      14000 | #Constraints:     126949
127.85/128.20	c #Conflicts:      15000 | #Constraints:     127950
127.85/128.20	c INPROCESSING
127.85/128.20	c GARBAGE COLLECT
127.85/128.20	c bounds 9025870 >= -25 @ 124.839
127.85/128.26	c bounds 8977764 >= -25 @ 124.898
136.33/136.73	c #Conflicts:      16000 | #Constraints:     126175
136.33/136.73	c bounds 8976597 >= -25 @ 133.202
138.33/138.76	c bounds 8973779 >= -25 @ 135.192
138.43/138.87	c bounds 8965060 >= -25 @ 135.293
141.22/141.66	c bounds 8838305 >= -25 @ 138.022
142.32/142.73	c #Conflicts:      17000 | #Constraints:     127179
142.32/142.73	c bounds 8819768 >= -25 @ 139.066
142.73/143.12	c bounds 8780076 >= -25 @ 139.445
142.82/143.20	c bounds 8721295 >= -25 @ 139.524
162.58/163.03	c #Conflicts:      18000 | #Constraints:     128183
162.58/163.03	c INPROCESSING
162.58/163.03	c GARBAGE COLLECT
162.58/163.03	c #Conflicts:      19000 | #Constraints:     126160
162.58/163.03	c bounds 8715216 >= -25 @ 158.982
169.66/170.11	c #Conflicts:      20000 | #Constraints:     127162
169.66/170.11	c bounds 8648257 >= -25 @ 165.923
170.36/170.86	c bounds 8584678 >= -25 @ 166.659
170.46/170.91	c bounds 8580865 >= -25 @ 166.701
171.75/172.23	c bounds 8208300 >= -25 @ 168.004
171.75/172.28	c bounds 8192737 >= -25 @ 168.058
171.85/172.34	c bounds 8059740 >= -25 @ 168.111
171.95/172.40	c bounds 8057127 >= -25 @ 168.173
172.55/173.03	c bounds 7960986 >= -25 @ 168.797
172.66/173.14	c bounds 7883711 >= -25 @ 168.903
172.94/173.44	c bounds 7831066 >= -25 @ 169.19
173.05/173.50	c bounds 7817658 >= -25 @ 169.251
175.75/176.28	c #Conflicts:      21000 | #Constraints:     128174
175.75/176.28	c bounds 7731986 >= -25 @ 171.99
175.94/176.42	c bounds 7640338 >= -25 @ 172.132
181.73/182.28	c INPROCESSING
181.73/182.28	c GARBAGE COLLECT
181.73/182.28	c rational objective 410389
189.91/190.46	c #Conflicts:      22000 | #Constraints:     125910
189.91/190.46	c bounds 7336128 >= -25 @ 185.888
190.31/190.86	c bounds 7177532 >= -25 @ 186.285
190.52/191.03	c bounds 6907403 >= -25 @ 186.452
190.52/191.09	c bounds 6866395 >= -25 @ 186.51
215.74/216.32	c #Conflicts:      23000 | #Constraints:     126915
215.74/216.32	c #Conflicts:      24000 | #Constraints:     127917
215.74/216.32	c bounds 3264422 >= -25 @ 211.306
221.03/221.64	c #Conflicts:      25000 | #Constraints:     128918
221.03/221.64	c INPROCESSING
221.03/221.64	c GARBAGE COLLECT
221.03/221.64	c bounds 3229174 >= -25 @ 216.528
224.54/225.13	c bounds 3161606 >= -25 @ 219.969
226.92/227.57	c #Conflicts:      26000 | #Constraints:     126235
226.92/227.57	c bounds 2923434 >= -25 @ 222.362
229.62/230.28	c bounds 2842377 >= -25 @ 225.014
229.81/230.49	c bounds 2815318 >= -25 @ 225.222
231.61/232.28	c bounds 2581772 >= -25 @ 226.971
236.60/237.25	c #Conflicts:      27000 | #Constraints:     127239
236.60/237.25	c bounds 2557525 >= -25 @ 231.861
253.26/253.93	c #Conflicts:      28000 | #Constraints:     128240
253.26/253.93	c #Conflicts:      29000 | #Constraints:     129240
253.26/253.93	c INPROCESSING
253.26/253.93	c GARBAGE COLLECT
253.26/253.93	c bounds 2538733 >= -25 @ 248.203
257.45/258.13	c bounds 2459271 >= -25 @ 252.319
257.45/258.17	c bounds 2392433 >= -25 @ 252.359
257.55/258.24	c bounds 2389520 >= -25 @ 252.428
257.95/258.68	c bounds 2363649 >= -25 @ 252.851
258.64/259.33	c bounds 2348347 >= -25 @ 253.492
259.84/260.55	c #Conflicts:      30000 | #Constraints:     126560
259.84/260.55	c bounds 2263685 >= -25 @ 254.686
266.82/267.50	c bounds 2164302 >= -25 @ 261.511
268.22/268.90	c #Conflicts:      31000 | #Constraints:     127562
268.22/268.90	c bounds 2137815 >= -25 @ 262.89
268.42/269.15	c bounds 2137335 >= -25 @ 263.133
268.51/269.21	c bounds 2134422 >= -25 @ 263.197
268.51/269.28	c bounds 2128622 >= -25 @ 263.263
268.61/269.33	c bounds 2119120 >= -25 @ 263.308
285.48/286.29	c #Conflicts:      32000 | #Constraints:     128567
285.48/286.29	c #Conflicts:      33000 | #Constraints:     129567
285.48/286.29	c INPROCESSING
285.48/286.29	c GARBAGE COLLECT
285.48/286.29	c rational objective 410638
286.57/287.33	c bounds 2112401 >= -25 @ 280.914
291.26/292.09	c bounds 2085552 >= -25 @ 285.575
427.93/429.08	c #Conflicts:      34000 | #Constraints:     125567
427.93/429.08	c #Conflicts:      35000 | #Constraints:     126568
427.93/429.08	c #Conflicts:      36000 | #Constraints:     127568
427.93/429.08	c #Conflicts:      37000 | #Constraints:     128570
427.93/429.08	c INPROCESSING
427.93/429.08	c GARBAGE COLLECT
427.93/429.08	c #Conflicts:      38000 | #Constraints:     125585
427.93/429.08	c #Conflicts:      39000 | #Constraints:     126585
427.93/429.08	c #Conflicts:      40000 | #Constraints:     127587
427.93/429.08	c #Conflicts:      41000 | #Constraints:     128591
427.93/429.08	c INPROCESSING
427.93/429.08	c GARBAGE COLLECT
427.93/429.08	c #Conflicts:      42000 | #Constraints:     125405
427.93/429.08	c #Conflicts:      43000 | #Constraints:     126411
427.93/429.08	c #Conflicts:      44000 | #Constraints:     127418
427.93/429.08	c #Conflicts:      45000 | #Constraints:     128421
427.93/429.08	c #Conflicts:      46000 | #Constraints:     129426
427.93/429.08	c INPROCESSING
427.93/429.08	c GARBAGE COLLECT
427.93/429.08	c rational objective 410993
452.58/453.78	c #Conflicts:      47000 | #Constraints:     126020
452.58/453.78	c #Conflicts:      48000 | #Constraints:     127020
452.58/453.78	c bounds 2042245 >= -25 @ 443.85
495.87/497.16	c #Conflicts:      49000 | #Constraints:     128021
495.87/497.16	c #Conflicts:      50000 | #Constraints:     129021
495.87/497.16	c #Conflicts:      51000 | #Constraints:     130021
495.87/497.16	c INPROCESSING
495.87/497.16	c GARBAGE COLLECT
495.87/497.16	c #Conflicts:      52000 | #Constraints:     126422
495.87/497.16	c #Conflicts:      53000 | #Constraints:     127422
495.87/497.16	c bounds 1947438 >= -25 @ 486.307
496.07/497.31	c bounds 1927005 >= -25 @ 486.445
496.07/497.34	c bounds 1917503 >= -25 @ 486.482
516.92/518.29	c #Conflicts:      54000 | #Constraints:     128425
516.92/518.29	c #Conflicts:      55000 | #Constraints:     129425
516.92/518.29	c #Conflicts:      56000 | #Constraints:     130425
516.92/518.29	c INPROCESSING
516.92/518.29	c GARBAGE COLLECT
516.92/518.29	c rational objective 411258
576.07/577.55	c #Conflicts:      57000 | #Constraints:     126614
576.07/577.55	c #Conflicts:      58000 | #Constraints:     127618
576.07/577.55	c #Conflicts:      59000 | #Constraints:     128622
576.07/577.55	c #Conflicts:      60000 | #Constraints:     129628
576.07/577.55	c #Conflicts:      61000 | #Constraints:     130632
576.07/577.55	c INPROCESSING
576.07/577.55	c GARBAGE COLLECT
576.07/577.55	c bounds 1679193 >= -25 @ 564.975
577.87/579.35	c bounds 1645353 >= -25 @ 566.752
578.07/579.51	c bounds 1639771 >= -25 @ 566.902
578.67/580.17	c bounds 1596697 >= -25 @ 567.554
588.94/590.45	c #Conflicts:      62000 | #Constraints:     126635
588.94/590.45	c bounds 1571147 >= -25 @ 577.662
589.93/591.44	c bounds 1567659 >= -25 @ 578.63
590.54/592.01	c bounds 1511452 >= -25 @ 579.19
594.42/595.95	c #Conflicts:      63000 | #Constraints:     127641
594.42/595.95	c bounds 1460745 >= -25 @ 583.026
594.53/596.06	c bounds 1446139 >= -25 @ 583.134
596.92/598.47	c bounds 1437286 >= -25 @ 585.492
597.53/599.06	c bounds 1435940 >= -25 @ 586.067
604.30/605.81	c #Conflicts:      64000 | #Constraints:     128647
604.30/605.81	c bounds 1379407 >= -25 @ 592.653
609.99/611.56	c #Conflicts:      65000 | #Constraints:     129648
609.99/611.56	c bounds 1355239 >= -25 @ 598.266
610.29/611.87	c bounds 1353815 >= -25 @ 598.571
610.39/611.96	c bounds 1298214 >= -25 @ 598.651
613.18/614.72	c bounds 1296485 >= -25 @ 601.354
624.95/626.56	c #Conflicts:      66000 | #Constraints:     130652
624.95/626.56	c INPROCESSING
624.95/626.56	c GARBAGE COLLECT
624.95/626.56	c rational objective 411271
680.91/682.68	c #Conflicts:      67000 | #Constraints:     124784
680.91/682.68	c #Conflicts:      68000 | #Constraints:     125784
680.91/682.68	c #Conflicts:      69000 | #Constraints:     126784
680.91/682.68	c #Conflicts:      70000 | #Constraints:     127787
680.91/682.68	c #Conflicts:      71000 | #Constraints:     128792
680.91/682.68	c #Conflicts:      72000 | #Constraints:     129794
680.91/682.68	c INPROCESSING
680.91/682.68	c GARBAGE COLLECT
680.91/682.68	c rational objective 412222
746.55/748.49	c #Conflicts:      73000 | #Constraints:     125400
746.55/748.49	c #Conflicts:      74000 | #Constraints:     126401
746.55/748.49	c #Conflicts:      75000 | #Constraints:     127402
746.55/748.49	c #Conflicts:      76000 | #Constraints:     128404
746.55/748.49	c #Conflicts:      77000 | #Constraints:     129405
746.55/748.49	c #Conflicts:      78000 | #Constraints:     130408
746.55/748.49	c INPROCESSING
746.55/748.49	c GARBAGE COLLECT
746.55/748.49	c rational objective 418190
808.50/810.50	c #Conflicts:      79000 | #Constraints:     123762
808.50/810.50	c #Conflicts:      80000 | #Constraints:     124762
808.50/810.50	c #Conflicts:      81000 | #Constraints:     125762
808.50/810.50	c #Conflicts:      82000 | #Constraints:     126764
808.50/810.50	c #Conflicts:      83000 | #Constraints:     127768
808.50/810.50	c #Conflicts:      84000 | #Constraints:     128771
808.50/810.50	c INPROCESSING
808.50/810.50	c GARBAGE COLLECT
808.50/810.50	c rational objective 418514
811.89/813.90	c bounds 1295139 >= -25 @ 796.62
872.54/874.78	c #Conflicts:      85000 | #Constraints:     123979
872.54/874.78	c #Conflicts:      86000 | #Constraints:     124981
872.54/874.78	c #Conflicts:      87000 | #Constraints:     125981
872.54/874.78	c #Conflicts:      88000 | #Constraints:     126981
872.54/874.78	c #Conflicts:      89000 | #Constraints:     127982
872.54/874.78	c #Conflicts:      90000 | #Constraints:     128982
872.54/874.78	c INPROCESSING
872.54/874.78	c GARBAGE COLLECT
872.54/874.78	c rational objective 418798
935.98/938.30	c #Conflicts:      91000 | #Constraints:     115643
935.98/938.30	c #Conflicts:      92000 | #Constraints:     116643
935.98/938.30	c #Conflicts:      93000 | #Constraints:     117645
935.98/938.30	c #Conflicts:      94000 | #Constraints:     118651
935.98/938.30	c #Conflicts:      95000 | #Constraints:     119656
935.98/938.30	c #Conflicts:      96000 | #Constraints:     120661
935.98/938.30	c INPROCESSING
935.98/938.30	c GARBAGE COLLECT
935.98/938.30	c rational objective 439789
1027.46/1030.10	c #Conflicts:      97000 | #Constraints:     115460
1027.46/1030.10	c #Conflicts:      98000 | #Constraints:     116462
1027.46/1030.10	c #Conflicts:      99000 | #Constraints:     117469
1027.46/1030.10	c #Conflicts:     100000 | #Constraints:     118473
1027.46/1030.10	c #Conflicts:     101000 | #Constraints:     119476
1027.46/1030.10	c #Conflicts:     102000 | #Constraints:     120480
1027.46/1030.10	c #Conflicts:     103000 | #Constraints:     121486
1027.46/1030.10	c INPROCESSING
1027.46/1030.10	c GARBAGE COLLECT
1027.46/1030.10	c rational objective 447212
1030.35/1032.97	c bounds 1262177 >= -25 @ 1010.69
1100.68/1103.42	c #Conflicts:     104000 | #Constraints:     116090
1100.68/1103.42	c #Conflicts:     105000 | #Constraints:     117187
1100.68/1103.42	c #Conflicts:     106000 | #Constraints:     118469
1100.68/1103.42	c #Conflicts:     107000 | #Constraints:     119469
1100.68/1103.42	c #Conflicts:     108000 | #Constraints:     120469
1100.68/1103.42	c #Conflicts:     109000 | #Constraints:     121469
1100.68/1103.42	c #Conflicts:     110000 | #Constraints:     122470
1100.68/1103.42	c INPROCESSING
1100.68/1103.42	c GARBAGE COLLECT
1100.68/1103.42	c rational objective 457650
1175.99/1178.97	c #Conflicts:     111000 | #Constraints:     116687
1175.99/1178.97	c #Conflicts:     112000 | #Constraints:     117687
1175.99/1178.97	c #Conflicts:     113000 | #Constraints:     118688
1175.99/1178.97	c #Conflicts:     114000 | #Constraints:     119691
1175.99/1178.97	c #Conflicts:     115000 | #Constraints:     120693
1175.99/1178.97	c #Conflicts:     116000 | #Constraints:     121696
1175.99/1178.97	c #Conflicts:     117000 | #Constraints:     122701
1175.99/1178.97	c INPROCESSING
1175.99/1178.97	c GARBAGE COLLECT
1175.99/1178.97	c rational objective 462385
1268.97/1272.10	c #Conflicts:     118000 | #Constraints:     116782
1268.97/1272.10	c #Conflicts:     119000 | #Constraints:     117789
1268.97/1272.10	c #Conflicts:     120000 | #Constraints:     118794
1268.97/1272.10	c #Conflicts:     121000 | #Constraints:     119798
1268.97/1272.10	c #Conflicts:     122000 | #Constraints:     120803
1268.97/1272.10	c #Conflicts:     123000 | #Constraints:     121808
1268.97/1272.10	c #Conflicts:     124000 | #Constraints:     122810
1268.97/1272.10	c INPROCESSING
1268.97/1272.10	c GARBAGE COLLECT
1268.97/1272.10	c rational objective 464585
1301.78/1305.10	c #Conflicts:     125000 | #Constraints:     116728
1301.78/1305.10	c #Conflicts:     126000 | #Constraints:     117732
1301.78/1305.10	c #Conflicts:     127000 | #Constraints:     118734
1301.78/1305.10	c bounds 1257875 >= -25 @ 1276.53
1347.16/1350.58	c #Conflicts:     128000 | #Constraints:     119737
1347.16/1350.58	c #Conflicts:     129000 | #Constraints:     120737
1347.16/1350.58	c #Conflicts:     130000 | #Constraints:     121737
1347.16/1350.58	c #Conflicts:     131000 | #Constraints:     122741
1347.16/1350.58	c INPROCESSING
1347.16/1350.58	c GARBAGE COLLECT
1347.16/1350.58	c rational objective 464782
1432.76/1436.37	c #Conflicts:     132000 | #Constraints:     116516
1432.76/1436.37	c #Conflicts:     133000 | #Constraints:     117516
1432.76/1436.37	c #Conflicts:     134000 | #Constraints:     118516
1432.76/1436.37	c #Conflicts:     135000 | #Constraints:     119517
1432.76/1436.37	c #Conflicts:     136000 | #Constraints:     120520
1432.76/1436.37	c #Conflicts:     137000 | #Constraints:     121522
1432.76/1436.37	c #Conflicts:     138000 | #Constraints:     122526
1432.76/1436.37	c #Conflicts:     139000 | #Constraints:     123532
1432.76/1436.37	c INPROCESSING
1432.76/1436.37	c GARBAGE COLLECT
1432.76/1436.37	c rational objective 464810
1436.04/1439.65	c bounds 1247115 >= -25 @ 1407.95
1514.06/1517.90	c #Conflicts:     140000 | #Constraints:     117118
1514.06/1517.90	c #Conflicts:     141000 | #Constraints:     118122
1514.06/1517.90	c #Conflicts:     142000 | #Constraints:     119126
1514.06/1517.90	c #Conflicts:     143000 | #Constraints:     120130
1514.06/1517.90	c #Conflicts:     144000 | #Constraints:     121134
1514.06/1517.90	c #Conflicts:     145000 | #Constraints:     122139
1514.06/1517.90	c #Conflicts:     146000 | #Constraints:     123144
1514.06/1517.90	c #Conflicts:     147000 | #Constraints:     124147
1514.06/1517.90	c INPROCESSING
1514.06/1517.90	c GARBAGE COLLECT
1514.06/1517.90	c rational objective 467036
1595.65/1599.60	c #Conflicts:     148000 | #Constraints:     117508
1595.65/1599.60	c #Conflicts:     149000 | #Constraints:     118508
1595.65/1599.60	c #Conflicts:     150000 | #Constraints:     119508
1595.65/1599.60	c #Conflicts:     151000 | #Constraints:     120508
1595.65/1599.60	c #Conflicts:     152000 | #Constraints:     121509
1595.65/1599.60	c #Conflicts:     153000 | #Constraints:     122509
1595.65/1599.60	c #Conflicts:     154000 | #Constraints:     123509
1595.65/1599.60	c #Conflicts:     155000 | #Constraints:     124509
1595.65/1599.60	c INPROCESSING
1595.65/1599.60	c GARBAGE COLLECT
1595.65/1599.60	c rational objective 467396
1597.05/1601.03	c bounds 1244743 >= -25 @ 1565.8
1672.65/1676.81	c #Conflicts:     156000 | #Constraints:     114212
1672.65/1676.81	c #Conflicts:     157000 | #Constraints:     115212
1672.65/1676.81	c #Conflicts:     158000 | #Constraints:     116212
1672.65/1676.81	c #Conflicts:     159000 | #Constraints:     117212
1672.65/1676.81	c #Conflicts:     160000 | #Constraints:     118212
1672.65/1676.81	c #Conflicts:     161000 | #Constraints:     119212
1672.65/1676.81	c #Conflicts:     162000 | #Constraints:     120212
1672.65/1676.81	c #Conflicts:     163000 | #Constraints:     121215
1672.65/1676.81	c INPROCESSING
1672.65/1676.81	c GARBAGE COLLECT
1672.65/1676.81	c rational objective 468039
1761.73/1766.19	c #Conflicts:     164000 | #Constraints:     114197
1761.73/1766.19	c #Conflicts:     165000 | #Constraints:     115197
1761.73/1766.19	c #Conflicts:     166000 | #Constraints:     116197
1761.73/1766.19	c #Conflicts:     167000 | #Constraints:     117197
1761.73/1766.19	c #Conflicts:     168000 | #Constraints:     118200
1761.73/1766.19	c #Conflicts:     169000 | #Constraints:     119203
1761.73/1766.19	c #Conflicts:     170000 | #Constraints:     120206
1761.73/1766.19	c #Conflicts:     171000 | #Constraints:     121210
1761.73/1766.19	c INPROCESSING
1761.73/1766.19	c GARBAGE COLLECT
1761.73/1766.19	c rational objective 468351
1936.07/1940.93	c #Conflicts:     172000 | #Constraints:     113999
1936.07/1940.93	c #Conflicts:     173000 | #Constraints:     114999
1936.07/1940.93	c #Conflicts:     174000 | #Constraints:     116000
1936.07/1940.93	c #Conflicts:     175000 | #Constraints:     117000
1936.07/1940.93	c #Conflicts:     176000 | #Constraints:     118000
1936.07/1940.93	c #Conflicts:     177000 | #Constraints:     119005
1936.07/1940.93	c #Conflicts:     178000 | #Constraints:     120006
1936.07/1940.93	c #Conflicts:     179000 | #Constraints:     121006
1936.07/1940.93	c #Conflicts:     180000 | #Constraints:     122006
1936.07/1940.93	c INPROCESSING
1936.07/1940.93	c GARBAGE COLLECT
1936.07/1940.93	c #Conflicts:     181000 | #Constraints:     110761
1936.07/1940.93	c #Conflicts:     182000 | #Constraints:     111761
1936.07/1940.93	c #Conflicts:     183000 | #Constraints:     112834
1936.07/1940.93	c #Conflicts:     184000 | #Constraints:     114062
1936.07/1940.93	c #Conflicts:     185000 | #Constraints:     115062
1936.07/1940.93	c #Conflicts:     186000 | #Constraints:     116062
1936.07/1940.93	c #Conflicts:     187000 | #Constraints:     117063
1936.07/1940.93	c #Conflicts:     188000 | #Constraints:     118070
1936.07/1940.93	c #Conflicts:     189000 | #Constraints:     119073
1936.07/1940.93	c INPROCESSING
1936.07/1940.93	c GARBAGE COLLECT
1936.07/1940.93	c rational objective 471208
2025.75/2030.87	c #Conflicts:     190000 | #Constraints:     111337
2025.75/2030.87	c #Conflicts:     191000 | #Constraints:     112337
2025.75/2030.87	c #Conflicts:     192000 | #Constraints:     113337
2025.75/2030.87	c #Conflicts:     193000 | #Constraints:     114337
2025.75/2030.87	c #Conflicts:     194000 | #Constraints:     115337
2025.75/2030.87	c #Conflicts:     195000 | #Constraints:     116337
2025.75/2030.87	c #Conflicts:     196000 | #Constraints:     117339
2025.75/2030.87	c #Conflicts:     197000 | #Constraints:     118343
2025.75/2030.87	c #Conflicts:     198000 | #Constraints:     119350
2025.75/2030.87	c INPROCESSING
2025.75/2030.87	c GARBAGE COLLECT
2025.75/2030.87	c rational objective 472346
2141.85/2147.23	c #Conflicts:     199000 | #Constraints:     111451
2141.85/2147.23	c #Conflicts:     200000 | #Constraints:     112459
2141.85/2147.23	c #Conflicts:     201000 | #Constraints:     113465
2141.85/2147.23	c #Conflicts:     202000 | #Constraints:     114474
2141.85/2147.23	c #Conflicts:     203000 | #Constraints:     115481
2141.85/2147.23	c #Conflicts:     204000 | #Constraints:     116486
2141.85/2147.23	c #Conflicts:     205000 | #Constraints:     117490
2141.85/2147.23	c #Conflicts:     206000 | #Constraints:     118494
2141.85/2147.23	c #Conflicts:     207000 | #Constraints:     119501
2141.85/2147.23	c INPROCESSING
2141.85/2147.23	c GARBAGE COLLECT
2141.85/2147.23	c rational objective 472794
2243.60/2249.23	c #Conflicts:     208000 | #Constraints:     111438
2243.60/2249.23	c #Conflicts:     209000 | #Constraints:     112440
2243.60/2249.23	c #Conflicts:     210000 | #Constraints:     113443
2243.60/2249.23	c #Conflicts:     211000 | #Constraints:     114448
2243.60/2249.23	c #Conflicts:     212000 | #Constraints:     115453
2243.60/2249.23	c #Conflicts:     213000 | #Constraints:     116454
2243.60/2249.23	c #Conflicts:     214000 | #Constraints:     117455
2243.60/2249.23	c #Conflicts:     215000 | #Constraints:     118458
2243.60/2249.23	c #Conflicts:     216000 | #Constraints:     119460
2243.60/2249.23	c INPROCESSING
2243.60/2249.23	c GARBAGE COLLECT
2243.60/2249.23	c rational objective 483318
2346.15/2352.07	c #Conflicts:     217000 | #Constraints:      93279
2346.15/2352.07	c #Conflicts:     218000 | #Constraints:      94279
2346.15/2352.07	c #Conflicts:     219000 | #Constraints:      95279
2346.15/2352.07	c #Conflicts:     220000 | #Constraints:      96280
2346.15/2352.07	c #Conflicts:     221000 | #Constraints:      97283
2346.15/2352.07	c #Conflicts:     222000 | #Constraints:      98287
2346.15/2352.07	c #Conflicts:     223000 | #Constraints:      99293
2346.15/2352.07	c #Conflicts:     224000 | #Constraints:     100297
2346.15/2352.07	c #Conflicts:     225000 | #Constraints:     101300
2346.15/2352.07	c #Conflicts:     226000 | #Constraints:     102304
2346.15/2352.07	c INPROCESSING
2346.15/2352.07	c GARBAGE COLLECT
2346.15/2352.07	c rational objective 499605
2353.73/2359.65	c #Conflicts:     227000 | #Constraints:      93873
2353.73/2359.65	c bounds 1236221 >= -25 @ 2307.05
2461.16/2467.39	c #Conflicts:     228000 | #Constraints:      94887
2461.16/2467.39	c #Conflicts:     229000 | #Constraints:      95897
2461.16/2467.39	c #Conflicts:     230000 | #Constraints:      97344
2461.16/2467.39	c #Conflicts:     231000 | #Constraints:      98830
2461.16/2467.39	c #Conflicts:     232000 | #Constraints:      99864
2461.16/2467.39	c #Conflicts:     233000 | #Constraints:     100864
2461.16/2467.39	c #Conflicts:     234000 | #Constraints:     101865
2461.16/2467.39	c #Conflicts:     235000 | #Constraints:     102865
2461.16/2467.39	c #Conflicts:     236000 | #Constraints:     103865
2461.16/2467.39	c INPROCESSING
2461.16/2467.39	c GARBAGE COLLECT
2461.16/2467.39	c rational objective 508786
2558.02/2564.46	c #Conflicts:     237000 | #Constraints:      94801
2558.02/2564.46	c #Conflicts:     238000 | #Constraints:      95801
2558.02/2564.46	c #Conflicts:     239000 | #Constraints:      96802
2558.02/2564.46	c #Conflicts:     240000 | #Constraints:      97802
2558.02/2564.46	c #Conflicts:     241000 | #Constraints:      98802
2558.02/2564.46	c #Conflicts:     242000 | #Constraints:      99802
2558.02/2564.46	c #Conflicts:     243000 | #Constraints:     100805
2558.02/2564.46	c #Conflicts:     244000 | #Constraints:     101808
2558.02/2564.46	c #Conflicts:     245000 | #Constraints:     102810
2558.02/2564.46	c #Conflicts:     246000 | #Constraints:     103813
2558.02/2564.46	c INPROCESSING
2558.02/2564.46	c GARBAGE COLLECT
2558.02/2564.46	c rational objective 512774
2678.32/2685.07	c #Conflicts:     247000 | #Constraints:      94760
2678.32/2685.07	c #Conflicts:     248000 | #Constraints:      95762
2678.32/2685.07	c #Conflicts:     249000 | #Constraints:      96766
2678.32/2685.07	c #Conflicts:     250000 | #Constraints:      97774
2678.32/2685.07	c #Conflicts:     251000 | #Constraints:      98777
2678.32/2685.07	c #Conflicts:     252000 | #Constraints:      99782
2678.32/2685.07	c #Conflicts:     253000 | #Constraints:     100786
2678.32/2685.07	c #Conflicts:     254000 | #Constraints:     101790
2678.32/2685.07	c #Conflicts:     255000 | #Constraints:     102794
2678.32/2685.07	c #Conflicts:     256000 | #Constraints:     103798
2678.32/2685.07	c INPROCESSING
2678.32/2685.07	c GARBAGE COLLECT
2678.32/2685.07	c rational objective 518783
2713.03/2719.82	c #Conflicts:     257000 | #Constraints:      94627
2713.03/2719.82	c #Conflicts:     258000 | #Constraints:      95631
2713.03/2719.82	c #Conflicts:     259000 | #Constraints:      96635
2713.03/2719.82	c bounds 1218550 >= -25 @ 2659.64
2756.71/2763.69	c #Conflicts:     260000 | #Constraints:      97639
2756.71/2763.69	c #Conflicts:     261000 | #Constraints:      98643
2756.71/2763.69	c #Conflicts:     262000 | #Constraints:      99643
2756.71/2763.69	c #Conflicts:     263000 | #Constraints:     100643
2756.71/2763.69	c bounds 1218081 >= -25 @ 2702.53
2793.41/2800.48	c #Conflicts:     264000 | #Constraints:     101644
2793.41/2800.48	c #Conflicts:     265000 | #Constraints:     102649
2793.41/2800.48	c #Conflicts:     266000 | #Constraints:     103653
2793.41/2800.48	c INPROCESSING
2793.41/2800.48	c GARBAGE COLLECT
2793.41/2800.48	c rational objective 523023
2909.86/2917.25	c #Conflicts:     267000 | #Constraints:      84128
2909.86/2917.25	c #Conflicts:     268000 | #Constraints:      85129
2909.86/2917.25	c #Conflicts:     269000 | #Constraints:      86129
2909.86/2917.25	c #Conflicts:     270000 | #Constraints:      87133
2909.86/2917.25	c #Conflicts:     271000 | #Constraints:      88141
2909.86/2917.25	c #Conflicts:     272000 | #Constraints:      89143
2909.86/2917.25	c #Conflicts:     273000 | #Constraints:      90147
2909.86/2917.25	c #Conflicts:     274000 | #Constraints:      91152
2909.86/2917.25	c #Conflicts:     275000 | #Constraints:      92156
2909.86/2917.25	c #Conflicts:     276000 | #Constraints:      93160
2909.86/2917.25	c #Conflicts:     277000 | #Constraints:      94162
2909.86/2917.25	c INPROCESSING
2909.86/2917.25	c GARBAGE COLLECT
2909.86/2917.25	c rational objective 524350
3120.03/3128.04	c #Conflicts:     278000 | #Constraints:      84748
3120.03/3128.04	c #Conflicts:     279000 | #Constraints:      85750
3120.03/3128.04	c #Conflicts:     280000 | #Constraints:      86787
3120.03/3128.04	c #Conflicts:     281000 | #Constraints:      87858
3120.03/3128.04	c #Conflicts:     282000 | #Constraints:      89118
3120.03/3128.04	c #Conflicts:     283000 | #Constraints:      90169
3120.03/3128.04	c #Conflicts:     284000 | #Constraints:      91196
3120.03/3128.04	c #Conflicts:     285000 | #Constraints:      92238
3120.03/3128.04	c #Conflicts:     286000 | #Constraints:      93298
3120.03/3128.04	c #Conflicts:     287000 | #Constraints:      94589
3120.03/3128.04	c #Conflicts:     288000 | #Constraints:      95589
3120.03/3128.04	c INPROCESSING
3120.03/3128.04	c GARBAGE COLLECT
3120.03/3128.04	c #Conflicts:     289000 | #Constraints:      85598
3120.03/3128.04	c #Conflicts:     290000 | #Constraints:      86598
3120.03/3128.04	c #Conflicts:     291000 | #Constraints:      87598
3120.03/3128.04	c #Conflicts:     292000 | #Constraints:      88599
3120.03/3128.04	c #Conflicts:     293000 | #Constraints:      89599
3120.03/3128.04	c #Conflicts:     294000 | #Constraints:      90600
3120.03/3128.04	c #Conflicts:     295000 | #Constraints:      91603
3120.03/3128.04	c #Conflicts:     296000 | #Constraints:      92603
3120.03/3128.04	c #Conflicts:     297000 | #Constraints:      93603
3120.03/3128.04	c #Conflicts:     298000 | #Constraints:      94603
3120.03/3128.04	c #Conflicts:     299000 | #Constraints:      95604
3120.03/3128.04	c INPROCESSING
3120.03/3128.04	c GARBAGE COLLECT
3120.03/3128.04	c rational objective 524690
3220.12/3242.08	HOME/run-opt-break-log.sh: line 3: 137437 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --preprocessed-input="$1.pre" --proof-log="$2"

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532603-1752683080/watcher-4532603-1752683080 -o /tmp/evaluation-result-4532603-1752683080/solver-4532603-1752683080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752683038-137169 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532603-1752683080.opb /tmp/proof-4532603-1752683080 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=137434, runsolver pid=137431

[startup+0.100069 s]*
/proc/loadavg: 2.21 0.64 0.27 5/272 137436
/proc/meminfo: memFree=101869032/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137436] ppid=137434 vsize=72688 memory=61612 CPUtime=0.08 cores=1,3
/proc/137436/stat : 137436 (pbsuma) R 137434 137434 137152 0 -1 4194304 10979 0 0 0 6 2 0 0 20 0 1 0 183982601 74432512 15403 18446744073709551615 4210688 4653049 140736734411296 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 8470528 140736734415111 140736734415408 140736734415408 140736734420975 0
/proc/137436/statm: 18172 15403 1024 108 0 15580 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76880 KiB
Current children cumulated memory: 64684 KiB

[startup+0.20586 s]*
/proc/loadavg: 2.21 0.64 0.27 5/272 137436
/proc/meminfo: memFree=101755492/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137436] ppid=137434 vsize=117608 memory=91296 CPUtime=0.19 cores=1,3
/proc/137436/stat : 137436 (pbsuma) R 137434 137434 137152 0 -1 4194304 19688 0 0 0 15 4 0 0 20 0 1 0 183982601 120430592 22824 18446744073709551615 4210688 4653049 140736734411296 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 8470528 140736734415111 140736734415408 140736734415408 140736734420975 0
/proc/137436/statm: 29402 22824 1056 108 0 26810 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 121800 KiB
Current children cumulated memory: 94368 KiB

[startup+0.305737 s]*
/proc/loadavg: 2.21 0.64 0.27 5/272 137436
/proc/meminfo: memFree=101695200/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137436] ppid=137434 vsize=117624 memory=93492 CPUtime=0.29 cores=1,3
/proc/137436/stat : 137436 (pbsuma) R 137434 137434 137152 0 -1 4194304 28743 0 0 0 23 6 0 0 20 0 1 0 183982601 120446976 23373 18446744073709551615 4210688 4653049 140736734411296 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 8470528 140736734415111 140736734415408 140736734415408 140736734420975 0
/proc/137436/statm: 29406 23373 1056 108 0 26814 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 121816 KiB
Current children cumulated memory: 96564 KiB

[startup+0.700489 s]
/proc/loadavg: 2.21 0.64 0.27 5/272 137436
/proc/meminfo: memFree=101610648/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+1.50019 s]
/proc/loadavg: 2.21 0.64 0.27 5/272 137437
/proc/meminfo: memFree=101480056/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=228748 memory=184160 CPUtime=0.78 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 21466 0 0 0 62 16 0 0 20 0 1 0 183982670 234237952 46040 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 57187 46040 2368 1147 0 44613 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 232940 KiB
Current children cumulated memory: 187232 KiB

[startup+3.10543 s]
/proc/loadavg: 2.36 0.69 0.29 5/272 137438
/proc/meminfo: memFree=101356628/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=245180 memory=200936 CPUtime=2.39 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 24632 0 0 0 217 22 0 0 20 0 1 0 183982670 251064320 50234 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 61295 50234 2400 1147 0 48721 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 249372 KiB
Current children cumulated memory: 204008 KiB

[startup+6.30017 s]
/proc/loadavg: 2.36 0.69 0.29 5/272 137438
/proc/meminfo: memFree=100766780/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=272388 memory=226984 CPUtime=5.56 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 30107 0 0 0 527 29 0 0 20 0 1 0 183982670 278925312 56746 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 68097 56746 2400 1147 0 55523 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 276580 KiB
Current children cumulated memory: 230056 KiB

[startup+12.7002 s]
/proc/loadavg: 2.69 0.82 0.34 5/272 137438
/proc/meminfo: memFree=99908084/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=348340 memory=287336 CPUtime=11.95 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 41645 0 0 0 1153 42 0 0 20 0 1 0 183982670 356700160 71834 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 87085 71834 2400 1147 0 74511 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 352532 KiB
Current children cumulated memory: 290408 KiB

[startup+25.5002 s]
/proc/loadavg: 3.05 0.96 0.39 5/273 137440
/proc/meminfo: memFree=98662348/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=375308 memory=310744 CPUtime=24.72 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 44396 0 0 0 2409 63 0 0 20 0 1 0 183982670 384315392 77686 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 93827 77686 2432 1147 0 81253 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 379500 KiB
Current children cumulated memory: 313816 KiB

[startup+51.1055 s]
/proc/loadavg: 3.66 1.27 0.51 5/273 137441
/proc/meminfo: memFree=96345332/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=467340 memory=384960 CPUtime=50.27 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 59499 0 0 0 4914 113 0 0 20 0 1 0 183982670 478556160 96240 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 116835 96240 2432 1147 0 104261 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 471532 KiB
Current children cumulated memory: 388032 KiB

[startup+102.3 s]
/proc/loadavg: 4.35 1.87 0.76 5/273 137444
/proc/meminfo: memFree=92020780/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=560204 memory=486688 CPUtime=101.34 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 78596 0 0 0 9941 193 0 0 20 0 1 0 183982670 573648896 121672 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 140051 121672 2432 1147 0 127477 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 564396 KiB
Current children cumulated memory: 489760 KiB

[startup+162.3 s]
/proc/loadavg: 4.63 2.38 1.00 5/275 137450
/proc/meminfo: memFree=87559856/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=675764 memory=565072 CPUtime=161.19 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 93777 0 0 0 15826 293 0 0 20 0 1 0 183982670 691982336 141268 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 168941 141268 2432 1147 0 156367 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 679956 KiB
Current children cumulated memory: 568144 KiB

[startup+222.3 s]
/proc/loadavg: 5.09 2.91 1.27 5/275 137452
/proc/meminfo: memFree=82854076/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=717888 memory=614188 CPUtime=221.05 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 105104 0 0 0 21717 388 0 0 20 0 1 0 183982670 735117312 153547 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 179472 153547 2432 1147 0 166898 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 722080 KiB
Current children cumulated memory: 617260 KiB

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

/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 749596 0 0 0 291618 5790 0 0 20 0 1 0 183982670 2011938816 467465 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 491196 467465 2528 1147 0 478622 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 1968976 KiB
Current children cumulated memory: 1872932 KiB

[startup+3042.3 s]
/proc/loadavg: 4.77 4.82 4.69 5/274 137632
/proc/meminfo: memFree=1331824/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=1964396 memory=1869008 CPUtime=3033.9 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 754003 0 0 0 297507 5883 0 0 20 0 1 0 183982670 2011541504 467252 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 491099 467252 2528 1147 0 478525 0
Current children cumulated CPU time: 3034.58 s
Current children cumulated vsize: 1968588 KiB
Current children cumulated memory: 1872080 KiB

[startup+3102.3 s]
/proc/loadavg: 4.81 4.82 4.70 5/273 137634
/proc/meminfo: memFree=1329712/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=1966004 memory=1868368 CPUtime=3093.71 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 758435 0 0 0 303349 6022 0 0 20 0 1 0 183982670 2013188096 467092 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 491501 467092 2528 1147 0 478927 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 1970196 KiB
Current children cumulated memory: 1871440 KiB

[startup+3162.3 s]
/proc/loadavg: 4.92 4.87 4.73 5/273 137638
/proc/meminfo: memFree=1320340/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3153.54 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 774773 0 0 0 309214 6140 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

[startup+3222.3 s]
/proc/loadavg: 4.66 4.81 4.72 5/273 137641
/proc/meminfo: memFree=1292532/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3213.36 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 775984 0 0 0 315104 6232 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

[startup+3242.09 s]
# the end of solver process 137434 was just reported to runsolver
# Child status: 153

# cumulated CPU time of all completed processes:  user=3156.79 s, system=63.3549 s

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

[startup+3225.6 s]
/proc/loadavg: 4.61 4.80 4.71 5/273 137641
/proc/meminfo: memFree=1147900/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3216.65 cores=1,3
/proc/137437/stat : 137437 (roundingsat) R 137434 137434 137152 0 -1 4194304 776048 0 0 0 315427 6238 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 0
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3217.33 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

[startup+3232 s]*
/proc/loadavg: 4.64 4.80 4.71 5/274 137644
/proc/meminfo: memFree=1351852/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3219.44 cores=1,3
/proc/137437/stat : 137437 (roundingsat) S 137434 137434 137152 0 -1 4195840 776082 0 0 0 315617 6327 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 140732134450552 140323163486039 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 25
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3220.12 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

[startup+3238.4 s]
/proc/loadavg: 4.69 4.81 4.72 4/274 137644
/proc/meminfo: memFree=1302436/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3219.44 cores=1,3
/proc/137437/stat : 137437 (roundingsat) S 137434 137434 137152 0 -1 4195840 776082 0 0 0 315617 6327 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 140732134450552 140323163486039 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 25
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3220.12 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

[startup+3240 s]*
/proc/loadavg: 4.69 4.81 4.72 4/274 137645
/proc/meminfo: memFree=1231660/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3219.44 cores=1,3
/proc/137437/stat : 137437 (roundingsat) S 137434 137434 137152 0 -1 4195840 776082 0 0 0 315617 6327 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 140732134450552 140323163486039 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 25
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3220.12 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

[startup+3240.8 s]
/proc/loadavg: 4.69 4.81 4.72 4/274 137645
/proc/meminfo: memFree=1231660/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3219.44 cores=1,3
/proc/137437/stat : 137437 (roundingsat) S 137434 137434 137152 0 -1 4195840 776082 0 0 0 315617 6327 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 140732134450552 140323163486039 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 25
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3220.12 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

[startup+3241.6 s]
/proc/loadavg: 4.69 4.81 4.72 4/274 137645
/proc/meminfo: memFree=1191332/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3219.44 cores=1,3
/proc/137437/stat : 137437 (roundingsat) S 137434 137434 137152 0 -1 4195840 776082 0 0 0 315617 6327 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 140732134450552 140323163486039 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 25
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3220.12 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

[startup+3242 s]*
/proc/loadavg: 4.69 4.81 4.72 4/274 137645
/proc/meminfo: memFree=2221268/131249992 swapFree=33009392/33010684
[pid=137434] ppid=137431 vsize=4192 memory=3072 CPUtime=0.68 cores=1,3
/proc/137434/stat : 137434 (run-opt-break-l) S 137431 137434 137152 0 -1 4194304 236 29035 0 0 0 0 61 7 20 0 1 0 183982600 4292608 768 18446744073709551615 94634763313152 94634764207685 140734710488848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94634764446736 94634764494480 94634783248384 140734710495545 140734710495708 140734710495708 140734710501312 0
/proc/137434/statm: 1048 768 704 219 0 110 0
[pid=137437] ppid=137434 vsize=2035976 memory=1932936 CPUtime=3219.44 cores=1,3
/proc/137437/stat : 137437 (roundingsat) S 137434 137434 137152 0 -1 4195840 776082 0 0 0 315617 6327 0 0 20 0 1 0 183982670 2084839424 483234 18446744073709551615 4227072 8923577 140732134454144 140732134450552 140323163486039 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 39309312 140732134455608 140732134455846 140732134455846 140732134461418 25
/proc/137437/statm: 508994 483234 2528 1147 0 496420 0
Current children cumulated CPU time: 3220.12 s
Current children cumulated vsize: 2040168 KiB
Current children cumulated memory: 1936008 KiB

Child status: 153

Real time (s): 3242.09
CPU time (s): 3220.15
CPU user time (s): 3156.79
CPU system time (s): 63.3549
CPU usage (%): 99.3232
Max. virtual memory (cumulated for all children) (KiB): 2040168
Max. memory (cumulated for all children) (KiB): 1936008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3156.79
system time used= 63.3549
maximum resident set size= 1932936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 805365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204810248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 335
involuntary context switches= 4365


# summary of solver processes directly reported to runsolver:
#   pid: 137434
#   total CPU time (s): 3220.15
#   total CPU user time (s): 3156.79
#   total CPU system time (s): 63.3549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71606 second user time and 14.4623 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-16 18:24:41
IDJOB=4532603
IDBENCH=155693
IDSOLVER=3393
FILE ID=nodeC035/4532603-1752683080
RUNJOBID= nodeC035-1752683038-137169
SLURM_JOB_ID= 9686930
Free space on /tmp= 431188 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_6_mh_ic.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532603-1752683080/watcher-4532603-1752683080 -o /tmp/evaluation-result-4532603-1752683080/solver-4532603-1752683080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752683038-137169 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532603-1752683080.opb /tmp/proof-4532603-1752683080

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

MD5SUM BENCH= 1bb082b6412719493b7deb7ac7dad108
RANDOM SEED=672874881

nodeC035 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.745
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.137
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.51
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.874
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.51
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.719
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.51
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.747
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.51
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.755
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.51
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		: 3600.491
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.51
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		: 3686.589
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        101963912 kB
MemAvailable:   128591412 kB
Buffers:             664 kB
Cached:         27381648 kB
SwapCached:          332 kB
Active:          1756940 kB
Inactive:       26779036 kB
Active(anon):    1160656 kB
Inactive(anon):    18956 kB
Active(file):     596284 kB
Inactive(file): 26760080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            367744 kB
Writeback:             0 kB
AnonPages:       1156500 kB
Mapped:           118440 kB
Shmem:             25892 kB
KReclaimable:     220748 kB
Slab:             315912 kB
SReclaimable:     220748 kB
SUnreclaim:        95164 kB
KernelStack:        4400 kB
PageTables:         5312 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1822216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    692224 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 175956 MiB
End job on nodeC035 at 2025-07-16 19:18:43