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