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