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