Trace number 4504853

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 63f22ad? (exit code) 3334.35 3477.52

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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4504853-1751446956.opb'
0.07/0.12	c 	read 4.33MB  (100.64ms)
0.07/0.12	c	 [cnf: #variables 45775 #clauses 102434 #duplicates 300 #arr 351525]
0.07/0.14	c output proof to 'PROOFDIR/proof-4504853-1751446956'
0.07/0.14	c 
0.07/0.14	c make graph and approximate orbits
0.26/0.36	c	 [group: #orbits ~= 15616] (221.79ms)
0.26/0.36	c 
0.26/0.36	c detect special group actions
0.26/0.36	c 	probe for Johnson action (limit=64)
0.26/0.36	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.26/0.40	c 	probe for row symmetry (limit=64, splits=16.78M)
0.26/0.41	c 	 found row 25x2, generating row predicate
0.26/0.41	c 	 found row 4x2, generating row predicate
0.26/0.42	c 	 found row 25x2, generating row predicate
0.36/0.43	c 	 found row 4x2, generating row predicate
0.36/0.43	c 	 (60.50ms)
0.36/0.43	c 
0.36/0.43	c detect symmetries on remainder
0.36/0.43	c 	[graph: #vertices 330559 #edges 1067750]
0.36/0.43	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.56/0.63	c 	 [group: #symmetries 5.61*10^886 #generators 1488] (200.01ms)
0.56/0.63	c 
0.56/0.63	c optimize generators (opt_passes=64, conjugate_limit=256)
0.56/0.63	c 	ran it=0, +gens=11 
1.14/1.22	c 	con best_support=4, best_gens=1188, +gens=132
1.14/1.22	c 	(592.28ms)
1.14/1.22	c 
1.14/1.22	c finalize break order and special generators
1.14/1.22	c 
1.14/1.22	c add generic predicates (break_depth=20)
1.14/1.22	c 	added predicates for 1631 generators (0.65ms)
1.14/1.28	c 
1.14/1.28	c generation finished
1.14/1.28	c 	[sbp: #constraints 18815 #add_vars 5710]
1.14/1.28	c 
1.14/1.28	c write result to 'HOME/instance-4504853-1751446956.opb.pre'
1.14/1.29	c 	wrote 5.09MB (16.49ms)
1.14/1.29	c ------------------------------------------------------------------
1.14/1.29	c                 592.28ms 46.45% optimize_gens
1.14/1.29	c                 221.79ms 17.39% approx_orbits
1.14/1.29	c                 200.01ms 15.69% detect_generic
1.14/1.29	c                 100.63ms  7.89% parse
1.14/1.29	c                  79.55ms  6.24% other
1.14/1.29	c                  60.50ms  4.74% detect_special
1.14/1.29	c                  16.49ms  1.29% output
1.14/1.29	c                   3.18ms  0.25% finalize_order
1.14/1.29	c                   0.65ms  0.05% break_generic
1.14/1.29	c         ───────────────────────────────────────────────
1.14/1.29	c                1275.08ms   100% total
1.14/1.29	c ------------------------------------------------------------------
1.24/1.97	c RoundingSat 2
1.24/1.97	c branch pb25
1.24/1.97	c commit 63f22ad
2.95/3.71	c #variables 51485 #constraints 123012
2.95/3.71	c objective is ce32 
2.95/3.71	c initial watched  CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
2.95/3.71	c initial counting CF 32, 64, 128, Arb: 29126 , 0 , 0 , 0
2.95/3.71	c bounds - >= -25 @ 1.43374
3.85/4.62	c bounds 168090908 >= -25 @ 2.27918
3.85/4.65	c bounds 123913400 >= -25 @ 2.30912
3.94/4.70	c bounds 123799565 >= -25 @ 2.35303
3.94/4.76	c bounds 123764218 >= -25 @ 2.41975
4.25/5.08	c bounds 123748373 >= -25 @ 2.72904
5.94/6.70	c bounds 78853632 >= -25 @ 4.29455
5.94/6.75	c bounds 78369671 >= -25 @ 4.33331
6.44/7.29	c bounds 65338201 >= -25 @ 4.86218
9.24/10.02	c #Conflicts:       1000 | #Constraints:     124019
9.24/10.02	c bounds 65216259 >= -25 @ 7.51372
9.93/10.72	c bounds 27686688 >= -25 @ 8.19778
10.03/10.80	c bounds 27587277 >= -25 @ 8.27555
10.03/10.84	c bounds 27574329 >= -25 @ 8.30341
10.03/10.87	c bounds 27538201 >= -25 @ 8.33783
10.13/10.92	c bounds 27461120 >= -25 @ 8.3858
10.24/11.03	c bounds 23544354 >= -25 @ 8.48403
10.24/11.07	c bounds 23516710 >= -25 @ 8.52568
10.34/11.16	c bounds 23430898 >= -25 @ 8.61075
10.43/11.21	c bounds 22745371 >= -25 @ 8.65966
10.43/11.25	c bounds 22204239 >= -25 @ 8.69586
10.43/11.28	c bounds 22160390 >= -25 @ 8.72913
10.52/11.33	c bounds 22040539 >= -25 @ 8.77804
11.63/12.41	c bounds 21887860 >= -25 @ 9.82702
11.72/12.56	c bounds 21829807 >= -25 @ 9.97778
11.92/12.71	c bounds 21808732 >= -25 @ 10.1203
12.91/13.76	c bounds 21767365 >= -25 @ 11.1513
14.33/15.20	c bounds 16781542 >= -25 @ 12.5489
14.42/15.23	c bounds 15707667 >= -25 @ 12.584
14.42/15.26	c bounds 15677581 >= -25 @ 12.6149
14.61/15.49	c bounds 15658595 >= -25 @ 12.8313
14.72/15.56	c bounds 13829429 >= -25 @ 12.9003
14.91/15.71	c bounds 13164427 >= -25 @ 13.0453
17.41/18.26	c #Conflicts:       2000 | #Constraints:     125042
17.41/18.26	c INPROCESSING
17.41/18.26	c GARBAGE COLLECT
17.41/18.26	c bounds 12510485 >= -25 @ 15.5623
17.51/18.36	c bounds 12371597 >= -25 @ 15.6608
17.70/18.57	c bounds 12283567 >= -25 @ 15.8542
18.09/18.96	c bounds 12260220 >= -25 @ 16.2196
18.30/19.15	c bounds 12054412 >= -25 @ 16.4101
18.30/19.18	c bounds 12024326 >= -25 @ 16.4371
18.38/19.26	c bounds 12006204 >= -25 @ 16.5142
28.15/29.09	c #Conflicts:       3000 | #Constraints:     124507
28.15/29.09	c bounds 11883739 >= -25 @ 26.1034
28.25/29.16	c bounds 11873962 >= -25 @ 26.1706
28.33/29.21	c bounds 11860975 >= -25 @ 26.2218
28.33/29.28	c bounds 11610001 >= -25 @ 26.284
28.53/29.43	c bounds 11563727 >= -25 @ 26.4228
28.53/29.46	c bounds 11562569 >= -25 @ 26.4565
28.74/29.68	c bounds 11532483 >= -25 @ 26.6735
29.04/30.01	c bounds 11367071 >= -25 @ 26.9882
29.93/30.83	c bounds 11359784 >= -25 @ 27.8014
30.03/30.91	c bounds 11315876 >= -25 @ 27.8742
30.33/31.21	c bounds 11146247 >= -25 @ 28.1702
30.93/31.83	c bounds 11136962 >= -25 @ 28.7707
31.72/32.68	c bounds 11132261 >= -25 @ 29.6007
33.02/33.96	c bounds 10928242 >= -25 @ 30.8413
33.82/34.72	c bounds 10419657 >= -25 @ 31.5841
36.71/37.65	c #Conflicts:       4000 | #Constraints:     125524
36.71/37.65	c INPROCESSING
36.71/37.65	c GARBAGE COLLECT
36.71/37.65	c bounds 10411701 >= -25 @ 34.4211
37.70/38.63	c bounds 10395129 >= -25 @ 35.3826
38.01/38.95	c bounds 10354892 >= -25 @ 35.6953
38.01/38.98	c bounds 10324806 >= -25 @ 35.7266
38.70/39.62	c bounds 10229884 >= -25 @ 36.3572
38.81/39.72	c bounds 10022922 >= -25 @ 36.4588
58.73/59.78	c #Conflicts:       5000 | #Constraints:     124833
58.73/59.78	c #Conflicts:       6000 | #Constraints:     125834
58.73/59.78	c INPROCESSING
58.73/59.78	c GARBAGE COLLECT
58.73/59.78	c rational objective 410211
59.52/60.54	c bounds 9975206 >= -25 @ 56.8208
59.93/60.99	c bounds 9969397 >= -25 @ 57.2441
60.04/61.04	c bounds 9962773 >= -25 @ 57.3003
61.13/62.13	c bounds 9855712 >= -25 @ 58.3643
61.32/62.35	c bounds 9842785 >= -25 @ 58.5795
61.42/62.47	c bounds 9835111 >= -25 @ 58.6881
61.61/62.67	c bounds 9830416 >= -25 @ 58.8835
62.03/63.04	c bounds 9813844 >= -25 @ 59.2493
63.03/64.09	c #Conflicts:       7000 | #Constraints:     124833
63.03/64.09	c bounds 9787975 >= -25 @ 60.2821
64.71/65.73	c bounds 9785146 >= -25 @ 61.8875
65.51/66.53	c bounds 9761437 >= -25 @ 62.674
65.51/66.58	c bounds 9749551 >= -25 @ 62.7223
65.61/66.62	c bounds 9740677 >= -25 @ 62.7559
65.61/66.65	c bounds 9715339 >= -25 @ 62.7891
65.70/66.76	c bounds 9707665 >= -25 @ 62.9014
66.90/67.93	c bounds 9671733 >= -25 @ 64.0334
67.50/68.55	c bounds 9615088 >= -25 @ 64.6436
67.70/68.72	c bounds 9612066 >= -25 @ 64.8051
70.59/71.65	c #Conflicts:       8000 | #Constraints:     125843
70.59/71.65	c bounds 9609325 >= -25 @ 67.6749
71.20/72.26	c bounds 9598505 >= -25 @ 68.2694
71.29/72.33	c bounds 9595710 >= -25 @ 68.3401
71.49/72.54	c bounds 9589631 >= -25 @ 68.5368
78.77/79.85	c #Conflicts:       9000 | #Constraints:     126848
78.77/79.85	c INPROCESSING
78.77/79.85	c GARBAGE COLLECT
78.77/79.85	c bounds 9549681 >= -25 @ 75.6836
78.77/79.88	c bounds 9547898 >= -25 @ 75.7114
94.71/95.86	c #Conflicts:      10000 | #Constraints:     125499
94.71/95.86	c #Conflicts:      11000 | #Constraints:     126499
94.71/95.86	c bounds 9489367 >= -25 @ 91.3297
94.92/96.06	c bounds 9355062 >= -25 @ 91.5311
94.92/96.11	c bounds 9353279 >= -25 @ 91.5734
133.59/134.86	c #Conflicts:      12000 | #Constraints:     127503
133.59/134.86	c INPROCESSING
133.59/134.86	c GARBAGE COLLECT
133.59/134.86	c #Conflicts:      13000 | #Constraints:     125949
133.59/134.86	c #Conflicts:      14000 | #Constraints:     126949
133.59/134.86	c #Conflicts:      15000 | #Constraints:     127950
133.59/134.86	c INPROCESSING
133.59/134.86	c GARBAGE COLLECT
133.59/134.86	c bounds 9025870 >= -25 @ 129.525
133.69/134.92	c bounds 8977764 >= -25 @ 129.586
142.37/143.61	c #Conflicts:      16000 | #Constraints:     126175
142.37/143.61	c bounds 8976597 >= -25 @ 138.08
144.36/145.67	c bounds 8973779 >= -25 @ 140.089
144.46/145.78	c bounds 8965060 >= -25 @ 140.192
147.35/148.63	c bounds 8838305 >= -25 @ 142.962
148.45/149.71	c #Conflicts:      17000 | #Constraints:     127179
148.45/149.71	c bounds 8819768 >= -25 @ 144.033
148.76/150.11	c bounds 8780076 >= -25 @ 144.416
148.86/150.19	c bounds 8721295 >= -25 @ 144.499
168.81/170.14	c #Conflicts:      18000 | #Constraints:     128183
168.81/170.14	c INPROCESSING
168.81/170.14	c GARBAGE COLLECT
168.81/170.14	c #Conflicts:      19000 | #Constraints:     126160
168.81/170.14	c bounds 8715216 >= -25 @ 164.014
175.87/177.28	c #Conflicts:      20000 | #Constraints:     127162
175.87/177.28	c bounds 8648257 >= -25 @ 171.001
176.68/178.03	c bounds 8584678 >= -25 @ 171.73
176.68/178.07	c bounds 8580865 >= -25 @ 171.775
178.06/179.41	c bounds 8208300 >= -25 @ 173.086
178.06/179.47	c bounds 8192737 >= -25 @ 173.145
178.17/179.53	c bounds 8059740 >= -25 @ 173.2
178.17/179.59	c bounds 8057127 >= -25 @ 173.262
178.87/180.23	c bounds 7960986 >= -25 @ 173.89
178.97/180.34	c bounds 7883711 >= -25 @ 173.997
179.27/180.63	c bounds 7831066 >= -25 @ 174.286
179.27/180.69	c bounds 7817658 >= -25 @ 174.346
182.06/183.50	c #Conflicts:      21000 | #Constraints:     128174
182.06/183.50	c bounds 7731986 >= -25 @ 177.099
182.26/183.65	c bounds 7640338 >= -25 @ 177.25
188.24/189.60	c INPROCESSING
188.24/189.60	c GARBAGE COLLECT
188.24/189.60	c rational objective 410389
196.51/197.90	c #Conflicts:      22000 | #Constraints:     125910
196.51/197.90	c bounds 7336128 >= -25 @ 191.203
196.92/198.32	c bounds 7177532 >= -25 @ 191.6
197.02/198.48	c bounds 6907403 >= -25 @ 191.767
197.12/198.54	c bounds 6866395 >= -25 @ 191.825
222.45/224.00	c #Conflicts:      23000 | #Constraints:     126915
222.45/224.00	c #Conflicts:      24000 | #Constraints:     127917
222.45/224.00	c bounds 3264422 >= -25 @ 216.803
227.82/229.37	c #Conflicts:      25000 | #Constraints:     128918
227.82/229.37	c INPROCESSING
227.82/229.37	c GARBAGE COLLECT
227.82/229.37	c bounds 3229174 >= -25 @ 222.051
231.36/233.02	c bounds 3161606 >= -25 @ 225.446
233.97/243.40	c #Conflicts:      26000 | #Constraints:     126235
233.97/243.40	c bounds 2923434 >= -25 @ 228.019
237.40/247.06	c bounds 2842377 >= -25 @ 231.424
237.59/247.26	c bounds 2815318 >= -25 @ 231.616
239.39/249.11	c bounds 2581772 >= -25 @ 233.424
244.76/254.43	c #Conflicts:      27000 | #Constraints:     127239
244.76/254.43	c bounds 2557525 >= -25 @ 238.612
261.70/271.44	c #Conflicts:      28000 | #Constraints:     128240
261.70/271.44	c #Conflicts:      29000 | #Constraints:     129240
261.70/271.44	c INPROCESSING
261.70/271.44	c GARBAGE COLLECT
261.70/271.44	c bounds 2538733 >= -25 @ 255.159
265.89/275.68	c bounds 2459271 >= -25 @ 259.314
265.98/275.72	c bounds 2392433 >= -25 @ 259.357
265.98/275.79	c bounds 2389520 >= -25 @ 259.43
266.49/276.24	c bounds 2363649 >= -25 @ 259.872
267.17/276.93	c bounds 2348347 >= -25 @ 260.531
268.38/278.16	c #Conflicts:      30000 | #Constraints:     126560
268.38/278.16	c bounds 2263685 >= -25 @ 261.721
275.36/285.14	c bounds 2164302 >= -25 @ 268.545
276.73/286.58	c #Conflicts:      31000 | #Constraints:     127562
276.73/286.58	c bounds 2137815 >= -25 @ 269.943
277.03/286.83	c bounds 2137335 >= -25 @ 270.186
277.13/286.90	c bounds 2134422 >= -25 @ 270.253
277.13/286.97	c bounds 2128622 >= -25 @ 270.319
277.25/287.01	c bounds 2119120 >= -25 @ 270.365
294.29/304.17	c #Conflicts:      32000 | #Constraints:     128567
294.29/304.17	c #Conflicts:      33000 | #Constraints:     129567
294.29/304.17	c INPROCESSING
294.29/304.17	c GARBAGE COLLECT
294.29/304.17	c rational objective 410638
295.38/305.21	c bounds 2112401 >= -25 @ 288.092
300.17/310.05	c bounds 2085552 >= -25 @ 292.79
438.53/448.86	c #Conflicts:      34000 | #Constraints:     125567
438.53/448.86	c #Conflicts:      35000 | #Constraints:     126568
438.53/448.86	c #Conflicts:      36000 | #Constraints:     127568
438.53/448.86	c #Conflicts:      37000 | #Constraints:     128570
438.53/448.86	c INPROCESSING
438.53/448.86	c GARBAGE COLLECT
438.53/448.86	c #Conflicts:      38000 | #Constraints:     125585
438.53/448.86	c #Conflicts:      39000 | #Constraints:     126585
438.53/448.86	c #Conflicts:      40000 | #Constraints:     127587
438.53/448.86	c #Conflicts:      41000 | #Constraints:     128591
438.53/448.86	c INPROCESSING
438.53/448.86	c GARBAGE COLLECT
438.53/448.86	c #Conflicts:      42000 | #Constraints:     125405
438.53/448.86	c #Conflicts:      43000 | #Constraints:     126411
438.53/448.86	c #Conflicts:      44000 | #Constraints:     127418
438.53/448.86	c #Conflicts:      45000 | #Constraints:     128421
438.53/448.86	c #Conflicts:      46000 | #Constraints:     129426
438.53/448.86	c INPROCESSING
438.53/448.86	c GARBAGE COLLECT
438.53/448.86	c rational objective 410993
463.37/473.72	c #Conflicts:      47000 | #Constraints:     126020
463.37/473.72	c #Conflicts:      48000 | #Constraints:     127020
463.37/473.72	c bounds 2042245 >= -25 @ 452.661
506.75/517.22	c #Conflicts:      49000 | #Constraints:     128021
506.75/517.22	c #Conflicts:      50000 | #Constraints:     129021
506.75/517.22	c #Conflicts:      51000 | #Constraints:     130021
506.75/517.22	c INPROCESSING
506.75/517.22	c GARBAGE COLLECT
506.75/517.22	c #Conflicts:      52000 | #Constraints:     126422
506.75/517.22	c #Conflicts:      53000 | #Constraints:     127422
506.75/517.22	c bounds 1947438 >= -25 @ 495.185
506.85/517.36	c bounds 1927005 >= -25 @ 495.324
506.95/517.40	c bounds 1917503 >= -25 @ 495.36
527.70/538.20	c #Conflicts:      54000 | #Constraints:     128425
527.70/538.20	c #Conflicts:      55000 | #Constraints:     129425
527.70/538.20	c #Conflicts:      56000 | #Constraints:     130425
527.70/538.20	c INPROCESSING
527.70/538.20	c GARBAGE COLLECT
527.70/538.20	c rational objective 411258
587.25/598.00	c #Conflicts:      57000 | #Constraints:     126614
587.25/598.00	c #Conflicts:      58000 | #Constraints:     127618
587.25/598.00	c #Conflicts:      59000 | #Constraints:     128622
587.25/598.00	c #Conflicts:      60000 | #Constraints:     129628
587.25/598.00	c #Conflicts:      61000 | #Constraints:     130632
587.25/598.00	c INPROCESSING
587.25/598.00	c GARBAGE COLLECT
587.25/598.00	c bounds 1679193 >= -25 @ 574.095
589.14/599.81	c bounds 1645353 >= -25 @ 575.869
589.24/599.97	c bounds 1639771 >= -25 @ 576.022
589.94/600.63	c bounds 1596697 >= -25 @ 576.677
600.22/610.90	c #Conflicts:      62000 | #Constraints:     126635
600.22/610.90	c bounds 1571147 >= -25 @ 586.758
601.11/611.89	c bounds 1567659 >= -25 @ 587.736
601.71/612.46	c bounds 1511452 >= -25 @ 588.291
605.70/616.44	c #Conflicts:      63000 | #Constraints:     127641
605.70/616.44	c bounds 1460745 >= -25 @ 592.166
605.80/616.54	c bounds 1446139 >= -25 @ 592.271
608.20/618.97	c bounds 1437286 >= -25 @ 594.627
608.79/619.55	c bounds 1435940 >= -25 @ 595.199
615.57/626.38	c #Conflicts:      64000 | #Constraints:     128647
615.57/626.38	c bounds 1379407 >= -25 @ 601.831
621.37/632.17	c #Conflicts:      65000 | #Constraints:     129648
621.37/632.17	c bounds 1355239 >= -25 @ 607.482
621.65/632.48	c bounds 1353815 >= -25 @ 607.787
621.76/632.56	c bounds 1298214 >= -25 @ 607.868
624.55/635.31	c bounds 1296485 >= -25 @ 610.531
636.33/647.11	c #Conflicts:      66000 | #Constraints:     130652
636.33/647.11	c INPROCESSING
636.33/647.11	c GARBAGE COLLECT
636.33/647.11	c rational objective 411271
697.11/786.29	c #Conflicts:      67000 | #Constraints:     124784
697.11/786.29	c #Conflicts:      68000 | #Constraints:     125784
697.11/786.29	c #Conflicts:      69000 | #Constraints:     126784
697.11/786.29	c #Conflicts:      70000 | #Constraints:     127787
697.11/786.29	c #Conflicts:      71000 | #Constraints:     128792
697.11/786.29	c #Conflicts:      72000 | #Constraints:     129794
697.11/786.29	c INPROCESSING
697.11/786.29	c GARBAGE COLLECT
697.11/786.29	c rational objective 412222
765.15/855.04	c #Conflicts:      73000 | #Constraints:     125400
765.15/855.04	c #Conflicts:      74000 | #Constraints:     126401
765.15/855.04	c #Conflicts:      75000 | #Constraints:     127402
765.15/855.04	c #Conflicts:      76000 | #Constraints:     128404
765.15/855.04	c #Conflicts:      77000 | #Constraints:     129405
765.15/855.04	c #Conflicts:      78000 | #Constraints:     130408
765.15/855.04	c INPROCESSING
765.15/855.04	c GARBAGE COLLECT
765.15/855.04	c rational objective 418190
829.93/920.30	c #Conflicts:      79000 | #Constraints:     123762
829.93/920.30	c #Conflicts:      80000 | #Constraints:     124762
829.93/920.30	c #Conflicts:      81000 | #Constraints:     125762
829.93/920.30	c #Conflicts:      82000 | #Constraints:     126764
829.93/920.30	c #Conflicts:      83000 | #Constraints:     127768
829.93/920.30	c #Conflicts:      84000 | #Constraints:     128771
829.93/920.30	c INPROCESSING
829.93/920.30	c GARBAGE COLLECT
829.93/920.30	c rational objective 418514
833.32/923.73	c bounds 1295139 >= -25 @ 814.097
899.51/999.68	c #Conflicts:      85000 | #Constraints:     123979
899.51/999.68	c #Conflicts:      86000 | #Constraints:     124981
899.51/999.68	c #Conflicts:      87000 | #Constraints:     125981
899.51/999.68	c #Conflicts:      88000 | #Constraints:     126981
899.51/999.68	c #Conflicts:      89000 | #Constraints:     127982
899.51/999.68	c #Conflicts:      90000 | #Constraints:     128982
899.51/999.68	c INPROCESSING
899.51/999.68	c GARBAGE COLLECT
899.51/999.68	c rational objective 418798
969.55/1080.08	c #Conflicts:      91000 | #Constraints:     115643
969.55/1080.08	c #Conflicts:      92000 | #Constraints:     116643
969.55/1080.08	c #Conflicts:      93000 | #Constraints:     117645
969.55/1080.08	c #Conflicts:      94000 | #Constraints:     118651
969.55/1080.08	c #Conflicts:      95000 | #Constraints:     119656
969.55/1080.08	c #Conflicts:      96000 | #Constraints:     120661
969.55/1080.08	c INPROCESSING
969.55/1080.08	c GARBAGE COLLECT
969.55/1080.08	c rational objective 439789
1065.75/1176.92	c #Conflicts:      97000 | #Constraints:     115460
1065.75/1176.92	c #Conflicts:      98000 | #Constraints:     116462
1065.75/1176.92	c #Conflicts:      99000 | #Constraints:     117469
1065.75/1176.92	c #Conflicts:     100000 | #Constraints:     118473
1065.75/1176.92	c #Conflicts:     101000 | #Constraints:     119476
1065.75/1176.92	c #Conflicts:     102000 | #Constraints:     120480
1065.75/1176.92	c #Conflicts:     103000 | #Constraints:     121486
1065.75/1176.92	c INPROCESSING
1065.75/1176.92	c GARBAGE COLLECT
1065.75/1176.92	c rational objective 447212
1068.63/1179.84	c bounds 1262177 >= -25 @ 1044.01
1140.80/1252.33	c #Conflicts:     104000 | #Constraints:     116090
1140.80/1252.33	c #Conflicts:     105000 | #Constraints:     117187
1140.80/1252.33	c #Conflicts:     106000 | #Constraints:     118469
1140.80/1252.33	c #Conflicts:     107000 | #Constraints:     119469
1140.80/1252.33	c #Conflicts:     108000 | #Constraints:     120469
1140.80/1252.33	c #Conflicts:     109000 | #Constraints:     121469
1140.80/1252.33	c #Conflicts:     110000 | #Constraints:     122470
1140.80/1252.33	c INPROCESSING
1140.80/1252.33	c GARBAGE COLLECT
1140.80/1252.33	c rational objective 457650
1218.23/1330.10	c #Conflicts:     111000 | #Constraints:     116687
1218.23/1330.10	c #Conflicts:     112000 | #Constraints:     117687
1218.23/1330.10	c #Conflicts:     113000 | #Constraints:     118688
1218.23/1330.10	c #Conflicts:     114000 | #Constraints:     119691
1218.23/1330.10	c #Conflicts:     115000 | #Constraints:     120693
1218.23/1330.10	c #Conflicts:     116000 | #Constraints:     121696
1218.23/1330.10	c #Conflicts:     117000 | #Constraints:     122701
1218.23/1330.10	c INPROCESSING
1218.23/1330.10	c GARBAGE COLLECT
1218.23/1330.10	c rational objective 462385
1313.70/1425.95	c #Conflicts:     118000 | #Constraints:     116782
1313.70/1425.95	c #Conflicts:     119000 | #Constraints:     117789
1313.70/1425.95	c #Conflicts:     120000 | #Constraints:     118794
1313.70/1425.95	c #Conflicts:     121000 | #Constraints:     119798
1313.70/1425.95	c #Conflicts:     122000 | #Constraints:     120803
1313.70/1425.95	c #Conflicts:     123000 | #Constraints:     121808
1313.70/1425.95	c #Conflicts:     124000 | #Constraints:     122810
1313.70/1425.95	c INPROCESSING
1313.70/1425.95	c GARBAGE COLLECT
1313.70/1425.95	c rational objective 464585
1349.51/1462.66	c #Conflicts:     125000 | #Constraints:     116728
1349.51/1462.66	c #Conflicts:     126000 | #Constraints:     117732
1349.51/1462.66	c #Conflicts:     127000 | #Constraints:     118734
1349.51/1462.66	c bounds 1257875 >= -25 @ 1318.53
1396.20/1509.58	c #Conflicts:     128000 | #Constraints:     119737
1396.20/1509.58	c #Conflicts:     129000 | #Constraints:     120737
1396.20/1509.58	c #Conflicts:     130000 | #Constraints:     121737
1396.20/1509.58	c #Conflicts:     131000 | #Constraints:     122741
1396.20/1509.58	c INPROCESSING
1396.20/1509.58	c GARBAGE COLLECT
1396.20/1509.58	c rational objective 464782
1487.34/1601.51	c #Conflicts:     132000 | #Constraints:     116516
1487.34/1601.51	c #Conflicts:     133000 | #Constraints:     117516
1487.34/1601.51	c #Conflicts:     134000 | #Constraints:     118516
1487.34/1601.51	c #Conflicts:     135000 | #Constraints:     119517
1487.34/1601.51	c #Conflicts:     136000 | #Constraints:     120520
1487.34/1601.51	c #Conflicts:     137000 | #Constraints:     121522
1487.34/1601.51	c #Conflicts:     138000 | #Constraints:     122526
1487.34/1601.51	c #Conflicts:     139000 | #Constraints:     123532
1487.34/1601.51	c INPROCESSING
1487.34/1601.51	c GARBAGE COLLECT
1487.34/1601.51	c rational objective 464810
1490.63/1604.88	c bounds 1247115 >= -25 @ 1456.55
1572.69/1688.04	c #Conflicts:     140000 | #Constraints:     117118
1572.69/1688.04	c #Conflicts:     141000 | #Constraints:     118122
1572.69/1688.04	c #Conflicts:     142000 | #Constraints:     119126
1572.69/1688.04	c #Conflicts:     143000 | #Constraints:     120130
1572.69/1688.04	c #Conflicts:     144000 | #Constraints:     121134
1572.69/1688.04	c #Conflicts:     145000 | #Constraints:     122139
1572.69/1688.04	c #Conflicts:     146000 | #Constraints:     123144
1572.69/1688.04	c #Conflicts:     147000 | #Constraints:     124147
1572.69/1688.04	c INPROCESSING
1572.69/1688.04	c GARBAGE COLLECT
1572.69/1688.04	c rational objective 467036
1657.09/1772.81	c #Conflicts:     148000 | #Constraints:     117508
1657.09/1772.81	c #Conflicts:     149000 | #Constraints:     118508
1657.09/1772.81	c #Conflicts:     150000 | #Constraints:     119508
1657.09/1772.81	c #Conflicts:     151000 | #Constraints:     120508
1657.09/1772.81	c #Conflicts:     152000 | #Constraints:     121509
1657.09/1772.81	c #Conflicts:     153000 | #Constraints:     122509
1657.09/1772.81	c #Conflicts:     154000 | #Constraints:     123509
1657.09/1772.81	c #Conflicts:     155000 | #Constraints:     124509
1657.09/1772.81	c INPROCESSING
1657.09/1772.81	c GARBAGE COLLECT
1657.09/1772.81	c rational objective 467396
1658.48/1774.27	c bounds 1244743 >= -25 @ 1620.58
1736.96/1853.07	c #Conflicts:     156000 | #Constraints:     114212
1736.96/1853.07	c #Conflicts:     157000 | #Constraints:     115212
1736.96/1853.07	c #Conflicts:     158000 | #Constraints:     116212
1736.96/1853.07	c #Conflicts:     159000 | #Constraints:     117212
1736.96/1853.07	c #Conflicts:     160000 | #Constraints:     118212
1736.96/1853.07	c #Conflicts:     161000 | #Constraints:     119212
1736.96/1853.07	c #Conflicts:     162000 | #Constraints:     120212
1736.96/1853.07	c #Conflicts:     163000 | #Constraints:     121215
1736.96/1853.07	c INPROCESSING
1736.96/1853.07	c GARBAGE COLLECT
1736.96/1853.07	c rational objective 468039
1835.30/1956.57	c #Conflicts:     164000 | #Constraints:     114197
1835.30/1956.57	c #Conflicts:     165000 | #Constraints:     115197
1835.30/1956.57	c #Conflicts:     166000 | #Constraints:     116197
1835.30/1956.57	c #Conflicts:     167000 | #Constraints:     117197
1835.30/1956.57	c #Conflicts:     168000 | #Constraints:     118200
1835.30/1956.57	c #Conflicts:     169000 | #Constraints:     119203
1835.30/1956.57	c #Conflicts:     170000 | #Constraints:     120206
1835.30/1956.57	c #Conflicts:     171000 | #Constraints:     121210
1835.30/1956.57	c INPROCESSING
1835.30/1956.57	c GARBAGE COLLECT
1835.30/1956.57	c rational objective 468351
2017.94/2142.99	c #Conflicts:     172000 | #Constraints:     113999
2017.94/2142.99	c #Conflicts:     173000 | #Constraints:     114999
2017.94/2142.99	c #Conflicts:     174000 | #Constraints:     116000
2017.94/2142.99	c #Conflicts:     175000 | #Constraints:     117000
2017.94/2142.99	c #Conflicts:     176000 | #Constraints:     118000
2017.94/2142.99	c #Conflicts:     177000 | #Constraints:     119005
2017.94/2142.99	c #Conflicts:     178000 | #Constraints:     120006
2017.94/2142.99	c #Conflicts:     179000 | #Constraints:     121006
2017.94/2142.99	c #Conflicts:     180000 | #Constraints:     122006
2017.94/2142.99	c INPROCESSING
2017.94/2142.99	c GARBAGE COLLECT
2017.94/2142.99	c #Conflicts:     181000 | #Constraints:     110761
2017.94/2142.99	c #Conflicts:     182000 | #Constraints:     111761
2017.94/2142.99	c #Conflicts:     183000 | #Constraints:     112834
2017.94/2142.99	c #Conflicts:     184000 | #Constraints:     114062
2017.94/2142.99	c #Conflicts:     185000 | #Constraints:     115062
2017.94/2142.99	c #Conflicts:     186000 | #Constraints:     116062
2017.94/2142.99	c #Conflicts:     187000 | #Constraints:     117063
2017.94/2142.99	c #Conflicts:     188000 | #Constraints:     118070
2017.94/2142.99	c #Conflicts:     189000 | #Constraints:     119073
2017.94/2142.99	c INPROCESSING
2017.94/2142.99	c GARBAGE COLLECT
2017.94/2142.99	c rational objective 471208
2109.14/2234.65	c #Conflicts:     190000 | #Constraints:     111337
2109.14/2234.65	c #Conflicts:     191000 | #Constraints:     112337
2109.14/2234.65	c #Conflicts:     192000 | #Constraints:     113337
2109.14/2234.65	c #Conflicts:     193000 | #Constraints:     114337
2109.14/2234.65	c #Conflicts:     194000 | #Constraints:     115337
2109.14/2234.65	c #Conflicts:     195000 | #Constraints:     116337
2109.14/2234.65	c #Conflicts:     196000 | #Constraints:     117339
2109.14/2234.65	c #Conflicts:     197000 | #Constraints:     118343
2109.14/2234.65	c #Conflicts:     198000 | #Constraints:     119350
2109.14/2234.65	c INPROCESSING
2109.14/2234.65	c GARBAGE COLLECT
2109.14/2234.65	c rational objective 472346
2227.64/2353.61	c #Conflicts:     199000 | #Constraints:     111451
2227.64/2353.61	c #Conflicts:     200000 | #Constraints:     112459
2227.64/2353.61	c #Conflicts:     201000 | #Constraints:     113465
2227.64/2353.61	c #Conflicts:     202000 | #Constraints:     114474
2227.64/2353.61	c #Conflicts:     203000 | #Constraints:     115481
2227.64/2353.61	c #Conflicts:     204000 | #Constraints:     116486
2227.64/2353.61	c #Conflicts:     205000 | #Constraints:     117490
2227.64/2353.61	c #Conflicts:     206000 | #Constraints:     118494
2227.64/2353.61	c #Conflicts:     207000 | #Constraints:     119501
2227.64/2353.61	c INPROCESSING
2227.64/2353.61	c GARBAGE COLLECT
2227.64/2353.61	c rational objective 472794
2333.85/2460.29	c #Conflicts:     208000 | #Constraints:     111438
2333.85/2460.29	c #Conflicts:     209000 | #Constraints:     112440
2333.85/2460.29	c #Conflicts:     210000 | #Constraints:     113443
2333.85/2460.29	c #Conflicts:     211000 | #Constraints:     114448
2333.85/2460.29	c #Conflicts:     212000 | #Constraints:     115453
2333.85/2460.29	c #Conflicts:     213000 | #Constraints:     116454
2333.85/2460.29	c #Conflicts:     214000 | #Constraints:     117455
2333.85/2460.29	c #Conflicts:     215000 | #Constraints:     118458
2333.85/2460.29	c #Conflicts:     216000 | #Constraints:     119460
2333.85/2460.29	c INPROCESSING
2333.85/2460.29	c GARBAGE COLLECT
2333.85/2460.29	c rational objective 483318
2440.40/2567.13	c #Conflicts:     217000 | #Constraints:      93279
2440.40/2567.13	c #Conflicts:     218000 | #Constraints:      94279
2440.40/2567.13	c #Conflicts:     219000 | #Constraints:      95279
2440.40/2567.13	c #Conflicts:     220000 | #Constraints:      96280
2440.40/2567.13	c #Conflicts:     221000 | #Constraints:      97283
2440.40/2567.13	c #Conflicts:     222000 | #Constraints:      98287
2440.40/2567.13	c #Conflicts:     223000 | #Constraints:      99293
2440.40/2567.13	c #Conflicts:     224000 | #Constraints:     100297
2440.40/2567.13	c #Conflicts:     225000 | #Constraints:     101300
2440.40/2567.13	c #Conflicts:     226000 | #Constraints:     102304
2440.40/2567.13	c INPROCESSING
2440.40/2567.13	c GARBAGE COLLECT
2440.40/2567.13	c rational objective 499605
2449.01/2575.80	c #Conflicts:     227000 | #Constraints:      93873
2449.01/2575.80	c bounds 1236221 >= -25 @ 2392.99
2561.21/2688.48	c #Conflicts:     228000 | #Constraints:      94887
2561.21/2688.48	c #Conflicts:     229000 | #Constraints:      95897
2561.21/2688.48	c #Conflicts:     230000 | #Constraints:      97344
2561.21/2688.48	c #Conflicts:     231000 | #Constraints:      98830
2561.21/2688.48	c #Conflicts:     232000 | #Constraints:      99864
2561.21/2688.48	c #Conflicts:     233000 | #Constraints:     100864
2561.21/2688.48	c #Conflicts:     234000 | #Constraints:     101865
2561.21/2688.48	c #Conflicts:     235000 | #Constraints:     102865
2561.21/2688.48	c #Conflicts:     236000 | #Constraints:     103865
2561.21/2688.48	c INPROCESSING
2561.21/2688.48	c GARBAGE COLLECT
2561.21/2688.48	c rational objective 508786
2659.55/2787.13	c #Conflicts:     237000 | #Constraints:      94801
2659.55/2787.13	c #Conflicts:     238000 | #Constraints:      95801
2659.55/2787.13	c #Conflicts:     239000 | #Constraints:      96802
2659.55/2787.13	c #Conflicts:     240000 | #Constraints:      97802
2659.55/2787.13	c #Conflicts:     241000 | #Constraints:      98802
2659.55/2787.13	c #Conflicts:     242000 | #Constraints:      99802
2659.55/2787.13	c #Conflicts:     243000 | #Constraints:     100805
2659.55/2787.13	c #Conflicts:     244000 | #Constraints:     101808
2659.55/2787.13	c #Conflicts:     245000 | #Constraints:     102810
2659.55/2787.13	c #Conflicts:     246000 | #Constraints:     103813
2659.55/2787.13	c INPROCESSING
2659.55/2787.13	c GARBAGE COLLECT
2659.55/2787.13	c rational objective 512774
2780.37/2908.44	c #Conflicts:     247000 | #Constraints:      94760
2780.37/2908.44	c #Conflicts:     248000 | #Constraints:      95762
2780.37/2908.44	c #Conflicts:     249000 | #Constraints:      96766
2780.37/2908.44	c #Conflicts:     250000 | #Constraints:      97774
2780.37/2908.44	c #Conflicts:     251000 | #Constraints:      98777
2780.37/2908.44	c #Conflicts:     252000 | #Constraints:      99782
2780.37/2908.44	c #Conflicts:     253000 | #Constraints:     100786
2780.37/2908.44	c #Conflicts:     254000 | #Constraints:     101790
2780.37/2908.44	c #Conflicts:     255000 | #Constraints:     102794
2780.37/2908.44	c #Conflicts:     256000 | #Constraints:     103798
2780.37/2908.44	c INPROCESSING
2780.37/2908.44	c GARBAGE COLLECT
2780.37/2908.44	c rational objective 518783
2815.53/2943.74	c #Conflicts:     257000 | #Constraints:      94627
2815.53/2943.74	c #Conflicts:     258000 | #Constraints:      95631
2815.53/2943.74	c #Conflicts:     259000 | #Constraints:      96635
2815.53/2943.74	c bounds 1218550 >= -25 @ 2751.99
2859.46/2987.82	c #Conflicts:     260000 | #Constraints:      97639
2859.46/2987.82	c #Conflicts:     261000 | #Constraints:      98643
2859.46/2987.82	c #Conflicts:     262000 | #Constraints:      99643
2859.46/2987.82	c #Conflicts:     263000 | #Constraints:     100643
2859.46/2987.82	c bounds 1218081 >= -25 @ 2794.94
2896.97/3025.57	c #Conflicts:     264000 | #Constraints:     101644
2896.97/3025.57	c #Conflicts:     265000 | #Constraints:     102649
2896.97/3025.57	c #Conflicts:     266000 | #Constraints:     103653
2896.97/3025.57	c INPROCESSING
2896.97/3025.57	c GARBAGE COLLECT
2896.97/3025.57	c rational objective 523023
3017.50/3146.59	c #Conflicts:     267000 | #Constraints:      84128
3017.50/3146.59	c #Conflicts:     268000 | #Constraints:      85129
3017.50/3146.59	c #Conflicts:     269000 | #Constraints:      86129
3017.50/3146.59	c #Conflicts:     270000 | #Constraints:      87133
3017.50/3146.59	c #Conflicts:     271000 | #Constraints:      88141
3017.50/3146.59	c #Conflicts:     272000 | #Constraints:      89143
3017.50/3146.59	c #Conflicts:     273000 | #Constraints:      90147
3017.50/3146.59	c #Conflicts:     274000 | #Constraints:      91152
3017.50/3146.59	c #Conflicts:     275000 | #Constraints:      92156
3017.50/3146.59	c #Conflicts:     276000 | #Constraints:      93160
3017.50/3146.59	c #Conflicts:     277000 | #Constraints:      94162
3017.50/3146.59	c INPROCESSING
3017.50/3146.59	c GARBAGE COLLECT
3017.50/3146.59	c rational objective 524350
3230.28/3360.08	c #Conflicts:     278000 | #Constraints:      84748
3230.28/3360.08	c #Conflicts:     279000 | #Constraints:      85750
3230.28/3360.08	c #Conflicts:     280000 | #Constraints:      86787
3230.28/3360.08	c #Conflicts:     281000 | #Constraints:      87858
3230.28/3360.08	c #Conflicts:     282000 | #Constraints:      89118
3230.28/3360.08	c #Conflicts:     283000 | #Constraints:      90169
3230.28/3360.08	c #Conflicts:     284000 | #Constraints:      91196
3230.28/3360.08	c #Conflicts:     285000 | #Constraints:      92238
3230.28/3360.08	c #Conflicts:     286000 | #Constraints:      93298
3230.28/3360.08	c #Conflicts:     287000 | #Constraints:      94589
3230.28/3360.08	c #Conflicts:     288000 | #Constraints:      95589
3230.28/3360.08	c INPROCESSING
3230.28/3360.08	c GARBAGE COLLECT
3230.28/3360.08	c #Conflicts:     289000 | #Constraints:      85598
3230.28/3360.08	c #Conflicts:     290000 | #Constraints:      86598
3230.28/3360.08	c #Conflicts:     291000 | #Constraints:      87598
3230.28/3360.08	c #Conflicts:     292000 | #Constraints:      88599
3230.28/3360.08	c #Conflicts:     293000 | #Constraints:      89599
3230.28/3360.08	c #Conflicts:     294000 | #Constraints:      90600
3230.28/3360.08	c #Conflicts:     295000 | #Constraints:      91603
3230.28/3360.08	c #Conflicts:     296000 | #Constraints:      92603
3230.28/3360.08	c #Conflicts:     297000 | #Constraints:      93603
3230.28/3360.08	c #Conflicts:     298000 | #Constraints:      94603
3230.28/3360.08	c #Conflicts:     299000 | #Constraints:      95604
3230.28/3360.08	c INPROCESSING
3230.28/3360.08	c GARBAGE COLLECT
3230.28/3360.08	c rational objective 524690
1.26/3477.52	HOME/run-opt-break-log.sh: line 3: 73243 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: 63837 MiB (27489 MiB free)
  memory of node 1: 64465 MiB (52791 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100069 s]*
/proc/loadavg: 4.24 4.45 4.36 5/258 73242
/proc/meminfo: memFree=82175548/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73239] ppid=73235 vsize=43552 memory=33688 CPUtime=0.07 cores=1,3
/proc/73239/stat : 73239 (pbsuma) R 73235 73235 72765 0 -1 4194304 5448 0 0 0 7 0 0 0 20 0 1 0 60374758 44597248 8422 18446744073709551615 4210688 4653049 140729459362864 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 19566592 140729459366115 140729459366450 140729459366450 140729459372015 0
/proc/73239/statm: 10888 8422 960 108 0 8296 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 47744 KiB
Current children cumulated memory: 36760 KiB

[startup+0.211489 s]*
/proc/loadavg: 4.24 4.45 4.36 5/258 73242
/proc/meminfo: memFree=82159548/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73239] ppid=73235 vsize=84612 memory=69816 CPUtime=0.16 cores=1,3
/proc/73239/stat : 73239 (pbsuma) R 73235 73235 72765 0 -1 4194304 12580 0 0 0 13 3 0 0 20 0 1 0 60374758 86642688 17454 18446744073709551615 4210688 4653049 140729459362864 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 19566592 140729459366115 140729459366450 140729459366450 140729459372015 0
/proc/73239/statm: 21153 17454 960 108 0 18561 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 88804 KiB
Current children cumulated memory: 72888 KiB

[startup+0.312104 s]*
/proc/loadavg: 4.24 4.45 4.36 5/258 73242
/proc/meminfo: memFree=82148388/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73239] ppid=73235 vsize=105272 memory=78904 CPUtime=0.26 cores=1,3
/proc/73239/stat : 73239 (pbsuma) R 73235 73235 72765 0 -1 4194304 14864 0 0 0 22 4 0 0 20 0 1 0 60374758 107798528 19726 18446744073709551615 4210688 4653049 140729459362864 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 19566592 140729459366115 140729459366450 140729459366450 140729459372015 0
/proc/73239/statm: 26318 19726 960 108 0 23726 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 109464 KiB
Current children cumulated memory: 81976 KiB

[startup+0.700426 s]
/proc/loadavg: 4.24 4.45 4.36 5/258 73242
/proc/meminfo: memFree=82094396/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73239] ppid=73235 vsize=117616 memory=92220 CPUtime=0.64 cores=1,3
/proc/73239/stat : 73239 (pbsuma) R 73235 73235 72765 0 -1 4194304 28902 0 0 0 55 9 0 0 20 0 1 0 60374758 120438784 23055 18446744073709551615 4210688 4653049 140729459362864 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 19566592 140729459366115 140729459366450 140729459366450 140729459372015 0
/proc/73239/statm: 29404 23055 992 108 0 26812 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 121808 KiB
Current children cumulated memory: 95292 KiB

[startup+1.5004 s]
/proc/loadavg: 4.24 4.45 4.36 5/258 73242
/proc/meminfo: memFree=82099616/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73239] ppid=73235 vsize=108276 memory=83680 CPUtime=1.24 cores=1,3
/proc/73239/stat : 73239 (pbsuma) D 73235 73235 72765 0 -1 4194304 29190 0 0 0 114 10 0 0 20 0 1 0 60374758 110874624 20920 18446744073709551615 4210688 4653049 140729459362864 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 19566592 140729459366115 140729459366450 140729459366450 140729459372015 0
/proc/73239/statm: 27069 20920 992 108 0 24477 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 112468 KiB
Current children cumulated memory: 86752 KiB

[startup+3.10989 s]
/proc/loadavg: 4.24 4.45 4.36 5/258 73243
/proc/meminfo: memFree=108308020/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=81324 memory=37508 CPUtime=1.1 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 7665 0 0 0 89 21 0 0 20 0 1 0 60374952 83275776 9377 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 20331 9377 1920 1147 0 7758 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 85516 KiB
Current children cumulated memory: 40580 KiB
heavy processes:

[startup+6.30034 s]
/proc/loadavg: 4.14 4.42 4.35 5/264 73263
/proc/meminfo: memFree=108578724/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=253776 memory=204576 CPUtime=4.28 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 24595 0 0 0 390 38 0 0 20 0 1 0 60374952 259866624 51144 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 63444 51144 2336 1147 0 50871 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 257968 KiB
Current children cumulated memory: 207648 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.41 4.35 5/262 73264
/proc/meminfo: memFree=107710540/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=307712 memory=261020 CPUtime=10.66 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 35649 0 0 0 1011 55 0 0 20 0 1 0 60374952 315097088 65255 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 76928 65255 2336 1147 0 64355 0
Current children cumulated CPU time: 11.92 s
Current children cumulated vsize: 311904 KiB
Current children cumulated memory: 264092 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.44 4.36 5/264 73266
/proc/meminfo: memFree=106177308/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=369856 memory=307684 CPUtime=23.39 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 42199 0 0 0 2259 80 0 0 20 0 1 0 60374952 378732544 76921 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 92464 76921 2368 1147 0 79891 0
Current children cumulated CPU time: 24.65 s
Current children cumulated vsize: 374048 KiB
Current children cumulated memory: 310756 KiB

[startup+51.1143 s]
/proc/loadavg: 4.27 4.42 4.35 5/265 73268
/proc/meminfo: memFree=103417680/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=418092 memory=366928 CPUtime=48.92 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 54054 0 0 0 4755 137 0 0 20 0 1 0 60374952 428126208 91732 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 104523 91732 2368 1147 0 91950 0
Current children cumulated CPU time: 50.18 s
Current children cumulated vsize: 422284 KiB
Current children cumulated memory: 370000 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.35 4.33 5/270 73275
/proc/meminfo: memFree=97105024/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=554460 memory=479924 CPUtime=99.92 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 75982 0 0 0 9760 232 0 0 20 0 1 0 60374952 567767040 119981 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 138615 119981 2368 1147 0 126042 0
Current children cumulated CPU time: 101.18 s
Current children cumulated vsize: 558652 KiB
Current children cumulated memory: 482996 KiB

[startup+162.3 s]
/proc/loadavg: 4.35 4.39 4.35 5/271 73278
/proc/meminfo: memFree=89497388/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=669624 memory=564904 CPUtime=159.75 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 92301 0 0 0 15632 343 0 0 20 0 1 0 60374952 685694976 141226 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 167406 141226 2368 1147 0 154833 0
Current children cumulated CPU time: 161.01 s
Current children cumulated vsize: 673816 KiB
Current children cumulated memory: 567976 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.35 4.34 5/271 73280
/proc/meminfo: memFree=82466772/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=704948 memory=593576 CPUtime=219.59 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 99557 0 0 0 21512 447 0 0 20 0 1 0 60374952 721866752 148394 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0

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

/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=2004448 memory=1871036 CPUtime=3032 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 617891 0 0 0 296473 6727 0 0 20 0 1 0 60374952 2052554752 467759 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 501112 467759 2464 1147 0 488539 0
Current children cumulated CPU time: 3033.26 s
Current children cumulated vsize: 2008640 KiB
Current children cumulated memory: 1874108 KiB

[startup+3222.3 s]
/proc/loadavg: 4.40 4.28 4.27 5/260 73561
/proc/meminfo: memFree=15052136/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=2004448 memory=1871036 CPUtime=3091.72 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 623293 0 0 0 302337 6835 0 0 20 0 1 0 60374952 2052554752 467759 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 501112 467759 2464 1147 0 488539 0
Current children cumulated CPU time: 3092.98 s
Current children cumulated vsize: 2008640 KiB
Current children cumulated memory: 1874108 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.24 4.26 5/264 73680
/proc/meminfo: memFree=34183672/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=2004448 memory=1874364 CPUtime=3151.54 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 640746 0 0 0 308214 6940 0 0 20 0 1 0 60374952 2052554752 468591 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 501112 468591 2464 1147 0 488539 0
Current children cumulated CPU time: 3152.8 s
Current children cumulated vsize: 2008640 KiB
Current children cumulated memory: 1877436 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.22 4.25 5/264 73684
/proc/meminfo: memFree=27511040/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=2004448 memory=1877180 CPUtime=3211.36 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 644206 0 0 0 314057 7079 0 0 20 0 1 0 60374952 2052554752 469295 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 501112 469295 2464 1147 0 488539 0
Current children cumulated CPU time: 3212.62 s
Current children cumulated vsize: 2008640 KiB
Current children cumulated memory: 1880252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.20 4.24 5/263 73686
/proc/meminfo: memFree=22986444/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=2034396 memory=1914804 CPUtime=3271.18 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4194304 651709 0 0 0 319926 7192 0 0 20 0 1 0 60374952 2083221504 478701 18446744073709551615 4227072 8923433 140726281353472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 0
/proc/73243/statm: 508599 478701 2464 1147 0 496026 0
Current children cumulated CPU time: 3272.44 s
Current children cumulated vsize: 2038588 KiB
Current children cumulated memory: 1917876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.23 5/262 73689
/proc/meminfo: memFree=18890604/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=2034396 memory=1914804 CPUtime=3330.9 cores=1,3
/proc/73243/stat : 73243 (roundingsat) R 73235 73235 72765 0 -1 4195840 652309 0 0 0 325777 7313 0 0 20 0 1 0 60374952 2083221504 478701 18446744073709551615 4227072 8923433 140726281353472 140726281349880 140720141776727 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 25
/proc/73243/statm: 508599 478701 2464 1147 0 496026 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 2038588 KiB
Current children cumulated memory: 1917876 KiB

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

# cumulated CPU time of all completed processes:  user=3258.98 s, system=75.3741 s

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

[startup+3468.8 s]
/proc/loadavg: 4.14 4.19 4.23 5/262 73691
/proc/meminfo: memFree=17533028/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=2034396 memory=1918388 CPUtime=3331.82 cores=1,3
/proc/73243/stat : 73243 (roundingsat) S 73235 73235 72765 0 -1 4195840 652309 0 0 0 325777 7405 0 0 20 0 1 0 60374952 2083221504 479597 18446744073709551615 4227072 8923433 140726281353472 140726281349880 140720141776727 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 25
/proc/73243/statm: 508599 479597 2464 1147 0 496026 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 2038588 KiB
Current children cumulated memory: 1921460 KiB

[startup+3472 s]*
/proc/loadavg: 4.20 4.20 4.24 5/262 73692
/proc/meminfo: memFree=18178612/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
[pid=73243] ppid=73235 vsize=2034396 memory=1918388 CPUtime=3331.82 cores=1,3
/proc/73243/stat : 73243 (roundingsat) S 73235 73235 72765 0 -1 4195840 652309 0 0 0 325777 7405 0 0 20 0 1 0 60374952 2083221504 479597 18446744073709551615 4227072 8923433 140726281353472 140726281349880 140720141776727 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 16011264 140726281357588 140726281357864 140726281357864 140726281363434 25
/proc/73243/statm: 508599 479597 2464 1147 0 496026 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 2038588 KiB
Current children cumulated memory: 1921460 KiB

[startup+3475.2 s]
/proc/loadavg: 4.51 4.27 4.26 6/263 73697
/proc/meminfo: memFree=20509424/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3476.8 s]
/proc/loadavg: 4.51 4.27 4.26 4/262 73697
/proc/meminfo: memFree=20488128/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3477.2 s]
/proc/loadavg: 4.51 4.27 4.26 5/262 73697
/proc/meminfo: memFree=20674300/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3477.4 s]
/proc/loadavg: 4.51 4.27 4.26 5/262 73697
/proc/meminfo: memFree=20674300/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3477.5 s]
/proc/loadavg: 4.51 4.27 4.26 5/262 73697
/proc/meminfo: memFree=20674300/131382112 swapFree=33005784/33010684
[pid=73235] ppid=73231 vsize=4192 memory=3072 CPUtime=1.26 cores=1,3
/proc/73235/stat : 73235 (run-opt-break-l) S 73231 73235 72765 0 -1 4194304 239 29193 0 0 0 0 116 10 20 0 1 0 60374756 4292608 768 18446744073709551615 94156123389952 94156124284485 140725775335008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94156124523536 94156124571280 94156142944256 140725775337749 140725775337950 140725775337950 140725775343552 0
/proc/73235/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 153

Real time (s): 3477.52
CPU time (s): 3334.35
CPU user time (s): 3258.98
CPU system time (s): 75.3741
CPU usage (%): 95.8829
Max. virtual memory (cumulated for all children) (KiB): 2038588
Max. memory (cumulated for all children) (KiB): 1921460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3258.98
system time used= 75.3741
maximum resident set size= 1918388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681753
page faults= 0
swaps= 0
block input operations= 8
block output operations= 204810280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134661
involuntary context switches= 26689


# summary of solver processes directly reported to runsolver:
#   pid: 73235
#   total CPU time (s): 3334.35
#   total CPU user time (s): 3258.98
#   total CPU system time (s): 75.3741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.584 second user time and 37.8038 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-02 11:02:36
IDJOB=4504853
IDBENCH=155693
IDSOLVER=3360
FILE ID=nodeC007/4504853-1751446956
RUNJOBID= nodeC007-1751443245-72777
SLURM_JOB_ID= 9598417
Free space on /tmp= 431524 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4504853-1751446956/watcher-4504853-1751446956 -o /tmp/evaluation-result-4504853-1751446956/solver-4504853-1751446956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751443245-72777 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504853-1751446956.opb PROOFDIR/proof-4504853-1751446956

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

MD5SUM BENCH= 1bb082b6412719493b7deb7ac7dad108
RANDOM SEED=1897584906

nodeC007 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	: 0xb00001f
cpu MHz		: 3492.156
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 1197.201
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 3664.549
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 3691.385
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        82215912 kB
MemAvailable:   128071144 kB
Buffers:              16 kB
Cached:         46487240 kB
SwapCached:          216 kB
Active:          1677360 kB
Inactive:       46262588 kB
Active(anon):    1417092 kB
Inactive(anon):    49160 kB
Active(file):     260268 kB
Inactive(file): 46213428 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005784 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7626568 kB
Writeback:             0 kB
AnonPages:       1455632 kB
Mapped:           107972 kB
Shmem:             13492 kB
KReclaimable:     442328 kB
Slab:             772080 kB
SReclaimable:     442328 kB
SUnreclaim:       329752 kB
KernelStack:        4224 kB
PageTables:         6108 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1943556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149624 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    514048 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431068 MiB
End job on nodeC007 at 2025-07-02 12:00:34