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