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