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