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