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