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