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