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