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