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