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