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