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