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