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