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