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