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