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