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