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