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