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-4523658-1751590221.opb'
0.00/0.05 c read 3.22MB (43.49ms)
0.00/0.05 c [cnf: #variables 1450 #clauses 2031 #duplicates 0 #arr 399678]
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 0] (12.76ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (0.28ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 8864 #edges 810122]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 1.00*10^0 #generators 0] (2.19ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c generation finished
0.00/0.07 c [sbp: #constraints 0 #add_vars 0]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4523658-1751590221.opb.pre'
0.00/0.07 c wrote 3.22MB (6.66ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 43.49ms 66.32% parse
0.00/0.07 c 12.76ms 19.46% approx_orbits
0.00/0.07 c 6.66ms 10.15% output
0.00/0.07 c 2.19ms 3.34% detect_generic
0.00/0.07 c 0.28ms 0.43% detect_special
0.00/0.07 c 0.16ms 0.24% other
0.00/0.07 c 0.04ms 0.06% finalize_order
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 65.58ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 63f22ad
0.15/0.22 c #variables 1450 #constraints 2031
0.15/0.22 c objective is ce32
0.15/0.22 c initial watched CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
0.15/0.22 c initial counting CF 32, 64, 128, Arb: 1086 , 0 , 0 , 0
0.15/0.22 c bounds - >= 0 @ 0.116482
0.26/0.33 c rational objective 0
3.04/3.19 c bounds 159 >= 0 @ 3.04414
3.14/3.20 c bounds 146 >= 0 @ 3.05455
3.14/3.22 c bounds 146 >= 1 @ 3.078
3.24/3.30 c bounds 146 >= 2 @ 3.15484
4.83/4.90 c #Conflicts: 1000 | #Constraints: 3092
4.83/4.90 c #Conflicts: 2000 | #Constraints: 4229
4.83/4.90 c INPROCESSING
4.83/4.90 c GARBAGE COLLECT
4.83/4.90 WSVECS04 Frhs2[1294]: 6 -1.00008 0 shouldn't be
4.83/4.90 WSVECS04 Frhs2[1295]: 6 -1.00005 0 shouldn't be
6.73/6.89 c bounds 145 >= 2 @ 6.70397
6.73/6.89 c bounds 144 >= 2 @ 6.70624
6.82/6.90 c bounds 143 >= 2 @ 6.70933
6.82/6.90 c bounds 142 >= 2 @ 6.71243
6.82/6.90 c bounds 141 >= 2 @ 6.7147
6.82/6.91 c bounds 140 >= 2 @ 6.71779
6.82/6.91 c bounds 139 >= 2 @ 6.72185
6.82/6.92 c bounds 138 >= 2 @ 6.72492
6.82/6.92 c bounds 137 >= 2 @ 6.72882
6.82/6.93 c bounds 136 >= 2 @ 6.73224
6.82/6.93 c bounds 135 >= 2 @ 6.73542
6.82/6.93 c bounds 134 >= 2 @ 6.73885
6.82/6.94 c bounds 133 >= 2 @ 6.74203
6.82/6.94 c bounds 132 >= 2 @ 6.7443
6.82/6.94 c bounds 131 >= 2 @ 6.74746
6.82/6.95 c bounds 130 >= 2 @ 6.75062
6.82/6.95 c bounds 129 >= 2 @ 6.75371
6.82/6.95 c bounds 128 >= 2 @ 6.75585
6.82/6.96 c bounds 127 >= 2 @ 6.75912
6.82/6.96 c bounds 126 >= 2 @ 6.76227
6.82/6.97 c bounds 125 >= 2 @ 6.77684
6.82/6.98 c bounds 124 >= 2 @ 6.77997
6.82/6.98 c bounds 123 >= 2 @ 6.78206
6.82/6.99 c bounds 122 >= 2 @ 6.78997
6.82/6.99 c bounds 121 >= 2 @ 6.7919
6.82/7.00 c bounds 120 >= 2 @ 6.79482
6.82/7.00 c bounds 119 >= 2 @ 6.79955
6.94/7.00 c bounds 118 >= 2 @ 6.80428
6.94/7.01 c bounds 117 >= 2 @ 6.80752
6.94/7.01 c bounds 116 >= 2 @ 6.81041
6.94/7.02 c bounds 115 >= 2 @ 6.81547
6.94/7.04 c bounds 114 >= 2 @ 6.83322
6.94/7.04 c bounds 113 >= 2 @ 6.83628
7.23/7.34 c bounds 113 >= 3 @ 7.13866
7.33/7.47 c bounds 112 >= 3 @ 7.26186
7.43/7.55 c bounds 111 >= 3 @ 7.34909
7.43/7.56 c bounds 110 >= 3 @ 7.35403
7.43/7.56 c bounds 109 >= 3 @ 7.35614
7.43/7.56 c bounds 108 >= 3 @ 7.35827
7.43/7.57 c bounds 107 >= 3 @ 7.36148
9.02/9.11 c #Conflicts: 3000 | #Constraints: 4177
9.02/9.11 c #Conflicts: 4000 | #Constraints: 5177
9.02/9.11 c INPROCESSING
9.02/9.11 c rational objective 3
10.21/10.32 c bounds 106 >= 3 @ 10.0965
10.21/10.33 c bounds 105 >= 3 @ 10.0987
10.21/10.33 c bounds 104 >= 3 @ 10.1019
10.21/10.36 c bounds 103 >= 3 @ 10.133
10.32/10.40 c bounds 102 >= 3 @ 10.1668
10.32/10.40 c bounds 101 >= 3 @ 10.1715
10.32/10.41 c bounds 100 >= 3 @ 10.1751
10.32/10.41 c bounds 99 >= 3 @ 10.1786
10.32/10.41 c bounds 98 >= 3 @ 10.1804
10.51/10.60 c bounds 97 >= 3 @ 10.3661
10.51/10.61 c bounds 96 >= 3 @ 10.3671
10.51/10.61 c bounds 95 >= 3 @ 10.3692
10.51/10.61 c bounds 94 >= 3 @ 10.3711
10.51/10.62 c bounds 93 >= 3 @ 10.3744
10.51/10.62 c bounds 92 >= 3 @ 10.3773
10.51/10.65 c bounds 91 >= 3 @ 10.4032
10.71/10.82 c bounds 90 >= 3 @ 10.5756
10.71/10.83 c bounds 89 >= 3 @ 10.5783
10.71/10.83 c bounds 88 >= 3 @ 10.5837
10.71/10.84 c bounds 87 >= 3 @ 10.5885
10.71/10.84 c bounds 86 >= 3 @ 10.5923
10.71/10.84 c bounds 85 >= 3 @ 10.5949
10.71/10.87 c bounds 84 >= 3 @ 10.6176
10.81/10.99 c bounds 83 >= 3 @ 10.7362
10.81/10.99 c bounds 82 >= 3 @ 10.7389
11.02/11.12 c bounds 81 >= 3 @ 10.8709
11.02/11.14 c bounds 80 >= 3 @ 10.8893
11.12/11.21 c bounds 79 >= 3 @ 10.9639
12.42/12.55 c #Conflicts: 5000 | #Constraints: 4398
12.42/12.55 c #Conflicts: 6000 | #Constraints: 5399
12.42/12.55 c INPROCESSING
12.42/12.55 c GARBAGE COLLECT
12.42/12.55 c rational objective 3
13.71/13.81 c bounds 78 >= 3 @ 13.5327
13.71/13.86 c bounds 77 >= 3 @ 13.5688
13.71/13.86 c bounds 76 >= 3 @ 13.5723
13.71/13.87 c bounds 75 >= 3 @ 13.5814
13.71/13.87 c bounds 74 >= 3 @ 13.5839
13.71/13.88 c bounds 73 >= 3 @ 13.5945
13.71/13.88 c bounds 72 >= 3 @ 13.597
13.81/13.90 c bounds 71 >= 3 @ 13.6128
13.81/13.90 c bounds 70 >= 3 @ 13.6145
14.02/14.17 c bounds 69 >= 3 @ 13.8856
14.11/14.20 c bounds 68 >= 3 @ 13.9102
14.11/14.20 c bounds 67 >= 3 @ 13.9138
14.11/14.21 c bounds 66 >= 3 @ 13.9163
14.11/14.22 c bounds 65 >= 3 @ 13.9285
14.61/14.73 c #Conflicts: 7000 | #Constraints: 4122
14.61/14.73 c bounds 64 >= 3 @ 14.4386
14.71/14.82 c bounds 63 >= 3 @ 14.5254
15.10/15.26 c bounds 62 >= 3 @ 14.9654
20.49/20.62 c #Conflicts: 8000 | #Constraints: 5126
20.49/20.62 c #Conflicts: 9000 | #Constraints: 6455
20.49/20.62 c INPROCESSING
20.49/20.62 c GARBAGE COLLECT
20.49/20.62 WSVECS04 Frhs2[1294]: 6 -1.00005 0 shouldn't be
20.49/20.62 WSVECS04 Frhs2[1295]: 6 -1.00005 0 shouldn't be
21.18/21.34 WSVECS04 Frhs2[1296]: 6 -1.0001 0 shouldn't be
22.88/23.03 c rational objective 3
24.88/25.09 c bounds 61 >= 3 @ 24.7073
25.07/25.22 c bounds 60 >= 3 @ 24.8289
25.07/25.27 c bounds 59 >= 3 @ 24.8802
25.17/25.31 c bounds 58 >= 3 @ 24.92
25.17/25.36 c bounds 57 >= 3 @ 24.969
25.27/25.49 c bounds 56 >= 3 @ 25.0959
25.27/25.49 c bounds 55 >= 3 @ 25.0985
25.38/25.52 c bounds 54 >= 3 @ 25.1315
26.77/26.97 c #Conflicts: 10000 | #Constraints: 5046
26.77/26.97 c bounds 53 >= 3 @ 26.5677
26.98/27.14 c bounds 52 >= 3 @ 26.7382
26.98/27.15 c bounds 51 >= 3 @ 26.7507
26.98/27.17 c bounds 50 >= 3 @ 26.7665
26.98/27.18 c bounds 49 >= 3 @ 26.7754
27.07/27.21 c bounds 48 >= 3 @ 26.8063
27.07/27.21 c bounds 47 >= 3 @ 26.809
27.07/27.23 c bounds 46 >= 3 @ 26.829
27.36/27.57 c #Conflicts: 11000 | #Constraints: 6054
27.36/27.57 c bounds 45 >= 3 @ 27.1562
31.36/31.59 c #Conflicts: 12000 | #Constraints: 7377
31.36/31.59 c INPROCESSING
31.36/31.59 c GARBAGE COLLECT
31.36/31.59 c rational objective 3
35.14/35.32 c bounds 44 >= 3 @ 34.8335
35.35/35.51 c bounds 43 >= 3 @ 35.0141
35.45/35.62 c bounds 42 >= 3 @ 35.1284
35.45/35.63 c bounds 41 >= 3 @ 35.13
35.45/35.63 c bounds 40 >= 3 @ 35.1327
35.45/35.65 c bounds 39 >= 3 @ 35.1528
35.45/35.65 c bounds 38 >= 3 @ 35.1557
35.45/35.66 c bounds 37 >= 3 @ 35.1607
35.45/35.66 c bounds 36 >= 3 @ 35.1633
35.45/35.68 c bounds 35 >= 3 @ 35.1843
35.54/35.70 c bounds 34 >= 3 @ 35.204
38.64/38.84 c #Conflicts: 13000 | #Constraints: 5560
38.64/38.84 c #Conflicts: 14000 | #Constraints: 6560
38.64/38.84 c #Conflicts: 15000 | #Constraints: 7560
38.64/38.84 c INPROCESSING
38.64/38.84 c GARBAGE COLLECT
38.64/38.84 c bounds 33 >= 3 @ 38.3154
38.64/38.86 c bounds 32 >= 3 @ 38.3336
38.64/38.89 c bounds 31 >= 3 @ 38.367
38.74/38.91 c bounds 30 >= 3 @ 38.3796
38.74/38.92 c bounds 29 >= 3 @ 38.3933
38.74/38.92 c bounds 28 >= 3 @ 38.3965
38.74/38.97 c bounds 27 >= 3 @ 38.4395
38.74/38.97 c bounds 26 >= 3 @ 38.4437
38.74/38.97 c bounds 25 >= 3 @ 38.4462
38.74/38.97 c bounds 24 >= 3 @ 38.4467
38.74/38.97 c bounds 23 >= 3 @ 38.4471
38.74/38.98 c bounds 22 >= 3 @ 38.4519
38.84/39.08 c bounds 21 >= 3 @ 38.5522
38.84/39.09 c bounds 20 >= 3 @ 38.5559
38.84/39.09 c bounds 19 >= 3 @ 38.5593
38.94/39.12 c bounds 18 >= 3 @ 38.5828
38.94/39.12 c bounds 17 >= 3 @ 38.5836
38.94/39.12 c bounds 16 >= 3 @ 38.5868
38.94/39.14 c bounds 15 >= 3 @ 38.605
45.31/45.58 c #Conflicts: 16000 | #Constraints: 5661
45.31/45.58 c #Conflicts: 17000 | #Constraints: 6661
45.31/45.58 c #Conflicts: 18000 | #Constraints: 7661
45.31/45.58 c INPROCESSING
45.31/45.58 c GARBAGE COLLECT
45.31/45.58 c #Conflicts: 19000 | #Constraints: 5031
45.31/45.58 c #Conflicts: 20000 | #Constraints: 6031
45.31/45.58 c #Conflicts: 21000 | #Constraints: 7033
45.31/45.58 c INPROCESSING
45.31/45.58 c GARBAGE COLLECT
45.31/45.58 c rational objective 3
46.22/46.42 c #Conflicts: 22000 | #Constraints: 4873
46.22/46.42 c bounds 14 >= 3 @ 45.8134
47.70/47.92 c #Conflicts: 23000 | #Constraints: 5874
47.70/47.92 c bounds 13 >= 3 @ 47.303
50.10/50.32 c #Conflicts: 24000 | #Constraints: 6877
50.10/50.32 c #Conflicts: 25000 | #Constraints: 7880
50.10/50.32 c INPROCESSING
50.10/50.32 c GARBAGE COLLECT
50.10/50.32 c rational objective 3
50.99/51.24 c bounds 12 >= 3 @ 50.5905
54.69/54.94 c #Conflicts: 26000 | #Constraints: 5495
54.69/54.94 c #Conflicts: 27000 | #Constraints: 6496
54.69/54.94 c #Conflicts: 28000 | #Constraints: 7498
54.69/54.94 c bounds 11 >= 3 @ 54.2574
55.39/55.66 c #Conflicts: 29000 | #Constraints: 8505
55.39/55.66 c INPROCESSING
55.39/55.66 c GARBAGE COLLECT
55.39/55.66 c rational objective 3
58.88/59.12 c #Conflicts: 30000 | #Constraints: 5642
58.88/59.12 c #Conflicts: 31000 | #Constraints: 6642
58.88/59.12 c #Conflicts: 32000 | #Constraints: 7643
58.88/59.12 c #Conflicts: 33000 | #Constraints: 8643
58.88/59.12 c INPROCESSING
58.88/59.12 c GARBAGE COLLECT
58.88/59.12 c rational objective 3
63.16/63.42 c #Conflicts: 34000 | #Constraints: 5927
63.16/63.42 c #Conflicts: 35000 | #Constraints: 6930
63.16/63.42 c #Conflicts: 36000 | #Constraints: 7939
63.16/63.42 c #Conflicts: 37000 | #Constraints: 8939
63.16/63.42 c INPROCESSING
63.16/63.42 c GARBAGE COLLECT
63.16/63.42 c rational objective 3
69.44/69.70 c #Conflicts: 38000 | #Constraints: 5972
69.44/69.70 c #Conflicts: 39000 | #Constraints: 7026
69.44/69.70 c #Conflicts: 40000 | #Constraints: 8033
69.44/69.70 c #Conflicts: 41000 | #Constraints: 9034
69.44/69.70 c INPROCESSING
69.44/69.70 c GARBAGE COLLECT
69.44/69.70 WSVECS04 Frhs2[1294]: 6 -1.00008 0 shouldn't be
69.44/69.70 WSVECS04 Frhs2[1297]: 6 -1.00008 0 shouldn't be
69.44/69.70 WSVECS04 Frhs2[1298]: 6 -1.00008 0 shouldn't be
69.44/69.70 WSVECS04 Frhs2[1301]: 6 -1.00008 0 shouldn't be
69.44/69.70 WSVECS04 Frhs2[1303]: 6 -1.00003 0 shouldn't be
69.65/69.95 c rational objective 3
76.22/76.56 c #Conflicts: 42000 | #Constraints: 5835
76.22/76.56 c #Conflicts: 43000 | #Constraints: 6843
76.22/76.56 c #Conflicts: 44000 | #Constraints: 8139
76.22/76.56 c #Conflicts: 45000 | #Constraints: 9524
76.22/76.56 c #Conflicts: 46000 | #Constraints: 10526
76.22/76.56 c INPROCESSING
76.22/76.56 c GARBAGE COLLECT
76.22/76.56 c rational objective 3
76.83/77.13 c bounds 10 >= 3 @ 76.2177
87.19/87.51 c #Conflicts: 47000 | #Constraints: 6772
87.19/87.51 c #Conflicts: 48000 | #Constraints: 7772
87.19/87.51 c #Conflicts: 49000 | #Constraints: 8772
87.19/87.51 c #Conflicts: 50000 | #Constraints: 9772
87.19/87.51 c #Conflicts: 51000 | #Constraints: 10772
87.19/87.51 c INPROCESSING
87.19/87.51 c GARBAGE COLLECT
87.19/87.51 c #Conflicts: 52000 | #Constraints: 6963
87.19/87.51 c #Conflicts: 53000 | #Constraints: 7969
87.19/87.51 c #Conflicts: 54000 | #Constraints: 8970
87.19/87.51 c #Conflicts: 55000 | #Constraints: 9973
87.19/87.51 c #Conflicts: 56000 | #Constraints: 10973
87.19/87.51 c INPROCESSING
87.19/87.51 c GARBAGE COLLECT
87.19/87.51 c rational objective 3
90.79/91.18 c #Conflicts: 57000 | #Constraints: 7101
90.79/91.18 c bounds 9 >= 3 @ 90.1265
96.37/96.70 c #Conflicts: 58000 | #Constraints: 8103
96.37/96.70 c #Conflicts: 59000 | #Constraints: 9107
96.37/96.70 c #Conflicts: 60000 | #Constraints: 10109
96.37/96.70 c #Conflicts: 61000 | #Constraints: 11110
96.37/96.70 c INPROCESSING
96.37/96.70 c GARBAGE COLLECT
96.37/96.70 c bounds 8 >= 3 @ 95.5865
96.37/96.75 c bounds 7 >= 3 @ 95.6301
97.96/98.30 c #Conflicts: 62000 | #Constraints: 7035
97.96/98.30 c #Conflicts: 63000 | #Constraints: 8035
97.96/98.30 c #Conflicts: 64000 | #Constraints: 9035
97.96/98.30 c #Conflicts: 65000 | #Constraints: 10035
97.96/98.30 c #Conflicts: 66000 | #Constraints: 11035
97.96/98.30 c INPROCESSING
97.96/98.30 c GARBAGE COLLECT
97.96/98.30 c rational objective 3
98.27/98.63 c #Conflicts: 67000 | #Constraints: 6769
98.27/98.63 c bounds 6 >= 3 @ 97.4826
98.27/98.63 c bounds 5 >= 3 @ 97.4873
104.84/105.27 c #Conflicts: 68000 | #Constraints: 7771
104.84/105.27 c #Conflicts: 69000 | #Constraints: 8771
104.84/105.27 c #Conflicts: 70000 | #Constraints: 9771
104.84/105.27 c #Conflicts: 71000 | #Constraints: 10772
104.84/105.27 c #Conflicts: 72000 | #Constraints: 11775
104.84/105.27 c bounds 4 >= 3 @ 104.075
105.04/105.48 c INPROCESSING
105.04/105.48 c GARBAGE COLLECT
105.04/105.48 c rational objective 3
109.43/109.84 c #Conflicts: 73000 | #Constraints: 6922
109.43/109.84 c #Conflicts: 74000 | #Constraints: 7922
109.43/109.84 c #Conflicts: 75000 | #Constraints: 8922
109.43/109.84 c #Conflicts: 76000 | #Constraints: 9926
109.43/109.84 c #Conflicts: 77000 | #Constraints: 10930
109.43/109.84 c #Conflicts: 78000 | #Constraints: 11933
109.43/109.84 c INPROCESSING
109.43/109.84 c GARBAGE COLLECT
109.43/109.84 c rational objective 3
111.82/112.20 c #Conflicts: 79000 | #Constraints: 7454
111.82/112.20 c #Conflicts: 80000 | #Constraints: 8486
111.82/112.20 c #Conflicts: 81000 | #Constraints: 9497
111.82/112.20 c #Conflicts: 82000 | #Constraints: 10516
111.82/112.20 c #Conflicts: 83000 | #Constraints: 11543
111.82/112.20 c #Conflicts: 84000 | #Constraints: 12572
111.82/112.20 c INPROCESSING
111.82/112.20 c GARBAGE COLLECT
111.82/112.20 c rational objective 3
120.20/120.68 c #Conflicts: 85000 | #Constraints: 7778
120.20/120.68 c #Conflicts: 86000 | #Constraints: 8779
120.20/120.68 c #Conflicts: 87000 | #Constraints: 10191
120.20/120.68 c #Conflicts: 88000 | #Constraints: 11703
120.20/120.68 c #Conflicts: 89000 | #Constraints: 13220
120.20/120.68 c #Conflicts: 90000 | #Constraints: 14581
120.20/120.68 c INPROCESSING
120.20/120.68 c GARBAGE COLLECT
120.20/120.68 c rational objective 3
121.90/122.33 c #Conflicts: 91000 | #Constraints: 8243
121.90/122.33 c #Conflicts: 92000 | #Constraints: 9243
121.90/122.33 c #Conflicts: 93000 | #Constraints: 10243
121.90/122.33 c #Conflicts: 94000 | #Constraints: 11243
121.90/122.33 c #Conflicts: 95000 | #Constraints: 12243
121.90/122.33 c #Conflicts: 96000 | #Constraints: 13243
121.90/122.33 c INPROCESSING
121.90/122.33 c GARBAGE COLLECT
121.90/122.33 c rational objective 3
125.09/125.58 c #Conflicts: 97000 | #Constraints: 7762
125.09/125.58 c #Conflicts: 98000 | #Constraints: 8763
125.09/125.58 c #Conflicts: 99000 | #Constraints: 9764
125.09/125.58 c #Conflicts: 100000 | #Constraints: 10788
125.09/125.58 c #Conflicts: 101000 | #Constraints: 11828
125.09/125.58 c #Conflicts: 102000 | #Constraints: 12867
125.09/125.58 c #Conflicts: 103000 | #Constraints: 13882
125.09/125.58 c INPROCESSING
125.09/125.58 c GARBAGE COLLECT
125.09/125.58 c rational objective 3
130.27/130.73 c #Conflicts: 104000 | #Constraints: 8141
130.27/130.73 c #Conflicts: 105000 | #Constraints: 9145
130.27/130.73 c #Conflicts: 106000 | #Constraints: 10221
130.27/130.73 c #Conflicts: 107000 | #Constraints: 11221
130.27/130.73 c #Conflicts: 108000 | #Constraints: 12221
130.27/130.73 c #Conflicts: 109000 | #Constraints: 13221
130.27/130.73 c #Conflicts: 110000 | #Constraints: 14223
130.27/130.73 c INPROCESSING
130.27/130.73 c GARBAGE COLLECT
130.27/130.73 c rational objective 3
138.25/138.74 c #Conflicts: 111000 | #Constraints: 8410
138.25/138.74 c #Conflicts: 112000 | #Constraints: 9410
138.25/138.74 c #Conflicts: 113000 | #Constraints: 10411
138.25/138.74 c #Conflicts: 114000 | #Constraints: 11411
138.25/138.74 c #Conflicts: 115000 | #Constraints: 12412
138.25/138.74 c bounds 4 >= 4 @ 137.118
138.25/138.74 c cpu time 137.118 s
138.25/138.74 c deterministic time 3176965568 3.18e+09
138.25/138.74 c optimization time 0.005184 s
138.25/138.74 c total solve time 136.997 s
138.25/138.74 c core-guided solve time 72.107 s
138.25/138.74 c propagation time 54.355 s
138.25/138.74 c conflict analysis time 55.959 s
138.25/138.74 c propagations 8983073
138.25/138.74 c resolve steps 4288658
138.25/138.74 c decisions 348110
138.25/138.74 c conflicts 115967
138.25/138.74 c restarts 314
138.25/138.74 c inprocessing phases 25
138.25/138.74 c garbage collections 24 ,( 96.00 )
138.25/138.74 c input clauses 963 ,( 44.01 )
138.25/138.74 c input cardinalities 117 ,( 5.35 )
138.25/138.74 c input general constraints 1108 ,( 50.64 )
138.25/138.74 c input average constraint length 189.41
138.25/138.74 c input average constraint degree 93.30
138.25/138.74 c learned clauses 94967 ,( 79.17 )
138.25/138.74 c learned cardinalities 1 ,( 0.00 )
138.25/138.74 c learned general constraints 24991 ,( 20.83 )
138.25/138.74 c learned average constraint length 179.19
138.25/138.74 c learned average constraint degree 28275392.23
138.25/138.74 c watched CF 32, 64, 128, Arb: 8874 , 0 , 0 , 0
138.25/138.74 c counting CF 32, 64, 128, Arb: 17226 , 0 , 0 , 0
138.25/138.74 c watched constraints 8874 ,( 34.00 )
138.25/138.74 c counting constraints 17225 ,( 66.00 )
138.25/138.74 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 10463718 , 17465 , 253996868 ,( 28627955 , 225368913 )
138.25/138.74 c gcd simplifications 18850
138.25/138.74 c detected cardinalities 0
138.25/138.74 c weakened non-implied lits 2881559
138.25/138.74 c weakened non-implying lits 43522
138.25/138.74 c original variables 1450
138.25/138.74 c clausal propagations 353704
138.25/138.74 c cardinality propagations 5942
138.25/138.74 c watched propagations 186104
138.25/138.74 c counting propagations 8175438
138.25/138.74 c watch lookups 1000006894
138.25/138.74 c watch backjump lookups 0
138.25/138.74 c watch checks 807959979
138.25/138.74 c propagation checks 536490207
138.25/138.74 c constraint additions 813589006
138.25/138.74 c trail pops 9445423
138.25/138.74 c formula constraints 2031
138.25/138.74 c learned constraints 115656
138.25/138.74 c bound constraints 147
138.25/138.74 c core-guided constraints 10
138.25/138.74 c encountered formula constraints 3896371
138.25/138.74 c encountered learned constraints 503109
138.25/138.74 c encountered bound constraints 99
138.25/138.74 c encountered core-guided constraints 18
138.25/138.74 c LP total time 60.5305 s
138.25/138.74 c LP solve time 40.73 s
138.25/138.74 c LP constraints added 2500
138.25/138.74 c LP constraints removed 429
138.25/138.74 c LP pivots internal 116024
138.25/138.74 c LP pivots root 26851
138.25/138.74 c LP calls 4482
138.25/138.74 c LP optimalities 515
138.25/138.74 c LP no pivot count 18
138.25/138.74 c LP infeasibilities 3953
138.25/138.74 c LP valid Farkas constraints 3949
138.25/138.74 c LP learned Farkas constraints 309
138.25/138.74 c LP basis resets 13
138.25/138.74 c LP cycling count 5
138.25/138.74 c LP singular count 5
138.25/138.74 c LP no primal count 0
138.25/138.74 c LP no farkas count 3
138.25/138.74 c LP other issue count 0
138.25/138.74 c LP Gomory cuts 45
138.25/138.74 c LP learned cuts 424
138.25/138.74 c LP deleted cuts 429
138.25/138.74 c LP encountered Gomory constraints 829
138.25/138.74 c LP encountered Farkas constraints 2127
138.25/138.74 c LP encountered learned Farkas constraints 1763
138.25/138.74 c CG auxiliary variables introduced 4
138.25/138.74 c CG solutions found 144
138.25/138.74 c CG cores constructed 3
138.25/138.74 c CG core cardinality constraints returned 0
138.25/138.74 c CG unit cores 0
138.25/138.74 c CG single cores 3
138.25/138.74 c CG blocks removed during cardinality reduction 0
138.25/138.74 c CG first core best 0
138.25/138.74 c CG decision core best 0
138.25/138.74 c CG core reduction tie 0
138.25/138.74 c CG core degree average 1.00
138.25/138.74 c CG core slack average 54.67
138.25/138.74 c CG core upper bound improvements 1
138.25/138.74 c STR number of successful calls 0
138.25/138.74 c STR number of unsuccessful calls 0
138.25/138.74 c STR number of inconclusive calls 0
138.25/138.74 c STR number of successful attempts 0
138.25/138.74 c STR number of unsuccessful attempts 0
138.25/138.74 c STR number of inconclusive attempts 0
138.25/138.74 c STR average degree increase per successful call inf
138.25/138.74 c STR average degree increase per successful attempt inf
138.25/138.74 c STR total number of conflicts for successful attempts 0
138.25/138.74 c STR total number of conflicts for unsuccessful attempts 0
138.25/138.74 c STR total number of conflicts for inconclusive attempts 0
138.25/138.74 c STR average number of conflicts per successful attempt inf
138.25/138.74 c STR average number of conflicts per unsuccessful attempt inf
138.25/138.74 c STR average number of conflicts per inconclusive attempt inf
138.25/138.74 c AVG.sumWPerc 46.30
138.25/138.74 c bigint constraints 0
138.25/138.74 o 4
138.25/138.74 s OPTIMUM FOUND
138.25/138.74 v -x1 x2 -x3 x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 x22 x23 x24 -x25 x26 -x27 -x28 -x29 x30 x31 -x32 x33 x34 x35 x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 x50 x51 x52 x53 x54 -x55 -x56 -x57 -x58 -x59 x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 x108 x109 x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 x134 x135 -x136 x137 x138 -x139 -x140 x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 x188 -x189 -x190 x191 -x192 x193 -x194 -x195 -x196 x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 x216 x217 -x218 x219 -x220 x221 -x222 x223 x224 x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 x458 -x459 -x460 x461 x462 x463 -x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 x486 -x487 -x488 -x489 x490 x491 x492 x493 x494 x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 x675 x676 -x677 -x678 x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 x692 -x693 -x694 -x695 x696 x697 x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 x799 x800 -x801 x802 x803 -x804 x805 x806 x807 x808 -x809 -x810 x811 x812 -x813 -x814 x815 -x816 x817 x818 -x819 -x820 -x821 -x822 -x823 x824 x825 x826 x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 x840 -x841 -x842 x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 x854 -x855 x856 x857 x858 x859 x860 x861 x862 x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 x875 -x876 x877 x878 x879 x880 -x881 -x882 x883 -x884 x885 x886 x887 -x888 x889 -x890 -x891 x892 x893 x894 x895 x896 -x897 -x898 x899 -x900 x901 x902 -x903 x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 x915 -x916 -x917 -x918 x919 -x920 x921 -x922 x923 -x924 x925 -x926 -x927 -x928 x929 x930 x931 x932 -x933 x934 x935 x936 -x937 x938 x939 x940 x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 x950 x951 -x952 x953 x954 x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 x963 -x964 -x965 x966 -x967 x968 -x969 x970 x971 x972 x973 x974 -x975 -x976 x977 x978 x979 x980 x981 -x982 -x983 x984 x985 x986 x987 x988 x989 x990 x991 -x992 x993 -x994 x995 -x996 x997 -x998 x999 x1000 -x1001 -x1002 x1003 -x1004 x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 x1020 x1021 x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 x1050 x1051 -x1052 -x1053 x1054 x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 x1065 x1066 x1067 -x1068 x1069 x1070 x1071 x1072 -x1073 -x1074 -x1075 x1076 x1077 x1078 x1079 -x1080 -x1081 x1082 x1083 x1084 x1085 -x1086 x1087 x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 x1095 x1096 x1097 x1098 x1099 -x1100 -x1101 x1102 x1103 x1104 -x1105 -x1106 x1107 x1108 x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 x1118 -x1119 -x1120 x1121 x1122 x1123 -x1124 x1125 x1126 -x1127 x1128 x1129 -x1130 x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 -x1138 x1139 x1140 -x1141 -x1142 x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 x1150 x1151 x1152 -x1153 x1154 -x1155 x1156 x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 x1171 x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 x1186 -x1187 -x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 -x1196 x1197 x1198 -x1199 x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 x1219 -x1220 x1221 -x1222 x1223 x1224 x1225 -x1226 -x1227 -x1228 x1229 -x1230 x1231 -x1232 x1233 -x1234 x1235 -x1236 -x1237 x1238 -x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 x1246 x1247 x1248 x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 x1256 x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 x1265 -x1266 x1267 x1268 x1269 -x1270 x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 x1281 x1282 -x1283 -x1284 -x1285 x1286 -x1287 x1288 -x1289 -x1290 -x1291 x1292 x1293 x1294 x1295 x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
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 (61712 MiB free)
memory of node 1: 64465 MiB (61410 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523658-1751590221/watcher-4523658-1751590221 -o /tmp/evaluation-result-4523658-1751590221/solver-4523658-1751590221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751589980-84291 --watchdog 3760 run-opt-break.sh HOME/instance-4523658-1751590221.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84791, runsolver pid=84788
[startup+0.100059 s]*
/proc/loadavg: 4.08 3.80 3.91 5/267 84794
/proc/meminfo: memFree=126066508/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=56084 memory=11304 CPUtime=0 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 579 0 0 0 0 0 0 0 20 0 1 0 74699686 57430016 2826 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 14021 2826 1920 1147 0 1448 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 60276 KiB
Current children cumulated memory: 14376 KiB
[startup+0.205585 s]*
/proc/loadavg: 4.08 3.80 3.91 5/267 84794
/proc/meminfo: memFree=126066256/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=65572 memory=24108 CPUtime=0.1 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 3017 0 0 0 10 0 0 0 20 0 1 0 74699686 67145728 6027 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 16393 6027 2272 1147 0 3820 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 69764 KiB
Current children cumulated memory: 27180 KiB
[startup+0.305701 s]*
/proc/loadavg: 4.08 3.80 3.91 5/267 84794
/proc/meminfo: memFree=126036960/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=99012 memory=56636 CPUtime=0.21 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 11702 0 0 0 19 2 0 0 20 0 1 0 74699686 101388288 14159 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 24753 14159 2336 1147 0 12180 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 103204 KiB
Current children cumulated memory: 59708 KiB
[startup+0.700128 s]
/proc/loadavg: 4.08 3.80 3.91 5/267 84794
/proc/meminfo: memFree=126036960/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=107088 memory=65152 CPUtime=0.59 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 12768 0 0 0 57 2 0 0 20 0 1 0 74699686 109658112 16288 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 26772 16288 2368 1147 0 14199 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 111280 KiB
Current children cumulated memory: 68224 KiB
[startup+1.50013 s]
/proc/loadavg: 4.08 3.80 3.91 5/267 84794
/proc/meminfo: memFree=126036960/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=107088 memory=65152 CPUtime=1.39 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 12768 0 0 0 137 2 0 0 20 0 1 0 74699686 109658112 16288 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 26772 16288 2368 1147 0 14199 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 111280 KiB
Current children cumulated memory: 68224 KiB
[startup+3.10538 s]
/proc/loadavg: 4.08 3.80 3.91 5/267 84794
/proc/meminfo: memFree=126004760/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=133972 memory=90012 CPUtime=2.99 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 14401 0 0 0 295 4 0 0 20 0 1 0 74699686 137187328 22503 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 33493 22503 2400 1147 0 20920 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 138164 KiB
Current children cumulated memory: 93084 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 3.80 3.91 5/267 84794
/proc/meminfo: memFree=125964496/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=136692 memory=93212 CPUtime=6.18 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 15209 0 0 0 611 7 0 0 20 0 1 0 74699686 139972608 23303 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 34173 23303 2432 1147 0 21600 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 140884 KiB
Current children cumulated memory: 96284 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 3.80 3.91 5/267 84794
/proc/meminfo: memFree=125884912/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=133644 memory=90664 CPUtime=12.56 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 17564 0 0 0 1241 15 0 0 20 0 1 0 74699686 136851456 22666 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 33411 22666 2496 1147 0 20838 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 137836 KiB
Current children cumulated memory: 93736 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 3.83 3.92 5/267 84936
/proc/meminfo: memFree=125809604/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=168200 memory=120812 CPUtime=25.33 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 22518 0 0 0 2510 23 0 0 20 0 1 0 74699686 172236800 30203 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 42050 30203 2496 1147 0 29477 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 172392 KiB
Current children cumulated memory: 123884 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 3.84 3.92 5/267 84983
/proc/meminfo: memFree=125596672/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=149684 memory=103924 CPUtime=50.85 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 24702 0 0 0 5045 40 0 0 20 0 1 0 74699686 153276416 25981 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 37421 25981 2528 1147 0 24848 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 153876 KiB
Current children cumulated memory: 106996 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.89 3.93 5/267 84984
/proc/meminfo: memFree=124779012/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=166296 memory=122016 CPUtime=101.9 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 35649 0 0 0 10112 78 0 0 20 0 1 0 74699686 170287104 30504 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 41574 30504 2528 1147 0 29001 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 170488 KiB
Current children cumulated memory: 125088 KiB
[startup+138.752 s]
# the end of solver process 84791 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=137.179 s, system=1.1538 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.08 3.89 3.93 5/267 84984
/proc/meminfo: memFree=124779012/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=166296 memory=122016 CPUtime=102 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 35649 0 0 0 10122 78 0 0 20 0 1 0 74699686 170287104 30504 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 41574 30504 2528 1147 0 29001 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 170488 KiB
Current children cumulated memory: 125088 KiB
[startup+115.2 s]
/proc/loadavg: 4.23 3.93 3.94 5/267 84985
/proc/meminfo: memFree=124637716/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=171720 memory=127336 CPUtime=114.77 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 37908 0 0 0 11385 92 0 0 20 0 1 0 74699686 175841280 31834 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 42930 31834 2528 1147 0 30357 0
Current children cumulated CPU time: 114.82 s
Current children cumulated vsize: 175912 KiB
Current children cumulated memory: 130408 KiB
[startup+128 s]*
/proc/loadavg: 4.18 3.93 3.94 5/267 84985
/proc/meminfo: memFree=124323696/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=178928 memory=134412 CPUtime=127.54 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 41476 0 0 0 12648 106 0 0 20 0 1 0 74699686 183222272 33603 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 44732 33603 2528 1147 0 32159 0
Current children cumulated CPU time: 127.59 s
Current children cumulated vsize: 183120 KiB
Current children cumulated memory: 137484 KiB
[startup+134.4 s]
/proc/loadavg: 4.16 3.93 3.95 5/267 84985
/proc/meminfo: memFree=124025936/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=178928 memory=134520 CPUtime=133.91 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 42191 0 0 0 13280 111 0 0 20 0 1 0 74699686 183222272 33630 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 44732 33630 2528 1147 0 32159 0
Current children cumulated CPU time: 133.96 s
Current children cumulated vsize: 183120 KiB
Current children cumulated memory: 137592 KiB
[startup+136 s]*
/proc/loadavg: 4.16 3.93 3.95 5/267 84986
/proc/meminfo: memFree=123963684/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=178928 memory=134520 CPUtime=135.51 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 42191 0 0 0 13439 112 0 0 20 0 1 0 74699686 183222272 33630 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 44732 33630 2528 1147 0 32159 0
Current children cumulated CPU time: 135.56 s
Current children cumulated vsize: 183120 KiB
Current children cumulated memory: 137592 KiB
[startup+137.6 s]
/proc/loadavg: 4.16 3.93 3.95 5/267 84986
/proc/meminfo: memFree=123951680/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=178928 memory=134520 CPUtime=137.11 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 42191 0 0 0 13598 113 0 0 20 0 1 0 74699686 183222272 33630 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 44732 33630 2528 1147 0 32159 0
Current children cumulated CPU time: 137.16 s
Current children cumulated vsize: 183120 KiB
Current children cumulated memory: 137592 KiB
[startup+138.4 s]
/proc/loadavg: 4.15 3.93 3.95 5/267 84986
/proc/meminfo: memFree=123943488/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=178928 memory=134520 CPUtime=137.9 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 42191 0 0 0 13677 113 0 0 20 0 1 0 74699686 183222272 33630 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 44732 33630 2528 1147 0 32159 0
Current children cumulated CPU time: 137.95 s
Current children cumulated vsize: 183120 KiB
Current children cumulated memory: 137592 KiB
[startup+138.6 s]
/proc/loadavg: 4.15 3.93 3.95 5/267 84986
/proc/meminfo: memFree=123943488/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=178928 memory=134520 CPUtime=138.1 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 42191 0 0 0 13697 113 0 0 20 0 1 0 74699686 183222272 33630 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 44732 33630 2528 1147 0 32159 0
Current children cumulated CPU time: 138.15 s
Current children cumulated vsize: 183120 KiB
Current children cumulated memory: 137592 KiB
[startup+138.7 s]
/proc/loadavg: 4.15 3.93 3.95 5/267 84986
/proc/meminfo: memFree=123943488/131249988 swapFree=33010160/33010684
[pid=84791] ppid=84788 vsize=4192 memory=3072 CPUtime=0.05 cores=0,2
/proc/84791/stat : 84791 (run-opt-break.s) S 84788 84791 84281 0 -1 4194304 239 5533 0 0 0 0 5 0 20 0 1 0 74699678 4292608 768 18446744073709551615 94191856857088 94191857751621 140735700411168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94191857990672 94191858038416 94191877296128 140735700412769 140735700412898 140735700412898 140735700418500 0
/proc/84791/statm: 1048 768 704 219 0 110 0
[pid=84794] ppid=84791 vsize=178928 memory=134520 CPUtime=138.2 cores=0,2
/proc/84794/stat : 84794 (roundingsat) R 84791 84791 84281 0 -1 4194304 42191 0 0 0 13707 113 0 0 20 0 1 0 74699686 183222272 33630 18446744073709551615 4227072 8923433 140722909140368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36720640 140722909149540 140722909149736 140722909149736 140722909155306 0
/proc/84794/statm: 44732 33630 2528 1147 0 32159 0
Current children cumulated CPU time: 138.25 s
Current children cumulated vsize: 183120 KiB
Current children cumulated memory: 137592 KiB
Child status: 0
Real time (s): 138.752
CPU time (s): 138.332
CPU user time (s): 137.179
CPU system time (s): 1.1538
CPU usage (%): 99.6979
Max. virtual memory (cumulated for all children) (KiB): 199416
Max. memory (cumulated for all children) (KiB): 153884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.179
system time used= 1.1538
maximum resident set size= 151608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 203
# summary of solver processes directly reported to runsolver:
# pid: 84791
# total CPU time (s): 138.332
# total CPU user time (s): 137.179
# total CPU system time (s): 1.1538
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.253039 second user time and 0.716439 second system time
The end
Begin job on nodeC020 at 2025-07-04 02:50:21
IDJOB=4523658
IDBENCH=180369
IDSOLVER=3359
FILE ID=nodeC020/4523658-1751590221
RUNJOBID= nodeC020-1751589980-84291
SLURM_JOB_ID= 9598845
Free space on /tmp= 431656 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523658-1751590221/watcher-4523658-1751590221 -o /tmp/evaluation-result-4523658-1751590221/solver-4523658-1751590221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751589980-84291 --watchdog 3760 run-opt-break.sh HOME/instance-4523658-1751590221.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b9738ec4eef81a08a451499c860dc376
RANDOM SEED=1555899219
nodeC020 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.890
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.924
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.164
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.79
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 : 3615.297
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.79
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.895
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.79
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.882
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.79
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 : 3653.030
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.79
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 : 3600.251
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 126078648 kB
MemAvailable: 126218260 kB
Buffers: 2128 kB
Cached: 931448 kB
SwapCached: 8 kB
Active: 4102436 kB
Inactive: 366024 kB
Active(anon): 3528368 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 341456 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10380 kB
Writeback: 0 kB
AnonPages: 3538052 kB
Mapped: 117644 kB
Shmem: 18044 kB
KReclaimable: 126656 kB
Slab: 218848 kB
SReclaimable: 126656 kB
SUnreclaim: 92192 kB
KernelStack: 4304 kB
PageTables: 10196 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 4645492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1589248 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431648 MiB
End job on nodeC020 at 2025-07-04 02:52:40