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