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