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.09/0.17 c [STEP] solving
0.09/0.17 c #variables 2700 #constraints 43070
0.09/0.17 c SMALL=int, LARGE=long long
0.09/0.17 c bounds - >= 0 @ 0.134404
0.09/0.17 c stratification level: 4
4.58/4.60 c #Conflicts: 1000 | #Constraints: 44069
4.58/4.60 c #Conflicts: 2000 | #Constraints: 45069
4.58/4.60 c INPROCESSING
4.58/4.60 c #Conflicts: 3000 | #Constraints: 45090
4.58/4.60 c #Conflicts: 4000 | #Constraints: 46090
4.58/4.60 c INPROCESSING
4.58/4.60 c #Conflicts: 5000 | #Constraints: 45504
4.58/4.60 c #Conflicts: 6000 | #Constraints: 46504
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 7000 | #Constraints: 45514
4.58/4.60 c #Conflicts: 8000 | #Constraints: 46514
4.58/4.60 c #Conflicts: 9000 | #Constraints: 47514
4.58/4.60 c INPROCESSING
4.58/4.60 c #Conflicts: 10000 | #Constraints: 46219
4.58/4.60 c #Conflicts: 11000 | #Constraints: 47219
4.58/4.60 c #Conflicts: 12000 | #Constraints: 48219
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 13000 | #Constraints: 46671
4.58/4.60 c #Conflicts: 14000 | #Constraints: 47671
4.58/4.60 c #Conflicts: 15000 | #Constraints: 48671
4.58/4.60 c INPROCESSING
4.58/4.60 c #Conflicts: 16000 | #Constraints: 46910
4.58/4.60 c #Conflicts: 17000 | #Constraints: 47910
4.58/4.60 c #Conflicts: 18000 | #Constraints: 48910
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 19000 | #Constraints: 46945
4.58/4.60 c #Conflicts: 20000 | #Constraints: 47945
4.58/4.60 c #Conflicts: 21000 | #Constraints: 48945
4.58/4.60 c INPROCESSING
4.58/4.60 c #Conflicts: 22000 | #Constraints: 46751
4.58/4.60 c #Conflicts: 23000 | #Constraints: 47751
4.58/4.60 c #Conflicts: 24000 | #Constraints: 48751
4.58/4.60 c #Conflicts: 25000 | #Constraints: 49751
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 26000 | #Constraints: 47362
4.58/4.60 c #Conflicts: 27000 | #Constraints: 48362
4.58/4.60 c #Conflicts: 28000 | #Constraints: 49362
4.58/4.60 c #Conflicts: 29000 | #Constraints: 50362
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 30000 | #Constraints: 47753
4.58/4.60 c #Conflicts: 31000 | #Constraints: 48753
4.58/4.60 c #Conflicts: 32000 | #Constraints: 49753
4.58/4.60 c #Conflicts: 33000 | #Constraints: 50753
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 34000 | #Constraints: 47958
4.58/4.60 c #Conflicts: 35000 | #Constraints: 48958
4.58/4.60 c #Conflicts: 36000 | #Constraints: 49958
4.58/4.60 c #Conflicts: 37000 | #Constraints: 50958
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 38000 | #Constraints: 47975
4.58/4.60 c #Conflicts: 39000 | #Constraints: 48975
4.58/4.60 c #Conflicts: 40000 | #Constraints: 49975
4.58/4.60 c #Conflicts: 41000 | #Constraints: 50975
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 42000 | #Constraints: 47787
4.58/4.60 c #Conflicts: 43000 | #Constraints: 48787
4.58/4.60 c #Conflicts: 44000 | #Constraints: 49787
4.58/4.60 c #Conflicts: 45000 | #Constraints: 50787
4.58/4.60 c #Conflicts: 46000 | #Constraints: 51787
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 47000 | #Constraints: 48380
4.58/4.60 c #Conflicts: 48000 | #Constraints: 49380
4.58/4.60 c #Conflicts: 49000 | #Constraints: 50380
4.58/4.60 c #Conflicts: 50000 | #Constraints: 51380
4.58/4.60 c #Conflicts: 51000 | #Constraints: 52380
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 52000 | #Constraints: 48789
4.58/4.60 c #Conflicts: 53000 | #Constraints: 49789
4.58/4.60 c #Conflicts: 54000 | #Constraints: 50789
4.58/4.60 c #Conflicts: 55000 | #Constraints: 51789
4.58/4.60 c #Conflicts: 56000 | #Constraints: 52789
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 57000 | #Constraints: 48994
4.58/4.60 c #Conflicts: 58000 | #Constraints: 49994
4.58/4.60 c #Conflicts: 59000 | #Constraints: 50994
4.58/4.60 c #Conflicts: 60000 | #Constraints: 51994
4.58/4.60 c #Conflicts: 61000 | #Constraints: 52994
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 62000 | #Constraints: 49023
4.58/4.60 c #Conflicts: 63000 | #Constraints: 50023
4.58/4.60 c #Conflicts: 64000 | #Constraints: 51023
4.58/4.60 c #Conflicts: 65000 | #Constraints: 52023
4.58/4.60 c #Conflicts: 66000 | #Constraints: 53023
4.58/4.60 c INPROCESSING
4.58/4.60 c GARBAGE COLLECT
4.58/4.60 c #Conflicts: 67000 | #Constraints: 48828
4.58/4.60 c #Conflicts: 68000 | #Constraints: 49828
4.58/4.60 c #Conflicts: 69000 | #Constraints: 50828
4.58/4.60 c #Conflicts: 70000 | #Constraints: 51828
11.27/11.30 c #Conflicts: 71000 | #Constraints: 52828
11.27/11.30 c #Conflicts: 72000 | #Constraints: 53828
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 73000 | #Constraints: 49410
11.27/11.30 c #Conflicts: 74000 | #Constraints: 50410
11.27/11.30 c #Conflicts: 75000 | #Constraints: 51410
11.27/11.30 c #Conflicts: 76000 | #Constraints: 52410
11.27/11.30 c #Conflicts: 77000 | #Constraints: 53410
11.27/11.30 c #Conflicts: 78000 | #Constraints: 54410
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 79000 | #Constraints: 49818
11.27/11.30 c #Conflicts: 80000 | #Constraints: 50818
11.27/11.30 c #Conflicts: 81000 | #Constraints: 51818
11.27/11.30 c #Conflicts: 82000 | #Constraints: 52818
11.27/11.30 c #Conflicts: 83000 | #Constraints: 53818
11.27/11.30 c #Conflicts: 84000 | #Constraints: 54818
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 85000 | #Constraints: 50016
11.27/11.30 c #Conflicts: 86000 | #Constraints: 51016
11.27/11.30 c #Conflicts: 87000 | #Constraints: 52016
11.27/11.30 c #Conflicts: 88000 | #Constraints: 53016
11.27/11.30 c #Conflicts: 89000 | #Constraints: 54016
11.27/11.30 c #Conflicts: 90000 | #Constraints: 55016
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 91000 | #Constraints: 50032
11.27/11.30 c #Conflicts: 92000 | #Constraints: 51032
11.27/11.30 c #Conflicts: 93000 | #Constraints: 52032
11.27/11.30 c #Conflicts: 94000 | #Constraints: 53032
11.27/11.30 c #Conflicts: 95000 | #Constraints: 54032
11.27/11.30 c #Conflicts: 96000 | #Constraints: 55032
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 97000 | #Constraints: 49835
11.27/11.30 c #Conflicts: 98000 | #Constraints: 50835
11.27/11.30 c #Conflicts: 99000 | #Constraints: 51835
11.27/11.30 c #Conflicts: 100000 | #Constraints: 52835
11.27/11.30 c #Conflicts: 101000 | #Constraints: 53835
11.27/11.30 c #Conflicts: 102000 | #Constraints: 54835
11.27/11.30 c #Conflicts: 103000 | #Constraints: 55835
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 104000 | #Constraints: 50415
11.27/11.30 c #Conflicts: 105000 | #Constraints: 51415
11.27/11.30 c #Conflicts: 106000 | #Constraints: 52415
11.27/11.30 c #Conflicts: 107000 | #Constraints: 53415
11.27/11.30 c #Conflicts: 108000 | #Constraints: 54415
11.27/11.30 c #Conflicts: 109000 | #Constraints: 55415
11.27/11.30 c #Conflicts: 110000 | #Constraints: 56415
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 111000 | #Constraints: 50822
11.27/11.30 c #Conflicts: 112000 | #Constraints: 51822
11.27/11.30 c #Conflicts: 113000 | #Constraints: 52822
11.27/11.30 c #Conflicts: 114000 | #Constraints: 53822
11.27/11.30 c #Conflicts: 115000 | #Constraints: 54822
11.27/11.30 c #Conflicts: 116000 | #Constraints: 55822
11.27/11.30 c #Conflicts: 117000 | #Constraints: 56822
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 118000 | #Constraints: 51028
11.27/11.30 c #Conflicts: 119000 | #Constraints: 52028
11.27/11.30 c #Conflicts: 120000 | #Constraints: 53028
11.27/11.30 c #Conflicts: 121000 | #Constraints: 54028
11.27/11.30 c #Conflicts: 122000 | #Constraints: 55028
11.27/11.30 c #Conflicts: 123000 | #Constraints: 56028
11.27/11.30 c #Conflicts: 124000 | #Constraints: 57028
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 125000 | #Constraints: 51025
11.27/11.30 c #Conflicts: 126000 | #Constraints: 52025
11.27/11.30 c #Conflicts: 127000 | #Constraints: 53025
11.27/11.30 c #Conflicts: 128000 | #Constraints: 54025
11.27/11.30 c #Conflicts: 129000 | #Constraints: 55025
11.27/11.30 c #Conflicts: 130000 | #Constraints: 56025
11.27/11.30 c #Conflicts: 131000 | #Constraints: 57025
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 132000 | #Constraints: 50823
11.27/11.30 c #Conflicts: 133000 | #Constraints: 51823
11.27/11.30 c #Conflicts: 134000 | #Constraints: 52823
11.27/11.30 c #Conflicts: 135000 | #Constraints: 53823
11.27/11.30 c #Conflicts: 136000 | #Constraints: 54823
11.27/11.30 c #Conflicts: 137000 | #Constraints: 55823
11.27/11.30 c #Conflicts: 138000 | #Constraints: 56823
11.27/11.30 c #Conflicts: 139000 | #Constraints: 57823
11.27/11.30 c INPROCESSING
11.27/11.30 c GARBAGE COLLECT
11.27/11.30 c #Conflicts: 140000 | #Constraints: 51455
11.27/11.30 c #Conflicts: 141000 | #Constraints: 52455
21.04/21.15 c #Conflicts: 142000 | #Constraints: 53455
21.04/21.15 c #Conflicts: 143000 | #Constraints: 54455
21.04/21.15 c #Conflicts: 144000 | #Constraints: 55455
21.04/21.15 c #Conflicts: 145000 | #Constraints: 56455
21.04/21.15 c #Conflicts: 146000 | #Constraints: 57455
21.04/21.15 c #Conflicts: 147000 | #Constraints: 58455
21.04/21.15 c INPROCESSING
21.04/21.15 c GARBAGE COLLECT
21.04/21.15 c #Conflicts: 148000 | #Constraints: 51853
21.04/21.15 c #Conflicts: 149000 | #Constraints: 52853
21.04/21.15 c #Conflicts: 150000 | #Constraints: 53853
21.04/21.15 c #Conflicts: 151000 | #Constraints: 54853
21.04/21.15 c #Conflicts: 152000 | #Constraints: 55853
21.04/21.15 c #Conflicts: 153000 | #Constraints: 56853
21.04/21.15 c #Conflicts: 154000 | #Constraints: 57853
21.04/21.15 c #Conflicts: 155000 | #Constraints: 58853
21.04/21.15 c INPROCESSING
21.04/21.15 c GARBAGE COLLECT
21.04/21.15 c #Conflicts: 156000 | #Constraints: 52059
21.04/21.15 c #Conflicts: 157000 | #Constraints: 53059
21.04/21.15 c #Conflicts: 158000 | #Constraints: 54059
21.04/21.15 c #Conflicts: 159000 | #Constraints: 55059
21.04/21.15 c #Conflicts: 160000 | #Constraints: 56059
21.04/21.15 c #Conflicts: 161000 | #Constraints: 57059
21.04/21.15 c #Conflicts: 162000 | #Constraints: 58059
21.04/21.15 c #Conflicts: 163000 | #Constraints: 59059
21.04/21.15 c INPROCESSING
21.04/21.15 c GARBAGE COLLECT
21.04/21.15 c #Conflicts: 164000 | #Constraints: 52077
21.04/21.15 c #Conflicts: 165000 | #Constraints: 53077
21.04/21.15 c #Conflicts: 166000 | #Constraints: 54077
21.04/21.15 c #Conflicts: 167000 | #Constraints: 55077
21.04/21.15 c #Conflicts: 168000 | #Constraints: 56077
21.04/21.15 c #Conflicts: 169000 | #Constraints: 57077
21.04/21.15 c #Conflicts: 170000 | #Constraints: 58077
21.04/21.15 c #Conflicts: 171000 | #Constraints: 59077
21.04/21.15 c INPROCESSING
21.04/21.15 c GARBAGE COLLECT
21.04/21.15 c #Conflicts: 172000 | #Constraints: 51880
21.04/21.15 c #Conflicts: 173000 | #Constraints: 52880
21.04/21.15 c #Conflicts: 174000 | #Constraints: 53880
21.04/21.15 c #Conflicts: 175000 | #Constraints: 54880
21.04/21.15 c #Conflicts: 176000 | #Constraints: 55880
21.04/21.15 c #Conflicts: 177000 | #Constraints: 56880
21.04/21.15 c #Conflicts: 178000 | #Constraints: 57880
21.04/21.15 c #Conflicts: 179000 | #Constraints: 58880
21.04/21.15 c #Conflicts: 180000 | #Constraints: 59880
21.04/21.15 c INPROCESSING
21.04/21.15 c GARBAGE COLLECT
21.04/21.15 c #Conflicts: 181000 | #Constraints: 52483
21.04/21.15 c #Conflicts: 182000 | #Constraints: 53483
21.04/21.15 c #Conflicts: 183000 | #Constraints: 54483
21.04/21.15 c #Conflicts: 184000 | #Constraints: 55483
21.04/21.15 c #Conflicts: 185000 | #Constraints: 56483
21.04/21.15 c #Conflicts: 186000 | #Constraints: 57483
21.04/21.15 c #Conflicts: 187000 | #Constraints: 58483
21.04/21.15 c #Conflicts: 188000 | #Constraints: 59483
21.04/21.15 c #Conflicts: 189000 | #Constraints: 60483
21.04/21.15 c INPROCESSING
21.04/21.15 c GARBAGE COLLECT
21.04/21.15 c #Conflicts: 190000 | #Constraints: 52881
21.04/21.15 c #Conflicts: 191000 | #Constraints: 53881
21.04/21.15 c #Conflicts: 192000 | #Constraints: 54881
21.04/21.15 c #Conflicts: 193000 | #Constraints: 55881
21.04/21.15 c #Conflicts: 194000 | #Constraints: 56881
21.04/21.15 c #Conflicts: 195000 | #Constraints: 57881
21.04/21.15 c #Conflicts: 196000 | #Constraints: 58881
21.04/21.15 c #Conflicts: 197000 | #Constraints: 59881
21.04/21.15 c #Conflicts: 198000 | #Constraints: 60881
21.04/21.15 c INPROCESSING
21.04/21.15 c GARBAGE COLLECT
21.04/21.15 c #Conflicts: 199000 | #Constraints: 53102
21.04/21.15 c #Conflicts: 200000 | #Constraints: 54102
21.04/21.15 c #Conflicts: 201000 | #Constraints: 55102
21.04/21.15 c #Conflicts: 202000 | #Constraints: 56102
21.04/21.15 c #Conflicts: 203000 | #Constraints: 57102
21.04/21.15 c #Conflicts: 204000 | #Constraints: 58102
21.04/21.15 c #Conflicts: 205000 | #Constraints: 59102
21.04/21.15 c #Conflicts: 206000 | #Constraints: 60102
21.04/21.15 c #Conflicts: 207000 | #Constraints: 61102
21.04/21.15 c INPROCESSING
21.04/21.15 c GARBAGE COLLECT
21.04/21.15 c #Conflicts: 208000 | #Constraints: 53110
21.04/21.15 c #Conflicts: 209000 | #Constraints: 54110
21.04/21.15 c #Conflicts: 210000 | #Constraints: 55110
21.04/21.15 c #Conflicts: 211000 | #Constraints: 56110
21.04/21.15 c #Conflicts: 212000 | #Constraints: 57110
21.04/21.15 c #Conflicts: 213000 | #Constraints: 58110
21.04/21.15 c #Conflicts: 214000 | #Constraints: 59110
21.04/21.15 c #Conflicts: 215000 | #Constraints: 60110
35.21/35.31 c #Conflicts: 216000 | #Constraints: 61110
35.21/35.31 c INPROCESSING
35.21/35.31 c GARBAGE COLLECT
35.21/35.31 c #Conflicts: 217000 | #Constraints: 52913
35.21/35.31 c #Conflicts: 218000 | #Constraints: 53913
35.21/35.31 c #Conflicts: 219000 | #Constraints: 54913
35.21/35.31 c #Conflicts: 220000 | #Constraints: 55913
35.21/35.31 c #Conflicts: 221000 | #Constraints: 56913
35.21/35.31 c #Conflicts: 222000 | #Constraints: 57913
35.21/35.31 c #Conflicts: 223000 | #Constraints: 58913
35.21/35.31 c #Conflicts: 224000 | #Constraints: 59913
35.21/35.31 c #Conflicts: 225000 | #Constraints: 60913
35.21/35.31 c #Conflicts: 226000 | #Constraints: 61913
35.21/35.31 c INPROCESSING
35.21/35.31 c GARBAGE COLLECT
35.21/35.31 c #Conflicts: 227000 | #Constraints: 53520
35.21/35.31 c #Conflicts: 228000 | #Constraints: 54520
35.21/35.31 c #Conflicts: 229000 | #Constraints: 55520
35.21/35.31 c #Conflicts: 230000 | #Constraints: 56520
35.21/35.31 c #Conflicts: 231000 | #Constraints: 57520
35.21/35.31 c #Conflicts: 232000 | #Constraints: 58520
35.21/35.31 c #Conflicts: 233000 | #Constraints: 59520
35.21/35.31 c #Conflicts: 234000 | #Constraints: 60520
35.21/35.31 c #Conflicts: 235000 | #Constraints: 61520
35.21/35.31 c #Conflicts: 236000 | #Constraints: 62520
35.21/35.31 c INPROCESSING
35.21/35.31 c GARBAGE COLLECT
35.21/35.31 c #Conflicts: 237000 | #Constraints: 53912
35.21/35.31 c #Conflicts: 238000 | #Constraints: 54912
35.21/35.31 c #Conflicts: 239000 | #Constraints: 55912
35.21/35.31 c #Conflicts: 240000 | #Constraints: 56912
35.21/35.31 c #Conflicts: 241000 | #Constraints: 57912
35.21/35.31 c #Conflicts: 242000 | #Constraints: 58912
35.21/35.31 c #Conflicts: 243000 | #Constraints: 59912
35.21/35.31 c #Conflicts: 244000 | #Constraints: 60912
35.21/35.31 c #Conflicts: 245000 | #Constraints: 61912
35.21/35.31 c #Conflicts: 246000 | #Constraints: 62912
35.21/35.31 c INPROCESSING
35.21/35.31 c GARBAGE COLLECT
35.21/35.31 c #Conflicts: 247000 | #Constraints: 54118
35.21/35.31 c #Conflicts: 248000 | #Constraints: 55118
35.21/35.31 c #Conflicts: 249000 | #Constraints: 56118
35.21/35.31 c #Conflicts: 250000 | #Constraints: 57118
35.21/35.31 c #Conflicts: 251000 | #Constraints: 58118
35.21/35.31 c #Conflicts: 252000 | #Constraints: 59118
35.21/35.31 c #Conflicts: 253000 | #Constraints: 60118
35.21/35.31 c #Conflicts: 254000 | #Constraints: 61118
35.21/35.31 c #Conflicts: 255000 | #Constraints: 62118
35.21/35.31 c #Conflicts: 256000 | #Constraints: 63118
35.21/35.31 c INPROCESSING
35.21/35.31 c GARBAGE COLLECT
35.21/35.31 c #Conflicts: 257000 | #Constraints: 54138
35.21/35.31 c #Conflicts: 258000 | #Constraints: 55138
35.21/35.31 c #Conflicts: 259000 | #Constraints: 56138
35.21/35.31 c #Conflicts: 260000 | #Constraints: 57138
35.21/35.31 c #Conflicts: 261000 | #Constraints: 58138
35.21/35.31 c #Conflicts: 262000 | #Constraints: 59138
35.21/35.31 c #Conflicts: 263000 | #Constraints: 60138
35.21/35.31 c #Conflicts: 264000 | #Constraints: 61138
35.21/35.31 c #Conflicts: 265000 | #Constraints: 62138
35.21/35.31 c #Conflicts: 266000 | #Constraints: 63138
35.21/35.31 c INPROCESSING
35.21/35.31 c GARBAGE COLLECT
35.21/35.31 c #Conflicts: 267000 | #Constraints: 53939
35.21/35.31 c #Conflicts: 268000 | #Constraints: 54939
35.21/35.31 c #Conflicts: 269000 | #Constraints: 55939
35.21/35.31 c #Conflicts: 270000 | #Constraints: 56939
35.21/35.31 c #Conflicts: 271000 | #Constraints: 57939
35.21/35.31 c #Conflicts: 272000 | #Constraints: 58939
35.21/35.31 c #Conflicts: 273000 | #Constraints: 59939
35.21/35.31 c #Conflicts: 274000 | #Constraints: 60939
35.21/35.31 c #Conflicts: 275000 | #Constraints: 61939
35.21/35.31 c #Conflicts: 276000 | #Constraints: 62939
35.21/35.31 c #Conflicts: 277000 | #Constraints: 63939
35.21/35.31 c INPROCESSING
35.21/35.31 c GARBAGE COLLECT
35.21/35.31 c #Conflicts: 278000 | #Constraints: 54541
35.21/35.31 c #Conflicts: 279000 | #Constraints: 55541
35.21/35.31 c #Conflicts: 280000 | #Constraints: 56541
35.21/35.31 c #Conflicts: 281000 | #Constraints: 57541
35.21/35.31 c #Conflicts: 282000 | #Constraints: 58541
35.21/35.31 c #Conflicts: 283000 | #Constraints: 59541
35.21/35.31 c #Conflicts: 284000 | #Constraints: 60541
35.21/35.31 c #Conflicts: 285000 | #Constraints: 61541
35.21/35.31 c #Conflicts: 286000 | #Constraints: 62541
35.21/35.31 c #Conflicts: 287000 | #Constraints: 63541
35.21/35.31 c #Conflicts: 288000 | #Constraints: 64541
35.21/35.31 c INPROCESSING
35.21/35.31 c GARBAGE COLLECT
35.21/35.31 c #Conflicts: 289000 | #Constraints: 54939
43.19/43.34 c #Conflicts: 290000 | #Constraints: 55939
43.19/43.34 c #Conflicts: 291000 | #Constraints: 56939
43.19/43.34 c #Conflicts: 292000 | #Constraints: 57939
43.19/43.34 c #Conflicts: 293000 | #Constraints: 58939
43.19/43.34 c #Conflicts: 294000 | #Constraints: 59939
43.19/43.34 c #Conflicts: 295000 | #Constraints: 60939
43.19/43.34 c #Conflicts: 296000 | #Constraints: 61939
43.19/43.34 c #Conflicts: 297000 | #Constraints: 62939
43.19/43.34 c #Conflicts: 298000 | #Constraints: 63939
43.19/43.34 c #Conflicts: 299000 | #Constraints: 64939
43.19/43.34 c INPROCESSING
43.19/43.34 c GARBAGE COLLECT
43.19/43.34 c #Conflicts: 300000 | #Constraints: 55143
43.19/43.34 c #Conflicts: 301000 | #Constraints: 56143
43.19/43.34 c #Conflicts: 302000 | #Constraints: 57143
43.19/43.34 c #Conflicts: 303000 | #Constraints: 58143
43.19/43.34 c #Conflicts: 304000 | #Constraints: 59143
43.19/43.34 c #Conflicts: 305000 | #Constraints: 60143
43.19/43.34 c #Conflicts: 306000 | #Constraints: 61143
43.19/43.34 c #Conflicts: 307000 | #Constraints: 62143
43.19/43.34 c #Conflicts: 308000 | #Constraints: 63143
43.19/43.34 c #Conflicts: 309000 | #Constraints: 64143
43.19/43.34 c #Conflicts: 310000 | #Constraints: 65143
43.19/43.34 c INPROCESSING
43.19/43.34 c GARBAGE COLLECT
43.19/43.34 c #Conflicts: 311000 | #Constraints: 55141
43.19/43.34 c #Conflicts: 312000 | #Constraints: 56141
43.19/43.34 c #Conflicts: 313000 | #Constraints: 57141
43.19/43.34 c #Conflicts: 314000 | #Constraints: 58141
43.19/43.34 c #Conflicts: 315000 | #Constraints: 59141
43.19/43.34 c #Conflicts: 316000 | #Constraints: 60141
43.19/43.34 c #Conflicts: 317000 | #Constraints: 61141
43.19/43.34 c #Conflicts: 318000 | #Constraints: 62141
43.19/43.34 c #Conflicts: 319000 | #Constraints: 63141
43.19/43.34 c bounds - >= 4 @ 42.032
43.19/43.34 c finalizing WCE round: reformulating cores
79.20/79.47 c #Conflicts: 320000 | #Constraints: 64145
79.20/79.47 c bounds 330 >= 4 @ 42.1248
79.20/79.47 c #Conflicts: 321000 | #Constraints: 65145
79.20/79.47 c INPROCESSING
79.20/79.47 c GARBAGE COLLECT
79.20/79.47 c #Conflicts: 322000 | #Constraints: 54926
79.20/79.47 c #Conflicts: 323000 | #Constraints: 55926
79.20/79.47 c #Conflicts: 324000 | #Constraints: 56926
79.20/79.47 c #Conflicts: 325000 | #Constraints: 57926
79.20/79.47 c #Conflicts: 326000 | #Constraints: 58926
79.20/79.47 c #Conflicts: 327000 | #Constraints: 59926
79.20/79.47 c #Conflicts: 328000 | #Constraints: 60926
79.20/79.47 c #Conflicts: 329000 | #Constraints: 61926
79.20/79.47 c #Conflicts: 330000 | #Constraints: 62926
79.20/79.47 c #Conflicts: 331000 | #Constraints: 63926
79.20/79.47 c #Conflicts: 332000 | #Constraints: 64926
79.20/79.47 c #Conflicts: 333000 | #Constraints: 65926
79.20/79.47 c INPROCESSING
79.20/79.47 c GARBAGE COLLECT
79.20/79.47 c #Conflicts: 334000 | #Constraints: 55521
79.20/79.47 c #Conflicts: 335000 | #Constraints: 56521
79.20/79.47 c #Conflicts: 336000 | #Constraints: 57521
79.20/79.47 c #Conflicts: 337000 | #Constraints: 58521
79.20/79.47 c #Conflicts: 338000 | #Constraints: 59521
79.20/79.47 c #Conflicts: 339000 | #Constraints: 60521
79.20/79.47 c #Conflicts: 340000 | #Constraints: 61521
79.20/79.47 c #Conflicts: 341000 | #Constraints: 62521
79.20/79.47 c #Conflicts: 342000 | #Constraints: 63521
79.20/79.47 c #Conflicts: 343000 | #Constraints: 64521
79.20/79.47 c #Conflicts: 344000 | #Constraints: 65521
79.20/79.47 c #Conflicts: 345000 | #Constraints: 66521
79.20/79.47 c INPROCESSING
79.20/79.47 c GARBAGE COLLECT
79.20/79.47 c #Conflicts: 346000 | #Constraints: 55906
79.20/79.47 c #Conflicts: 347000 | #Constraints: 56906
79.20/79.47 c #Conflicts: 348000 | #Constraints: 57906
79.20/79.47 c #Conflicts: 349000 | #Constraints: 58906
79.20/79.47 c #Conflicts: 350000 | #Constraints: 59906
79.20/79.47 c #Conflicts: 351000 | #Constraints: 60906
79.20/79.47 c #Conflicts: 352000 | #Constraints: 61906
79.20/79.47 c #Conflicts: 353000 | #Constraints: 62906
79.20/79.47 c #Conflicts: 354000 | #Constraints: 63906
79.20/79.47 c #Conflicts: 355000 | #Constraints: 64906
79.20/79.47 c #Conflicts: 356000 | #Constraints: 65906
79.20/79.47 c #Conflicts: 357000 | #Constraints: 66906
79.20/79.47 c INPROCESSING
79.20/79.47 c GARBAGE COLLECT
79.20/79.47 c #Conflicts: 358000 | #Constraints: 56089
79.20/79.47 c #Conflicts: 359000 | #Constraints: 57089
79.20/79.47 c #Conflicts: 360000 | #Constraints: 58089
79.20/79.47 c #Conflicts: 361000 | #Constraints: 59089
79.20/79.47 c #Conflicts: 362000 | #Constraints: 60089
79.20/79.47 c #Conflicts: 363000 | #Constraints: 61089
79.20/79.47 c #Conflicts: 364000 | #Constraints: 62089
79.20/79.47 c #Conflicts: 365000 | #Constraints: 63089
79.20/79.47 c #Conflicts: 366000 | #Constraints: 64089
79.20/79.47 c #Conflicts: 367000 | #Constraints: 65089
79.20/79.47 c #Conflicts: 368000 | #Constraints: 66089
79.20/79.47 c #Conflicts: 369000 | #Constraints: 67089
79.20/79.47 c INPROCESSING
79.20/79.47 c GARBAGE COLLECT
79.20/79.47 c #Conflicts: 370000 | #Constraints: 56132
79.20/79.47 c #Conflicts: 371000 | #Constraints: 57132
79.20/79.47 c #Conflicts: 372000 | #Constraints: 58132
79.20/79.47 c #Conflicts: 373000 | #Constraints: 59132
79.20/79.47 c #Conflicts: 374000 | #Constraints: 60132
79.20/79.47 c #Conflicts: 375000 | #Constraints: 61132
79.20/79.47 c #Conflicts: 376000 | #Constraints: 62132
79.20/79.47 c #Conflicts: 377000 | #Constraints: 63132
79.20/79.47 c #Conflicts: 378000 | #Constraints: 64132
79.20/79.47 c #Conflicts: 379000 | #Constraints: 65132
79.20/79.47 c #Conflicts: 380000 | #Constraints: 66132
79.20/79.47 c #Conflicts: 381000 | #Constraints: 67132
79.20/79.47 c INPROCESSING
79.20/79.47 c GARBAGE COLLECT
79.20/79.47 c #Conflicts: 382000 | #Constraints: 55924
79.20/79.47 c #Conflicts: 383000 | #Constraints: 56924
79.20/79.47 c #Conflicts: 384000 | #Constraints: 57924
79.20/79.47 c #Conflicts: 385000 | #Constraints: 58924
79.20/79.47 c #Conflicts: 386000 | #Constraints: 59924
79.20/79.47 c #Conflicts: 387000 | #Constraints: 60924
79.20/79.47 c #Conflicts: 388000 | #Constraints: 61924
79.20/79.47 c #Conflicts: 389000 | #Constraints: 62924
79.20/79.47 c #Conflicts: 390000 | #Constraints: 63924
79.20/79.47 c #Conflicts: 391000 | #Constraints: 64924
79.20/79.47 c #Conflicts: 392000 | #Constraints: 65924
79.20/79.47 c #Conflicts: 393000 | #Constraints: 66924
79.20/79.47 c #Conflicts: 394000 | #Constraints: 67924
862.70/864.99 c INPROCESSING
862.70/864.99 c GARBAGE COLLECT
862.70/864.99 c #Conflicts: 395000 | #Constraints: 56560
862.70/864.99 c #Conflicts: 396000 | #Constraints: 57560
862.70/864.99 c #Conflicts: 397000 | #Constraints: 58560
862.70/864.99 c #Conflicts: 398000 | #Constraints: 59560
862.70/864.99 c #Conflicts: 399000 | #Constraints: 60560
862.70/864.99 c #Conflicts: 400000 | #Constraints: 61560
862.70/864.99 c #Conflicts: 401000 | #Constraints: 62560
862.70/864.99 c #Conflicts: 402000 | #Constraints: 63560
862.70/864.99 c #Conflicts: 403000 | #Constraints: 64560
862.70/864.99 c #Conflicts: 404000 | #Constraints: 65560
862.70/864.99 c #Conflicts: 405000 | #Constraints: 66560
862.70/864.99 c #Conflicts: 406000 | #Constraints: 67560
862.70/864.99 c #Conflicts: 407000 | #Constraints: 68560
862.70/864.99 c INPROCESSING
862.70/864.99 c GARBAGE COLLECT
862.70/864.99 c #Conflicts: 408000 | #Constraints: 56955
862.70/864.99 c #Conflicts: 409000 | #Constraints: 57955
862.70/864.99 c #Conflicts: 410000 | #Constraints: 58955
862.70/864.99 c #Conflicts: 411000 | #Constraints: 59955
862.70/864.99 c #Conflicts: 412000 | #Constraints: 60955
862.70/864.99 c #Conflicts: 413000 | #Constraints: 61955
862.70/864.99 c #Conflicts: 414000 | #Constraints: 62955
862.70/864.99 c #Conflicts: 415000 | #Constraints: 63955
862.70/864.99 c #Conflicts: 416000 | #Constraints: 64955
862.70/864.99 c #Conflicts: 417000 | #Constraints: 65955
862.70/864.99 c #Conflicts: 418000 | #Constraints: 66955
862.70/864.99 c #Conflicts: 419000 | #Constraints: 67955
862.70/864.99 c #Conflicts: 420000 | #Constraints: 68955
862.70/864.99 c INPROCESSING
862.70/864.99 c GARBAGE COLLECT
862.70/864.99 c #Conflicts: 421000 | #Constraints: 57180
862.70/864.99 c #Conflicts: 422000 | #Constraints: 58180
862.70/864.99 c #Conflicts: 423000 | #Constraints: 59180
862.70/864.99 c #Conflicts: 424000 | #Constraints: 60180
862.70/864.99 c #Conflicts: 425000 | #Constraints: 61180
862.70/864.99 c #Conflicts: 426000 | #Constraints: 62180
862.70/864.99 c #Conflicts: 427000 | #Constraints: 63180
862.70/864.99 c #Conflicts: 428000 | #Constraints: 64180
862.70/864.99 c #Conflicts: 429000 | #Constraints: 65180
862.70/864.99 c #Conflicts: 430000 | #Constraints: 66180
862.70/864.99 c #Conflicts: 431000 | #Constraints: 67180
862.70/864.99 c #Conflicts: 432000 | #Constraints: 68180
862.70/864.99 c #Conflicts: 433000 | #Constraints: 69180
862.70/864.99 c #Conflicts: 434000 | #Constraints: 70180
862.70/864.99 c #Conflicts: 435000 | #Constraints: 71180
862.70/864.99 c #Conflicts: 436000 | #Constraints: 72180
862.70/864.99 c #Conflicts: 437000 | #Constraints: 73180
862.70/864.99 c #Conflicts: 438000 | #Constraints: 74180
862.70/864.99 c #Conflicts: 439000 | #Constraints: 75180
862.70/864.99 c #Conflicts: 440000 | #Constraints: 76180
862.70/864.99 c #Conflicts: 441000 | #Constraints: 77180
862.70/864.99 c #Conflicts: 442000 | #Constraints: 78180
862.70/864.99 c #Conflicts: 443000 | #Constraints: 79180
862.70/864.99 c #Conflicts: 444000 | #Constraints: 80180
862.70/864.99 c #Conflicts: 445000 | #Constraints: 81180
862.70/864.99 c #Conflicts: 446000 | #Constraints: 82180
862.70/864.99 c #Conflicts: 447000 | #Constraints: 83180
862.70/864.99 c #Conflicts: 448000 | #Constraints: 84180
862.70/864.99 c #Conflicts: 449000 | #Constraints: 85180
862.70/864.99 c #Conflicts: 450000 | #Constraints: 86180
862.70/864.99 c #Conflicts: 451000 | #Constraints: 87180
862.70/864.99 c #Conflicts: 452000 | #Constraints: 88180
862.70/864.99 c #Conflicts: 453000 | #Constraints: 89180
862.70/864.99 c #Conflicts: 454000 | #Constraints: 90180
862.70/864.99 c #Conflicts: 455000 | #Constraints: 91180
862.70/864.99 c #Conflicts: 456000 | #Constraints: 92180
862.70/864.99 c #Conflicts: 457000 | #Constraints: 93180
862.70/864.99 c #Conflicts: 458000 | #Constraints: 94180
862.70/864.99 c #Conflicts: 459000 | #Constraints: 95180
862.70/864.99 c #Conflicts: 460000 | #Constraints: 96180
862.70/864.99 c #Conflicts: 461000 | #Constraints: 97180
862.70/864.99 c #Conflicts: 462000 | #Constraints: 98180
862.70/864.99 c #Conflicts: 463000 | #Constraints: 99180
862.70/864.99 c #Conflicts: 464000 | #Constraints: 100180
862.70/864.99 c #Conflicts: 465000 | #Constraints: 101180
862.70/864.99 c #Conflicts: 466000 | #Constraints: 102180
862.70/864.99 c #Conflicts: 467000 | #Constraints: 103180
862.70/864.99 c #Conflicts: 468000 | #Constraints: 104180
862.70/864.99 c #Conflicts: 469000 | #Constraints: 105180
862.70/864.99 c #Conflicts: 470000 | #Constraints: 106180
862.70/864.99 c #Conflicts: 471000 | #Constraints: 107180
2703.80/2710.48 c #Conflicts: 472000 | #Constraints: 108180
2703.80/2710.48 c #Conflicts: 473000 | #Constraints: 109180
2703.80/2710.48 c #Conflicts: 474000 | #Constraints: 110180
2703.80/2710.48 c #Conflicts: 475000 | #Constraints: 111180
2703.80/2710.48 c #Conflicts: 476000 | #Constraints: 112180
2703.80/2710.48 c #Conflicts: 477000 | #Constraints: 113180
2703.80/2710.48 c #Conflicts: 478000 | #Constraints: 114180
2703.80/2710.48 c #Conflicts: 479000 | #Constraints: 115180
2703.80/2710.48 c #Conflicts: 480000 | #Constraints: 116180
2703.80/2710.48 c #Conflicts: 481000 | #Constraints: 117180
2703.80/2710.48 c #Conflicts: 482000 | #Constraints: 118180
2703.80/2710.48 c #Conflicts: 483000 | #Constraints: 119180
2703.80/2710.48 c #Conflicts: 484000 | #Constraints: 120180
2703.80/2710.48 c INPROCESSING
2703.80/2710.48 c GARBAGE COLLECT
2703.80/2710.48 c #Conflicts: 485000 | #Constraints: 82558
2703.80/2710.48 c #Conflicts: 486000 | #Constraints: 83558
2703.80/2710.48 c #Conflicts: 487000 | #Constraints: 84558
2703.80/2710.48 c #Conflicts: 488000 | #Constraints: 85558
2703.80/2710.48 c #Conflicts: 489000 | #Constraints: 86558
2703.80/2710.48 c #Conflicts: 490000 | #Constraints: 87558
2703.80/2710.48 c #Conflicts: 491000 | #Constraints: 88558
2703.80/2710.48 c #Conflicts: 492000 | #Constraints: 89558
2703.80/2710.48 c #Conflicts: 493000 | #Constraints: 90558
2703.80/2710.48 c #Conflicts: 494000 | #Constraints: 91558
2703.80/2710.48 c #Conflicts: 495000 | #Constraints: 92558
2703.80/2710.48 c #Conflicts: 496000 | #Constraints: 93558
2703.80/2710.48 c #Conflicts: 497000 | #Constraints: 94558
2703.80/2710.48 c #Conflicts: 498000 | #Constraints: 95558
2703.80/2710.48 c INPROCESSING
2703.80/2710.48 c GARBAGE COLLECT
2703.80/2710.48 c #Conflicts: 499000 | #Constraints: 70095
2703.80/2710.48 c #Conflicts: 500000 | #Constraints: 71095
2703.80/2710.48 c #Conflicts: 501000 | #Constraints: 72095
2703.80/2710.48 c #Conflicts: 502000 | #Constraints: 73095
2703.80/2710.48 c #Conflicts: 503000 | #Constraints: 74095
2703.80/2710.48 c #Conflicts: 504000 | #Constraints: 75095
2703.80/2710.48 c #Conflicts: 505000 | #Constraints: 76095
2703.80/2710.48 c #Conflicts: 506000 | #Constraints: 77095
2703.80/2710.48 c #Conflicts: 507000 | #Constraints: 78095
2703.80/2710.48 c #Conflicts: 508000 | #Constraints: 79095
2703.80/2710.48 c #Conflicts: 509000 | #Constraints: 80095
2703.80/2710.48 c #Conflicts: 510000 | #Constraints: 81095
2703.80/2710.48 c #Conflicts: 511000 | #Constraints: 82095
2703.80/2710.48 c #Conflicts: 512000 | #Constraints: 83095
2703.80/2710.48 c #Conflicts: 513000 | #Constraints: 84095
2703.80/2710.48 c INPROCESSING
2703.80/2710.48 c GARBAGE COLLECT
2703.80/2710.48 c #Conflicts: 514000 | #Constraints: 64617
2703.80/2710.48 c #Conflicts: 515000 | #Constraints: 65617
2703.80/2710.48 c #Conflicts: 516000 | #Constraints: 66617
2703.80/2710.48 c #Conflicts: 517000 | #Constraints: 67617
2703.80/2710.48 c #Conflicts: 518000 | #Constraints: 68617
2703.80/2710.48 c #Conflicts: 519000 | #Constraints: 69617
2703.80/2710.48 c #Conflicts: 520000 | #Constraints: 70617
2703.80/2710.48 c #Conflicts: 521000 | #Constraints: 71617
2703.80/2710.48 c #Conflicts: 522000 | #Constraints: 72617
2703.80/2710.48 c #Conflicts: 523000 | #Constraints: 73617
2703.80/2710.48 c #Conflicts: 524000 | #Constraints: 74617
2703.80/2710.48 c #Conflicts: 525000 | #Constraints: 75617
2703.80/2710.48 c #Conflicts: 526000 | #Constraints: 76617
2703.80/2710.48 c #Conflicts: 527000 | #Constraints: 77617
2703.80/2710.48 c #Conflicts: 528000 | #Constraints: 78617
2703.80/2710.48 c #Conflicts: 529000 | #Constraints: 79617
2703.80/2710.48 c #Conflicts: 530000 | #Constraints: 80617
2703.80/2710.48 c #Conflicts: 531000 | #Constraints: 81617
2703.80/2710.48 c #Conflicts: 532000 | #Constraints: 82617
2703.80/2710.48 c #Conflicts: 533000 | #Constraints: 83617
2703.80/2710.48 c #Conflicts: 534000 | #Constraints: 84617
2703.80/2710.48 c #Conflicts: 535000 | #Constraints: 85617
2703.80/2710.48 c #Conflicts: 536000 | #Constraints: 86617
2703.80/2710.48 c #Conflicts: 537000 | #Constraints: 87617
2703.80/2710.48 c #Conflicts: 538000 | #Constraints: 88617
2703.80/2710.48 c #Conflicts: 539000 | #Constraints: 89617
2703.80/2710.48 c #Conflicts: 540000 | #Constraints: 90617
2703.80/2710.48 c #Conflicts: 541000 | #Constraints: 91617
2703.80/2710.48 c #Conflicts: 542000 | #Constraints: 92617
2703.80/2710.48 c #Conflicts: 543000 | #Constraints: 93617
2703.80/2710.48 c #Conflicts: 544000 | #Constraints: 94617
2703.80/2710.48 c #Conflicts: 545000 | #Constraints: 95617
2703.80/2710.48 c #Conflicts: 546000 | #Constraints: 96617
2703.80/2710.48 c #Conflicts: 547000 | #Constraints: 97617
2703.80/2710.48 c #Conflicts: 548000 | #Constraints: 98617
3600.08/3609.11 c #Conflicts: 549000 | #Constraints: 99617
3600.08/3609.11 c #Conflicts: 550000 | #Constraints: 100617
3600.08/3609.11 c #Conflicts: 551000 | #Constraints: 101617
3600.08/3609.11 c #Conflicts: 552000 | #Constraints: 102617
3600.08/3609.11 c #Conflicts: 553000 | #Constraints: 103617
3600.08/3609.11 c #Conflicts: 554000 | #Constraints: 104617
3600.08/3609.11 c #Conflicts: 555000 | #Constraints: 105617
3600.08/3609.11 c #Conflicts: 556000 | #Constraints: 106617
3600.08/3609.11 c #Conflicts: 557000 | #Constraints: 107617
3600.08/3609.11 c #Conflicts: 558000 | #Constraints: 108617
3600.08/3609.11 c #Conflicts: 559000 | #Constraints: 109617
3600.08/3609.11 c #Conflicts: 560000 | #Constraints: 110617
3600.08/3609.11 c #Conflicts: 561000 | #Constraints: 111617
3600.08/3609.11 c #Conflicts: 562000 | #Constraints: 112617
3600.08/3609.11 c #Conflicts: 563000 | #Constraints: 113617
3600.08/3609.11 c #Conflicts: 564000 | #Constraints: 114617
3600.08/3609.11 c #Conflicts: 565000 | #Constraints: 115617
3600.08/3609.11 c #Conflicts: 566000 | #Constraints: 116617
3600.08/3609.11 c #Conflicts: 567000 | #Constraints: 117617
3600.08/3609.11 c #Conflicts: 568000 | #Constraints: 118617
3600.08/3609.11 c Program interrupted by user.
3600.08/3609.11 c cpu time 3592.96 s
3600.08/3609.11 c deterministic time 268850939875 2.69e+11
3600.08/3609.11 c optimization time 1871.6 s
3600.08/3609.11 c total solve time 1721.22 s
3600.08/3609.11 c core-guided solve time 1721.22 s
3600.08/3609.11 c propagation time 3233.98 s
3600.08/3609.11 c conflict analysis time 344.023 s
3600.08/3609.11 c propagations 135548640
3600.08/3609.11 c resolve steps 10740964
3600.08/3609.11 c decisions 4723277
3600.08/3609.11 c conflicts 568338
3600.08/3609.11 c restarts 1195
3600.08/3609.11 c inprocessing phases 59
3600.08/3609.11 c input clauses 20670
3600.08/3609.11 c input cardinalities 801
3600.08/3609.11 c input general constraints 21603
3600.08/3609.11 c input average constraint length 7.30
3600.08/3609.11 c input average constraint degree 5.30
3600.08/3609.11 c learned clauses 461893
3600.08/3609.11 c learned cardinalities 10644
3600.08/3609.11 c learned general constraints 95800
3600.08/3609.11 c learned average constraint length 194.62
3600.08/3609.11 c learned average constraint degree 994073.11
3600.08/3609.11 c watched constraints 84236
3600.08/3609.11 c counting constraints 33167
3600.08/3609.11 c gcd simplifications 846
3600.08/3609.11 c detected cardinalities 15
3600.08/3609.11 c weakened non-implied lits 14619115
3600.08/3609.11 c weakened non-implying lits 5294
3600.08/3609.11 c original variables 2700
3600.08/3609.11 c clausal propagations 61641705
3600.08/3609.11 c cardinality propagations 57975767
3600.08/3609.11 c watched propagations 6123799
3600.08/3609.11 c counting propagations 9239541
3600.08/3609.11 c watch lookups 75077446277
3600.08/3609.11 c watch backjump lookups 72218231602
3600.08/3609.11 c watch checks 99263589750
3600.08/3609.11 c propagation checks 21604502082
3600.08/3609.11 c constraint additions 406058965
3600.08/3609.11 c trail pops 140839281
3600.08/3609.11 c formula constraints 43070
3600.08/3609.11 c learned constraints 568337
3600.08/3609.11 c bound constraints 2
3600.08/3609.11 c core-guided constraints 2
3600.08/3609.11 c encountered formula constraints 5337279
3600.08/3609.11 c encountered learned constraints 5961972
3600.08/3609.11 c encountered bound constraints 0
3600.08/3609.11 c encountered core-guided constraints 10051
3600.08/3609.11 c LP total time 0 s
3600.08/3609.11 c LP solve time 0 s
3600.08/3609.11 c LP constraints added 0
3600.08/3609.11 c LP constraints removed 0
3600.08/3609.11 c LP pivots internal 0
3600.08/3609.11 c LP pivots root 0
3600.08/3609.11 c LP calls 0
3600.08/3609.11 c LP optimalities 0
3600.08/3609.11 c LP no pivot count 0
3600.08/3609.11 c LP infeasibilities 0
3600.08/3609.11 c LP valid Farkas constraints 0
3600.08/3609.11 c LP learned Farkas constraints 0
3600.08/3609.11 c LP basis resets 0
3600.08/3609.11 c LP cycling count 0
3600.08/3609.11 c LP singular count 0
3600.08/3609.11 c LP no primal count 0
3600.08/3609.11 c LP no farkas count 0
3600.08/3609.11 c LP other issue count 0
3600.08/3609.11 c LP Gomory cuts 0
3600.08/3609.11 c LP learned cuts 0
3600.08/3609.11 c LP deleted cuts 0
3600.08/3609.11 c LP encountered Gomory constraints 0
3600.08/3609.11 c LP encountered Farkas constraints 0
3600.08/3609.11 c LP encountered learned Farkas constraints 0
3600.08/3609.11 c CG auxiliary variables introduced 1
3600.08/3609.11 c CG solutions found 1
3600.08/3609.11 c CG cores constructed 1
3600.08/3609.11 c CG core cardinality constraints returned 0
3600.08/3609.11 c CG unit cores 0
3600.08/3609.11 c CG single cores 1
3600.08/3609.11 c CG blocks removed during cardinality reduction 0
3600.08/3609.11 c CG first core best 0
3600.08/3609.11 c CG decision core best 0
3600.08/3609.11 c CG core reduction tie 0
3600.08/3609.11 c CG core degree average 1.00
3600.08/3609.11 c CG core slack average 201.00
3600.08/3609.11 c CG exhausted 0
3600.08/3609.11 c CG exhaust time 0.078384 s
3600.08/3609.11 c CG trimmed 0
3600.08/3609.11 c CG trim time 5.5e-05 s
3600.08/3609.11 c CG minimized 0
3600.08/3609.11 c CG minimize time 0 s
3600.08/3609.11 c CG am1 prop time 0.000961 s
3600.08/3609.11 c CG # am1s reformulated 0
3600.08/3609.11 c CG lower bound derived from am1s 0
3600.08/3609.11 c CG # clausal cores 1
3600.08/3609.11 c CG # cardinality cores 0
3600.08/3609.11 c CG # pb cores 0
3600.08/3609.11 c CG # pb reforms 0
3600.08/3609.11 c CG # cores discarded because of pb reform 0
3600.08/3609.11 d LOWERBOUND 4
3600.08/3609.11 d NCORES 1
3600.08/3609.11 d NPBCORES 0
3600.08/3609.11 d NPBREFORM 0
3600.08/3609.11 d NTRIMMED 0
3600.08/3609.11 d NEXHAUSTED 0
3600.08/3609.11 d NAM1S 0
3600.08/3609.11 d AM1LB 0
3600.08/3609.11 o 330
3600.08/3609.11 s SATISFIABLE
3600.08/3609.11 v -x1 -x2 x3 x4 -x5 x6 x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 x102 x103 x104 x105 -x106 x107 x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 x200 x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 x300 -x301 x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 x499 -x500 x501 -x502 x503 x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 x595 x596 x597 -x598 x599 -x600 x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 x696 -x697 x698 -x699 x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 x799 x800 x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 x894 -x895 -x896 x897 -x898 x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 x2525 -x2526 x2527 x2528 x2529 -x2530 -x2531 -x2532 x2533 x2534 x2535 -x2536 -x2537 x2538 x2539 x2540 -x2541 x2542 x2543 x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 x2561 -x2562 x2563 -x2564 -x2565 x2566 x2567 x2568 -x2569 -x2570 x2571 x2572 -x2573 -x2574 -x2575 -x2576 x2577 x2578 -x2579 x2580 x2581 x2582 -x2583 -x2584 x2585 x2586 -x2587 x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 x2597 x2598 -x2599 -x2600 -x2601 x2602 x2603 x2604 -x2605 -x2606 -x2607 x2608 x2609 x2610 x2611 x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 x2620 x2621 x2622 -x2623 -x2624 -x2625 x2626 x2627 x2628 x2629 x2630 x2631 -x2632 -x2633 -x2634 x2635 x2636 x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 x2645 x2646 -x2647 -x2648 x2649 x2650 x2651 -x2652 x2653 -x2654 -x2655 x2656 -x2657 x2658 -x2659 x2660 x2661 -x2662 x2663 -x2664 x2665 x2666 x2667 -x2668 -x2669 x2670 -x2671 x2672 x2673 -x2674 x2675 -x2676 x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 x2690 x2691 x2692 -x2693 -x2694 x2695 x2696 -x2697 x2698 x2699 x2700
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: 63931 MiB (62006 MiB free)
memory of node 1: 64510 MiB (62918 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454491-1721473727/watcher-4454491-1721473727 -o /tmp/evaluation-result-4454491-1721473727/solver-4454491-1721473727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721466477-1082120 --watchdog 3760 pb-oll-rs HOME/instance-4454491-1721473727.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=1086577, runsolver pid=1086574
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.14 4.13 4.10 6/256 1086578
/proc/meminfo: memFree=127916740/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=40592 memory=10280 CPUtime=0.09 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 1028 0 0 0 7 2 0 0 20 0 1 0 199538082 41566208 2570 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 10148 2570 1194 291 0 1682 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40592 KiB
Current children cumulated memory: 10280 KiB
[startup+0.205701 s]*
/proc/loadavg: 4.14 4.13 4.10 5/256 1086578
/proc/meminfo: memFree=127911556/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=42224 memory=13412 CPUtime=0.2 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 1684 0 0 0 17 3 0 0 20 0 1 0 199538082 43237376 3353 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 10556 3353 1383 291 0 2090 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42224 KiB
Current children cumulated memory: 13412 KiB
[startup+0.305523 s]*
/proc/loadavg: 4.14 4.13 4.10 5/256 1086578
/proc/meminfo: memFree=127909400/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=45472 memory=14836 CPUtime=0.3 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 1999 0 0 0 26 4 0 0 20 0 1 0 199538082 46563328 3709 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 11368 3709 1431 291 0 2902 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45472 KiB
Current children cumulated memory: 14836 KiB
[startup+0.700182 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 1086578
/proc/meminfo: memFree=127903860/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=47812 memory=18148 CPUtime=0.68 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 3070 0 0 0 61 7 0 0 20 0 1 0 199538082 48959488 4537 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 11953 4537 1431 291 0 3487 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47812 KiB
Current children cumulated memory: 18148 KiB
[startup+1.50018 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 1086578
/proc/meminfo: memFree=127899792/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=48368 memory=19360 CPUtime=1.49 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 3980 0 0 0 137 12 0 0 20 0 1 0 199538082 49528832 4840 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 12092 4840 1431 291 0 3626 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48368 KiB
Current children cumulated memory: 19360 KiB
[startup+3.10545 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 1086578
/proc/meminfo: memFree=127882980/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=50168 memory=20988 CPUtime=3.09 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 5004 0 0 0 289 20 0 0 20 0 1 0 199538082 51372032 5247 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 12542 5247 1431 291 0 4076 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50168 KiB
Current children cumulated memory: 20988 KiB
[startup+6.30016 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 1086578
/proc/meminfo: memFree=127853432/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=55620 memory=25284 CPUtime=6.27 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 6415 0 0 0 591 36 0 0 20 0 1 0 199538082 56954880 6321 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 13905 6321 1431 291 0 5439 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55620 KiB
Current children cumulated memory: 25284 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 1086579
/proc/meminfo: memFree=127823080/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=55132 memory=25492 CPUtime=12.66 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 7353 0 0 0 1207 59 0 0 20 0 1 0 199538082 56455168 6373 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 13783 6373 1431 291 0 5317 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 55132 KiB
Current children cumulated memory: 25492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 1086581
/proc/meminfo: memFree=127786968/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=64840 memory=35560 CPUtime=25.43 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 8349 0 0 0 2455 88 0 0 20 0 1 0 199538082 66396160 8890 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 16210 8890 1431 291 0 7744 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 64840 KiB
Current children cumulated memory: 35560 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1086585
/proc/meminfo: memFree=127666596/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=79508 memory=42388 CPUtime=50.98 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 9863 0 0 0 4960 138 0 0 20 0 1 0 199538082 81416192 10597 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 19877 10597 1431 291 0 11411 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 79508 KiB
Current children cumulated memory: 42388 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1086598
/proc/meminfo: memFree=127554460/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=96756 memory=62548 CPUtime=102.04 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 13686 0 0 0 10009 195 0 0 20 0 1 0 199538082 99078144 15637 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 24189 15637 1431 291 0 15723 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 62548 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1086609
/proc/meminfo: memFree=127419392/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=120200 memory=71876 CPUtime=161.9 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 16060 0 0 0 15949 241 0 0 20 0 1 0 199538082 123084800 17969 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 30050 17969 1431 291 0 21584 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 120200 KiB
Current children cumulated memory: 71876 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1086619
/proc/meminfo: memFree=127295368/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=136508 memory=92416 CPUtime=221.75 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 19167 0 0 0 21906 269 0 0 20 0 1 0 199538082 139784192 23104 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 34127 23104 1431 291 0 25661 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 136508 KiB
Current children cumulated memory: 92416 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1086631
/proc/meminfo: memFree=127204860/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=144924 memory=108208 CPUtime=281.61 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 21127 0 0 0 27872 289 0 0 20 0 1 0 199538082 148402176 27052 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 36231 27052 1431 291 0 27765 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 144924 KiB
Current children cumulated memory: 108208 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/257 1086643
/proc/meminfo: memFree=127089148/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=180660 memory=121672 CPUtime=341.47 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 23738 0 0 0 33841 306 0 0 20 0 1 0 199538082 184995840 30418 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 45165 30418 1431 291 0 36699 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 180660 KiB
Current children cumulated memory: 121672 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 1086653
/proc/meminfo: memFree=126996288/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=184900 memory=132780 CPUtime=401.33 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 25005 0 0 0 39815 318 0 0 20 0 1 0 199538082 189337600 33195 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 46225 33195 1431 291 0 37759 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 184900 KiB
Current children cumulated memory: 132780 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 1086664
/proc/meminfo: memFree=126835428/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=189872 memory=145280 CPUtime=461.18 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 26265 0 0 0 45788 330 0 0 20 0 1 0 199538082 194428928 36320 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 47468 36320 1431 291 0 39002 0
################
# More data... #
################
Current children cumulated memory: 276704 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 1088120
/proc/meminfo: memFree=124822596/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=308096 memory=277316 CPUtime=2915.18 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 43442 0 0 0 290869 649 0 0 20 0 1 0 199538082 315490304 69329 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 77024 69329 1431 291 0 68558 0
Current children cumulated CPU time: 2915.18 s
Current children cumulated vsize: 308096 KiB
Current children cumulated memory: 277316 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/259 1088300
/proc/meminfo: memFree=124790744/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=310944 memory=278852 CPUtime=2975.02 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 43952 0 0 0 296847 655 0 0 20 0 1 0 199538082 318406656 69713 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 77736 69713 1431 291 0 69270 0
Current children cumulated CPU time: 2975.02 s
Current children cumulated vsize: 310944 KiB
Current children cumulated memory: 278852 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 1088310
/proc/meminfo: memFree=124755584/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=312800 memory=279872 CPUtime=3034.86 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 44340 0 0 0 302825 661 0 0 20 0 1 0 199538082 320307200 69968 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 78200 69968 1431 291 0 69734 0
Current children cumulated CPU time: 3034.86 s
Current children cumulated vsize: 312800 KiB
Current children cumulated memory: 279872 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 1088323
/proc/meminfo: memFree=124704336/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=313568 memory=280412 CPUtime=3094.69 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 44632 0 0 0 308803 666 0 0 20 0 1 0 199538082 321093632 70103 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 78392 70103 1431 291 0 69926 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 313568 KiB
Current children cumulated memory: 280412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1088345
/proc/meminfo: memFree=124665684/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=397644 memory=285612 CPUtime=3154.52 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 45515 0 0 0 314780 672 0 0 20 0 1 0 199538082 407187456 71403 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 99411 71403 1431 291 0 90945 0
Current children cumulated CPU time: 3154.52 s
Current children cumulated vsize: 397644 KiB
Current children cumulated memory: 285612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 1088356
/proc/meminfo: memFree=124627316/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=398860 memory=288496 CPUtime=3214.35 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 45835 0 0 0 320757 678 0 0 20 0 1 0 199538082 408432640 72124 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 99715 72124 1431 291 0 91249 0
Current children cumulated CPU time: 3214.35 s
Current children cumulated vsize: 398860 KiB
Current children cumulated memory: 288496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1088367
/proc/meminfo: memFree=124597984/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=400396 memory=291484 CPUtime=3274.18 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 46230 0 0 0 326734 684 0 0 20 0 1 0 199538082 410005504 72871 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 100099 72871 1431 291 0 91633 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 400396 KiB
Current children cumulated memory: 291484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1088379
/proc/meminfo: memFree=124557056/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=402188 memory=294540 CPUtime=3334 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 46638 0 0 0 332710 690 0 0 20 0 1 0 199538082 411840512 73635 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 100547 73635 1431 291 0 92081 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 402188 KiB
Current children cumulated memory: 294540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1088390
/proc/meminfo: memFree=124514664/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=428556 memory=310296 CPUtime=3393.83 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 50157 0 0 0 338687 696 0 0 20 0 1 0 199538082 438841344 77574 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 107139 77574 1431 291 0 98673 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 428556 KiB
Current children cumulated memory: 310296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1088400
/proc/meminfo: memFree=124485044/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=431116 memory=315896 CPUtime=3453.67 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 50628 0 0 0 344666 701 0 0 20 0 1 0 199538082 441462784 78974 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 107779 78974 1431 291 0 99313 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 431116 KiB
Current children cumulated memory: 315896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 1088411
/proc/meminfo: memFree=124462484/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=432652 memory=319124 CPUtime=3513.52 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 50979 0 0 0 350645 707 0 0 20 0 1 0 199538082 443035648 79781 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 108163 79781 1431 291 0 99697 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 432652 KiB
Current children cumulated memory: 319124 KiB
[startup+3582.3 s]
/proc/loadavg: 3.78 4.04 4.07 2/235 1088515
/proc/meminfo: memFree=128043316/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=434444 memory=322544 CPUtime=3573.36 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 51404 0 0 0 356624 712 0 0 20 0 1 0 199538082 444870656 80636 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 108611 80636 1431 291 0 100145 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 434444 KiB
Current children cumulated memory: 322544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.1 s]
/proc/loadavg: 2.76 3.77 3.97 2/234 1088519
/proc/meminfo: memFree=128042748/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=434956 memory=322808 CPUtime=3600.08 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 51502 0 0 0 359294 714 0 0 20 0 1 0 199538082 445394944 80702 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 108739 80702 1431 291 0 100273 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 434956 KiB
Current children cumulated memory: 322808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 1086577 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.96 s, system=7.15066 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.1 s]
/proc/loadavg: 2.76 3.77 3.97 2/234 1088519
/proc/meminfo: memFree=128042748/131524600 swapFree=131071996/131071996
[pid=1086577] ppid=1086574 vsize=434956 memory=322808 CPUtime=3600.08 cores=1,3
/proc/1086577/stat : 1086577 (pb-oll-rs) R 1086574 1086577 1082106 0 -1 4194304 51502 0 0 0 359294 714 0 0 20 0 1 0 199538082 445394944 80702 134679101440 4194304 5384485 140726271599360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15863808 140726271607829 140726271607906 140726271607906 140726271614923 0
/proc/1086577/statm: 108739 80702 1431 291 0 100273 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 434956 KiB
Current children cumulated memory: 322808 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.11
CPU user time (s): 3592.96
CPU system time (s): 7.15066
CPU usage (%): 99.7502
Max. virtual memory (cumulated for all children) (KiB): 434956
Max. memory (cumulated for all children) (KiB): 322808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.96
system time used= 7.15066
maximum resident set size= 322808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51519
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= 60
involuntary context switches= 3163
# summary of solver processes directly reported to runsolver:
# pid: 1086577
# total CPU time (s): 3600.11
# total CPU user time (s): 3592.96
# total CPU system time (s): 7.15066
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73684 second user time and 17.6722 second system time
The end
Begin job on nodeC025 at 2024-07-20 13:09:00
IDJOB=4454491
IDBENCH=155380
IDSOLVER=3082
FILE ID=nodeC025/4454491-1721473727
RUNJOBID= nodeC025-1721466477-1082120
SLURM_JOB_ID= 7545718
Free space on /tmp= 890000 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-circ10-3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454491-1721473727/watcher-4454491-1721473727 -o /tmp/evaluation-result-4454491-1721473727/solver-4454491-1721473727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721466477-1082120 --watchdog 3760 pb-oll-rs HOME/instance-4454491-1721473727.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60
RANDOM SEED=904864184
nodeC025.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 : 0xb00002a
cpu MHz : 3668.356
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a
cpu MHz : 3664.656
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a
cpu MHz : 3668.317
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.429
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a
cpu MHz : 3668.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.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 : 0xb00002a
cpu MHz : 3600.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127922916 kB
MemAvailable: 129222052 kB
Buffers: 581772 kB
Cached: 1552564 kB
SwapCached: 0 kB
Active: 1188740 kB
Inactive: 1774388 kB
Active(anon): 1528 kB
Inactive(anon): 873168 kB
Active(file): 1187212 kB
Inactive(file): 901220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4984 kB
Writeback: 0 kB
AnonPages: 824884 kB
Mapped: 111376 kB
Shmem: 45912 kB
KReclaimable: 100704 kB
Slab: 216196 kB
SReclaimable: 100704 kB
SUnreclaim: 115492 kB
KernelStack: 4128 kB
PageTables: 11128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1090960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74528 kB
HardwareCorrupted: 0 kB
AnonHugePages: 362496 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC025 at 2024-07-20 14:09:09