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