(1,24) (2,6) (3,14) (4,5) (7,15) (8,20) (9,17) (10,16) (11,22) (12,18) (13,26) (19,29) (21,25) (23,27) (28,30) 
nodes: 86723  conflicts: 41  modelTime: 1666  solveTime: 228105  totalTime: 229790  modelSize: 72271  readTime: 19 size: 15