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