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