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