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