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