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