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