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