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