0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 2730 #constraints 5460
0.00/0.01 c SMALL=long long, LARGE=int128
0.00/0.01 c bounds - >= -4398046511103 @ 0.012844
0.00/0.01 c stratification level: 1099511627776
107.02/107.40 c bounds - >= -3298534883327 @ 0.013132
107.02/107.40 c #Conflicts: 1000 | #Constraints: 6461
107.02/107.40 c #Conflicts: 2000 | #Constraints: 7461
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 3000 | #Constraints: 7510
107.02/107.40 c #Conflicts: 4000 | #Constraints: 8510
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 5000 | #Constraints: 7960
107.02/107.40 c #Conflicts: 6000 | #Constraints: 8960
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 7000 | #Constraints: 8006
107.02/107.40 c #Conflicts: 8000 | #Constraints: 9006
107.02/107.40 c #Conflicts: 9000 | #Constraints: 10006
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 10000 | #Constraints: 8725
107.02/107.40 c #Conflicts: 11000 | #Constraints: 9725
107.02/107.40 c #Conflicts: 12000 | #Constraints: 10725
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 13000 | #Constraints: 9205
107.02/107.40 c #Conflicts: 14000 | #Constraints: 10205
107.02/107.40 c #Conflicts: 15000 | #Constraints: 11205
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 16000 | #Constraints: 9446
107.02/107.40 c #Conflicts: 17000 | #Constraints: 10446
107.02/107.40 c #Conflicts: 18000 | #Constraints: 11446
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 19000 | #Constraints: 9490
107.02/107.40 c #Conflicts: 20000 | #Constraints: 10490
107.02/107.40 c #Conflicts: 21000 | #Constraints: 11490
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 22000 | #Constraints: 9299
107.02/107.40 c #Conflicts: 23000 | #Constraints: 10299
107.02/107.40 c #Conflicts: 24000 | #Constraints: 11299
107.02/107.40 c #Conflicts: 25000 | #Constraints: 12299
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 26000 | #Constraints: 9919
107.02/107.40 c #Conflicts: 27000 | #Constraints: 10919
107.02/107.40 c #Conflicts: 28000 | #Constraints: 11919
107.02/107.40 c #Conflicts: 29000 | #Constraints: 12919
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 30000 | #Constraints: 10317
107.02/107.40 c #Conflicts: 31000 | #Constraints: 11317
107.02/107.40 c #Conflicts: 32000 | #Constraints: 12317
107.02/107.40 c #Conflicts: 33000 | #Constraints: 13317
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 34000 | #Constraints: 10556
107.02/107.40 c #Conflicts: 35000 | #Constraints: 11556
107.02/107.40 c #Conflicts: 36000 | #Constraints: 12556
107.02/107.40 c #Conflicts: 37000 | #Constraints: 13556
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 38000 | #Constraints: 10574
107.02/107.40 c #Conflicts: 39000 | #Constraints: 11574
107.02/107.40 c #Conflicts: 40000 | #Constraints: 12574
107.02/107.40 c #Conflicts: 41000 | #Constraints: 13574
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 42000 | #Constraints: 10378
107.02/107.40 c #Conflicts: 43000 | #Constraints: 11378
107.02/107.40 c #Conflicts: 44000 | #Constraints: 12378
107.02/107.40 c #Conflicts: 45000 | #Constraints: 13378
107.02/107.40 c #Conflicts: 46000 | #Constraints: 14378
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 47000 | #Constraints: 10985
107.02/107.40 c #Conflicts: 48000 | #Constraints: 11985
107.02/107.40 c #Conflicts: 49000 | #Constraints: 12985
107.02/107.40 c #Conflicts: 50000 | #Constraints: 13985
107.02/107.40 c #Conflicts: 51000 | #Constraints: 14985
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 52000 | #Constraints: 11387
107.02/107.40 c #Conflicts: 53000 | #Constraints: 12387
107.02/107.40 c #Conflicts: 54000 | #Constraints: 13387
107.02/107.40 c #Conflicts: 55000 | #Constraints: 14387
107.02/107.40 c #Conflicts: 56000 | #Constraints: 15387
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 57000 | #Constraints: 11588
107.02/107.40 c #Conflicts: 58000 | #Constraints: 12588
107.02/107.40 c #Conflicts: 59000 | #Constraints: 13588
107.02/107.40 c #Conflicts: 60000 | #Constraints: 14588
107.02/107.40 c #Conflicts: 61000 | #Constraints: 15588
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 62000 | #Constraints: 11612
107.02/107.40 c #Conflicts: 63000 | #Constraints: 12612
107.02/107.40 c #Conflicts: 64000 | #Constraints: 13612
107.02/107.40 c #Conflicts: 65000 | #Constraints: 14612
107.02/107.40 c #Conflicts: 66000 | #Constraints: 15612
107.02/107.40 c INPROCESSING
107.02/107.40 c GARBAGE COLLECT
107.02/107.40 c #Conflicts: 67000 | #Constraints: 11421
362.08/363.42 c #Conflicts: 68000 | #Constraints: 12421
362.08/363.42 c #Conflicts: 69000 | #Constraints: 13421
362.08/363.42 c #Conflicts: 70000 | #Constraints: 14421
362.08/363.42 c #Conflicts: 71000 | #Constraints: 15421
362.08/363.42 c #Conflicts: 72000 | #Constraints: 16421
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 73000 | #Constraints: 12008
362.08/363.42 c #Conflicts: 74000 | #Constraints: 13008
362.08/363.42 c #Conflicts: 75000 | #Constraints: 14008
362.08/363.42 c #Conflicts: 76000 | #Constraints: 15008
362.08/363.42 c #Conflicts: 77000 | #Constraints: 16008
362.08/363.42 c #Conflicts: 78000 | #Constraints: 17008
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 79000 | #Constraints: 12428
362.08/363.42 c #Conflicts: 80000 | #Constraints: 13428
362.08/363.42 c #Conflicts: 81000 | #Constraints: 14428
362.08/363.42 c #Conflicts: 82000 | #Constraints: 15428
362.08/363.42 c #Conflicts: 83000 | #Constraints: 16428
362.08/363.42 c #Conflicts: 84000 | #Constraints: 17428
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 85000 | #Constraints: 12627
362.08/363.42 c #Conflicts: 86000 | #Constraints: 13627
362.08/363.42 c #Conflicts: 87000 | #Constraints: 14627
362.08/363.42 c #Conflicts: 88000 | #Constraints: 15627
362.08/363.42 c #Conflicts: 89000 | #Constraints: 16627
362.08/363.42 c #Conflicts: 90000 | #Constraints: 17627
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 91000 | #Constraints: 12630
362.08/363.42 c #Conflicts: 92000 | #Constraints: 13630
362.08/363.42 c #Conflicts: 93000 | #Constraints: 14630
362.08/363.42 c #Conflicts: 94000 | #Constraints: 15630
362.08/363.42 c #Conflicts: 95000 | #Constraints: 16630
362.08/363.42 c #Conflicts: 96000 | #Constraints: 17630
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 97000 | #Constraints: 12471
362.08/363.42 c #Conflicts: 98000 | #Constraints: 13471
362.08/363.42 c #Conflicts: 99000 | #Constraints: 14471
362.08/363.42 c #Conflicts: 100000 | #Constraints: 15471
362.08/363.42 c #Conflicts: 101000 | #Constraints: 16471
362.08/363.42 c #Conflicts: 102000 | #Constraints: 17471
362.08/363.42 c #Conflicts: 103000 | #Constraints: 18471
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 104000 | #Constraints: 13069
362.08/363.42 c #Conflicts: 105000 | #Constraints: 14069
362.08/363.42 c #Conflicts: 106000 | #Constraints: 15069
362.08/363.42 c #Conflicts: 107000 | #Constraints: 16069
362.08/363.42 c #Conflicts: 108000 | #Constraints: 17069
362.08/363.42 c #Conflicts: 109000 | #Constraints: 18069
362.08/363.42 c #Conflicts: 110000 | #Constraints: 19069
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 111000 | #Constraints: 13481
362.08/363.42 c #Conflicts: 112000 | #Constraints: 14481
362.08/363.42 c #Conflicts: 113000 | #Constraints: 15481
362.08/363.42 c #Conflicts: 114000 | #Constraints: 16481
362.08/363.42 c #Conflicts: 115000 | #Constraints: 17481
362.08/363.42 c #Conflicts: 116000 | #Constraints: 18481
362.08/363.42 c #Conflicts: 117000 | #Constraints: 19481
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 118000 | #Constraints: 13684
362.08/363.42 c #Conflicts: 119000 | #Constraints: 14684
362.08/363.42 c #Conflicts: 120000 | #Constraints: 15684
362.08/363.42 c #Conflicts: 121000 | #Constraints: 16684
362.08/363.42 c #Conflicts: 122000 | #Constraints: 17684
362.08/363.42 c #Conflicts: 123000 | #Constraints: 18684
362.08/363.42 c #Conflicts: 124000 | #Constraints: 19684
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 125000 | #Constraints: 13692
362.08/363.42 c #Conflicts: 126000 | #Constraints: 14692
362.08/363.42 c #Conflicts: 127000 | #Constraints: 15692
362.08/363.42 c #Conflicts: 128000 | #Constraints: 16692
362.08/363.42 c #Conflicts: 129000 | #Constraints: 17692
362.08/363.42 c #Conflicts: 130000 | #Constraints: 18692
362.08/363.42 c #Conflicts: 131000 | #Constraints: 19692
362.08/363.42 c INPROCESSING
362.08/363.42 c GARBAGE COLLECT
362.08/363.42 c #Conflicts: 132000 | #Constraints: 13500
362.08/363.42 c #Conflicts: 133000 | #Constraints: 14500
362.08/363.42 c #Conflicts: 134000 | #Constraints: 15500
362.08/363.42 c #Conflicts: 135000 | #Constraints: 16500
362.08/363.42 c #Conflicts: 136000 | #Constraints: 17500
362.08/363.42 c #Conflicts: 137000 | #Constraints: 18500
362.08/363.42 c #Conflicts: 138000 | #Constraints: 19500
362.08/363.42 c #Conflicts: 139000 | #Constraints: 20500
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 140000 | #Constraints: 14091
783.33/786.04 c #Conflicts: 141000 | #Constraints: 15091
783.33/786.04 c #Conflicts: 142000 | #Constraints: 16091
783.33/786.04 c #Conflicts: 143000 | #Constraints: 17091
783.33/786.04 c #Conflicts: 144000 | #Constraints: 18091
783.33/786.04 c #Conflicts: 145000 | #Constraints: 19091
783.33/786.04 c #Conflicts: 146000 | #Constraints: 20091
783.33/786.04 c #Conflicts: 147000 | #Constraints: 21091
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 148000 | #Constraints: 14458
783.33/786.04 c #Conflicts: 149000 | #Constraints: 15458
783.33/786.04 c #Conflicts: 150000 | #Constraints: 16458
783.33/786.04 c #Conflicts: 151000 | #Constraints: 17458
783.33/786.04 c #Conflicts: 152000 | #Constraints: 18458
783.33/786.04 c #Conflicts: 153000 | #Constraints: 19458
783.33/786.04 c #Conflicts: 154000 | #Constraints: 20458
783.33/786.04 c #Conflicts: 155000 | #Constraints: 21458
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 156000 | #Constraints: 14679
783.33/786.04 c #Conflicts: 157000 | #Constraints: 15679
783.33/786.04 c #Conflicts: 158000 | #Constraints: 16679
783.33/786.04 c #Conflicts: 159000 | #Constraints: 17679
783.33/786.04 c #Conflicts: 160000 | #Constraints: 18679
783.33/786.04 c #Conflicts: 161000 | #Constraints: 19679
783.33/786.04 c #Conflicts: 162000 | #Constraints: 20679
783.33/786.04 c #Conflicts: 163000 | #Constraints: 21679
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 164000 | #Constraints: 14714
783.33/786.04 c #Conflicts: 165000 | #Constraints: 15714
783.33/786.04 c #Conflicts: 166000 | #Constraints: 16714
783.33/786.04 c #Conflicts: 167000 | #Constraints: 17714
783.33/786.04 c #Conflicts: 168000 | #Constraints: 18714
783.33/786.04 c #Conflicts: 169000 | #Constraints: 19714
783.33/786.04 c #Conflicts: 170000 | #Constraints: 20714
783.33/786.04 c #Conflicts: 171000 | #Constraints: 21714
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 172000 | #Constraints: 14514
783.33/786.04 c #Conflicts: 173000 | #Constraints: 15514
783.33/786.04 c #Conflicts: 174000 | #Constraints: 16514
783.33/786.04 c #Conflicts: 175000 | #Constraints: 17514
783.33/786.04 c #Conflicts: 176000 | #Constraints: 18514
783.33/786.04 c #Conflicts: 177000 | #Constraints: 19514
783.33/786.04 c #Conflicts: 178000 | #Constraints: 20514
783.33/786.04 c #Conflicts: 179000 | #Constraints: 21514
783.33/786.04 c #Conflicts: 180000 | #Constraints: 22514
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 181000 | #Constraints: 15102
783.33/786.04 c #Conflicts: 182000 | #Constraints: 16102
783.33/786.04 c #Conflicts: 183000 | #Constraints: 17102
783.33/786.04 c #Conflicts: 184000 | #Constraints: 18102
783.33/786.04 c #Conflicts: 185000 | #Constraints: 19102
783.33/786.04 c #Conflicts: 186000 | #Constraints: 20102
783.33/786.04 c #Conflicts: 187000 | #Constraints: 21102
783.33/786.04 c #Conflicts: 188000 | #Constraints: 22102
783.33/786.04 c #Conflicts: 189000 | #Constraints: 23102
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 190000 | #Constraints: 15511
783.33/786.04 c #Conflicts: 191000 | #Constraints: 16511
783.33/786.04 c #Conflicts: 192000 | #Constraints: 17511
783.33/786.04 c #Conflicts: 193000 | #Constraints: 18511
783.33/786.04 c #Conflicts: 194000 | #Constraints: 19511
783.33/786.04 c #Conflicts: 195000 | #Constraints: 20511
783.33/786.04 c #Conflicts: 196000 | #Constraints: 21511
783.33/786.04 c #Conflicts: 197000 | #Constraints: 22511
783.33/786.04 c #Conflicts: 198000 | #Constraints: 23511
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 199000 | #Constraints: 15720
783.33/786.04 c #Conflicts: 200000 | #Constraints: 16720
783.33/786.04 c #Conflicts: 201000 | #Constraints: 17720
783.33/786.04 c #Conflicts: 202000 | #Constraints: 18720
783.33/786.04 c #Conflicts: 203000 | #Constraints: 19720
783.33/786.04 c #Conflicts: 204000 | #Constraints: 20720
783.33/786.04 c #Conflicts: 205000 | #Constraints: 21720
783.33/786.04 c #Conflicts: 206000 | #Constraints: 22720
783.33/786.04 c #Conflicts: 207000 | #Constraints: 23720
783.33/786.04 c INPROCESSING
783.33/786.04 c GARBAGE COLLECT
783.33/786.04 c #Conflicts: 208000 | #Constraints: 15741
783.33/786.04 c #Conflicts: 209000 | #Constraints: 16741
783.33/786.04 c #Conflicts: 210000 | #Constraints: 17741
783.33/786.04 c #Conflicts: 211000 | #Constraints: 18741
783.33/786.04 c #Conflicts: 212000 | #Constraints: 19741
783.33/786.04 c #Conflicts: 213000 | #Constraints: 20741
1438.88/1443.80 c #Conflicts: 214000 | #Constraints: 21741
1438.88/1443.80 c #Conflicts: 215000 | #Constraints: 22741
1438.88/1443.80 c #Conflicts: 216000 | #Constraints: 23741
1438.88/1443.80 c INPROCESSING
1438.88/1443.80 c GARBAGE COLLECT
1438.88/1443.80 c #Conflicts: 217000 | #Constraints: 15536
1438.88/1443.80 c #Conflicts: 218000 | #Constraints: 16536
1438.88/1443.80 c #Conflicts: 219000 | #Constraints: 17536
1438.88/1443.80 c #Conflicts: 220000 | #Constraints: 18536
1438.88/1443.80 c #Conflicts: 221000 | #Constraints: 19536
1438.88/1443.80 c #Conflicts: 222000 | #Constraints: 20536
1438.88/1443.80 c #Conflicts: 223000 | #Constraints: 21536
1438.88/1443.80 c #Conflicts: 224000 | #Constraints: 22536
1438.88/1443.80 c #Conflicts: 225000 | #Constraints: 23536
1438.88/1443.80 c #Conflicts: 226000 | #Constraints: 24536
1438.88/1443.80 c INPROCESSING
1438.88/1443.80 c GARBAGE COLLECT
1438.88/1443.80 c #Conflicts: 227000 | #Constraints: 16133
1438.88/1443.80 c #Conflicts: 228000 | #Constraints: 17133
1438.88/1443.80 c #Conflicts: 229000 | #Constraints: 18133
1438.88/1443.80 c #Conflicts: 230000 | #Constraints: 19133
1438.88/1443.80 c #Conflicts: 231000 | #Constraints: 20133
1438.88/1443.80 c #Conflicts: 232000 | #Constraints: 21133
1438.88/1443.80 c #Conflicts: 233000 | #Constraints: 22133
1438.88/1443.80 c #Conflicts: 234000 | #Constraints: 23133
1438.88/1443.80 c #Conflicts: 235000 | #Constraints: 24133
1438.88/1443.80 c #Conflicts: 236000 | #Constraints: 25133
1438.88/1443.80 c INPROCESSING
1438.88/1443.80 c GARBAGE COLLECT
1438.88/1443.80 c #Conflicts: 237000 | #Constraints: 16532
1438.88/1443.80 c #Conflicts: 238000 | #Constraints: 17532
1438.88/1443.80 c #Conflicts: 239000 | #Constraints: 18532
1438.88/1443.80 c #Conflicts: 240000 | #Constraints: 19532
1438.88/1443.80 c #Conflicts: 241000 | #Constraints: 20532
1438.88/1443.80 c #Conflicts: 242000 | #Constraints: 21532
1438.88/1443.80 c #Conflicts: 243000 | #Constraints: 22532
1438.88/1443.80 c #Conflicts: 244000 | #Constraints: 23532
1438.88/1443.80 c #Conflicts: 245000 | #Constraints: 24532
1438.88/1443.80 c #Conflicts: 246000 | #Constraints: 25532
1438.88/1443.80 c INPROCESSING
1438.88/1443.80 c GARBAGE COLLECT
1438.88/1443.80 c #Conflicts: 247000 | #Constraints: 16714
1438.88/1443.80 c #Conflicts: 248000 | #Constraints: 17714
1438.88/1443.80 c #Conflicts: 249000 | #Constraints: 18714
1438.88/1443.80 c #Conflicts: 250000 | #Constraints: 19714
1438.88/1443.80 c #Conflicts: 251000 | #Constraints: 20714
1438.88/1443.80 c #Conflicts: 252000 | #Constraints: 21714
1438.88/1443.80 c #Conflicts: 253000 | #Constraints: 22714
1438.88/1443.80 c #Conflicts: 254000 | #Constraints: 23714
1438.88/1443.80 c #Conflicts: 255000 | #Constraints: 24714
1438.88/1443.80 c #Conflicts: 256000 | #Constraints: 25714
1438.88/1443.80 c INPROCESSING
1438.88/1443.80 c GARBAGE COLLECT
1438.88/1443.80 c #Conflicts: 257000 | #Constraints: 16742
1438.88/1443.80 c #Conflicts: 258000 | #Constraints: 17742
1438.88/1443.80 c #Conflicts: 259000 | #Constraints: 18742
1438.88/1443.80 c #Conflicts: 260000 | #Constraints: 19742
1438.88/1443.80 c #Conflicts: 261000 | #Constraints: 20742
1438.88/1443.80 c #Conflicts: 262000 | #Constraints: 21742
1438.88/1443.80 c #Conflicts: 263000 | #Constraints: 22742
1438.88/1443.80 c #Conflicts: 264000 | #Constraints: 23742
1438.88/1443.80 c #Conflicts: 265000 | #Constraints: 24742
1438.88/1443.80 c #Conflicts: 266000 | #Constraints: 25742
1438.88/1443.80 c INPROCESSING
1438.88/1443.80 c GARBAGE COLLECT
1438.88/1443.80 c #Conflicts: 267000 | #Constraints: 16560
1438.88/1443.80 c #Conflicts: 268000 | #Constraints: 17560
1438.88/1443.80 c #Conflicts: 269000 | #Constraints: 18560
1438.88/1443.80 c #Conflicts: 270000 | #Constraints: 19560
1438.88/1443.80 c #Conflicts: 271000 | #Constraints: 20560
1438.88/1443.80 c #Conflicts: 272000 | #Constraints: 21560
1438.88/1443.80 c #Conflicts: 273000 | #Constraints: 22560
1438.88/1443.80 c #Conflicts: 274000 | #Constraints: 23560
1438.88/1443.80 c #Conflicts: 275000 | #Constraints: 24560
1438.88/1443.80 c #Conflicts: 276000 | #Constraints: 25560
1438.88/1443.80 c #Conflicts: 277000 | #Constraints: 26560
1438.88/1443.80 c INPROCESSING
1438.88/1443.80 c GARBAGE COLLECT
1438.88/1443.80 c #Conflicts: 278000 | #Constraints: 17150
1438.88/1443.80 c #Conflicts: 279000 | #Constraints: 18150
1438.88/1443.80 c #Conflicts: 280000 | #Constraints: 19150
1438.88/1443.80 c #Conflicts: 281000 | #Constraints: 20150
1438.88/1443.80 c #Conflicts: 282000 | #Constraints: 21150
1438.88/1443.80 c #Conflicts: 283000 | #Constraints: 22150
1438.88/1443.80 c #Conflicts: 284000 | #Constraints: 23150
1438.88/1443.80 c #Conflicts: 285000 | #Constraints: 24150
1438.88/1443.80 c #Conflicts: 286000 | #Constraints: 25150
1438.88/1443.80 c #Conflicts: 287000 | #Constraints: 26150
2134.77/2142.01 c #Conflicts: 288000 | #Constraints: 27150
2134.77/2142.01 c INPROCESSING
2134.77/2142.01 c GARBAGE COLLECT
2134.77/2142.01 c #Conflicts: 289000 | #Constraints: 17560
2134.77/2142.01 c #Conflicts: 290000 | #Constraints: 18560
2134.77/2142.01 c #Conflicts: 291000 | #Constraints: 19560
2134.77/2142.01 c #Conflicts: 292000 | #Constraints: 20560
2134.77/2142.01 c #Conflicts: 293000 | #Constraints: 21560
2134.77/2142.01 c #Conflicts: 294000 | #Constraints: 22560
2134.77/2142.01 c #Conflicts: 295000 | #Constraints: 23560
2134.77/2142.01 c #Conflicts: 296000 | #Constraints: 24560
2134.77/2142.01 c #Conflicts: 297000 | #Constraints: 25560
2134.77/2142.01 c #Conflicts: 298000 | #Constraints: 26560
2134.77/2142.01 c #Conflicts: 299000 | #Constraints: 27560
2134.77/2142.01 c INPROCESSING
2134.77/2142.01 c GARBAGE COLLECT
2134.77/2142.01 c #Conflicts: 300000 | #Constraints: 17765
2134.77/2142.01 c #Conflicts: 301000 | #Constraints: 18765
2134.77/2142.01 c #Conflicts: 302000 | #Constraints: 19765
2134.77/2142.01 c #Conflicts: 303000 | #Constraints: 20765
2134.77/2142.01 c #Conflicts: 304000 | #Constraints: 21765
2134.77/2142.01 c #Conflicts: 305000 | #Constraints: 22765
2134.77/2142.01 c #Conflicts: 306000 | #Constraints: 23765
2134.77/2142.01 c #Conflicts: 307000 | #Constraints: 24765
2134.77/2142.01 c #Conflicts: 308000 | #Constraints: 25765
2134.77/2142.01 c #Conflicts: 309000 | #Constraints: 26765
2134.77/2142.01 c #Conflicts: 310000 | #Constraints: 27765
2134.77/2142.01 c INPROCESSING
2134.77/2142.01 c GARBAGE COLLECT
2134.77/2142.01 c #Conflicts: 311000 | #Constraints: 17760
2134.77/2142.01 c #Conflicts: 312000 | #Constraints: 18760
2134.77/2142.01 c #Conflicts: 313000 | #Constraints: 19760
2134.77/2142.01 c #Conflicts: 314000 | #Constraints: 20760
2134.77/2142.01 c #Conflicts: 315000 | #Constraints: 21760
2134.77/2142.01 c #Conflicts: 316000 | #Constraints: 22760
2134.77/2142.01 c #Conflicts: 317000 | #Constraints: 23760
2134.77/2142.01 c #Conflicts: 318000 | #Constraints: 24760
2134.77/2142.01 c #Conflicts: 319000 | #Constraints: 25760
2134.77/2142.01 c #Conflicts: 320000 | #Constraints: 26760
2134.77/2142.01 c #Conflicts: 321000 | #Constraints: 27760
2134.77/2142.01 c INPROCESSING
2134.77/2142.01 c GARBAGE COLLECT
2134.77/2142.01 c #Conflicts: 322000 | #Constraints: 17550
2134.77/2142.01 c #Conflicts: 323000 | #Constraints: 18550
2134.77/2142.01 c #Conflicts: 324000 | #Constraints: 19550
2134.77/2142.01 c #Conflicts: 325000 | #Constraints: 20550
2134.77/2142.01 c #Conflicts: 326000 | #Constraints: 21550
2134.77/2142.01 c #Conflicts: 327000 | #Constraints: 22550
2134.77/2142.01 c #Conflicts: 328000 | #Constraints: 23550
2134.77/2142.01 c #Conflicts: 329000 | #Constraints: 24550
2134.77/2142.01 c #Conflicts: 330000 | #Constraints: 25550
2134.77/2142.01 c #Conflicts: 331000 | #Constraints: 26550
2134.77/2142.01 c #Conflicts: 332000 | #Constraints: 27550
2134.77/2142.01 c #Conflicts: 333000 | #Constraints: 28550
2134.77/2142.01 c INPROCESSING
2134.77/2142.01 c GARBAGE COLLECT
2134.77/2142.01 c #Conflicts: 334000 | #Constraints: 18129
2134.77/2142.01 c #Conflicts: 335000 | #Constraints: 19129
2134.77/2142.01 c #Conflicts: 336000 | #Constraints: 20129
2134.77/2142.01 c #Conflicts: 337000 | #Constraints: 21129
2134.77/2142.01 c #Conflicts: 338000 | #Constraints: 22129
2134.77/2142.01 c #Conflicts: 339000 | #Constraints: 23129
2134.77/2142.01 c #Conflicts: 340000 | #Constraints: 24129
2134.77/2142.01 c #Conflicts: 341000 | #Constraints: 25129
2134.77/2142.01 c #Conflicts: 342000 | #Constraints: 26129
2134.77/2142.01 c #Conflicts: 343000 | #Constraints: 27129
2134.77/2142.01 c #Conflicts: 344000 | #Constraints: 28129
2134.77/2142.01 c #Conflicts: 345000 | #Constraints: 29129
2134.77/2142.01 c INPROCESSING
2134.77/2142.01 c GARBAGE COLLECT
2134.77/2142.01 c #Conflicts: 346000 | #Constraints: 18525
2134.77/2142.01 c #Conflicts: 347000 | #Constraints: 19525
2134.77/2142.01 c #Conflicts: 348000 | #Constraints: 20525
2134.77/2142.01 c #Conflicts: 349000 | #Constraints: 21525
2134.77/2142.01 c #Conflicts: 350000 | #Constraints: 22525
2134.77/2142.01 c #Conflicts: 351000 | #Constraints: 23525
2134.77/2142.01 c #Conflicts: 352000 | #Constraints: 24525
2134.77/2142.01 c #Conflicts: 353000 | #Constraints: 25525
2134.77/2142.01 c #Conflicts: 354000 | #Constraints: 26525
2134.77/2142.01 c #Conflicts: 355000 | #Constraints: 27525
2134.77/2142.01 c #Conflicts: 356000 | #Constraints: 28525
2134.77/2142.01 c #Conflicts: 357000 | #Constraints: 29525
2134.77/2142.01 c INPROCESSING
2134.77/2142.01 c GARBAGE COLLECT
2134.77/2142.01 c #Conflicts: 358000 | #Constraints: 18731
2134.77/2142.01 c #Conflicts: 359000 | #Constraints: 19731
2134.77/2142.01 c #Conflicts: 360000 | #Constraints: 20731
2134.77/2142.01 c #Conflicts: 361000 | #Constraints: 21731
3600.09/3612.60 c #Conflicts: 362000 | #Constraints: 22731
3600.09/3612.60 c #Conflicts: 363000 | #Constraints: 23731
3600.09/3612.60 c #Conflicts: 364000 | #Constraints: 24731
3600.09/3612.60 c #Conflicts: 365000 | #Constraints: 25731
3600.09/3612.60 c #Conflicts: 366000 | #Constraints: 26731
3600.09/3612.60 c #Conflicts: 367000 | #Constraints: 27731
3600.09/3612.60 c #Conflicts: 368000 | #Constraints: 28731
3600.09/3612.60 c #Conflicts: 369000 | #Constraints: 29731
3600.09/3612.60 c INPROCESSING
3600.09/3612.60 c GARBAGE COLLECT
3600.09/3612.60 c #Conflicts: 370000 | #Constraints: 18723
3600.09/3612.60 c #Conflicts: 371000 | #Constraints: 19723
3600.09/3612.60 c #Conflicts: 372000 | #Constraints: 20723
3600.09/3612.60 c #Conflicts: 373000 | #Constraints: 21723
3600.09/3612.60 c #Conflicts: 374000 | #Constraints: 22723
3600.09/3612.60 c #Conflicts: 375000 | #Constraints: 23723
3600.09/3612.60 c #Conflicts: 376000 | #Constraints: 24723
3600.09/3612.60 c #Conflicts: 377000 | #Constraints: 25723
3600.09/3612.60 c #Conflicts: 378000 | #Constraints: 26723
3600.09/3612.60 c #Conflicts: 379000 | #Constraints: 27723
3600.09/3612.60 c #Conflicts: 380000 | #Constraints: 28723
3600.09/3612.60 c #Conflicts: 381000 | #Constraints: 29723
3600.09/3612.60 c #Conflicts: 382000 | #Constraints: 30723
3600.09/3612.60 c #Conflicts: 383000 | #Constraints: 31723
3600.09/3612.60 c #Conflicts: 384000 | #Constraints: 32723
3600.09/3612.60 c #Conflicts: 385000 | #Constraints: 33723
3600.09/3612.60 c #Conflicts: 386000 | #Constraints: 34723
3600.09/3612.60 c #Conflicts: 387000 | #Constraints: 35723
3600.09/3612.60 c #Conflicts: 388000 | #Constraints: 36723
3600.09/3612.60 c #Conflicts: 389000 | #Constraints: 37723
3600.09/3612.60 c #Conflicts: 390000 | #Constraints: 38723
3600.09/3612.60 c #Conflicts: 391000 | #Constraints: 39723
3600.09/3612.60 c #Conflicts: 392000 | #Constraints: 40723
3600.09/3612.60 c #Conflicts: 393000 | #Constraints: 41723
3600.09/3612.60 c #Conflicts: 394000 | #Constraints: 42723
3600.09/3612.60 c #Conflicts: 395000 | #Constraints: 43723
3600.09/3612.60 c #Conflicts: 396000 | #Constraints: 44723
3600.09/3612.60 c #Conflicts: 397000 | #Constraints: 45723
3600.09/3612.60 c #Conflicts: 398000 | #Constraints: 46723
3600.09/3612.60 c #Conflicts: 399000 | #Constraints: 47723
3600.09/3612.60 c #Conflicts: 400000 | #Constraints: 48723
3600.09/3612.60 c #Conflicts: 401000 | #Constraints: 49723
3600.09/3612.60 c #Conflicts: 402000 | #Constraints: 50723
3600.09/3612.60 c #Conflicts: 403000 | #Constraints: 51723
3600.09/3612.60 c #Conflicts: 404000 | #Constraints: 52723
3600.09/3612.60 c #Conflicts: 405000 | #Constraints: 53723
3600.09/3612.60 c #Conflicts: 406000 | #Constraints: 54723
3600.09/3612.60 c #Conflicts: 407000 | #Constraints: 55723
3600.09/3612.60 c #Conflicts: 408000 | #Constraints: 56723
3600.09/3612.60 c #Conflicts: 409000 | #Constraints: 57723
3600.09/3612.60 c #Conflicts: 410000 | #Constraints: 58723
3600.09/3612.60 c Program interrupted by user.
3600.09/3612.60 c cpu time 3595.02 s
3600.09/3612.60 c deterministic time 317845002589 3.18e+11
3600.09/3612.60 c optimization time 1351.81 s
3600.09/3612.60 c total solve time 2243.2 s
3600.09/3612.60 c core-guided solve time 2243.2 s
3600.09/3612.60 c propagation time 3243.47 s
3600.09/3612.60 c conflict analysis time 335.143 s
3600.09/3612.60 c propagations 217503212
3600.09/3612.60 c resolve steps 19000522
3600.09/3612.60 c decisions 2607954
3600.09/3612.60 c conflicts 410722
3600.09/3612.60 c restarts 1016
3600.09/3612.60 c inprocessing phases 52
3600.09/3612.60 c input clauses 3780
3600.09/3612.60 c input cardinalities 0
3600.09/3612.60 c input general constraints 1681
3600.09/3612.60 c input average constraint length 3.08
3600.09/3612.60 c input average constraint degree 201338882.36
3600.09/3612.60 c learned clauses 49878
3600.09/3612.60 c learned cardinalities 49
3600.09/3612.60 c learned general constraints 360795
3600.09/3612.60 c learned average constraint length 324.57
3600.09/3612.60 c learned average constraint degree 340993941.14
3600.09/3612.60 c watched constraints 357323
3600.09/3612.60 c counting constraints 5153
3600.09/3612.60 c gcd simplifications 17133
3600.09/3612.60 c detected cardinalities 6
3600.09/3612.60 c weakened non-implied lits 6150432
3600.09/3612.60 c weakened non-implying lits 198776
3600.09/3612.60 c original variables 2730
3600.09/3612.60 c clausal propagations 85779108
3600.09/3612.60 c cardinality propagations 3535
3600.09/3612.60 c watched propagations 32925734
3600.09/3612.60 c counting propagations 98677746
3600.09/3612.60 c watch lookups 57320492892
3600.09/3612.60 c watch backjump lookups 53278737954
3600.09/3612.60 c watch checks 160240272728
3600.09/3612.60 c propagation checks 46072052899
3600.09/3612.60 c constraint additions 492814208
3600.09/3612.60 c trail pops 220520741
3600.09/3612.60 c formula constraints 5460
3600.09/3612.60 c learned constraints 410722
3600.09/3612.60 c bound constraints 1
3600.09/3612.60 c core-guided constraints 0
3600.09/3612.60 c encountered formula constraints 13379629
3600.09/3612.60 c encountered learned constraints 6031615
3600.09/3612.60 c encountered bound constraints 0
3600.09/3612.60 c encountered core-guided constraints 0
3600.09/3612.60 c LP total time 0 s
3600.09/3612.60 c LP solve time 0 s
3600.09/3612.60 c LP constraints added 0
3600.09/3612.60 c LP constraints removed 0
3600.09/3612.60 c LP pivots internal 0
3600.09/3612.60 c LP pivots root 0
3600.09/3612.60 c LP calls 0
3600.09/3612.60 c LP optimalities 0
3600.09/3612.60 c LP no pivot count 0
3600.09/3612.60 c LP infeasibilities 0
3600.09/3612.60 c LP valid Farkas constraints 0
3600.09/3612.60 c LP learned Farkas constraints 0
3600.09/3612.60 c LP basis resets 0
3600.09/3612.60 c LP cycling count 0
3600.09/3612.60 c LP singular count 0
3600.09/3612.60 c LP no primal count 0
3600.09/3612.60 c LP no farkas count 0
3600.09/3612.60 c LP other issue count 0
3600.09/3612.60 c LP Gomory cuts 0
3600.09/3612.60 c LP learned cuts 0
3600.09/3612.60 c LP deleted cuts 0
3600.09/3612.60 c LP encountered Gomory constraints 0
3600.09/3612.60 c LP encountered Farkas constraints 0
3600.09/3612.60 c LP encountered learned Farkas constraints 0
3600.09/3612.60 c CG auxiliary variables introduced 0
3600.09/3612.60 c CG solutions found 0
3600.09/3612.60 c CG cores constructed 1
3600.09/3612.60 c CG core cardinality constraints returned 0
3600.09/3612.60 c CG unit cores 0
3600.09/3612.60 c CG single cores 1
3600.09/3612.60 c CG blocks removed during cardinality reduction 0
3600.09/3612.60 c CG first core best 0
3600.09/3612.60 c CG decision core best 0
3600.09/3612.60 c CG core reduction tie 0
3600.09/3612.60 c CG core degree average 1.00
3600.09/3612.60 c CG core slack average 3.00
3600.09/3612.60 c CG exhausted 0
3600.09/3612.60 c CG exhaust time 0 s
3600.09/3612.60 c CG trimmed 0
3600.09/3612.60 c CG trim time 1.5e-05 s
3600.09/3612.60 c CG minimized 0
3600.09/3612.60 c CG minimize time 0 s
3600.09/3612.60 c CG am1 prop time 3.6e-05 s
3600.09/3612.60 c CG # am1s reformulated 0
3600.09/3612.60 c CG lower bound derived from am1s 0
3600.09/3612.60 c CG # clausal cores 1
3600.09/3612.60 c CG # cardinality cores 0
3600.09/3612.60 c CG # pb cores 0
3600.09/3612.60 c CG # pb reforms 0
3600.09/3612.60 c CG # cores discarded because of pb reform 0
3600.09/3612.60 d LOWERBOUND -3298534883327
3600.09/3612.60 d NCORES 1
3600.09/3612.60 d NPBCORES 0
3600.09/3612.60 d NPBREFORM 0
3600.09/3612.60 d NTRIMMED 0
3600.09/3612.60 d NEXHAUSTED 0
3600.09/3612.60 d NAM1S 0
3600.09/3612.60 d AM1LB 0
3600.09/3612.60 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: 64059 MiB (42079 MiB free)
memory of node 1: 64510 MiB (55098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458321-1721879584/watcher-4458321-1721879584 -o /tmp/evaluation-result-4458321-1721879584/solver-4458321-1721879584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215806 --watchdog 3760 pb-oll-rs HOME/instance-4458321-1721879584.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=218066, runsolver pid=218063
[startup+0.100097 s]*
/proc/loadavg: 4.15 4.14 4.14 5/244 218067
/proc/meminfo: memFree=99506448/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=40124 memory=9476 CPUtime=0.1 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 684 0 0 0 10 0 0 0 20 0 1 0 23947439 41086976 2369 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 10031 2369 1390 291 0 1565 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 9476 KiB
[startup+0.213396 s]*
/proc/loadavg: 4.15 4.14 4.14 5/244 218067
/proc/meminfo: memFree=99505768/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=40384 memory=9744 CPUtime=0.21 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 724 0 0 0 20 1 0 0 20 0 1 0 23947439 41353216 2436 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 10096 2436 1390 291 0 1630 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40384 KiB
Current children cumulated memory: 9744 KiB
[startup+0.313456 s]*
/proc/loadavg: 4.15 4.14 4.14 5/244 218067
/proc/meminfo: memFree=99505768/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=40512 memory=10072 CPUtime=0.31 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 761 0 0 0 30 1 0 0 20 0 1 0 23947439 41484288 2518 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 10128 2518 1406 291 0 1662 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40512 KiB
Current children cumulated memory: 10072 KiB
[startup+0.70034 s]
/proc/loadavg: 4.15 4.14 4.14 5/244 218067
/proc/meminfo: memFree=99505320/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=41016 memory=10828 CPUtime=0.69 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 893 0 0 0 67 2 0 0 20 0 1 0 23947439 42000384 2707 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 10254 2707 1468 291 0 1788 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41016 KiB
Current children cumulated memory: 10828 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.14 4.14 5/244 218067
/proc/meminfo: memFree=99504284/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=42000 memory=11604 CPUtime=1.48 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 1132 0 0 0 144 4 0 0 20 0 1 0 23947439 43008000 2901 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 10500 2901 1468 291 0 2034 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42000 KiB
Current children cumulated memory: 11604 KiB
[startup+3.11318 s]
/proc/loadavg: 4.15 4.14 4.14 5/244 218069
/proc/meminfo: memFree=99502304/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=43048 memory=13520 CPUtime=3.09 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 1573 0 0 0 302 7 0 0 20 0 1 0 23947439 44081152 3380 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 10762 3380 1468 291 0 2296 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43048 KiB
Current children cumulated memory: 13520 KiB
[startup+6.30032 s]
/proc/loadavg: 4.14 4.14 4.14 5/244 218069
/proc/meminfo: memFree=99498776/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=47312 memory=16656 CPUtime=6.26 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 2347 0 0 0 616 10 0 0 20 0 1 0 23947439 48447488 4164 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 11828 4164 1468 291 0 3362 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47312 KiB
Current children cumulated memory: 16656 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.13 4.14 5/244 218070
/proc/meminfo: memFree=99495388/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=50124 memory=21440 CPUtime=12.64 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 3578 0 0 0 1248 16 0 0 20 0 1 0 23947439 51326976 5360 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 12531 5360 1468 291 0 4065 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 50124 KiB
Current children cumulated memory: 21440 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.13 4.13 5/244 218072
/proc/meminfo: memFree=99490232/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=56552 memory=24320 CPUtime=25.4 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 4330 0 0 0 2512 28 0 0 20 0 1 0 23947439 57909248 6080 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 14138 6080 1468 291 0 5672 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 56552 KiB
Current children cumulated memory: 24320 KiB
[startup+51.1132 s]
/proc/loadavg: 4.12 4.13 4.14 5/244 218121
/proc/meminfo: memFree=99793484/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=69556 memory=34588 CPUtime=50.93 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 6462 0 0 0 5050 43 0 0 20 0 1 0 23947439 71225344 8647 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 17389 8647 1468 291 0 8923 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 69556 KiB
Current children cumulated memory: 34588 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/243 218130
/proc/meminfo: memFree=99754436/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=74164 memory=41136 CPUtime=101.94 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 7716 0 0 0 10125 69 0 0 20 0 1 0 23947439 75943936 10284 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 18541 10284 1468 291 0 10075 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 74164 KiB
Current children cumulated memory: 41136 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/243 218570
/proc/meminfo: memFree=99875600/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=77484 memory=46876 CPUtime=161.72 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 8843 0 0 0 16076 96 0 0 20 0 1 0 23947439 79343616 11719 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 19371 11719 1468 291 0 10905 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 77484 KiB
Current children cumulated memory: 46876 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/243 218581
/proc/meminfo: memFree=99851688/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=93836 memory=55956 CPUtime=221.51 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 10640 0 0 0 22032 119 0 0 20 0 1 0 23947439 96088064 13989 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 23459 13989 1468 291 0 14993 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 93836 KiB
Current children cumulated memory: 55956 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/243 218591
/proc/meminfo: memFree=99823328/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=94640 memory=56928 CPUtime=281.28 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 10980 0 0 0 27991 137 0 0 20 0 1 0 23947439 96911360 14232 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 23660 14232 1468 291 0 15194 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 94640 KiB
Current children cumulated memory: 56928 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/244 218771
/proc/meminfo: memFree=99816308/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=96084 memory=59916 CPUtime=341.05 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 11410 0 0 0 33950 155 0 0 20 0 1 0 23947439 98390016 14979 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 24021 14979 1468 291 0 15555 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 96084 KiB
Current children cumulated memory: 59916 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/244 218783
/proc/meminfo: memFree=99803260/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=97456 memory=62864 CPUtime=400.85 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 11749 0 0 0 39916 169 0 0 20 0 1 0 23947439 99794944 15716 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 24364 15716 1468 291 0 15898 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 97456 KiB
Current children cumulated memory: 62864 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/244 218889
/proc/meminfo: memFree=100031720/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=98348 memory=63784 CPUtime=460.66 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 12022 0 0 0 45882 184 0 0 20 0 1 0 23947439 100708352 15946 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 24587 15946 1468 291 0 16121 0
################
# More data... #
################
Current children cumulated memory: 162384 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.21 4.20 5/243 219993
/proc/meminfo: memFree=99435132/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=256388 memory=169992 CPUtime=2852.46 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 25723 0 0 0 284772 474 0 0 20 0 1 0 23947439 262541312 42498 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 64097 42498 1468 291 0 55631 0
Current children cumulated CPU time: 2852.46 s
Current children cumulated vsize: 256388 KiB
Current children cumulated memory: 169992 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.20 4.20 5/244 220005
/proc/meminfo: memFree=99397140/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=266276 memory=193844 CPUtime=2912.23 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 27606 0 0 0 290744 479 0 0 20 0 1 0 23947439 272666624 48461 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 66569 48461 1468 291 0 58103 0
Current children cumulated CPU time: 2912.23 s
Current children cumulated vsize: 266276 KiB
Current children cumulated memory: 193844 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.19 4.19 5/244 220015
/proc/meminfo: memFree=99371080/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=270636 memory=200640 CPUtime=2972.02 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 28386 0 0 0 296720 482 0 0 20 0 1 0 23947439 277131264 50160 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 67659 50160 1468 291 0 59193 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 270636 KiB
Current children cumulated memory: 200640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.17 4.18 5/244 220026
/proc/meminfo: memFree=99353252/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=273196 memory=206200 CPUtime=3031.82 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 28834 0 0 0 302697 485 0 0 20 0 1 0 23947439 279752704 51550 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 68299 51550 1468 291 0 59833 0
Current children cumulated CPU time: 3031.82 s
Current children cumulated vsize: 273196 KiB
Current children cumulated memory: 206200 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/244 220036
/proc/meminfo: memFree=99332696/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=278000 memory=211028 CPUtime=3091.62 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 29627 0 0 0 308674 488 0 0 20 0 1 0 23947439 284672000 52757 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 69500 52757 1468 291 0 61034 0
Current children cumulated CPU time: 3091.62 s
Current children cumulated vsize: 278000 KiB
Current children cumulated memory: 211028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/242 220046
/proc/meminfo: memFree=99299912/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=281200 memory=216840 CPUtime=3151.41 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 30213 0 0 0 314650 491 0 0 20 0 1 0 23947439 287948800 54210 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 70300 54210 1468 291 0 61834 0
Current children cumulated CPU time: 3151.41 s
Current children cumulated vsize: 281200 KiB
Current children cumulated memory: 216840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/242 220058
/proc/meminfo: memFree=99294300/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=284148 memory=220864 CPUtime=3211.19 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 30763 0 0 0 320627 492 0 0 20 0 1 0 23947439 290967552 55216 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 71037 55216 1468 291 0 62571 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 284148 KiB
Current children cumulated memory: 220864 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/242 220068
/proc/meminfo: memFree=99276592/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=286528 memory=226408 CPUtime=3270.98 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 31254 0 0 0 326603 495 0 0 20 0 1 0 23947439 293404672 56602 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 71632 56602 1468 291 0 63166 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 286528 KiB
Current children cumulated memory: 226408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/242 220078
/proc/meminfo: memFree=99268036/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=290124 memory=230940 CPUtime=3330.77 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 31968 0 0 0 332579 498 0 0 20 0 1 0 23947439 297086976 57735 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 72531 57735 1468 291 0 64065 0
Current children cumulated CPU time: 3330.77 s
Current children cumulated vsize: 290124 KiB
Current children cumulated memory: 230940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/242 220088
/proc/meminfo: memFree=99255424/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=293004 memory=234948 CPUtime=3390.55 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 32562 0 0 0 338555 500 0 0 20 0 1 0 23947439 300036096 58737 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 73251 58737 1468 291 0 64785 0
Current children cumulated CPU time: 3390.55 s
Current children cumulated vsize: 293004 KiB
Current children cumulated memory: 234948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/244 220103
/proc/meminfo: memFree=99240440/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=296728 memory=241524 CPUtime=3450.33 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 33301 0 0 0 344531 502 0 0 20 0 1 0 23947439 303849472 60381 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 74182 60381 1468 291 0 65716 0
Current children cumulated CPU time: 3450.33 s
Current children cumulated vsize: 296728 KiB
Current children cumulated memory: 241524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/244 220114
/proc/meminfo: memFree=99226548/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=300216 memory=245784 CPUtime=3510.12 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 33964 0 0 0 350507 505 0 0 20 0 1 0 23947439 307421184 61446 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 75054 61446 1468 291 0 66588 0
Current children cumulated CPU time: 3510.12 s
Current children cumulated vsize: 300216 KiB
Current children cumulated memory: 245784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.16 5/243 220124
/proc/meminfo: memFree=99205912/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=303700 memory=252348 CPUtime=3569.9 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 34677 0 0 0 356483 507 0 0 20 0 1 0 23947439 310988800 63087 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 75925 63087 1468 291 0 67459 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 303700 KiB
Current children cumulated memory: 252348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.19 4.14 4.16 5/243 220130
/proc/meminfo: memFree=99200828/131655788 swapFree=131062644/131071996
[pid=218066] ppid=218063 vsize=306288 memory=253932 CPUtime=3600.09 cores=0,2
/proc/218066/stat : 218066 (pb-oll-rs) R 218063 218066 215796 0 -1 4194304 35076 0 0 0 359501 508 0 0 20 0 1 0 23947439 313638912 63483 134679101440 4194304 5384485 140722307548624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 14155776 140722307552279 140722307552356 140722307552356 140722307559371 0
/proc/218066/statm: 76572 63483 1468 291 0 68106 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 306288 KiB
Current children cumulated memory: 253932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.6 s]
# the end of solver process 218066 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.02 s, system=5.08854 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.6
CPU time (s): 3600.11
CPU user time (s): 3595.02
CPU system time (s): 5.08854
CPU usage (%): 99.654
Max. virtual memory (cumulated for all children) (KiB): 306288
Max. memory (cumulated for all children) (KiB): 253932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.02
system time used= 5.08854
maximum resident set size= 254316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35096
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= 71
involuntary context switches= 25186
# summary of solver processes directly reported to runsolver:
# pid: 218066
# total CPU time (s): 3600.11
# total CPU user time (s): 3595.02
# total CPU system time (s): 5.08854
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1674 second user time and 37.3962 second system time
The end
Begin job on nodeC003 at 2024-07-25 05:53:04
IDJOB=4458321
IDBENCH=177198
IDSOLVER=3082
FILE ID=nodeC003/4458321-1721879584
RUNJOBID= nodeC003-1721875971-215806
SLURM_JOB_ID= 8089247
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458321-1721879584/watcher-4458321-1721879584 -o /tmp/evaluation-result-4458321-1721879584/solver-4458321-1721879584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215806 --watchdog 3760 pb-oll-rs HOME/instance-4458321-1721879584.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 216ba9da6a205e5efe57192784bc5fe9
RANDOM SEED=686933464
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.088
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.09
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 : 3518.239
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.279
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.09
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.353
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 3531.389
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.09
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 : 3500.055
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.479
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.09
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.416
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 99511100 kB
MemAvailable: 129043716 kB
Buffers: 295188 kB
Cached: 29785424 kB
SwapCached: 968 kB
Active: 2487680 kB
Inactive: 28659288 kB
Active(anon): 2600 kB
Inactive(anon): 1117192 kB
Active(file): 2485080 kB
Inactive(file): 27542096 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131062644 kB
Dirty: 1684 kB
Writeback: 0 kB
AnonPages: 1056680 kB
Mapped: 114160 kB
Shmem: 53440 kB
KReclaimable: 567184 kB
Slab: 681372 kB
SReclaimable: 567184 kB
SUnreclaim: 114188 kB
KernelStack: 3932 kB
PageTables: 11624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1491928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 903168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 394056 kB
DirectMap2M: 40404992 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC003 at 2024-07-25 06:53:17