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