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