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