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