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