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