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