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