(1,28) (2,16) (3,4) (5,15) (6,29) (7,23) (8,13) (9,19) (10,18) (11,21) (12,25) (14,20) (17,24) (22,26) (27,30) 
nodes: 3301774  conflicts: 17  modelTime: 1142  solveTime: 16672214  totalTime: 16673372  modelSize: 72264  readTime: 16 size: 15