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