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