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