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