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