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