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