0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.09/0.14 c [STEP] solving
0.09/0.14 c #variables 7920 #constraints 15840
0.09/0.14 c SMALL=int128, LARGE=int128
0.09/0.14 c bounds - >= -4722366482869645213695 @ 0.077988
0.09/0.14 c stratification level: 1180591620717411303424
145.99/146.67 c bounds - >= -3541774862152233910271 @ 0.07845
145.99/146.67 c #Conflicts: 1000 | #Constraints: 16841
145.99/146.67 c #Conflicts: 2000 | #Constraints: 17841
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 3000 | #Constraints: 17908
145.99/146.67 c #Conflicts: 4000 | #Constraints: 18908
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 5000 | #Constraints: 18364
145.99/146.67 c #Conflicts: 6000 | #Constraints: 19364
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 7000 | #Constraints: 18414
145.99/146.67 c #Conflicts: 8000 | #Constraints: 19414
145.99/146.67 c #Conflicts: 9000 | #Constraints: 20414
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 10000 | #Constraints: 19160
145.99/146.67 c #Conflicts: 11000 | #Constraints: 20160
145.99/146.67 c #Conflicts: 12000 | #Constraints: 21160
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 13000 | #Constraints: 19636
145.99/146.67 c #Conflicts: 14000 | #Constraints: 20636
145.99/146.67 c #Conflicts: 15000 | #Constraints: 21636
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 16000 | #Constraints: 19897
145.99/146.67 c #Conflicts: 17000 | #Constraints: 20897
145.99/146.67 c #Conflicts: 18000 | #Constraints: 21897
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 19000 | #Constraints: 19982
145.99/146.67 c #Conflicts: 20000 | #Constraints: 20982
145.99/146.67 c #Conflicts: 21000 | #Constraints: 21982
145.99/146.67 c #Conflicts: 22000 | #Constraints: 22982
145.99/146.67 c #Conflicts: 23000 | #Constraints: 23982
145.99/146.67 c #Conflicts: 24000 | #Constraints: 24982
145.99/146.67 c #Conflicts: 25000 | #Constraints: 25982
145.99/146.67 c #Conflicts: 26000 | #Constraints: 26982
145.99/146.67 c #Conflicts: 27000 | #Constraints: 27982
145.99/146.67 c #Conflicts: 28000 | #Constraints: 28982
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 29000 | #Constraints: 23269
145.99/146.67 c #Conflicts: 30000 | #Constraints: 24269
145.99/146.67 c #Conflicts: 31000 | #Constraints: 25269
145.99/146.67 c #Conflicts: 32000 | #Constraints: 26269
145.99/146.67 c #Conflicts: 33000 | #Constraints: 27269
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 34000 | #Constraints: 22693
145.99/146.67 c #Conflicts: 35000 | #Constraints: 23693
145.99/146.67 c #Conflicts: 36000 | #Constraints: 24693
145.99/146.67 c #Conflicts: 37000 | #Constraints: 25693
145.99/146.67 c #Conflicts: 38000 | #Constraints: 26693
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 39000 | #Constraints: 22548
145.99/146.67 c #Conflicts: 40000 | #Constraints: 23548
145.99/146.67 c #Conflicts: 41000 | #Constraints: 24548
145.99/146.67 c #Conflicts: 42000 | #Constraints: 25548
145.99/146.67 c #Conflicts: 43000 | #Constraints: 26548
145.99/146.67 c #Conflicts: 44000 | #Constraints: 27548
145.99/146.67 c #Conflicts: 45000 | #Constraints: 28548
145.99/146.67 c #Conflicts: 46000 | #Constraints: 29548
145.99/146.67 c #Conflicts: 47000 | #Constraints: 30548
145.99/146.67 c #Conflicts: 48000 | #Constraints: 31548
145.99/146.67 c #Conflicts: 49000 | #Constraints: 32548
145.99/146.67 c #Conflicts: 50000 | #Constraints: 33548
145.99/146.67 c #Conflicts: 51000 | #Constraints: 34548
145.99/146.67 c #Conflicts: 52000 | #Constraints: 35548
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 53000 | #Constraints: 26584
145.99/146.67 c #Conflicts: 54000 | #Constraints: 27584
145.99/146.67 c #Conflicts: 55000 | #Constraints: 28584
145.99/146.67 c #Conflicts: 56000 | #Constraints: 29584
145.99/146.67 c #Conflicts: 57000 | #Constraints: 30584
145.99/146.67 c #Conflicts: 58000 | #Constraints: 31584
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 59000 | #Constraints: 24651
145.99/146.67 c #Conflicts: 60000 | #Constraints: 25651
145.99/146.67 c #Conflicts: 61000 | #Constraints: 26651
145.99/146.67 c #Conflicts: 62000 | #Constraints: 27651
145.99/146.67 c #Conflicts: 63000 | #Constraints: 28651
145.99/146.67 c #Conflicts: 64000 | #Constraints: 29651
145.99/146.67 c #Conflicts: 65000 | #Constraints: 30651
145.99/146.67 c INPROCESSING
145.99/146.67 c GARBAGE COLLECT
145.99/146.67 c #Conflicts: 66000 | #Constraints: 24551
145.99/146.67 c #Conflicts: 67000 | #Constraints: 25551
145.99/146.67 c #Conflicts: 68000 | #Constraints: 26551
145.99/146.67 c #Conflicts: 69000 | #Constraints: 27551
145.99/146.67 c #Conflicts: 70000 | #Constraints: 28551
397.34/398.66 c #Conflicts: 71000 | #Constraints: 29551
397.34/398.66 c #Conflicts: 72000 | #Constraints: 30551
397.34/398.66 c #Conflicts: 73000 | #Constraints: 31551
397.34/398.66 c #Conflicts: 74000 | #Constraints: 32551
397.34/398.66 c #Conflicts: 75000 | #Constraints: 33551
397.34/398.66 c #Conflicts: 76000 | #Constraints: 34551
397.34/398.66 c #Conflicts: 77000 | #Constraints: 35551
397.34/398.66 c #Conflicts: 78000 | #Constraints: 36551
397.34/398.66 c #Conflicts: 79000 | #Constraints: 37551
397.34/398.66 c #Conflicts: 80000 | #Constraints: 38551
397.34/398.66 c #Conflicts: 81000 | #Constraints: 39551
397.34/398.66 c #Conflicts: 82000 | #Constraints: 40551
397.34/398.66 c #Conflicts: 83000 | #Constraints: 41551
397.34/398.66 c #Conflicts: 84000 | #Constraints: 42551
397.34/398.66 c INPROCESSING
397.34/398.66 c GARBAGE COLLECT
397.34/398.66 c #Conflicts: 85000 | #Constraints: 30582
397.34/398.66 c #Conflicts: 86000 | #Constraints: 31582
397.34/398.66 c #Conflicts: 87000 | #Constraints: 32582
397.34/398.66 c #Conflicts: 88000 | #Constraints: 33582
397.34/398.66 c #Conflicts: 89000 | #Constraints: 34582
397.34/398.66 c #Conflicts: 90000 | #Constraints: 35582
397.34/398.66 c #Conflicts: 91000 | #Constraints: 36582
397.34/398.66 c INPROCESSING
397.34/398.66 c GARBAGE COLLECT
397.34/398.66 c #Conflicts: 92000 | #Constraints: 27323
397.34/398.66 c #Conflicts: 93000 | #Constraints: 28323
397.34/398.66 c #Conflicts: 94000 | #Constraints: 29323
397.34/398.66 c #Conflicts: 95000 | #Constraints: 30323
397.34/398.66 c #Conflicts: 96000 | #Constraints: 31323
397.34/398.66 c #Conflicts: 97000 | #Constraints: 32323
397.34/398.66 c #Conflicts: 98000 | #Constraints: 33323
397.34/398.66 c #Conflicts: 99000 | #Constraints: 34323
397.34/398.66 c INPROCESSING
397.34/398.66 c GARBAGE COLLECT
397.34/398.66 c #Conflicts: 100000 | #Constraints: 26395
397.34/398.66 c #Conflicts: 101000 | #Constraints: 27395
397.34/398.66 c #Conflicts: 102000 | #Constraints: 28395
397.34/398.66 c #Conflicts: 103000 | #Constraints: 29395
397.34/398.66 c #Conflicts: 104000 | #Constraints: 30395
397.34/398.66 c #Conflicts: 105000 | #Constraints: 31395
397.34/398.66 c #Conflicts: 106000 | #Constraints: 32395
397.34/398.66 c #Conflicts: 107000 | #Constraints: 33395
397.34/398.66 c #Conflicts: 108000 | #Constraints: 34395
397.34/398.66 c #Conflicts: 109000 | #Constraints: 35395
397.34/398.66 c #Conflicts: 110000 | #Constraints: 36395
397.34/398.66 c #Conflicts: 111000 | #Constraints: 37395
397.34/398.66 c #Conflicts: 112000 | #Constraints: 38395
397.34/398.66 c #Conflicts: 113000 | #Constraints: 39395
397.34/398.66 c #Conflicts: 114000 | #Constraints: 40395
397.34/398.66 c #Conflicts: 115000 | #Constraints: 41395
397.34/398.66 c #Conflicts: 116000 | #Constraints: 42395
397.34/398.66 c #Conflicts: 117000 | #Constraints: 43395
397.34/398.66 c #Conflicts: 118000 | #Constraints: 44395
397.34/398.66 c #Conflicts: 119000 | #Constraints: 45395
397.34/398.66 c #Conflicts: 120000 | #Constraints: 46395
397.34/398.66 c #Conflicts: 121000 | #Constraints: 47395
397.34/398.66 c #Conflicts: 122000 | #Constraints: 48395
397.34/398.66 c INPROCESSING
397.34/398.66 c GARBAGE COLLECT
397.34/398.66 c #Conflicts: 123000 | #Constraints: 33349
397.34/398.66 c #Conflicts: 124000 | #Constraints: 34349
397.34/398.66 c #Conflicts: 125000 | #Constraints: 35349
397.34/398.66 c #Conflicts: 126000 | #Constraints: 36349
397.34/398.66 c #Conflicts: 127000 | #Constraints: 37349
397.34/398.66 c #Conflicts: 128000 | #Constraints: 38349
397.34/398.66 c #Conflicts: 129000 | #Constraints: 39349
397.34/398.66 c #Conflicts: 130000 | #Constraints: 40349
397.34/398.66 c #Conflicts: 131000 | #Constraints: 41349
397.34/398.66 c INPROCESSING
397.34/398.66 c GARBAGE COLLECT
397.34/398.66 c #Conflicts: 132000 | #Constraints: 29845
397.34/398.66 c #Conflicts: 133000 | #Constraints: 30845
397.34/398.66 c #Conflicts: 134000 | #Constraints: 31845
397.34/398.66 c #Conflicts: 135000 | #Constraints: 32845
397.34/398.66 c #Conflicts: 136000 | #Constraints: 33845
397.34/398.66 c #Conflicts: 137000 | #Constraints: 34845
397.34/398.66 c #Conflicts: 138000 | #Constraints: 35845
397.34/398.66 c #Conflicts: 139000 | #Constraints: 36845
397.34/398.66 c #Conflicts: 140000 | #Constraints: 37845
397.34/398.66 c INPROCESSING
397.34/398.66 c GARBAGE COLLECT
397.34/398.66 c #Conflicts: 141000 | #Constraints: 28002
397.34/398.66 c #Conflicts: 142000 | #Constraints: 29002
397.34/398.66 c #Conflicts: 143000 | #Constraints: 30002
397.34/398.66 c #Conflicts: 144000 | #Constraints: 31002
397.34/398.66 c #Conflicts: 145000 | #Constraints: 32002
1180.70/1184.08 c #Conflicts: 146000 | #Constraints: 33002
1180.70/1184.08 c #Conflicts: 147000 | #Constraints: 34002
1180.70/1184.08 c #Conflicts: 148000 | #Constraints: 35002
1180.70/1184.08 c #Conflicts: 149000 | #Constraints: 36002
1180.70/1184.08 c #Conflicts: 150000 | #Constraints: 37002
1180.70/1184.08 c #Conflicts: 151000 | #Constraints: 38002
1180.70/1184.08 c #Conflicts: 152000 | #Constraints: 39002
1180.70/1184.08 c #Conflicts: 153000 | #Constraints: 40002
1180.70/1184.08 c #Conflicts: 154000 | #Constraints: 41002
1180.70/1184.08 c #Conflicts: 155000 | #Constraints: 42002
1180.70/1184.08 c #Conflicts: 156000 | #Constraints: 43002
1180.70/1184.08 c #Conflicts: 157000 | #Constraints: 44002
1180.70/1184.08 c #Conflicts: 158000 | #Constraints: 45002
1180.70/1184.08 c #Conflicts: 159000 | #Constraints: 46002
1180.70/1184.08 c #Conflicts: 160000 | #Constraints: 47002
1180.70/1184.08 c #Conflicts: 161000 | #Constraints: 48002
1180.70/1184.08 c #Conflicts: 162000 | #Constraints: 49002
1180.70/1184.08 c #Conflicts: 163000 | #Constraints: 50002
1180.70/1184.08 c #Conflicts: 164000 | #Constraints: 51002
1180.70/1184.08 c #Conflicts: 165000 | #Constraints: 52002
1180.70/1184.08 c #Conflicts: 166000 | #Constraints: 53002
1180.70/1184.08 c #Conflicts: 167000 | #Constraints: 54002
1180.70/1184.08 c #Conflicts: 168000 | #Constraints: 55002
1180.70/1184.08 c INPROCESSING
1180.70/1184.08 c GARBAGE COLLECT
1180.70/1184.08 c #Conflicts: 169000 | #Constraints: 36871
1180.70/1184.08 c #Conflicts: 170000 | #Constraints: 37871
1180.70/1184.08 c #Conflicts: 171000 | #Constraints: 38871
1180.70/1184.08 c #Conflicts: 172000 | #Constraints: 39871
1180.70/1184.08 c #Conflicts: 173000 | #Constraints: 40871
1180.70/1184.08 c #Conflicts: 174000 | #Constraints: 41871
1180.70/1184.08 c #Conflicts: 175000 | #Constraints: 42871
1180.70/1184.08 c #Conflicts: 176000 | #Constraints: 43871
1180.70/1184.08 c #Conflicts: 177000 | #Constraints: 44871
1180.70/1184.08 c #Conflicts: 178000 | #Constraints: 45871
1180.70/1184.08 c INPROCESSING
1180.70/1184.08 c GARBAGE COLLECT
1180.70/1184.08 c #Conflicts: 179000 | #Constraints: 32099
1180.70/1184.08 c #Conflicts: 180000 | #Constraints: 33099
1180.70/1184.08 c #Conflicts: 181000 | #Constraints: 34099
1180.70/1184.08 c #Conflicts: 182000 | #Constraints: 35099
1180.70/1184.08 c #Conflicts: 183000 | #Constraints: 36099
1180.70/1184.08 c #Conflicts: 184000 | #Constraints: 37099
1180.70/1184.08 c #Conflicts: 185000 | #Constraints: 38099
1180.70/1184.08 c #Conflicts: 186000 | #Constraints: 39099
1180.70/1184.08 c #Conflicts: 187000 | #Constraints: 40099
1180.70/1184.08 c #Conflicts: 188000 | #Constraints: 41099
1180.70/1184.08 c #Conflicts: 189000 | #Constraints: 42099
1180.70/1184.08 c #Conflicts: 190000 | #Constraints: 43099
1180.70/1184.08 c #Conflicts: 191000 | #Constraints: 44099
1180.70/1184.08 c #Conflicts: 192000 | #Constraints: 45099
1180.70/1184.08 c #Conflicts: 193000 | #Constraints: 46099
1180.70/1184.08 c #Conflicts: 194000 | #Constraints: 47099
1180.70/1184.08 c #Conflicts: 195000 | #Constraints: 48099
1180.70/1184.08 c #Conflicts: 196000 | #Constraints: 49099
1180.70/1184.08 c #Conflicts: 197000 | #Constraints: 50099
1180.70/1184.08 c #Conflicts: 198000 | #Constraints: 51099
1180.70/1184.08 c #Conflicts: 199000 | #Constraints: 52099
1180.70/1184.08 c #Conflicts: 200000 | #Constraints: 53099
1180.70/1184.08 c #Conflicts: 201000 | #Constraints: 54099
1180.70/1184.08 c #Conflicts: 202000 | #Constraints: 55099
1180.70/1184.08 c #Conflicts: 203000 | #Constraints: 56099
1180.70/1184.08 c #Conflicts: 204000 | #Constraints: 57099
1180.70/1184.08 c #Conflicts: 205000 | #Constraints: 58099
1180.70/1184.08 c #Conflicts: 206000 | #Constraints: 59099
1180.70/1184.08 c #Conflicts: 207000 | #Constraints: 60099
1180.70/1184.08 c #Conflicts: 208000 | #Constraints: 61099
1180.70/1184.08 c #Conflicts: 209000 | #Constraints: 62099
1180.70/1184.08 c INPROCESSING
1180.70/1184.08 c GARBAGE COLLECT
1180.70/1184.08 c #Conflicts: 210000 | #Constraints: 40543
1180.70/1184.08 c #Conflicts: 211000 | #Constraints: 41543
1180.70/1184.08 c #Conflicts: 212000 | #Constraints: 42543
1180.70/1184.08 c #Conflicts: 213000 | #Constraints: 43543
1180.70/1184.08 c #Conflicts: 214000 | #Constraints: 44543
1180.70/1184.08 c #Conflicts: 215000 | #Constraints: 45543
1180.70/1184.08 c #Conflicts: 216000 | #Constraints: 46543
1180.70/1184.08 c #Conflicts: 217000 | #Constraints: 47543
1180.70/1184.08 c #Conflicts: 218000 | #Constraints: 48543
1180.70/1184.08 c #Conflicts: 219000 | #Constraints: 49543
1180.70/1184.08 c #Conflicts: 220000 | #Constraints: 50543
1180.70/1184.08 c INPROCESSING
1180.70/1184.08 c GARBAGE COLLECT
1180.70/1184.08 c #Conflicts: 221000 | #Constraints: 34368
3130.67/3139.42 c #Conflicts: 222000 | #Constraints: 35368
3130.67/3139.42 c #Conflicts: 223000 | #Constraints: 36368
3130.67/3139.42 c #Conflicts: 224000 | #Constraints: 37368
3130.67/3139.42 c #Conflicts: 225000 | #Constraints: 38368
3130.67/3139.42 c #Conflicts: 226000 | #Constraints: 39368
3130.67/3139.42 c #Conflicts: 227000 | #Constraints: 40368
3130.67/3139.42 c #Conflicts: 228000 | #Constraints: 41368
3130.67/3139.42 c #Conflicts: 229000 | #Constraints: 42368
3130.67/3139.42 c #Conflicts: 230000 | #Constraints: 43368
3130.67/3139.42 c #Conflicts: 231000 | #Constraints: 44368
3130.67/3139.42 c #Conflicts: 232000 | #Constraints: 45368
3130.67/3139.42 c #Conflicts: 233000 | #Constraints: 46368
3130.67/3139.42 c #Conflicts: 234000 | #Constraints: 47368
3130.67/3139.42 c #Conflicts: 235000 | #Constraints: 48368
3130.67/3139.42 c #Conflicts: 236000 | #Constraints: 49368
3130.67/3139.42 c #Conflicts: 237000 | #Constraints: 50368
3130.67/3139.42 c #Conflicts: 238000 | #Constraints: 51368
3130.67/3139.42 c #Conflicts: 239000 | #Constraints: 52368
3130.67/3139.42 c #Conflicts: 240000 | #Constraints: 53368
3130.67/3139.42 c #Conflicts: 241000 | #Constraints: 54368
3130.67/3139.42 c #Conflicts: 242000 | #Constraints: 55368
3130.67/3139.42 c #Conflicts: 243000 | #Constraints: 56368
3130.67/3139.42 c #Conflicts: 244000 | #Constraints: 57368
3130.67/3139.42 c #Conflicts: 245000 | #Constraints: 58368
3130.67/3139.42 c #Conflicts: 246000 | #Constraints: 59368
3130.67/3139.42 c #Conflicts: 247000 | #Constraints: 60368
3130.67/3139.42 c #Conflicts: 248000 | #Constraints: 61368
3130.67/3139.42 c #Conflicts: 249000 | #Constraints: 62368
3130.67/3139.42 c #Conflicts: 250000 | #Constraints: 63368
3130.67/3139.42 c #Conflicts: 251000 | #Constraints: 64368
3130.67/3139.42 c #Conflicts: 252000 | #Constraints: 65368
3130.67/3139.42 c #Conflicts: 253000 | #Constraints: 66368
3130.67/3139.42 c #Conflicts: 254000 | #Constraints: 67368
3130.67/3139.42 c INPROCESSING
3130.67/3139.42 c GARBAGE COLLECT
3130.67/3139.42 c #Conflicts: 255000 | #Constraints: 43017
3130.67/3139.42 c #Conflicts: 256000 | #Constraints: 44017
3130.67/3139.42 c #Conflicts: 257000 | #Constraints: 45017
3130.67/3139.42 c #Conflicts: 258000 | #Constraints: 46017
3130.67/3139.42 c #Conflicts: 259000 | #Constraints: 47017
3130.67/3139.42 c #Conflicts: 260000 | #Constraints: 48017
3130.67/3139.42 c #Conflicts: 261000 | #Constraints: 49017
3130.67/3139.42 c #Conflicts: 262000 | #Constraints: 50017
3130.67/3139.42 c #Conflicts: 263000 | #Constraints: 51017
3130.67/3139.42 c #Conflicts: 264000 | #Constraints: 52017
3130.67/3139.42 c #Conflicts: 265000 | #Constraints: 53017
3130.67/3139.42 c #Conflicts: 266000 | #Constraints: 54017
3130.67/3139.42 c #Conflicts: 267000 | #Constraints: 55017
3130.67/3139.42 c INPROCESSING
3130.67/3139.42 c GARBAGE COLLECT
3130.67/3139.42 c #Conflicts: 268000 | #Constraints: 36768
3130.67/3139.42 c #Conflicts: 269000 | #Constraints: 37768
3130.67/3139.42 c #Conflicts: 270000 | #Constraints: 38768
3130.67/3139.42 c #Conflicts: 271000 | #Constraints: 39768
3130.67/3139.42 c #Conflicts: 272000 | #Constraints: 40768
3130.67/3139.42 c #Conflicts: 273000 | #Constraints: 41768
3130.67/3139.42 c #Conflicts: 274000 | #Constraints: 42768
3130.67/3139.42 c #Conflicts: 275000 | #Constraints: 43768
3130.67/3139.42 c #Conflicts: 276000 | #Constraints: 44768
3130.67/3139.42 c #Conflicts: 277000 | #Constraints: 45768
3130.67/3139.42 c #Conflicts: 278000 | #Constraints: 46768
3130.67/3139.42 c #Conflicts: 279000 | #Constraints: 47768
3130.67/3139.42 c #Conflicts: 280000 | #Constraints: 48768
3130.67/3139.42 c #Conflicts: 281000 | #Constraints: 49768
3130.67/3139.42 c #Conflicts: 282000 | #Constraints: 50768
3130.67/3139.42 c #Conflicts: 283000 | #Constraints: 51768
3130.67/3139.42 c #Conflicts: 284000 | #Constraints: 52768
3130.67/3139.42 c #Conflicts: 285000 | #Constraints: 53768
3130.67/3139.42 c #Conflicts: 286000 | #Constraints: 54768
3130.67/3139.42 c #Conflicts: 287000 | #Constraints: 55768
3130.67/3139.42 c #Conflicts: 288000 | #Constraints: 56768
3130.67/3139.42 c #Conflicts: 289000 | #Constraints: 57768
3130.67/3139.42 c #Conflicts: 290000 | #Constraints: 58768
3130.67/3139.42 c #Conflicts: 291000 | #Constraints: 59768
3130.67/3139.42 c #Conflicts: 292000 | #Constraints: 60768
3130.67/3139.42 c #Conflicts: 293000 | #Constraints: 61768
3130.67/3139.42 c #Conflicts: 294000 | #Constraints: 62768
3130.67/3139.42 c #Conflicts: 295000 | #Constraints: 63768
3130.67/3139.42 c #Conflicts: 296000 | #Constraints: 64768
3130.67/3139.42 c #Conflicts: 297000 | #Constraints: 65768
3130.67/3139.42 c #Conflicts: 298000 | #Constraints: 66768
3130.67/3139.42 c #Conflicts: 299000 | #Constraints: 67768
3600.02/3610.01 c #Conflicts: 300000 | #Constraints: 68768
3600.02/3610.01 c #Conflicts: 301000 | #Constraints: 69768
3600.02/3610.01 c #Conflicts: 302000 | #Constraints: 70768
3600.02/3610.01 c #Conflicts: 303000 | #Constraints: 71768
3600.02/3610.01 c #Conflicts: 304000 | #Constraints: 72768
3600.02/3610.01 c INPROCESSING
3600.02/3610.01 c GARBAGE COLLECT
3600.02/3610.01 c #Conflicts: 305000 | #Constraints: 45769
3600.02/3610.01 c #Conflicts: 306000 | #Constraints: 46769
3600.02/3610.01 c #Conflicts: 307000 | #Constraints: 47769
3600.02/3610.01 c #Conflicts: 308000 | #Constraints: 48769
3600.02/3610.01 c #Conflicts: 309000 | #Constraints: 49769
3600.02/3610.01 c #Conflicts: 310000 | #Constraints: 50769
3600.02/3610.01 c #Conflicts: 311000 | #Constraints: 51769
3600.02/3610.01 c #Conflicts: 312000 | #Constraints: 52769
3600.02/3610.01 c Program interrupted by user.
3600.02/3610.01 c cpu time 3595.38 s
3600.02/3610.01 c deterministic time 254319797563 2.54e+11
3600.02/3610.01 c optimization time 246.615 s
3600.02/3610.01 c total solve time 3348.69 s
3600.02/3610.01 c core-guided solve time 3348.69 s
3600.02/3610.01 c propagation time 3336.51 s
3600.02/3610.01 c conflict analysis time 237.753 s
3600.02/3610.01 c propagations 239109978
3600.02/3610.01 c resolve steps 11571296
3600.02/3610.01 c decisions 3016423
3600.02/3610.01 c conflicts 312238
3600.02/3610.01 c restarts 763
3600.02/3610.01 c inprocessing phases 26
3600.02/3610.01 c input clauses 10800
3600.02/3610.01 c input cardinalities 0
3600.02/3610.01 c input general constraints 5041
3600.02/3610.01 c input average constraint length 3.12
3600.02/3610.01 c input average constraint degree 74527594262825024.00
3600.02/3610.01 c learned clauses 62242
3600.02/3610.01 c learned cardinalities 75
3600.02/3610.01 c learned general constraints 249922
3600.02/3610.01 c learned average constraint length 270.76
3600.02/3610.01 c learned average constraint degree 190148676.92
3600.02/3610.01 c watched constraints 240910
3600.02/3610.01 c counting constraints 14053
3600.02/3610.01 c gcd simplifications 15975
3600.02/3610.01 c detected cardinalities 11
3600.02/3610.01 c weakened non-implied lits 5172548
3600.02/3610.01 c weakened non-implying lits 209957
3600.02/3610.01 c original variables 7920
3600.02/3610.01 c clausal propagations 108180852
3600.02/3610.01 c cardinality propagations 251
3600.02/3610.01 c watched propagations 21782872
3600.02/3610.01 c counting propagations 109014599
3600.02/3610.01 c watch lookups 58298383628
3600.02/3610.01 c watch backjump lookups 55929429952
3600.02/3610.01 c watch checks 84887794927
3600.02/3610.01 c propagation checks 54445725273
3600.02/3610.01 c constraint additions 273898999
3600.02/3610.01 c trail pops 242438382
3600.02/3610.01 c formula constraints 15840
3600.02/3610.01 c learned constraints 312239
3600.02/3610.01 c bound constraints 1
3600.02/3610.01 c core-guided constraints 0
3600.02/3610.01 c encountered formula constraints 8684451
3600.02/3610.01 c encountered learned constraints 3199083
3600.02/3610.01 c encountered bound constraints 0
3600.02/3610.01 c encountered core-guided constraints 0
3600.02/3610.01 c LP total time 0 s
3600.02/3610.01 c LP solve time 0 s
3600.02/3610.01 c LP constraints added 0
3600.02/3610.01 c LP constraints removed 0
3600.02/3610.01 c LP pivots internal 0
3600.02/3610.01 c LP pivots root 0
3600.02/3610.01 c LP calls 0
3600.02/3610.01 c LP optimalities 0
3600.02/3610.01 c LP no pivot count 0
3600.02/3610.01 c LP infeasibilities 0
3600.02/3610.01 c LP valid Farkas constraints 0
3600.02/3610.01 c LP learned Farkas constraints 0
3600.02/3610.01 c LP basis resets 0
3600.02/3610.01 c LP cycling count 0
3600.02/3610.01 c LP singular count 0
3600.02/3610.01 c LP no primal count 0
3600.02/3610.01 c LP no farkas count 0
3600.02/3610.01 c LP other issue count 0
3600.02/3610.01 c LP Gomory cuts 0
3600.02/3610.01 c LP learned cuts 0
3600.02/3610.01 c LP deleted cuts 0
3600.02/3610.01 c LP encountered Gomory constraints 0
3600.02/3610.01 c LP encountered Farkas constraints 0
3600.02/3610.01 c LP encountered learned Farkas constraints 0
3600.02/3610.01 c CG auxiliary variables introduced 0
3600.02/3610.01 c CG solutions found 0
3600.02/3610.01 c CG cores constructed 1
3600.02/3610.01 c CG core cardinality constraints returned 0
3600.02/3610.01 c CG unit cores 0
3600.02/3610.01 c CG single cores 1
3600.02/3610.01 c CG blocks removed during cardinality reduction 0
3600.02/3610.01 c CG first core best 0
3600.02/3610.01 c CG decision core best 0
3600.02/3610.01 c CG core reduction tie 0
3600.02/3610.01 c CG core degree average 1.00
3600.02/3610.01 c CG core slack average 3.00
3600.02/3610.01 c CG exhausted 0
3600.02/3610.01 c CG exhaust time 0 s
3600.02/3610.01 c CG trimmed 0
3600.02/3610.01 c CG trim time 0 s
3600.02/3610.01 c CG minimized 0
3600.02/3610.01 c CG minimize time 0 s
3600.02/3610.01 c CG am1 prop time 0.000111 s
3600.02/3610.01 c CG # am1s reformulated 0
3600.02/3610.01 c CG lower bound derived from am1s 0
3600.02/3610.01 c CG # clausal cores 1
3600.02/3610.01 c CG # cardinality cores 0
3600.02/3610.01 c CG # pb cores 0
3600.02/3610.01 c CG # pb reforms 0
3600.02/3610.01 c CG # cores discarded because of pb reform 0
3600.02/3610.01 d LOWERBOUND -9223372036854775808
3600.02/3610.01 d NCORES 1
3600.02/3610.01 d NPBCORES 0
3600.02/3610.01 d NPBREFORM 0
3600.02/3610.01 d NTRIMMED 0
3600.02/3610.01 d NEXHAUSTED 0
3600.02/3610.01 d NAM1S 0
3600.02/3610.01 d AM1LB 0
3600.02/3610.01 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62766 MiB free)
memory of node 1: 64465 MiB (63660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519142-1751552791/watcher-4519142-1751552791 -o /tmp/evaluation-result-4519142-1751552791/solver-4519142-1751552791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76162 --watchdog 3760 pb-oll-rs HOME/instance-4519142-1751552791.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77029, runsolver pid=77026
[startup+0.100074 s]*
/proc/loadavg: 4.19 4.11 4.10 5/250 77030
/proc/meminfo: memFree=129458108/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=21984 memory=7552 CPUtime=0.09 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 950 0 0 0 6 3 0 0 20 0 1 0 70958188 22511616 1888 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 5496 1888 1120 243 0 1745 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21984 KiB
Current children cumulated memory: 7552 KiB
[startup+0.213494 s]*
/proc/loadavg: 4.19 4.11 4.10 5/250 77030
/proc/meminfo: memFree=129454076/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=23952 memory=10752 CPUtime=0.18 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 1534 0 0 0 14 4 0 0 20 0 1 0 70958188 24526848 2688 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 5988 2688 1376 243 0 2237 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 23952 KiB
Current children cumulated memory: 10752 KiB
[startup+0.317685 s]*
/proc/loadavg: 4.19 4.11 4.10 5/250 77030
/proc/meminfo: memFree=129454076/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=23952 memory=10880 CPUtime=0.27 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 1564 0 0 0 22 5 0 0 20 0 1 0 70958188 24526848 2720 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 5988 2720 1376 243 0 2237 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 23952 KiB
Current children cumulated memory: 10880 KiB
[startup+0.700282 s]
/proc/loadavg: 4.19 4.11 4.10 5/250 77030
/proc/meminfo: memFree=129454076/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=24348 memory=11520 CPUtime=0.62 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 1730 0 0 0 55 7 0 0 20 0 1 0 70958188 24932352 2880 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 6087 2880 1376 243 0 2336 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 24348 KiB
Current children cumulated memory: 11520 KiB
[startup+1.50022 s]
/proc/loadavg: 4.19 4.11 4.10 5/250 77030
/proc/meminfo: memFree=129454076/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=25292 memory=13184 CPUtime=1.4 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 2177 0 0 0 131 9 0 0 20 0 1 0 70958188 25899008 3296 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 6323 3296 1376 243 0 2572 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 25292 KiB
Current children cumulated memory: 13184 KiB
[startup+3.10551 s]
/proc/loadavg: 4.19 4.11 4.10 5/250 77030
/proc/meminfo: memFree=129452364/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=26984 memory=17164 CPUtime=2.99 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 2663 0 0 0 286 13 0 0 20 0 1 0 70958188 27631616 4291 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 6746 4291 1376 243 0 2995 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 26984 KiB
Current children cumulated memory: 17164 KiB
[startup+6.30018 s]
/proc/loadavg: 4.18 4.10 4.09 5/250 77030
/proc/meminfo: memFree=129450956/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=28740 memory=19084 CPUtime=6.16 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 3130 0 0 0 597 19 0 0 20 0 1 0 70958188 29429760 4771 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 7185 4771 1376 243 0 3434 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 28740 KiB
Current children cumulated memory: 19084 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129775596/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=38496 memory=24616 CPUtime=12.51 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 4007 0 0 0 1225 26 0 0 20 0 1 0 70958188 39419904 6154 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 9624 6154 1376 243 0 5873 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 38496 KiB
Current children cumulated memory: 24616 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 77076
/proc/meminfo: memFree=129756164/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=51228 memory=34544 CPUtime=25.21 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 6209 0 0 0 2482 39 0 0 20 0 1 0 70958188 52457472 8636 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 12807 8636 1376 243 0 9056 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 51228 KiB
Current children cumulated memory: 34544 KiB
[startup+51.1136 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 77076
/proc/meminfo: memFree=129722188/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=78640 memory=68124 CPUtime=50.75 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 11175 0 0 0 5027 48 0 0 20 0 1 0 70958188 80527360 17031 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 19660 17031 1376 243 0 15909 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 78640 KiB
Current children cumulated memory: 68124 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 77078
/proc/meminfo: memFree=129638368/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=166672 memory=132932 CPUtime=101.8 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 20736 0 0 0 10116 64 0 0 20 0 1 0 70958188 170672128 33233 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 41668 33233 1376 243 0 37917 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 166672 KiB
Current children cumulated memory: 132932 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/250 77080
/proc/meminfo: memFree=129596384/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=170784 memory=140536 CPUtime=161.63 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 21972 0 0 0 16070 93 0 0 20 0 1 0 70958188 174882816 35134 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 42696 35134 1376 243 0 38945 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 140536 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 77082
/proc/meminfo: memFree=129571728/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=174776 memory=148444 CPUtime=221.45 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 23191 0 0 0 22021 124 0 0 20 0 1 0 70958188 178970624 37111 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 43694 37111 1376 243 0 39943 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 174776 KiB
Current children cumulated memory: 148444 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 77129
/proc/meminfo: memFree=129578432/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=177076 memory=149980 CPUtime=281.3 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 23677 0 0 0 27987 143 0 0 20 0 1 0 70958188 181325824 37495 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 44269 37495 1376 243 0 40518 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 177076 KiB
Current children cumulated memory: 149980 KiB
[startup+342.301 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 77135
/proc/meminfo: memFree=129538216/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=183840 memory=155492 CPUtime=341.17 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 25198 0 0 0 33960 157 0 0 20 0 1 0 70958188 188252160 38873 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 45960 38873 1376 243 0 42209 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 183840 KiB
Current children cumulated memory: 155492 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/249 77227
/proc/meminfo: memFree=129569588/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=184492 memory=156072 CPUtime=401.03 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 25656 0 0 0 39926 177 0 0 20 0 1 0 70958188 188919808 39018 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 46123 39018 1376 243 0 42372 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 184492 KiB
Current children cumulated memory: 156072 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/253 77278
/proc/meminfo: memFree=128587184/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=185628 memory=157096 CPUtime=460.89 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 25911 0 0 0 45900 189 0 0 20 0 1 0 70958188 190083072 39274 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 46407 39274 1376 243 0 42656 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 243088 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/250 77581
/proc/meminfo: memFree=129131536/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=291276 memory=243728 CPUtime=2854.32 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 38245 0 0 0 285009 423 0 0 20 0 1 0 70958188 298266624 60932 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 72819 60932 1376 243 0 69068 0
Current children cumulated CPU time: 2854.32 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 243728 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/250 77583
/proc/meminfo: memFree=129131748/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=293164 memory=244752 CPUtime=2914.17 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 38514 0 0 0 290991 426 0 0 20 0 1 0 70958188 300199936 61188 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 73291 61188 1376 243 0 69540 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 293164 KiB
Current children cumulated memory: 244752 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 77585
/proc/meminfo: memFree=129126916/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=295020 memory=245776 CPUtime=2974.01 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 38781 0 0 0 296972 429 0 0 20 0 1 0 70958188 302100480 61444 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 73755 61444 1376 243 0 70004 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 295020 KiB
Current children cumulated memory: 245776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 77589
/proc/meminfo: memFree=129123660/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=296684 memory=246800 CPUtime=3033.85 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 39032 0 0 0 302953 432 0 0 20 0 1 0 70958188 303804416 61700 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 74171 61700 1376 243 0 70420 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 296684 KiB
Current children cumulated memory: 246800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 77591
/proc/meminfo: memFree=129121796/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=297740 memory=251756 CPUtime=3093.68 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 39224 0 0 0 308933 435 0 0 20 0 1 0 70958188 304885760 62939 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 74435 62939 1376 243 0 70684 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 297740 KiB
Current children cumulated memory: 251756 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 77593
/proc/meminfo: memFree=129118648/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=300300 memory=255284 CPUtime=3153.5 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 39624 0 0 0 314912 438 0 0 20 0 1 0 70958188 307507200 63821 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 75075 63821 1376 243 0 71324 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 300300 KiB
Current children cumulated memory: 255284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 77595
/proc/meminfo: memFree=129102852/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=303212 memory=261212 CPUtime=3213.33 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 40071 0 0 0 320892 441 0 0 20 0 1 0 70958188 310489088 65303 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 75803 65303 1376 243 0 72052 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 303212 KiB
Current children cumulated memory: 261212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.63 4.23 4.14 5/249 77597
/proc/meminfo: memFree=129074180/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=305292 memory=266804 CPUtime=3273.17 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 40444 0 0 0 326872 445 0 0 20 0 1 0 70958188 312619008 66701 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 76323 66701 1376 243 0 72572 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 305292 KiB
Current children cumulated memory: 266804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.42 4.26 4.16 5/249 77599
/proc/meminfo: memFree=129071568/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=307824 memory=270528 CPUtime=3332.99 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 40853 0 0 0 332851 448 0 0 20 0 1 0 70958188 315211776 67632 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 76956 67632 1376 243 0 73205 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 307824 KiB
Current children cumulated memory: 270528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.22 4.15 5/250 77606
/proc/meminfo: memFree=129072920/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=308348 memory=271072 CPUtime=3392.82 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 41250 0 0 0 338830 452 0 0 20 0 1 0 70958188 315748352 67768 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 77087 67768 1376 243 0 73336 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 308348 KiB
Current children cumulated memory: 271072 KiB
[startup+3462.3 s]
/proc/loadavg: 4.65 4.34 4.19 5/250 77608
/proc/meminfo: memFree=129060892/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=308348 memory=274656 CPUtime=3452.65 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 41253 0 0 0 344809 456 0 0 20 0 1 0 70958188 315748352 68664 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 77087 68664 1376 243 0 73336 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 308348 KiB
Current children cumulated memory: 274656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.50 4.37 4.21 5/250 77610
/proc/meminfo: memFree=129057024/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=308348 memory=277984 CPUtime=3512.51 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 41255 0 0 0 350791 460 0 0 20 0 1 0 70958188 315748352 69496 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 77087 69496 1376 243 0 73336 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 308348 KiB
Current children cumulated memory: 277984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.31 4.20 5/250 77612
/proc/meminfo: memFree=129054880/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=308348 memory=277984 CPUtime=3572.38 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 41255 0 0 0 356774 464 0 0 20 0 1 0 70958188 315748352 69496 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 77087 69496 1376 243 0 73336 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 308348 KiB
Current children cumulated memory: 277984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.16 4.29 4.19 5/250 77612
/proc/meminfo: memFree=129055904/131382120 swapFree=33010160/33010684
[pid=77029] ppid=77026 vsize=308348 memory=277984 CPUtime=3600.02 cores=4,6
/proc/77029/stat : 77029 (pb-oll-rs) R 77026 77029 76151 0 -1 4194304 41255 0 0 0 359537 465 0 0 20 0 1 0 70958188 315748352 69496 18446744073709551615 4218880 5211445 140722564552112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37699584 140722564557212 140722564557289 140722564557289 140722564562891 0
/proc/77029/statm: 77087 69496 1376 243 0 73336 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 308348 KiB
Current children cumulated memory: 277984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 77029 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.38 s, system=4.65428 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.04
CPU user time (s): 3595.38
CPU system time (s): 4.65428
CPU usage (%): 99.7235
Max. virtual memory (cumulated for all children) (KiB): 309584
Max. memory (cumulated for all children) (KiB): 277984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.38
system time used= 4.65428
maximum resident set size= 278240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 172
involuntary context switches= 3233
# summary of solver processes directly reported to runsolver:
# pid: 77029
# total CPU time (s): 3600.04
# total CPU user time (s): 3595.38
# total CPU system time (s): 4.65428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7596 second user time and 36.7055 second system time
The end
Begin job on nodeC008 at 2025-07-03 16:26:31
IDJOB=4519142
IDBENCH=177172
IDSOLVER=3345
FILE ID=nodeC008/4519142-1751552791
RUNJOBID= nodeC008-1751549168-76162
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519142-1751552791/watcher-4519142-1751552791 -o /tmp/evaluation-result-4519142-1751552791/solver-4519142-1751552791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76162 --watchdog 3760 pb-oll-rs HOME/instance-4519142-1751552791.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35fe9b1930bcbc7a02a3c0004c4836fe
RANDOM SEED=2003401933
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3537.915
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3524.018
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.399
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.270
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.547
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1596.279
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.222
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.573
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129461104 kB
MemAvailable: 129471400 kB
Buffers: 2128 kB
Cached: 805544 kB
SwapCached: 16 kB
Active: 1054044 kB
Inactive: 286696 kB
Active(anon): 514584 kB
Inactive(anon): 36408 kB
Active(file): 539460 kB
Inactive(file): 250288 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3836 kB
Writeback: 0 kB
AnonPages: 535512 kB
Mapped: 107356 kB
Shmem: 17920 kB
KReclaimable: 120352 kB
Slab: 205188 kB
SReclaimable: 120352 kB
SUnreclaim: 84836 kB
KernelStack: 4024 kB
PageTables: 4252 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 915020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 466944 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432816 MiB
End job on nodeC008 at 2025-07-03 17:26:41