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