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