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