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