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