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