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