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