(1,21) (2,15) (4,6) (5,8) (7,18) (10,19) (11,16) (12,14) (13,24) (17,26) (20,25) (22,29) (23,27) (28,30) 
nodes: 128517  conflicts: 48  modelTime: 1726  solveTime: 492402  totalTime: 494148  modelSize: 72263  readTime: 20 size: 14