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