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