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