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