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