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