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