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