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