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