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