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