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