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