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