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