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