(1,18) (2,7) (3,29) (4,16) (5,6) (8,11) (9,22) (10,15) (12,13) (14,23) (17,20) (19,27) (21,24) (25,30) (26,28) 
nodes: 243054  conflicts: 36  modelTime: 980  solveTime: 1287165  totalTime: 1288156  modelSize: 72263  readTime: 10 size: 15