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-4493305-1751155546.opb'
0.00/0.04 c read 2.24MB (26.16ms)
0.00/0.04 c [cnf: #variables 23409 #clauses 1386 #duplicates 0 #arr 234090]
0.00/0.04 c output proof to 'PROOFDIR/proof-4493305-1751155546'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2] (20.43ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.08 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c (24.79ms)
0.00/0.08 c
0.00/0.08 c detect symmetries on remainder
0.00/0.08 c [graph: #vertices 95022 #edges 608634]
0.00/0.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.28/0.37 c [group: #symmetries 8.26*10^35 #generators 10] (285.23ms)
0.28/0.37 c
0.28/0.37 c optimize generators (opt_passes=64, conjugate_limit=525)
0.38/0.42 c opt it=15, l=298, m=94, opt=13, avg=24760, b=9792, gens=10
0.38/0.45 c opt it=31, l=448, m=152, opt=16, avg=24607, b=9792, gens=10
0.38/0.45 c ran it=0, +gens=9
2.26/2.35 c con best_support=9792, best_gens=5, +gens=495
2.26/2.35 c (1984.66ms)
2.26/2.35 c
2.26/2.35 c finalize break order and special generators
2.26/2.38 c
2.26/2.38 c add generic predicates (break_depth=10)
2.36/2.42 c added predicates for 514 generators (45.32ms)
2.36/2.48 c
2.36/2.48 c generation finished
2.36/2.48 c [sbp: #constraints 0 #add_vars 0]
2.36/2.48 c
2.36/2.48 c write result to 'HOME/instance-4493305-1751155546.opb.pre'
2.36/2.49 c wrote 2.24MB (5.11ms)
2.36/2.49 c ------------------------------------------------------------------
2.36/2.49 c 1984.66ms 80.16% optimize_gens
2.36/2.49 c 285.23ms 11.52% detect_generic
2.36/2.49 c 58.74ms 2.37% other
2.36/2.49 c 45.32ms 1.83% break_generic
2.36/2.49 c 26.16ms 1.06% parse
2.36/2.49 c 25.44ms 1.03% finalize_order
2.36/2.49 c 24.79ms 1.00% detect_special
2.36/2.49 c 20.43ms 0.83% approx_orbits
2.36/2.49 c 5.11ms 0.21% output
2.36/2.49 c ───────────────────────────────────────────────
2.36/2.49 c 2475.89ms 100% total
2.36/2.49 c ------------------------------------------------------------------
2.45/2.50 c RoundingSat 2
2.45/2.50 c branch pb25
2.45/2.50 c commit 63f22ad
2.45/2.62 c #variables 23409 #constraints 1386
441.39/442.96 c #Conflicts: 1000 | #Constraints: 2385
441.39/442.96 c #Conflicts: 2000 | #Constraints: 3385
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 3000 | #Constraints: 3418
441.39/442.96 c #Conflicts: 4000 | #Constraints: 4418
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 5000 | #Constraints: 3851
441.39/442.96 c #Conflicts: 6000 | #Constraints: 4851
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 7000 | #Constraints: 3870
441.39/442.96 c #Conflicts: 8000 | #Constraints: 4870
441.39/442.96 c #Conflicts: 9000 | #Constraints: 5870
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 10000 | #Constraints: 4586
441.39/442.96 c #Conflicts: 11000 | #Constraints: 5586
441.39/442.96 c #Conflicts: 12000 | #Constraints: 6586
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 13000 | #Constraints: 5039
441.39/442.96 c #Conflicts: 14000 | #Constraints: 6039
441.39/442.96 c #Conflicts: 15000 | #Constraints: 7039
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 16000 | #Constraints: 5297
441.39/442.96 c #Conflicts: 17000 | #Constraints: 6297
441.39/442.96 c #Conflicts: 18000 | #Constraints: 7297
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 19000 | #Constraints: 5338
441.39/442.96 c #Conflicts: 20000 | #Constraints: 6338
441.39/442.96 c #Conflicts: 21000 | #Constraints: 7338
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 22000 | #Constraints: 5128
441.39/442.96 c #Conflicts: 23000 | #Constraints: 6128
441.39/442.96 c #Conflicts: 24000 | #Constraints: 7128
441.39/442.96 c #Conflicts: 25000 | #Constraints: 8128
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 26000 | #Constraints: 5735
441.39/442.96 c #Conflicts: 27000 | #Constraints: 6735
441.39/442.96 c #Conflicts: 28000 | #Constraints: 7735
441.39/442.96 c #Conflicts: 29000 | #Constraints: 8735
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 30000 | #Constraints: 6132
441.39/442.96 c #Conflicts: 31000 | #Constraints: 7132
441.39/442.96 c #Conflicts: 32000 | #Constraints: 8132
441.39/442.96 c #Conflicts: 33000 | #Constraints: 9132
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 34000 | #Constraints: 6337
441.39/442.96 c #Conflicts: 35000 | #Constraints: 7337
441.39/442.96 c #Conflicts: 36000 | #Constraints: 8337
441.39/442.96 c #Conflicts: 37000 | #Constraints: 9337
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 38000 | #Constraints: 6374
441.39/442.96 c #Conflicts: 39000 | #Constraints: 7374
441.39/442.96 c #Conflicts: 40000 | #Constraints: 8374
441.39/442.96 c #Conflicts: 41000 | #Constraints: 9374
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 42000 | #Constraints: 6186
441.39/442.96 c #Conflicts: 43000 | #Constraints: 7186
441.39/442.96 c #Conflicts: 44000 | #Constraints: 8186
441.39/442.96 c #Conflicts: 45000 | #Constraints: 9186
441.39/442.96 c #Conflicts: 46000 | #Constraints: 10186
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 47000 | #Constraints: 6742
441.39/442.96 c #Conflicts: 48000 | #Constraints: 7742
441.39/442.96 c #Conflicts: 49000 | #Constraints: 8742
441.39/442.96 c #Conflicts: 50000 | #Constraints: 9742
441.39/442.96 c #Conflicts: 51000 | #Constraints: 10742
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 52000 | #Constraints: 7160
441.39/442.96 c #Conflicts: 53000 | #Constraints: 8160
441.39/442.96 c #Conflicts: 54000 | #Constraints: 9160
441.39/442.96 c #Conflicts: 55000 | #Constraints: 10160
441.39/442.96 c #Conflicts: 56000 | #Constraints: 11160
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 57000 | #Constraints: 7387
441.39/442.96 c #Conflicts: 58000 | #Constraints: 8387
441.39/442.96 c #Conflicts: 59000 | #Constraints: 9387
441.39/442.96 c #Conflicts: 60000 | #Constraints: 10387
441.39/442.96 c #Conflicts: 61000 | #Constraints: 11387
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 62000 | #Constraints: 7380
441.39/442.96 c #Conflicts: 63000 | #Constraints: 8380
441.39/442.96 c #Conflicts: 64000 | #Constraints: 9380
441.39/442.96 c #Conflicts: 65000 | #Constraints: 10380
441.39/442.96 c #Conflicts: 66000 | #Constraints: 11380
441.39/442.96 c INPROCESSING
441.39/442.96 c GARBAGE COLLECT
441.39/442.96 c #Conflicts: 67000 | #Constraints: 7159
441.39/442.96 c #Conflicts: 68000 | #Constraints: 8159
788.65/791.70 c #Conflicts: 69000 | #Constraints: 9159
788.65/791.70 c #Conflicts: 70000 | #Constraints: 10159
788.65/791.70 c #Conflicts: 71000 | #Constraints: 11159
788.65/791.70 c #Conflicts: 72000 | #Constraints: 12159
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 73000 | #Constraints: 7757
788.65/791.70 c #Conflicts: 74000 | #Constraints: 8757
788.65/791.70 c #Conflicts: 75000 | #Constraints: 9757
788.65/791.70 c #Conflicts: 76000 | #Constraints: 10757
788.65/791.70 c #Conflicts: 77000 | #Constraints: 11757
788.65/791.70 c #Conflicts: 78000 | #Constraints: 12757
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 79000 | #Constraints: 8166
788.65/791.70 c #Conflicts: 80000 | #Constraints: 9166
788.65/791.70 c #Conflicts: 81000 | #Constraints: 10166
788.65/791.70 c #Conflicts: 82000 | #Constraints: 11166
788.65/791.70 c #Conflicts: 83000 | #Constraints: 12166
788.65/791.70 c #Conflicts: 84000 | #Constraints: 13166
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 85000 | #Constraints: 8369
788.65/791.70 c #Conflicts: 86000 | #Constraints: 9369
788.65/791.70 c #Conflicts: 87000 | #Constraints: 10369
788.65/791.70 c #Conflicts: 88000 | #Constraints: 11369
788.65/791.70 c #Conflicts: 89000 | #Constraints: 12369
788.65/791.70 c #Conflicts: 90000 | #Constraints: 13369
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 91000 | #Constraints: 8372
788.65/791.70 c #Conflicts: 92000 | #Constraints: 9372
788.65/791.70 c #Conflicts: 93000 | #Constraints: 10372
788.65/791.70 c #Conflicts: 94000 | #Constraints: 11372
788.65/791.70 c #Conflicts: 95000 | #Constraints: 12372
788.65/791.70 c #Conflicts: 96000 | #Constraints: 13372
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 97000 | #Constraints: 8195
788.65/791.70 c #Conflicts: 98000 | #Constraints: 9195
788.65/791.70 c #Conflicts: 99000 | #Constraints: 10195
788.65/791.70 c #Conflicts: 100000 | #Constraints: 11195
788.65/791.70 c #Conflicts: 101000 | #Constraints: 12196
788.65/791.70 c #Conflicts: 102000 | #Constraints: 13196
788.65/791.70 c #Conflicts: 103000 | #Constraints: 14196
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 104000 | #Constraints: 8768
788.65/791.70 c #Conflicts: 105000 | #Constraints: 9768
788.65/791.70 c #Conflicts: 106000 | #Constraints: 10768
788.65/791.70 c #Conflicts: 107000 | #Constraints: 11768
788.65/791.70 c #Conflicts: 108000 | #Constraints: 12768
788.65/791.70 c #Conflicts: 109000 | #Constraints: 13768
788.65/791.70 c #Conflicts: 110000 | #Constraints: 14768
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 111000 | #Constraints: 9195
788.65/791.70 c #Conflicts: 112000 | #Constraints: 10195
788.65/791.70 c #Conflicts: 113000 | #Constraints: 11195
788.65/791.70 c #Conflicts: 114000 | #Constraints: 12195
788.65/791.70 c #Conflicts: 115000 | #Constraints: 13195
788.65/791.70 c #Conflicts: 116000 | #Constraints: 14195
788.65/791.70 c #Conflicts: 117000 | #Constraints: 15195
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 118000 | #Constraints: 9387
788.65/791.70 c #Conflicts: 119000 | #Constraints: 10387
788.65/791.70 c #Conflicts: 120000 | #Constraints: 11387
788.65/791.70 c #Conflicts: 121000 | #Constraints: 12387
788.65/791.70 c #Conflicts: 122000 | #Constraints: 13387
788.65/791.70 c #Conflicts: 123000 | #Constraints: 14387
788.65/791.70 c #Conflicts: 124000 | #Constraints: 15387
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 125000 | #Constraints: 9379
788.65/791.70 c #Conflicts: 126000 | #Constraints: 10379
788.65/791.70 c #Conflicts: 127000 | #Constraints: 11379
788.65/791.70 c #Conflicts: 128000 | #Constraints: 12379
788.65/791.70 c #Conflicts: 129000 | #Constraints: 13379
788.65/791.70 c #Conflicts: 130000 | #Constraints: 14379
788.65/791.70 c #Conflicts: 131000 | #Constraints: 15379
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 132000 | #Constraints: 9176
788.65/791.70 c #Conflicts: 133000 | #Constraints: 10176
788.65/791.70 c #Conflicts: 134000 | #Constraints: 11176
788.65/791.70 c #Conflicts: 135000 | #Constraints: 12176
788.65/791.70 c #Conflicts: 136000 | #Constraints: 13176
788.65/791.70 c #Conflicts: 137000 | #Constraints: 14176
788.65/791.70 c #Conflicts: 138000 | #Constraints: 15176
788.65/791.70 c #Conflicts: 139000 | #Constraints: 16176
788.65/791.70 c INPROCESSING
788.65/791.70 c GARBAGE COLLECT
788.65/791.70 c #Conflicts: 140000 | #Constraints: 9794
1141.26/1146.09 c #Conflicts: 141000 | #Constraints: 10794
1141.26/1146.09 c #Conflicts: 142000 | #Constraints: 11794
1141.26/1146.09 c #Conflicts: 143000 | #Constraints: 12794
1141.26/1146.09 c #Conflicts: 144000 | #Constraints: 13794
1141.26/1146.09 c #Conflicts: 145000 | #Constraints: 14794
1141.26/1146.09 c #Conflicts: 146000 | #Constraints: 15794
1141.26/1146.09 c #Conflicts: 147000 | #Constraints: 16794
1141.26/1146.09 c INPROCESSING
1141.26/1146.09 c GARBAGE COLLECT
1141.26/1146.09 c #Conflicts: 148000 | #Constraints: 10199
1141.26/1146.09 c #Conflicts: 149000 | #Constraints: 11199
1141.26/1146.09 c #Conflicts: 150000 | #Constraints: 12199
1141.26/1146.09 c #Conflicts: 151000 | #Constraints: 13199
1141.26/1146.09 c #Conflicts: 152000 | #Constraints: 14199
1141.26/1146.09 c #Conflicts: 153000 | #Constraints: 15199
1141.26/1146.09 c #Conflicts: 154000 | #Constraints: 16199
1141.26/1146.09 c #Conflicts: 155000 | #Constraints: 17199
1141.26/1146.09 c INPROCESSING
1141.26/1146.09 c GARBAGE COLLECT
1141.26/1146.09 c #Conflicts: 156000 | #Constraints: 10397
1141.26/1146.09 c #Conflicts: 157000 | #Constraints: 11397
1141.26/1146.09 c #Conflicts: 158000 | #Constraints: 12397
1141.26/1146.09 c #Conflicts: 159000 | #Constraints: 13397
1141.26/1146.09 c #Conflicts: 160000 | #Constraints: 14397
1141.26/1146.09 c #Conflicts: 161000 | #Constraints: 15397
1141.26/1146.09 c #Conflicts: 162000 | #Constraints: 16397
1141.26/1146.09 c #Conflicts: 163000 | #Constraints: 17397
1141.26/1146.09 c INPROCESSING
1141.26/1146.09 c GARBAGE COLLECT
1141.26/1146.09 c #Conflicts: 164000 | #Constraints: 10390
1141.26/1146.09 c #Conflicts: 165000 | #Constraints: 11390
1141.26/1146.09 c #Conflicts: 166000 | #Constraints: 12390
1141.26/1146.09 c #Conflicts: 167000 | #Constraints: 13390
1141.26/1146.09 c #Conflicts: 168000 | #Constraints: 14390
1141.26/1146.09 c #Conflicts: 169000 | #Constraints: 15390
1141.26/1146.09 c #Conflicts: 170000 | #Constraints: 16390
1141.26/1146.09 c #Conflicts: 171000 | #Constraints: 17390
1141.26/1146.09 c INPROCESSING
1141.26/1146.09 c GARBAGE COLLECT
1141.26/1146.09 c #Conflicts: 172000 | #Constraints: 10168
1141.26/1146.09 c #Conflicts: 173000 | #Constraints: 11168
1141.26/1146.09 c #Conflicts: 174000 | #Constraints: 12168
1141.26/1146.09 c #Conflicts: 175000 | #Constraints: 13168
1141.26/1146.09 c #Conflicts: 176000 | #Constraints: 14168
1141.26/1146.09 c #Conflicts: 177000 | #Constraints: 15168
1141.26/1146.09 c #Conflicts: 178000 | #Constraints: 16168
1141.26/1146.09 c #Conflicts: 179000 | #Constraints: 17168
1141.26/1146.09 c #Conflicts: 180000 | #Constraints: 18168
1141.26/1146.09 c INPROCESSING
1141.26/1146.09 c GARBAGE COLLECT
1141.26/1146.09 c #Conflicts: 181000 | #Constraints: 10756
1141.26/1146.09 c #Conflicts: 182000 | #Constraints: 11756
1141.26/1146.09 c #Conflicts: 183000 | #Constraints: 12756
1141.26/1146.09 c #Conflicts: 184000 | #Constraints: 13756
1141.26/1146.09 c #Conflicts: 185000 | #Constraints: 14756
1141.26/1146.09 c #Conflicts: 186000 | #Constraints: 15756
1141.26/1146.09 c #Conflicts: 187000 | #Constraints: 16756
1141.26/1146.09 c #Conflicts: 188000 | #Constraints: 17756
1141.26/1146.09 c #Conflicts: 189000 | #Constraints: 18756
1141.26/1146.09 c INPROCESSING
1141.26/1146.09 c GARBAGE COLLECT
1141.26/1146.09 c #Conflicts: 190000 | #Constraints: 11191
1141.26/1146.09 c #Conflicts: 191000 | #Constraints: 12191
1141.26/1146.09 c #Conflicts: 192000 | #Constraints: 13191
1141.26/1146.09 c #Conflicts: 193000 | #Constraints: 14191
1141.26/1146.09 c #Conflicts: 194000 | #Constraints: 15191
1141.26/1146.09 c #Conflicts: 195000 | #Constraints: 16191
1141.26/1146.09 c #Conflicts: 196000 | #Constraints: 17191
1141.26/1146.09 c #Conflicts: 197000 | #Constraints: 18191
1141.26/1146.09 c #Conflicts: 198000 | #Constraints: 19191
1141.26/1146.09 c INPROCESSING
1141.26/1146.09 c GARBAGE COLLECT
1141.26/1146.09 c #Conflicts: 199000 | #Constraints: 11417
1141.26/1146.09 c #Conflicts: 200000 | #Constraints: 12417
1141.26/1146.09 c #Conflicts: 201000 | #Constraints: 13417
1141.26/1146.09 c #Conflicts: 202000 | #Constraints: 14417
1141.26/1146.09 c #Conflicts: 203000 | #Constraints: 15417
1141.26/1146.09 c #Conflicts: 204000 | #Constraints: 16417
1141.26/1146.09 c #Conflicts: 205000 | #Constraints: 17417
1141.26/1146.09 c #Conflicts: 206000 | #Constraints: 18417
1141.26/1146.09 c #Conflicts: 207000 | #Constraints: 19417
1141.26/1146.09 c INPROCESSING
1141.26/1146.09 c GARBAGE COLLECT
1141.26/1146.09 c #Conflicts: 208000 | #Constraints: 11424
1141.26/1146.09 c #Conflicts: 209000 | #Constraints: 12424
1141.26/1146.09 c #Conflicts: 210000 | #Constraints: 13425
1141.26/1146.09 c #Conflicts: 211000 | #Constraints: 14425
1141.26/1146.09 c #Conflicts: 212000 | #Constraints: 15425
1141.26/1146.09 c #Conflicts: 213000 | #Constraints: 16425
1551.23/1557.72 c #Conflicts: 214000 | #Constraints: 17425
1551.23/1557.72 c #Conflicts: 215000 | #Constraints: 18425
1551.23/1557.72 c #Conflicts: 216000 | #Constraints: 19425
1551.23/1557.72 c INPROCESSING
1551.23/1557.72 c GARBAGE COLLECT
1551.23/1557.72 c #Conflicts: 217000 | #Constraints: 11255
1551.23/1557.72 c #Conflicts: 218000 | #Constraints: 12255
1551.23/1557.72 c #Conflicts: 219000 | #Constraints: 13255
1551.23/1557.72 c #Conflicts: 220000 | #Constraints: 14255
1551.23/1557.72 c #Conflicts: 221000 | #Constraints: 15255
1551.23/1557.72 c #Conflicts: 222000 | #Constraints: 16255
1551.23/1557.72 c #Conflicts: 223000 | #Constraints: 17255
1551.23/1557.72 c #Conflicts: 224000 | #Constraints: 18255
1551.23/1557.72 c #Conflicts: 225000 | #Constraints: 19255
1551.23/1557.72 c #Conflicts: 226000 | #Constraints: 20255
1551.23/1557.72 c INPROCESSING
1551.23/1557.72 c GARBAGE COLLECT
1551.23/1557.72 c #Conflicts: 227000 | #Constraints: 11865
1551.23/1557.72 c #Conflicts: 228000 | #Constraints: 12865
1551.23/1557.72 c #Conflicts: 229000 | #Constraints: 13865
1551.23/1557.72 c #Conflicts: 230000 | #Constraints: 14865
1551.23/1557.72 c #Conflicts: 231000 | #Constraints: 15865
1551.23/1557.72 c #Conflicts: 232000 | #Constraints: 16865
1551.23/1557.72 c #Conflicts: 233000 | #Constraints: 17865
1551.23/1557.72 c #Conflicts: 234000 | #Constraints: 18865
1551.23/1557.72 c #Conflicts: 235000 | #Constraints: 19865
1551.23/1557.72 c #Conflicts: 236000 | #Constraints: 20865
1551.23/1557.72 c INPROCESSING
1551.23/1557.72 c GARBAGE COLLECT
1551.23/1557.72 c #Conflicts: 237000 | #Constraints: 12249
1551.23/1557.72 c #Conflicts: 238000 | #Constraints: 13249
1551.23/1557.72 c #Conflicts: 239000 | #Constraints: 14249
1551.23/1557.72 c #Conflicts: 240000 | #Constraints: 15249
1551.23/1557.72 c #Conflicts: 241000 | #Constraints: 16249
1551.23/1557.72 c #Conflicts: 242000 | #Constraints: 17249
1551.23/1557.72 c #Conflicts: 243000 | #Constraints: 18249
1551.23/1557.72 c #Conflicts: 244000 | #Constraints: 19249
1551.23/1557.72 c #Conflicts: 245000 | #Constraints: 20249
1551.23/1557.72 c #Conflicts: 246000 | #Constraints: 21249
1551.23/1557.72 c INPROCESSING
1551.23/1557.72 c GARBAGE COLLECT
1551.23/1557.72 c #Conflicts: 247000 | #Constraints: 12406
1551.23/1557.72 c #Conflicts: 248000 | #Constraints: 13406
1551.23/1557.72 c #Conflicts: 249000 | #Constraints: 14406
1551.23/1557.72 c #Conflicts: 250000 | #Constraints: 15406
1551.23/1557.72 c #Conflicts: 251000 | #Constraints: 16406
1551.23/1557.72 c #Conflicts: 252000 | #Constraints: 17406
1551.23/1557.72 c #Conflicts: 253000 | #Constraints: 18406
1551.23/1557.72 c #Conflicts: 254000 | #Constraints: 19406
1551.23/1557.72 c #Conflicts: 255000 | #Constraints: 20406
1551.23/1557.72 c #Conflicts: 256000 | #Constraints: 21406
1551.23/1557.72 c INPROCESSING
1551.23/1557.72 c GARBAGE COLLECT
1551.23/1557.72 c #Conflicts: 257000 | #Constraints: 12399
1551.23/1557.72 c #Conflicts: 258000 | #Constraints: 13399
1551.23/1557.72 c #Conflicts: 259000 | #Constraints: 14399
1551.23/1557.72 c #Conflicts: 260000 | #Constraints: 15399
1551.23/1557.72 c #Conflicts: 261000 | #Constraints: 16399
1551.23/1557.72 c #Conflicts: 262000 | #Constraints: 17399
1551.23/1557.72 c #Conflicts: 263000 | #Constraints: 18399
1551.23/1557.72 c #Conflicts: 264000 | #Constraints: 19399
1551.23/1557.72 c #Conflicts: 265000 | #Constraints: 20399
1551.23/1557.72 c #Conflicts: 266000 | #Constraints: 21399
1551.23/1557.72 c INPROCESSING
1551.23/1557.72 c GARBAGE COLLECT
1551.23/1557.72 c #Conflicts: 267000 | #Constraints: 12207
1551.23/1557.72 c #Conflicts: 268000 | #Constraints: 13207
1551.23/1557.72 c #Conflicts: 269000 | #Constraints: 14207
1551.23/1557.72 c #Conflicts: 270000 | #Constraints: 15207
1551.23/1557.72 c #Conflicts: 271000 | #Constraints: 16207
1551.23/1557.72 c #Conflicts: 272000 | #Constraints: 17207
1551.23/1557.72 c #Conflicts: 273000 | #Constraints: 18207
1551.23/1557.72 c #Conflicts: 274000 | #Constraints: 19207
1551.23/1557.72 c #Conflicts: 275000 | #Constraints: 20207
1551.23/1557.72 c #Conflicts: 276000 | #Constraints: 21207
1551.23/1557.72 c #Conflicts: 277000 | #Constraints: 22207
1551.23/1557.72 c INPROCESSING
1551.23/1557.72 c GARBAGE COLLECT
1551.23/1557.72 c #Conflicts: 278000 | #Constraints: 12780
1551.23/1557.72 c #Conflicts: 279000 | #Constraints: 13780
1551.23/1557.72 c #Conflicts: 280000 | #Constraints: 14780
1551.23/1557.72 c #Conflicts: 281000 | #Constraints: 15780
1551.23/1557.72 c #Conflicts: 282000 | #Constraints: 16781
1551.23/1557.72 c #Conflicts: 283000 | #Constraints: 17781
1551.23/1557.72 c #Conflicts: 284000 | #Constraints: 18781
1551.23/1557.72 c #Conflicts: 285000 | #Constraints: 19781
1551.23/1557.72 c #Conflicts: 286000 | #Constraints: 20781
1551.23/1557.72 c #Conflicts: 287000 | #Constraints: 21781
1551.23/1557.72 c #Conflicts: 288000 | #Constraints: 22781
1944.05/1953.22 c INPROCESSING
1944.05/1953.22 c GARBAGE COLLECT
1944.05/1953.22 c #Conflicts: 289000 | #Constraints: 13183
1944.05/1953.22 c #Conflicts: 290000 | #Constraints: 14183
1944.05/1953.22 c #Conflicts: 291000 | #Constraints: 15183
1944.05/1953.22 c #Conflicts: 292000 | #Constraints: 16183
1944.05/1953.22 c #Conflicts: 293000 | #Constraints: 17183
1944.05/1953.22 c #Conflicts: 294000 | #Constraints: 18183
1944.05/1953.22 c #Conflicts: 295000 | #Constraints: 19183
1944.05/1953.22 c #Conflicts: 296000 | #Constraints: 20183
1944.05/1953.22 c #Conflicts: 297000 | #Constraints: 21183
1944.05/1953.22 c #Conflicts: 298000 | #Constraints: 22183
1944.05/1953.22 c #Conflicts: 299000 | #Constraints: 23183
1944.05/1953.22 c INPROCESSING
1944.05/1953.22 c GARBAGE COLLECT
1944.05/1953.22 c #Conflicts: 300000 | #Constraints: 13389
1944.05/1953.22 c #Conflicts: 301000 | #Constraints: 14389
1944.05/1953.22 c #Conflicts: 302000 | #Constraints: 15389
1944.05/1953.22 c #Conflicts: 303000 | #Constraints: 16389
1944.05/1953.22 c #Conflicts: 304000 | #Constraints: 17389
1944.05/1953.22 c #Conflicts: 305000 | #Constraints: 18389
1944.05/1953.22 c #Conflicts: 306000 | #Constraints: 19389
1944.05/1953.22 c #Conflicts: 307000 | #Constraints: 20389
1944.05/1953.22 c #Conflicts: 308000 | #Constraints: 21389
1944.05/1953.22 c #Conflicts: 309000 | #Constraints: 22389
1944.05/1953.22 c #Conflicts: 310000 | #Constraints: 23389
1944.05/1953.22 c INPROCESSING
1944.05/1953.22 c GARBAGE COLLECT
1944.05/1953.22 c #Conflicts: 311000 | #Constraints: 13407
1944.05/1953.22 c #Conflicts: 312000 | #Constraints: 14407
1944.05/1953.22 c #Conflicts: 313000 | #Constraints: 15407
1944.05/1953.22 c #Conflicts: 314000 | #Constraints: 16407
1944.05/1953.22 c #Conflicts: 315000 | #Constraints: 17407
1944.05/1953.22 c #Conflicts: 316000 | #Constraints: 18407
1944.05/1953.22 c #Conflicts: 317000 | #Constraints: 19407
1944.05/1953.22 c #Conflicts: 318000 | #Constraints: 20407
1944.05/1953.22 c #Conflicts: 319000 | #Constraints: 21407
1944.05/1953.22 c #Conflicts: 320000 | #Constraints: 22407
1944.05/1953.22 c #Conflicts: 321000 | #Constraints: 23407
1944.05/1953.22 c INPROCESSING
1944.05/1953.22 c GARBAGE COLLECT
1944.05/1953.22 c #Conflicts: 322000 | #Constraints: 13226
1944.05/1953.22 c #Conflicts: 323000 | #Constraints: 14226
1944.05/1953.22 c #Conflicts: 324000 | #Constraints: 15226
1944.05/1953.22 c #Conflicts: 325000 | #Constraints: 16226
1944.05/1953.22 c #Conflicts: 326000 | #Constraints: 17226
1944.05/1953.22 c #Conflicts: 327000 | #Constraints: 18226
1944.05/1953.22 c #Conflicts: 328000 | #Constraints: 19226
1944.05/1953.22 c #Conflicts: 329000 | #Constraints: 20226
1944.05/1953.22 c #Conflicts: 330000 | #Constraints: 21226
1944.05/1953.22 c #Conflicts: 331000 | #Constraints: 22226
1944.05/1953.22 c #Conflicts: 332000 | #Constraints: 23226
1944.05/1953.22 c #Conflicts: 333000 | #Constraints: 24226
1944.05/1953.22 c INPROCESSING
1944.05/1953.22 c GARBAGE COLLECT
1944.05/1953.22 c #Conflicts: 334000 | #Constraints: 13798
1944.05/1953.22 c #Conflicts: 335000 | #Constraints: 14798
1944.05/1953.22 c #Conflicts: 336000 | #Constraints: 15798
1944.05/1953.22 c #Conflicts: 337000 | #Constraints: 16798
1944.05/1953.22 c #Conflicts: 338000 | #Constraints: 17798
1944.05/1953.22 c #Conflicts: 339000 | #Constraints: 18798
1944.05/1953.22 c #Conflicts: 340000 | #Constraints: 19798
1944.05/1953.22 c #Conflicts: 341000 | #Constraints: 20798
1944.05/1953.22 c #Conflicts: 342000 | #Constraints: 21798
1944.05/1953.22 c #Conflicts: 343000 | #Constraints: 22798
1944.05/1953.22 c #Conflicts: 344000 | #Constraints: 23798
1944.05/1953.22 c #Conflicts: 345000 | #Constraints: 24798
1944.05/1953.22 c INPROCESSING
1944.05/1953.22 c GARBAGE COLLECT
1944.05/1953.22 c #Conflicts: 346000 | #Constraints: 14195
1944.05/1953.22 c #Conflicts: 347000 | #Constraints: 15195
1944.05/1953.22 c #Conflicts: 348000 | #Constraints: 16195
1944.05/1953.22 c #Conflicts: 349000 | #Constraints: 17195
1944.05/1953.22 c #Conflicts: 350000 | #Constraints: 18195
1944.05/1953.22 c #Conflicts: 351000 | #Constraints: 19195
1944.05/1953.22 c #Conflicts: 352000 | #Constraints: 20195
1944.05/1953.22 c #Conflicts: 353000 | #Constraints: 21195
1944.05/1953.22 c #Conflicts: 354000 | #Constraints: 22195
1944.05/1953.22 c #Conflicts: 355000 | #Constraints: 23195
1944.05/1953.22 c #Conflicts: 356000 | #Constraints: 24195
1944.05/1953.22 c #Conflicts: 357000 | #Constraints: 25195
1944.05/1953.22 c INPROCESSING
1944.05/1953.22 c GARBAGE COLLECT
1944.05/1953.22 c #Conflicts: 358000 | #Constraints: 14393
1944.05/1953.22 c #Conflicts: 359000 | #Constraints: 15393
1944.05/1953.22 c #Conflicts: 360000 | #Constraints: 16393
1944.05/1953.22 c #Conflicts: 361000 | #Constraints: 17393
1944.05/1953.22 c #Conflicts: 362000 | #Constraints: 18393
2325.59/2337.25 c #Conflicts: 363000 | #Constraints: 19393
2325.59/2337.25 c #Conflicts: 364000 | #Constraints: 20393
2325.59/2337.25 c #Conflicts: 365000 | #Constraints: 21393
2325.59/2337.25 c #Conflicts: 366000 | #Constraints: 22393
2325.59/2337.25 c #Conflicts: 367000 | #Constraints: 23393
2325.59/2337.25 c #Conflicts: 368000 | #Constraints: 24393
2325.59/2337.25 c #Conflicts: 369000 | #Constraints: 25393
2325.59/2337.25 c INPROCESSING
2325.59/2337.25 c GARBAGE COLLECT
2325.59/2337.25 c #Conflicts: 370000 | #Constraints: 14421
2325.59/2337.25 c #Conflicts: 371000 | #Constraints: 15421
2325.59/2337.25 c #Conflicts: 372000 | #Constraints: 16421
2325.59/2337.25 c #Conflicts: 373000 | #Constraints: 17421
2325.59/2337.25 c #Conflicts: 374000 | #Constraints: 18421
2325.59/2337.25 c #Conflicts: 375000 | #Constraints: 19421
2325.59/2337.25 c #Conflicts: 376000 | #Constraints: 20421
2325.59/2337.25 c #Conflicts: 377000 | #Constraints: 21421
2325.59/2337.25 c #Conflicts: 378000 | #Constraints: 22421
2325.59/2337.25 c #Conflicts: 379000 | #Constraints: 23421
2325.59/2337.25 c #Conflicts: 380000 | #Constraints: 24421
2325.59/2337.25 c #Conflicts: 381000 | #Constraints: 25421
2325.59/2337.25 c INPROCESSING
2325.59/2337.25 c GARBAGE COLLECT
2325.59/2337.25 c #Conflicts: 382000 | #Constraints: 14229
2325.59/2337.25 c #Conflicts: 383000 | #Constraints: 15229
2325.59/2337.25 c #Conflicts: 384000 | #Constraints: 16229
2325.59/2337.25 c #Conflicts: 385000 | #Constraints: 17229
2325.59/2337.25 c #Conflicts: 386000 | #Constraints: 18229
2325.59/2337.25 c #Conflicts: 387000 | #Constraints: 19229
2325.59/2337.25 c #Conflicts: 388000 | #Constraints: 20229
2325.59/2337.25 c #Conflicts: 389000 | #Constraints: 21229
2325.59/2337.25 c #Conflicts: 390000 | #Constraints: 22229
2325.59/2337.25 c #Conflicts: 391000 | #Constraints: 23229
2325.59/2337.25 c #Conflicts: 392000 | #Constraints: 24229
2325.59/2337.25 c #Conflicts: 393000 | #Constraints: 25229
2325.59/2337.25 c #Conflicts: 394000 | #Constraints: 26229
2325.59/2337.25 c INPROCESSING
2325.59/2337.25 c GARBAGE COLLECT
2325.59/2337.25 c #Conflicts: 395000 | #Constraints: 14821
2325.59/2337.25 c #Conflicts: 396000 | #Constraints: 15821
2325.59/2337.25 c #Conflicts: 397000 | #Constraints: 16822
2325.59/2337.25 c #Conflicts: 398000 | #Constraints: 17822
2325.59/2337.25 c #Conflicts: 399000 | #Constraints: 18822
2325.59/2337.25 c #Conflicts: 400000 | #Constraints: 19822
2325.59/2337.25 c #Conflicts: 401000 | #Constraints: 20822
2325.59/2337.25 c #Conflicts: 402000 | #Constraints: 21822
2325.59/2337.25 c #Conflicts: 403000 | #Constraints: 22822
2325.59/2337.25 c #Conflicts: 404000 | #Constraints: 23822
2325.59/2337.25 c #Conflicts: 405000 | #Constraints: 24822
2325.59/2337.25 c #Conflicts: 406000 | #Constraints: 25822
2325.59/2337.25 c #Conflicts: 407000 | #Constraints: 26822
2325.59/2337.25 c INPROCESSING
2325.59/2337.25 c GARBAGE COLLECT
2325.59/2337.25 c #Conflicts: 408000 | #Constraints: 15203
2325.59/2337.25 c #Conflicts: 409000 | #Constraints: 16203
2325.59/2337.25 c #Conflicts: 410000 | #Constraints: 17203
2325.59/2337.25 c #Conflicts: 411000 | #Constraints: 18203
2325.59/2337.25 c #Conflicts: 412000 | #Constraints: 19203
2325.59/2337.25 c #Conflicts: 413000 | #Constraints: 20203
2325.59/2337.25 c #Conflicts: 414000 | #Constraints: 21203
2325.59/2337.25 c #Conflicts: 415000 | #Constraints: 22203
2325.59/2337.25 c #Conflicts: 416000 | #Constraints: 23203
2325.59/2337.25 c #Conflicts: 417000 | #Constraints: 24203
2325.59/2337.25 c #Conflicts: 418000 | #Constraints: 25203
2325.59/2337.25 c #Conflicts: 419000 | #Constraints: 26203
2325.59/2337.25 c #Conflicts: 420000 | #Constraints: 27203
2325.59/2337.25 c INPROCESSING
2325.59/2337.25 c GARBAGE COLLECT
2325.59/2337.25 c #Conflicts: 421000 | #Constraints: 15434
2325.59/2337.25 c #Conflicts: 422000 | #Constraints: 16434
2325.59/2337.25 c #Conflicts: 423000 | #Constraints: 17434
2325.59/2337.25 c #Conflicts: 424000 | #Constraints: 18434
2325.59/2337.25 c #Conflicts: 425000 | #Constraints: 19434
2325.59/2337.25 c #Conflicts: 426000 | #Constraints: 20434
2325.59/2337.25 c #Conflicts: 427000 | #Constraints: 21434
2325.59/2337.25 c #Conflicts: 428000 | #Constraints: 22434
2325.59/2337.25 c #Conflicts: 429000 | #Constraints: 23434
2325.59/2337.25 c #Conflicts: 430000 | #Constraints: 24434
2325.59/2337.25 c #Conflicts: 431000 | #Constraints: 25434
2325.59/2337.25 c #Conflicts: 432000 | #Constraints: 26434
2325.59/2337.25 c #Conflicts: 433000 | #Constraints: 27434
2325.59/2337.25 c INPROCESSING
2325.59/2337.25 c GARBAGE COLLECT
2325.59/2337.25 c #Conflicts: 434000 | #Constraints: 15464
2325.59/2337.25 c #Conflicts: 435000 | #Constraints: 16464
2325.59/2337.25 c #Conflicts: 436000 | #Constraints: 17464
2325.59/2337.25 c #Conflicts: 437000 | #Constraints: 18464
2745.77/2759.79 c #Conflicts: 438000 | #Constraints: 19464
2745.77/2759.79 c #Conflicts: 439000 | #Constraints: 20464
2745.77/2759.79 c #Conflicts: 440000 | #Constraints: 21464
2745.77/2759.79 c #Conflicts: 441000 | #Constraints: 22464
2745.77/2759.79 c #Conflicts: 442000 | #Constraints: 23464
2745.77/2759.79 c #Conflicts: 443000 | #Constraints: 24464
2745.77/2759.79 c #Conflicts: 444000 | #Constraints: 25464
2745.77/2759.79 c #Conflicts: 445000 | #Constraints: 26464
2745.77/2759.79 c #Conflicts: 446000 | #Constraints: 27464
2745.77/2759.79 c INPROCESSING
2745.77/2759.79 c GARBAGE COLLECT
2745.77/2759.79 c #Conflicts: 447000 | #Constraints: 15283
2745.77/2759.79 c #Conflicts: 448000 | #Constraints: 16283
2745.77/2759.79 c #Conflicts: 449000 | #Constraints: 17283
2745.77/2759.79 c #Conflicts: 450000 | #Constraints: 18283
2745.77/2759.79 c #Conflicts: 451000 | #Constraints: 19283
2745.77/2759.79 c #Conflicts: 452000 | #Constraints: 20283
2745.77/2759.79 c #Conflicts: 453000 | #Constraints: 21283
2745.77/2759.79 c #Conflicts: 454000 | #Constraints: 22283
2745.77/2759.79 c #Conflicts: 455000 | #Constraints: 23283
2745.77/2759.79 c #Conflicts: 456000 | #Constraints: 24283
2745.77/2759.79 c #Conflicts: 457000 | #Constraints: 25283
2745.77/2759.79 c #Conflicts: 458000 | #Constraints: 26283
2745.77/2759.79 c #Conflicts: 459000 | #Constraints: 27283
2745.77/2759.79 c #Conflicts: 460000 | #Constraints: 28283
2745.77/2759.79 c INPROCESSING
2745.77/2759.79 c GARBAGE COLLECT
2745.77/2759.79 c #Conflicts: 461000 | #Constraints: 15871
2745.77/2759.79 c #Conflicts: 462000 | #Constraints: 16871
2745.77/2759.79 c #Conflicts: 463000 | #Constraints: 17871
2745.77/2759.79 c #Conflicts: 464000 | #Constraints: 18871
2745.77/2759.79 c #Conflicts: 465000 | #Constraints: 19871
2745.77/2759.79 c #Conflicts: 466000 | #Constraints: 20871
2745.77/2759.79 c #Conflicts: 467000 | #Constraints: 21871
2745.77/2759.79 c #Conflicts: 468000 | #Constraints: 22871
2745.77/2759.79 c #Conflicts: 469000 | #Constraints: 23871
2745.77/2759.79 c #Conflicts: 470000 | #Constraints: 24871
2745.77/2759.79 c #Conflicts: 471000 | #Constraints: 25871
2745.77/2759.79 c #Conflicts: 472000 | #Constraints: 26871
2745.77/2759.79 c #Conflicts: 473000 | #Constraints: 27871
2745.77/2759.79 c #Conflicts: 474000 | #Constraints: 28871
2745.77/2759.79 c INPROCESSING
2745.77/2759.79 c GARBAGE COLLECT
2745.77/2759.79 c #Conflicts: 475000 | #Constraints: 16278
2745.77/2759.79 c #Conflicts: 476000 | #Constraints: 17278
2745.77/2759.79 c #Conflicts: 477000 | #Constraints: 18278
2745.77/2759.79 c #Conflicts: 478000 | #Constraints: 19278
2745.77/2759.79 c #Conflicts: 479000 | #Constraints: 20278
2745.77/2759.79 c #Conflicts: 480000 | #Constraints: 21278
2745.77/2759.79 c #Conflicts: 481000 | #Constraints: 22278
2745.77/2759.79 c #Conflicts: 482000 | #Constraints: 23278
2745.77/2759.79 c #Conflicts: 483000 | #Constraints: 24278
2745.77/2759.79 c #Conflicts: 484000 | #Constraints: 25278
2745.77/2759.79 c #Conflicts: 485000 | #Constraints: 26278
2745.77/2759.79 c #Conflicts: 486000 | #Constraints: 27278
2745.77/2759.79 c #Conflicts: 487000 | #Constraints: 28278
2745.77/2759.79 c #Conflicts: 488000 | #Constraints: 29278
2745.77/2759.79 c INPROCESSING
2745.77/2759.79 c GARBAGE COLLECT
2745.77/2759.79 c #Conflicts: 489000 | #Constraints: 16489
2745.77/2759.79 c #Conflicts: 490000 | #Constraints: 17489
2745.77/2759.79 c #Conflicts: 491000 | #Constraints: 18489
2745.77/2759.79 c #Conflicts: 492000 | #Constraints: 19489
2745.77/2759.79 c #Conflicts: 493000 | #Constraints: 20489
2745.77/2759.79 c #Conflicts: 494000 | #Constraints: 21489
2745.77/2759.79 c #Conflicts: 495000 | #Constraints: 22489
2745.77/2759.79 c #Conflicts: 496000 | #Constraints: 23489
2745.77/2759.79 c #Conflicts: 497000 | #Constraints: 24489
2745.77/2759.79 c #Conflicts: 498000 | #Constraints: 25489
2745.77/2759.79 c #Conflicts: 499000 | #Constraints: 26489
2745.77/2759.79 c #Conflicts: 500000 | #Constraints: 27489
2745.77/2759.79 c #Conflicts: 501000 | #Constraints: 28489
2745.77/2759.79 c #Conflicts: 502000 | #Constraints: 29489
2745.77/2759.79 c INPROCESSING
2745.77/2759.79 c GARBAGE COLLECT
2745.77/2759.79 c #Conflicts: 503000 | #Constraints: 16504
2745.77/2759.79 c #Conflicts: 504000 | #Constraints: 17504
2745.77/2759.79 c #Conflicts: 505000 | #Constraints: 18504
2745.77/2759.79 c #Conflicts: 506000 | #Constraints: 19504
2745.77/2759.79 c #Conflicts: 507000 | #Constraints: 20504
2745.77/2759.79 c #Conflicts: 508000 | #Constraints: 21504
2745.77/2759.79 c #Conflicts: 509000 | #Constraints: 22504
2745.77/2759.79 c #Conflicts: 510000 | #Constraints: 23504
2745.77/2759.79 c #Conflicts: 511000 | #Constraints: 24504
2745.77/2759.79 c #Conflicts: 512000 | #Constraints: 25504
2745.77/2759.79 c #Conflicts: 513000 | #Constraints: 26504
2830.66/2845.15 c #Conflicts: 514000 | #Constraints: 27504
2830.66/2845.15 c #Conflicts: 515000 | #Constraints: 28504
2830.66/2845.15 c #Conflicts: 516000 | #Constraints: 29504
2830.66/2845.15 c INPROCESSING
2830.66/2845.15 c GARBAGE COLLECT
2830.66/2845.15 c #Conflicts: 517000 | #Constraints: 16257
2830.66/2845.15 c #Conflicts: 518000 | #Constraints: 17257
2830.66/2845.15 c #Conflicts: 519000 | #Constraints: 18257
2830.66/2845.15 c #Conflicts: 520000 | #Constraints: 19257
2830.66/2845.15 c #Conflicts: 521000 | #Constraints: 20257
2830.66/2845.15 c #Conflicts: 522000 | #Constraints: 21257
2830.66/2845.15 c #Conflicts: 523000 | #Constraints: 22257
2830.66/2845.15 c #Conflicts: 524000 | #Constraints: 23257
2830.66/2845.15 c #Conflicts: 525000 | #Constraints: 24257
2830.66/2845.15 c #Conflicts: 526000 | #Constraints: 25257
2830.66/2845.15 c #Conflicts: 527000 | #Constraints: 26257
2830.66/2845.15 c #Conflicts: 528000 | #Constraints: 27257
2830.66/2845.15 c #Conflicts: 529000 | #Constraints: 28257
2830.66/2845.15 c #Conflicts: 530000 | #Constraints: 29257
2830.66/2845.15 c #Conflicts: 531000 | #Constraints: 30257
2830.66/2845.15 c INPROCESSING
2830.66/2845.15 c GARBAGE COLLECT
2830.66/2845.15 c rational objective 153
3001.58/3016.88 c #Conflicts: 532000 | #Constraints: 16850
3001.58/3016.88 c #Conflicts: 533000 | #Constraints: 17850
3001.58/3016.88 c #Conflicts: 534000 | #Constraints: 18850
3001.58/3016.88 c #Conflicts: 535000 | #Constraints: 19850
3001.58/3016.88 c #Conflicts: 536000 | #Constraints: 20850
3001.58/3016.88 c #Conflicts: 537000 | #Constraints: 21850
3001.58/3016.88 c #Conflicts: 538000 | #Constraints: 22850
3001.58/3016.88 c #Conflicts: 539000 | #Constraints: 23850
3001.58/3016.88 c #Conflicts: 540000 | #Constraints: 24850
3001.58/3016.88 c #Conflicts: 541000 | #Constraints: 25850
3001.58/3016.88 c #Conflicts: 542000 | #Constraints: 26850
3001.58/3016.88 c #Conflicts: 543000 | #Constraints: 27850
3001.58/3016.88 c #Conflicts: 544000 | #Constraints: 28850
3001.58/3016.88 c #Conflicts: 545000 | #Constraints: 29850
3001.58/3016.88 c #Conflicts: 546000 | #Constraints: 30850
3001.58/3016.88 c INPROCESSING
3001.58/3016.88 c GARBAGE COLLECT
3001.58/3016.88 c #Conflicts: 547000 | #Constraints: 17249
3001.58/3016.88 c #Conflicts: 548000 | #Constraints: 18249
3001.58/3016.88 c #Conflicts: 549000 | #Constraints: 19249
3001.58/3016.88 c #Conflicts: 550000 | #Constraints: 20249
3001.58/3016.88 c #Conflicts: 551000 | #Constraints: 21249
3001.58/3016.88 c #Conflicts: 552000 | #Constraints: 22249
3001.58/3016.88 c #Conflicts: 553000 | #Constraints: 23249
3001.58/3016.88 c #Conflicts: 554000 | #Constraints: 24249
3001.58/3016.88 c #Conflicts: 555000 | #Constraints: 25249
3001.58/3016.88 c #Conflicts: 556000 | #Constraints: 26249
3001.58/3016.88 c #Conflicts: 557000 | #Constraints: 27249
3001.58/3016.88 c #Conflicts: 558000 | #Constraints: 28249
3001.58/3016.88 c #Conflicts: 559000 | #Constraints: 29249
3001.58/3016.88 c #Conflicts: 560000 | #Constraints: 30249
3001.58/3016.88 c #Conflicts: 561000 | #Constraints: 31249
3001.58/3016.88 c INPROCESSING
3001.58/3016.88 c GARBAGE COLLECT
3001.58/3016.88 c rational objective 153
3409.17/3426.89 c #Conflicts: 562000 | #Constraints: 17411
3409.17/3426.89 c #Conflicts: 563000 | #Constraints: 18411
3409.17/3426.89 c #Conflicts: 564000 | #Constraints: 19411
3409.17/3426.89 c #Conflicts: 565000 | #Constraints: 20411
3409.17/3426.89 c #Conflicts: 566000 | #Constraints: 21411
3409.17/3426.89 c #Conflicts: 567000 | #Constraints: 22411
3409.17/3426.89 c #Conflicts: 568000 | #Constraints: 23411
3409.17/3426.89 c #Conflicts: 569000 | #Constraints: 24411
3409.17/3426.89 c #Conflicts: 570000 | #Constraints: 25411
3409.17/3426.89 c #Conflicts: 571000 | #Constraints: 26411
3409.17/3426.89 c #Conflicts: 572000 | #Constraints: 27411
3409.17/3426.89 c #Conflicts: 573000 | #Constraints: 28411
3409.17/3426.89 c #Conflicts: 574000 | #Constraints: 29411
3409.17/3426.89 c #Conflicts: 575000 | #Constraints: 30411
3409.17/3426.89 c #Conflicts: 576000 | #Constraints: 31411
3409.17/3426.89 c INPROCESSING
3409.17/3426.89 c GARBAGE COLLECT
3409.17/3426.89 c #Conflicts: 577000 | #Constraints: 17445
3409.17/3426.89 c #Conflicts: 578000 | #Constraints: 18445
3409.17/3426.89 c #Conflicts: 579000 | #Constraints: 19445
3409.17/3426.89 c #Conflicts: 580000 | #Constraints: 20445
3409.17/3426.89 c #Conflicts: 581000 | #Constraints: 21445
3409.17/3426.89 c #Conflicts: 582000 | #Constraints: 22445
3409.17/3426.89 c #Conflicts: 583000 | #Constraints: 23445
3409.17/3426.89 c #Conflicts: 584000 | #Constraints: 24445
3409.17/3426.89 c #Conflicts: 585000 | #Constraints: 25445
3409.17/3426.89 c #Conflicts: 586000 | #Constraints: 26445
3409.17/3426.89 c #Conflicts: 587000 | #Constraints: 27445
3409.17/3426.89 c #Conflicts: 588000 | #Constraints: 28445
3409.17/3426.89 c #Conflicts: 589000 | #Constraints: 29445
3409.17/3426.89 c #Conflicts: 590000 | #Constraints: 30445
3409.17/3426.89 c #Conflicts: 591000 | #Constraints: 31445
3409.17/3426.89 c INPROCESSING
3409.17/3426.89 c GARBAGE COLLECT
3409.17/3426.89 c #Conflicts: 592000 | #Constraints: 17254
3409.17/3426.89 c #Conflicts: 593000 | #Constraints: 18254
3409.17/3426.89 c #Conflicts: 594000 | #Constraints: 19254
3409.17/3426.89 c #Conflicts: 595000 | #Constraints: 20254
3409.17/3426.89 c #Conflicts: 596000 | #Constraints: 21254
3409.17/3426.89 c #Conflicts: 597000 | #Constraints: 22254
3409.17/3426.89 c #Conflicts: 598000 | #Constraints: 23254
3409.17/3426.89 c #Conflicts: 599000 | #Constraints: 24254
3409.17/3426.89 c #Conflicts: 600000 | #Constraints: 25254
3409.17/3426.89 c #Conflicts: 601000 | #Constraints: 26254
3409.17/3426.89 c #Conflicts: 602000 | #Constraints: 27254
3409.17/3426.89 c #Conflicts: 603000 | #Constraints: 28254
3409.17/3426.89 c #Conflicts: 604000 | #Constraints: 29254
3409.17/3426.89 c #Conflicts: 605000 | #Constraints: 30254
3409.17/3426.89 c #Conflicts: 606000 | #Constraints: 31254
3409.17/3426.89 c #Conflicts: 607000 | #Constraints: 32254
3409.17/3426.89 c INPROCESSING
3409.17/3426.89 c GARBAGE COLLECT
3409.17/3426.89 c #Conflicts: 608000 | #Constraints: 17863
3409.17/3426.89 c #Conflicts: 609000 | #Constraints: 18863
3409.17/3426.89 c #Conflicts: 610000 | #Constraints: 19863
3409.17/3426.89 c #Conflicts: 611000 | #Constraints: 20863
3409.17/3426.89 c #Conflicts: 612000 | #Constraints: 21863
3409.17/3426.89 c #Conflicts: 613000 | #Constraints: 22863
3409.17/3426.89 c #Conflicts: 614000 | #Constraints: 23863
3409.17/3426.89 c #Conflicts: 615000 | #Constraints: 24863
3409.17/3426.89 c #Conflicts: 616000 | #Constraints: 25863
3409.17/3426.89 c #Conflicts: 617000 | #Constraints: 26863
3409.17/3426.89 c #Conflicts: 618000 | #Constraints: 27863
3409.17/3426.89 c #Conflicts: 619000 | #Constraints: 28863
3409.17/3426.89 c #Conflicts: 620000 | #Constraints: 29863
3409.17/3426.89 c #Conflicts: 621000 | #Constraints: 30863
3409.17/3426.89 c #Conflicts: 622000 | #Constraints: 31864
3409.17/3426.89 c #Conflicts: 623000 | #Constraints: 32864
3409.17/3426.89 c INPROCESSING
3409.17/3426.89 c GARBAGE COLLECT
3409.17/3426.89 c #Conflicts: 624000 | #Constraints: 18257
3409.17/3426.89 c #Conflicts: 625000 | #Constraints: 19257
3409.17/3426.89 c #Conflicts: 626000 | #Constraints: 20257
3409.17/3426.89 c #Conflicts: 627000 | #Constraints: 21257
3409.17/3426.89 c #Conflicts: 628000 | #Constraints: 22257
3409.17/3426.89 c #Conflicts: 629000 | #Constraints: 23257
3409.17/3426.89 c #Conflicts: 630000 | #Constraints: 24257
3409.17/3426.89 c #Conflicts: 631000 | #Constraints: 25257
3409.17/3426.89 c #Conflicts: 632000 | #Constraints: 26257
3409.17/3426.89 c #Conflicts: 633000 | #Constraints: 27257
3409.17/3426.89 c #Conflicts: 634000 | #Constraints: 28257
3409.17/3426.89 c #Conflicts: 635000 | #Constraints: 29257
3409.17/3426.89 c #Conflicts: 636000 | #Constraints: 30257
3409.17/3426.89 c #Conflicts: 637000 | #Constraints: 31257
3409.17/3426.89 c #Conflicts: 638000 | #Constraints: 32257
3600.08/3618.70 c #Conflicts: 639000 | #Constraints: 33257
3600.08/3618.70 c INPROCESSING
3600.08/3618.70 c GARBAGE COLLECT
3600.08/3618.70 c #Conflicts: 640000 | #Constraints: 18420
3600.08/3618.70 c #Conflicts: 641000 | #Constraints: 19420
3600.08/3618.70 c #Conflicts: 642000 | #Constraints: 20420
3600.08/3618.70 c #Conflicts: 643000 | #Constraints: 21420
3600.08/3618.70 c #Conflicts: 644000 | #Constraints: 22420
3600.08/3618.70 c #Conflicts: 645000 | #Constraints: 23420
3600.08/3618.70 c #Conflicts: 646000 | #Constraints: 24420
3600.08/3618.70 c #Conflicts: 647000 | #Constraints: 25420
3600.08/3618.70 c #Conflicts: 648000 | #Constraints: 26420
3600.08/3618.70 c #Conflicts: 649000 | #Constraints: 27420
3600.08/3618.70 c #Conflicts: 650000 | #Constraints: 28420
3600.08/3618.70 c #Conflicts: 651000 | #Constraints: 29420
3600.08/3618.70 c #Conflicts: 652000 | #Constraints: 30420
3600.08/3618.70 c #Conflicts: 653000 | #Constraints: 31420
3600.08/3618.70 c #Conflicts: 654000 | #Constraints: 32420
3600.08/3618.70 c #Conflicts: 655000 | #Constraints: 33420
3600.08/3618.70 c INPROCESSING
3600.08/3618.70 c GARBAGE COLLECT
3600.08/3618.70 c #Conflicts: 656000 | #Constraints: 18446
3600.08/3618.70 c #Conflicts: 657000 | #Constraints: 19446
3600.08/3618.70 c #Conflicts: 658000 | #Constraints: 20446
3600.08/3618.70 c #Conflicts: 659000 | #Constraints: 21446
3600.08/3618.70 c cpu time 3574.56 s
3600.08/3618.70 c deterministic time 214053509994 2.14e+11
3600.08/3618.70 c optimization time 35.5157 s
3600.08/3618.70 c total solve time 3538.94 s
3600.08/3618.70 c core-guided solve time 0 s
3600.08/3618.70 c propagation time 1235.67 s
3600.08/3618.70 c conflict analysis time 905.199 s
3600.08/3618.70 c propagations 192664283
3600.08/3618.70 c resolve steps 6964282
3600.08/3618.70 c decisions 8550441
3600.08/3618.70 c conflicts 659091
3600.08/3618.70 c restarts 1404
3600.08/3618.70 c inprocessing phases 72
3600.08/3618.70 c garbage collections 72 ,( 100.00 )
3600.08/3618.70 c input clauses 612 ,( 44.16 )
3600.08/3618.70 c input cardinalities 774 ,( 55.84 )
3600.08/3618.70 c input general constraints 0 ,( 0.00 )
3600.08/3618.70 c input average constraint length 168.90
3600.08/3618.70 c input average constraint degree 101.10
3600.08/3618.70 c learned clauses 70833 ,( 10.75 )
3600.08/3618.70 c learned cardinalities 46621 ,( 7.07 )
3600.08/3618.70 c learned general constraints 541643 ,( 82.18 )
3600.08/3618.70 c learned average constraint length 2244.57
3600.08/3618.70 c learned average constraint degree 6207889.09
3600.08/3618.70 c watched CF 32, 64, 128, Arb: 283193 , 0 , 0 , 0
3600.08/3618.70 c counting CF 32, 64, 128, Arb: 258450 , 0 , 0 , 0
3600.08/3618.70 c watched constraints 283193 ,( 52.28 )
3600.08/3618.70 c counting constraints 258450 ,( 47.72 )
3600.08/3618.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 41829257 , 490150125 , 365434136 ,( 99204111 , 266230025 )
3600.08/3618.70 c gcd simplifications 40
3600.08/3618.70 c detected cardinalities 0
3600.08/3618.70 c weakened non-implied lits 1165879120
3600.08/3618.70 c weakened non-implying lits 326984
3600.08/3618.70 c original variables 23409
3600.08/3618.70 c clausal propagations 1098813
3600.08/3618.70 c cardinality propagations 152313932
3600.08/3618.70 c watched propagations 2889871
3600.08/3618.70 c counting propagations 32741719
3600.08/3618.70 c watch lookups 19549725448
3600.08/3618.70 c watch backjump lookups 0
3600.08/3618.70 c watch checks 61763106784
3600.08/3618.70 c propagation checks 127588088501
3600.08/3618.70 c constraint additions 4749322060
3600.08/3618.70 c trail pops 201851036
3600.08/3618.70 c formula constraints 1386
3600.08/3618.70 c learned constraints 659085
3600.08/3618.70 c bound constraints 0
3600.08/3618.70 c core-guided constraints 0
3600.08/3618.70 c encountered formula constraints 2874722
3600.08/3618.70 c encountered learned constraints 4748628
3600.08/3618.70 c encountered bound constraints 0
3600.08/3618.70 c encountered core-guided constraints 0
3600.08/3618.70 c LP total time 194.465 s
3600.08/3618.70 c LP solve time 177.47 s
3600.08/3618.70 c LP constraints added 1389
3600.08/3618.70 c LP constraints removed 1
3600.08/3618.70 c LP pivots internal 73117
3600.08/3618.70 c LP pivots root 128323
3600.08/3618.70 c LP calls 15
3600.08/3618.70 c LP optimalities 3
3600.08/3618.70 c LP no pivot count 0
3600.08/3618.70 c LP infeasibilities 5
3600.08/3618.70 c LP valid Farkas constraints 5
3600.08/3618.70 c LP learned Farkas constraints 5
3600.08/3618.70 c LP basis resets 0
3600.08/3618.70 c LP cycling count 0
3600.08/3618.70 c LP singular count 0
3600.08/3618.70 c LP no primal count 0
3600.08/3618.70 c LP no farkas count 0
3600.08/3618.70 c LP other issue count 0
3600.08/3618.70 c LP Gomory cuts 2
3600.08/3618.70 c LP learned cuts 1
3600.08/3618.70 c LP deleted cuts 1
3600.08/3618.70 c LP encountered Gomory constraints 0
3600.08/3618.70 c LP encountered Farkas constraints 14
3600.08/3618.70 c LP encountered learned Farkas constraints 4
3600.08/3618.70 c CG auxiliary variables introduced 0
3600.08/3618.70 c CG solutions found 0
3600.08/3618.70 c CG cores constructed 0
3600.08/3618.70 c CG core cardinality constraints returned 0
3600.08/3618.70 c CG unit cores 0
3600.08/3618.70 c CG single cores 0
3600.08/3618.70 c CG blocks removed during cardinality reduction 0
3600.08/3618.70 c CG first core best 0
3600.08/3618.70 c CG decision core best 0
3600.08/3618.70 c CG core reduction tie 0
3600.08/3618.70 c CG core degree average 0.00
3600.08/3618.70 c CG core slack average 0.00
3600.08/3618.70 c CG core upper bound improvements 0
3600.08/3618.70 c STR number of successful calls 0
3600.08/3618.70 c STR number of unsuccessful calls 0
3600.08/3618.70 c STR number of inconclusive calls 0
3600.08/3618.70 c STR number of successful attempts 0
3600.08/3618.70 c STR number of unsuccessful attempts 0
3600.08/3618.70 c STR number of inconclusive attempts 0
3600.08/3618.70 c STR average degree increase per successful call inf
3600.08/3618.70 c STR average degree increase per successful attempt inf
3600.08/3618.70 c STR total number of conflicts for successful attempts 0
3600.08/3618.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3618.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3618.70 c STR average number of conflicts per successful attempt inf
3600.08/3618.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3618.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3618.70 c AVG.sumWPerc 40.58
3600.08/3618.70 c bigint constraints 0
3600.08/3618.70 s UNKNOWN
3600.08/3618.70 c Program interrupted by user.
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 (63154 MiB free)
memory of node 1: 64465 MiB (63974 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493305-1751155546/watcher-4493305-1751155546 -o /tmp/evaluation-result-4493305-1751155546/solver-4493305-1751155546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15095 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4493305-1751155546.opb PROOFDIR/proof-4493305-1751155546
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=15155, runsolver pid=15147
[startup+0.100064 s]*
/proc/loadavg: 1.53 2.59 3.20 4/268 15158
/proc/meminfo: memFree=130104440/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31233209 4292608 736 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 736 672 219 0 110 0
[pid=15158] ppid=15155 vsize=64668 memory=43736 CPUtime=0.08 cores=4,6
/proc/15158/stat : 15158 (pbsuma) R 15155 15155 15084 0 -1 4194304 12364 0 0 0 6 2 0 0 20 0 1 0 31233210 66220032 10934 18446744073709551615 4210688 4653049 140726569052928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33902592 140726569056483 140726569056818 140726569056818 140726569062383 0
/proc/15158/statm: 16167 10934 992 108 0 13575 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68860 KiB
Current children cumulated memory: 46680 KiB
[startup+0.205787 s]*
/proc/loadavg: 1.53 2.59 3.20 4/268 15159
/proc/meminfo: memFree=130060280/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31233209 4292608 736 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 736 672 219 0 110 0
[pid=15158] ppid=15155 vsize=74900 memory=55768 CPUtime=0.18 cores=4,6
/proc/15158/stat : 15158 (pbsuma) R 15155 15155 15084 0 -1 4194304 15976 0 0 0 16 2 0 0 20 0 1 0 31233210 76697600 13942 18446744073709551615 4210688 4653049 140726569052928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33902592 140726569056483 140726569056818 140726569056818 140726569062383 0
/proc/15158/statm: 18725 13942 992 108 0 16133 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79092 KiB
Current children cumulated memory: 58712 KiB
[startup+0.305427 s]*
/proc/loadavg: 1.53 2.59 3.20 5/268 15160
/proc/meminfo: memFree=130089312/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31233209 4292608 736 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 736 672 219 0 110 0
[pid=15158] ppid=15155 vsize=86696 memory=68056 CPUtime=0.28 cores=4,6
/proc/15158/stat : 15158 (pbsuma) R 15155 15155 15084 0 -1 4194304 19050 0 0 0 25 3 0 0 20 0 1 0 31233210 88776704 17014 18446744073709551615 4210688 4653049 140726569052928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33902592 140726569056483 140726569056818 140726569056818 140726569062383 0
/proc/15158/statm: 21674 17014 992 108 0 19082 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 90888 KiB
Current children cumulated memory: 71000 KiB
[startup+0.700144 s]
/proc/loadavg: 1.72 2.62 3.20 4/264 15160
/proc/meminfo: memFree=130073268/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31233209 4292608 736 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 736 672 219 0 110 0
[pid=15158] ppid=15155 vsize=90264 memory=72792 CPUtime=0.67 cores=4,6
/proc/15158/stat : 15158 (pbsuma) R 15155 15155 15084 0 -1 4194304 20241 0 0 0 64 3 0 0 20 0 1 0 31233210 92430336 18198 18446744073709551615 4210688 4653049 140726569052928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33902592 140726569056483 140726569056818 140726569056818 140726569062383 0
/proc/15158/statm: 22566 18198 992 108 0 19974 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 94456 KiB
Current children cumulated memory: 75736 KiB
[startup+1.50021 s]
/proc/loadavg: 1.72 2.62 3.20 3/263 15168
/proc/meminfo: memFree=129971656/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31233209 4292608 736 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 736 672 219 0 110 0
[pid=15158] ppid=15155 vsize=90264 memory=73688 CPUtime=1.46 cores=4,6
/proc/15158/stat : 15158 (pbsuma) R 15155 15155 15084 0 -1 4194304 20457 0 0 0 142 4 0 0 20 0 1 0 31233210 92430336 18422 18446744073709551615 4210688 4653049 140726569052928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33902592 140726569056483 140726569056818 140726569056818 140726569062383 0
/proc/15158/statm: 22566 18422 992 108 0 19974 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 94456 KiB
Current children cumulated memory: 76632 KiB
[startup+3.10514 s]
/proc/loadavg: 1.72 2.62 3.20 5/259 15263
/proc/meminfo: memFree=129873452/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=93660 memory=49420 CPUtime=0.59 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 13476 0 0 0 56 3 0 0 20 0 1 0 31233459 95907840 12355 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 23415 12355 2304 1147 0 10842 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 97852 KiB
Current children cumulated memory: 52492 KiB
[startup+6.30014 s]
/proc/loadavg: 1.91 2.64 3.20 5/264 15331
/proc/meminfo: memFree=129927248/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=93660 memory=49420 CPUtime=3.76 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 13476 0 0 0 373 3 0 0 20 0 1 0 31233459 95907840 12355 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 23415 12355 2304 1147 0 10842 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 97852 KiB
Current children cumulated memory: 52492 KiB
[startup+12.7001 s]
/proc/loadavg: 2.08 2.66 3.21 5/269 15447
/proc/meminfo: memFree=129982936/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=93660 memory=49420 CPUtime=10.15 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 13476 0 0 0 1012 3 0 0 20 0 1 0 31233459 95907840 12355 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 23415 12355 2304 1147 0 10842 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 97852 KiB
Current children cumulated memory: 52492 KiB
[startup+25.5002 s]
/proc/loadavg: 2.37 2.71 3.22 5/269 15447
/proc/meminfo: memFree=129768336/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=135316 memory=89644 CPUtime=22.92 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 21939 0 0 0 2278 14 0 0 20 0 1 0 31233459 138563584 22411 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 33829 22411 2368 1147 0 21256 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 139508 KiB
Current children cumulated memory: 92716 KiB
[startup+51.1054 s]
/proc/loadavg: 3.07 2.85 3.25 4/269 15501
/proc/meminfo: memFree=129549960/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=149008 memory=105416 CPUtime=48.45 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 25375 0 0 0 4824 21 0 0 20 0 1 0 31233459 152584192 26354 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 37252 26354 2368 1147 0 24679 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 153200 KiB
Current children cumulated memory: 108488 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 3.03 3.29 5/274 15878
/proc/meminfo: memFree=129151220/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=210936 memory=155168 CPUtime=99.49 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 34234 0 0 0 9902 47 0 0 20 0 1 0 31233459 215998464 38792 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 52734 38792 2368 1147 0 40161 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 215128 KiB
Current children cumulated memory: 158240 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.22 3.34 5/274 16020
/proc/meminfo: memFree=128663852/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=234664 memory=189996 CPUtime=159.25 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 40151 0 0 0 15857 68 0 0 20 0 1 0 31233459 240295936 47499 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 58666 47499 2368 1147 0 46093 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 238856 KiB
Current children cumulated memory: 193068 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.40 3.40 5/274 16302
/proc/meminfo: memFree=128214156/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=247960 memory=203436 CPUtime=219.06 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 43503 0 0 0 21807 99 0 0 20 0 1 0 31233459 253911040 50859 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 61990 50859 2368 1147 0 49417 0
################
# More data... #
################
[pid=15244] ppid=15155 vsize=1545560 memory=1313240 CPUtime=3084.12 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 265361 0 0 0 306446 1966 0 0 20 0 1 0 31233459 1582653440 328310 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 386390 328310 2400 1147 0 373817 0
Current children cumulated CPU time: 3086.57 s
Current children cumulated vsize: 1549752 KiB
Current children cumulated memory: 1316312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/273 18906
/proc/meminfo: memFree=110140324/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1545560 memory=1320408 CPUtime=3143.86 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 265363 0 0 0 312364 2022 0 0 20 0 1 0 31233459 1582653440 330102 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 386390 330102 2400 1147 0 373817 0
Current children cumulated CPU time: 3146.31 s
Current children cumulated vsize: 1549752 KiB
Current children cumulated memory: 1323480 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/271 18908
/proc/meminfo: memFree=109799028/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1545560 memory=1320408 CPUtime=3203.44 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 265461 0 0 0 318283 2061 0 0 20 0 1 0 31233459 1582653440 330102 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 386390 330102 2400 1147 0 373817 0
Current children cumulated CPU time: 3205.89 s
Current children cumulated vsize: 1549752 KiB
Current children cumulated memory: 1323480 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/271 18912
/proc/meminfo: memFree=109453672/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1545560 memory=1320408 CPUtime=3263.11 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 265527 0 0 0 324216 2095 0 0 20 0 1 0 31233459 1582653440 330102 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 386390 330102 2400 1147 0 373817 0
Current children cumulated CPU time: 3265.56 s
Current children cumulated vsize: 1549752 KiB
Current children cumulated memory: 1323480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/271 18931
/proc/meminfo: memFree=109074740/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1545932 memory=1320664 CPUtime=3322.69 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 265609 0 0 0 330131 2138 0 0 20 0 1 0 31233459 1583034368 330166 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 386483 330166 2400 1147 0 373910 0
Current children cumulated CPU time: 3325.14 s
Current children cumulated vsize: 1550124 KiB
Current children cumulated memory: 1323736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/272 18934
/proc/meminfo: memFree=108710152/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1547212 memory=1321688 CPUtime=3382.42 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 265865 0 0 0 336062 2180 0 0 20 0 1 0 31233459 1584345088 330422 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 386803 330422 2400 1147 0 374230 0
Current children cumulated CPU time: 3384.87 s
Current children cumulated vsize: 1551404 KiB
Current children cumulated memory: 1324760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/273 18937
/proc/meminfo: memFree=108359716/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1549552 memory=1324120 CPUtime=3442.12 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 266452 0 0 0 341990 2222 0 0 20 0 1 0 31233459 1586741248 331030 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 387388 331030 2400 1147 0 374815 0
Current children cumulated CPU time: 3444.57 s
Current children cumulated vsize: 1553744 KiB
Current children cumulated memory: 1327192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/273 18939
/proc/meminfo: memFree=107934996/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1557380 memory=1331928 CPUtime=3501.55 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 268539 0 0 0 347883 2272 0 0 20 0 1 0 31233459 1594757120 332982 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 389345 332982 2400 1147 0 376772 0
Current children cumulated CPU time: 3504 s
Current children cumulated vsize: 1561572 KiB
Current children cumulated memory: 1335000 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/273 18941
/proc/meminfo: memFree=107813276/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1560620 memory=1333848 CPUtime=3561.34 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 269022 0 0 0 353842 2292 0 0 20 0 1 0 31233459 1598074880 333462 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 390155 333462 2400 1147 0 377582 0
Current children cumulated CPU time: 3563.79 s
Current children cumulated vsize: 1564812 KiB
Current children cumulated memory: 1336920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3618.7 s]
/proc/loadavg: 4.12 4.10 4.07 5/274 18944
/proc/meminfo: memFree=107606024/131249988 swapFree=33010684/33010684
[pid=15155] ppid=15147 vsize=4192 memory=3072 CPUtime=2.45 cores=4,6
/proc/15155/stat : 15155 (run-dec-break-l) S 15147 15155 15084 0 -1 4194304 240 24538 0 0 0 0 240 5 20 0 1 0 31233209 4292608 768 18446744073709551615 94121820418048 94121821312581 140731211219776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94121821551632 94121821599376 94121833316352 140731211221269 140731211221470 140731211221470 140731211227072 0
/proc/15155/statm: 1048 768 704 219 0 110 0
[pid=15244] ppid=15155 vsize=1560620 memory=1333848 CPUtime=3597.63 cores=4,6
/proc/15244/stat : 15244 (roundingsat) R 15155 15155 15084 0 -1 4194304 269022 0 0 0 357456 2307 0 0 20 0 1 0 31233459 1598074880 333462 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 390155 333462 2400 1147 0 377582 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1564812 KiB
Current children cumulated memory: 1336920 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3618.7 s]
# the end of solver process 15155 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=2.40125 s, system=0.061678 s
Sleeping 2 seconds
[startup+3618.86 s]
# the end of solver process 15244 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.97 s, system=23.1572 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3618.8 s]*
/proc/loadavg: 4.12 4.10 4.07 4/273 18944
/proc/meminfo: memFree=107614076/131249988 swapFree=33010684/33010684
[pid=15244] ppid=15147 vsize=1560620 memory=1334104 CPUtime=3597.64 cores=4,6
/proc/15244/stat : 15244 (roundingsat) D 15147 15155 15084 0 -1 4194304 269028 0 0 0 357456 2308 0 0 20 0 1 0 31233459 1598074880 333526 18446744073709551615 4227072 8923433 140728868380736 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 22908928 140728868382964 140728868383272 140728868383272 140728868388842 0
/proc/15244/statm: 390155 333526 2464 1147 0 377582 0
Current cumulated CPU time of completed processes: 2.46292 s
Current children cumulated CPU time: 3597.64 s
Current children cumulated vsize: 1560620 KiB
Current children cumulated memory: 1334104 KiB
Child status: 2
Real time (s): 3618.86
CPU time (s): 3600.13
CPU user time (s): 3576.97
CPU system time (s): 23.1572
CPU usage (%): 99.4824
Max. virtual memory (cumulated for all children) (KiB): 1564812
Max. memory (cumulated for all children) (KiB): 1336920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.97
system time used= 23.1572
maximum resident set size= 1334104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27104128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3499
involuntary context switches= 4639
# summary of solver processes directly reported to runsolver:
# pid: 15155,15244
# total CPU time (s): 3600.13
# total CPU user time (s): 3576.97
# total CPU system time (s): 23.1572
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16387 second user time and 16.5706 second system time
The end
Begin job on nodeC031 at 2025-06-29 02:05:47
IDJOB=4493305
IDBENCH=147859
IDSOLVER=3358
FILE ID=nodeC031/4493305-1751155546
RUNJOBID= nodeC031-1751155546-15095
SLURM_JOB_ID= 9587472
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493305-1751155546/watcher-4493305-1751155546 -o /tmp/evaluation-result-4493305-1751155546/solver-4493305-1751155546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15095 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4493305-1751155546.opb PROOFDIR/proof-4493305-1751155546
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=982331567
nodeC031 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 : 3600.051
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.040
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.78
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.050
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.915
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.78
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 : 3595.735
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.78
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.909
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.892
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.78
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 : 1642.246
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 130189704 kB
MemAvailable: 129804300 kB
Buffers: 3280 kB
Cached: 394536 kB
SwapCached: 0 kB
Active: 289200 kB
Inactive: 187916 kB
Active(anon): 97388 kB
Inactive(anon): 0 kB
Active(file): 191812 kB
Inactive(file): 187916 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33332 kB
Writeback: 0 kB
AnonPages: 82456 kB
Mapped: 102708 kB
Shmem: 18064 kB
KReclaimable: 84820 kB
Slab: 167992 kB
SReclaimable: 84820 kB
SUnreclaim: 83172 kB
KernelStack: 4160 kB
PageTables: 3044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 344092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC031 at 2025-06-29 03:06:06