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